Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2022-input.r198-tajo-165281579200012.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2022-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2021
Input is RERS17pb113-PT-3, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r198-tajo-165281579200012
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 9.2K Apr 30 05:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 109K Apr 30 05:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Apr 30 05:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Apr 30 05:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 10 09:34 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K May 9 08:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 9 08:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 9 08:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 9 08:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 9 08:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 9 08:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 10 09:34 equiv_col
-rw-r--r-- 1 mcc users 2 May 10 09:34 instance
-rw-r--r-- 1 mcc users 6 May 10 09:34 iscolored
-rw-r--r-- 1 mcc users 15M 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 1653290565037

Running Version 0
[2022-05-23 07:22:47] [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-23 07:22:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2022-05-23 07:22:47] [INFO ] Load time of PNML (sax parser for PT used): 732 ms
[2022-05-23 07:22:47] [INFO ] Transformed 639 places.
[2022-05-23 07:22:48] [INFO ] Transformed 31353 transitions.
[2022-05-23 07:22:48] [INFO ] Parsed PT model containing 639 places and 31353 transitions in 971 ms.
Starting structural reductions, iteration 0 : 639/639 places, 31353/31353 transitions.
Ensure Unique test removed 12 places
Iterating post reduction 0 with 12 rules applied. Total rules applied 12 place count 627 transition count 31353
Applied a total of 12 rules in 468 ms. Remains 627 /639 variables (removed 12) and now considering 31353/31353 (removed 0) transitions.
[2022-05-23 07:22:48] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2022-05-23 07:22:48] [INFO ] Computed 13 place invariants in 153 ms
[2022-05-23 07:22:50] [INFO ] Implicit Places using invariants in 2230 ms returned []
Implicit Place search using SMT only with invariants took 2270 ms to find 0 implicit places.
[2022-05-23 07:22:50] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2022-05-23 07:22:50] [INFO ] Computed 13 place invariants in 106 ms
[2022-05-23 07:23:00] [INFO ] Dead Transitions using invariants and state equation in 10156 ms returned []
Finished structural reductions, in 1 iterations. Remains : 627/639 places, 31353/31353 transitions.
Discarding 304 transitions out of 31353. Remains 31049
[2022-05-23 07:23:01] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 22580 ms. (steps per millisecond=0 ) properties (out of 31048) seen :7881
Running SMT prover for 23167 properties.
[2022-05-23 07:23:25] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2022-05-23 07:23:25] [INFO ] Computed 13 place invariants in 65 ms
[2022-05-23 07:23:50] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 23167 Parikh solutions to 1 different solutions.
Support contains 625 out of 627 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 298 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 627/627 places, 31353/31353 transitions.
[2022-05-23 07:23:53] [INFO ] Flatten gal took : 1130 ms
[2022-05-23 07:23:54] [INFO ] Flatten gal took : 1036 ms
[2022-05-23 07:23:54] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality72791556193630709.gal : 189 ms
[2022-05-23 07:23:54] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8786303588428250323.prop : 106 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/ReachabilityCardinality72791556193630709.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8786303588428250323.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/ReachabilityCardinality72791556193630709.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8786303588428250323.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality8786303588428250323.prop.
Detected timeout of ITS tools.
[2022-05-23 07:24:10] [INFO ] Flatten gal took : 1004 ms
[2022-05-23 07:24:10] [INFO ] Applying decomposition
[2022-05-23 07:24:11] [INFO ] Flatten gal took : 891 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/graph4969023561190907823.txt, -o, /tmp/graph4969023561190907823.bin, -w, /tmp/graph4969023561190907823.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/graph4969023561190907823.bin, -l, -1, -v, -w, /tmp/graph4969023561190907823.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-23 07:24:15] [INFO ] Decomposing Gal with order
[2022-05-23 07:24:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-23 07:24:18] [INFO ] Removed a total of 91910 redundant transitions.
[2022-05-23 07:24:19] [INFO ] Flatten gal took : 2616 ms
[2022-05-23 07:24:37] [INFO ] Fuse similar labels procedure discarded/fused a total of 1946 labels/synchronizations in 1331 ms.
[2022-05-23 07:24:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12682582587882971646.gal : 179 ms
[2022-05-23 07:24:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality516624849300550270.prop : 112 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/ReachabilityCardinality12682582587882971646.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality516624849300550270.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/ReachabilityCardinality12682582587882971646.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality516624849300550270.prop --nowitness
Loading property file /tmp/ReachabilityCardinality516624849300550270.prop.
SDD proceeding with computation,23167 properties remain. new max is 4
SDD size :1 after 11
SDD proceeding with computation,23167 properties remain. new max is 8
SDD size :11 after 328
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin2373667156885764554
[2022-05-23 07:24:53] [INFO ] Built C files in 592ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin2373667156885764554
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/ltsmin2373667156885764554]
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/ltsmin2373667156885764554] 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/ltsmin2373667156885764554] 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 24291 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{5=1, 7=1, 13=1, 24=1, 41=1, 46=1, 47=1, 66=1, 76=1, 77=1, 80=1, 82=1, 83=1, 84=1, 86=1, 87=1, 101=1, 108=1, 118=1, 123=1, 136=1, 141=1, 152=1, 156=1, 158=1, 163=1, 172=1, 193=1, 195=1, 204=1, 206=1, 210=1, 214=1, 216=1, 226=1, 236=1, 248=1, 249=1, 252=1, 259=1, 303=1, 305=1, 306=1, 308=1, 321=1, 327=1, 339=1, 341=1, 360=1, 366=1, 367=1, 376=1, 381=1, 386=1, 388=1, 391=1, 394=1, 398=1, 426=1, 447=1, 454=1, 459=1, 462=1, 464=1, 475=1, 476=1, 477=1, 494=1, 501=1, 504=1, 509=1, 512=1, 515=1, 526=1, 530=1, 534=1, 536=1, 537=1, 546=1, 551=1, 555=1, 557=1, 561=1, 562=1, 577=1, 580=1, 588=1, 589=1, 590=1, 660=1, 665=1, 668=1, 677=1, 679=1, 692=1, 695=1, 697=1, 699=1, 704=1, 706=1, 721=1, 744=1, 764=1, 783=1, 791=1, 795=1, 801=1, 803=1, 807=1, 827=1, 838=1, 840=1, 842=1, 858=1, 862=1, 868=1, 890=1, 892=1, 896=1, 904=1, 913=1, 923=1, 927=1, 944=1, 946=1, 950=1, 952=1, 959=1, 960=1, 970=1, 971=1, 975=1, 981=1, 1073=1, 1080=1, 1093=1, 1097=1, 1131=1, 1137=1, 1141=1, 1143=1, 1145=1, 1147=1, 1149=1, 1150=1, 1153=1, 1154=1, 1155=1, 1167=1, 1173=1, 1175=1, 1195=1, 1204=1, 1224=1, 1254=1, 1272=1, 1281=1, 1285=1, 1286=1, 1290=1, 1293=1, 1325=1, 1336=1, 1337=1, 1340=1, 1342=1, 1347=1, 1349=1, 1356=1, 1366=1, 1399=1, 1400=1, 1402=1, 1404=1, 1405=1, 1407=1, 1408=1, 1409=1, 1412=1, 1416=1, 1419=1, 1421=1, 1423=1, 1425=1, 1426=1, 1428=1, 1429=1, 1432=1, 1433=1, 1438=1, 1439=1, 1442=1, 1448=1, 1462=1, 1464=1, 1492=1, 1497=1, 1498=1, 1508=1, 1514=1, 1526=1, 1543=1, 1548=1, 1553=1, 1558=1, 1560=1, 1564=1, 1577=1, 1582=1, 1584=1, 1587=1, 1590=1, 1595=1, 1608=1, 1611=1, 1617=1, 1627=1, 1637=1, 1640=1, 1692=1, 1697=1, 1699=1, 1703=1, 1719=1, 1722=1, 1726=1, 1735=1, 1738=1, 1760=1, 1780=1, 1806=1, 1810=1, 1814=1, 1816=1, 1817=1, 1818=1, 1824=1, 1825=1, 1827=1, 1828=1, 1829=1, 1830=1, 1831=1, 1832=1, 1838=1, 1839=1, 1840=1, 1841=1, 1842=1, 1851=1, 1852=1, 1882=1, 1891=1, 1901=1, 1902=1, 1904=1, 1906=1, 1907=1, 1908=1, 1909=1, 1910=1, 1912=1, 1915=1, 1921=1, 1927=1, 1929=1, 1932=1, 1937=1, 1938=1, 1940=1, 1941=1, 1942=1, 1962=1, 1964=1, 1965=1, 1971=1, 1976=1, 2013=1, 2019=1, 2024=1, 2053=1, 2059=1, 2063=1, 2064=1, 2065=1, 2105=1, 2106=1, 2107=1, 2134=1, 2135=1, 2140=1, 2143=1, 2148=1, 2150=1, 2156=1, 2174=1, 2175=1, 2176=1, 2227=1, 2228=1, 2230=1, 2234=1, 2235=1, 2247=1, 2248=1, 2251=1, 2269=1, 2275=1, 2281=1, 2287=1, 2293=1, 2304=1, 2306=1, 2307=1, 2308=1, 2309=1, 2312=1, 2313=1, 2314=1, 2315=1, 2322=1, 2327=1, 2331=1, 2335=1, 2337=1, 2339=1, 2340=1, 2342=1, 2343=1, 2344=1, 2346=1, 2349=1, 2350=1, 2358=1, 2359=1, 2361=1, 2371=1, 2376=1, 2378=1, 2381=1, 2384=1, 2391=1, 2395=1, 2398=1, 2422=1, 2441=1, 2443=1, 2445=1, 2477=1, 2478=1, 2480=1, 2484=1, 2491=1, 2493=1, 2496=1, 2497=1, 2501=1, 2502=1, 2503=1, 2504=1, 2505=1, 2506=1, 2510=1, 2515=1, 2516=1, 2536=1, 2537=1, 2539=1, 2542=1, 2591=1, 2599=1, 2604=1, 2608=1, 2611=1, 2620=1, 2628=1, 2631=1, 2636=1, 2646=1, 2653=1, 2654=1, 2657=1, 2658=1, 2659=1, 2663=1, 2664=1, 2667=1, 2669=1, 2673=1, 2679=1, 2690=1, 2692=1, 2693=1, 2695=1, 2703=1, 2709=1, 2721=1, 2726=1, 2740=1, 2741=1, 2742=1, 2743=1, 2747=1, 2748=1, 2754=1, 2757=1, 2758=1, 2760=1, 2768=1, 2769=1, 2774=1, 2775=1, 2782=1, 2785=1, 2792=1, 2793=1, 2794=1, 2806=1, 2809=1, 2810=1, 2822=1, 2824=1, 2826=1, 2829=1, 2831=1, 2834=1, 2838=1, 2841=1, 2845=1, 2859=1, 2860=1, 2862=1, 2871=1, 2872=1, 2873=1, 2874=1, 2875=1, 2881=1, 2882=1, 2884=1, 2887=1, 2888=1, 2889=1, 2891=1, 2892=1, 2893=1, 2895=1, 2896=1, 2898=1, 2899=1, 2901=1, 2903=1, 2937=1, 2938=1, 2939=1, 2941=1, 2942=1, 2945=1, 2946=1, 2947=1, 2948=1, 2949=1, 2952=1, 2954=1, 2957=1, 2958=1, 2959=1, 2960=1, 2961=1, 2962=1, 2963=1, 2964=1, 2965=1, 2966=1, 2971=1, 2972=1, 2974=1, 2980=1, 2982=1, 2983=1, 2993=1, 2998=1, 2999=1, 3000=1, 3001=1, 3002=1, 3014=1, 3025=1, 3031=1, 3035=1, 3037=1, 3040=1, 3060=1, 3061=1, 3062=1, 3063=1, 3065=1, 3067=1, 3071=1, 3073=1, 3074=1, 3076=1, 3078=1, 3079=1, 3086=1, 3092=1, 3094=1, 3095=1, 3097=1, 3099=1, 3106=1, 3108=1, 3110=1, 3113=1, 3121=1, 3127=1, 3133=1, 3136=1, 3137=1, 3139=1, 3140=1, 3144=1, 3151=1, 3152=1, 3162=1, 3169=1, 3170=1, 3171=1, 3178=1, 3179=1, 3183=1, 3184=1, 3185=1, 3188=1, 3189=1, 3190=1, 3192=1, 3195=1, 3197=1, 3199=1, 3203=1, 3209=1, 3211=1, 3213=1, 3215=1, 3216=1, 3218=1, 3219=1, 3221=1, 3233=1, 3249=1, 3259=1, 3275=1, 3282=1, 3286=1, 3291=1, 3292=1, 3297=1, 3301=1, 3304=1, 3305=1, 3306=1, 3309=1, 3310=1, 3311=1, 3317=1, 3326=1, 3328=1, 3329=1, 3331=1, 3338=1, 3339=1, 3343=1, 3351=1, 3352=1, 3359=1, 3379=1, 3386=1, 3391=1, 3394=1, 3398=1, 3402=1, 3403=1, 3404=1, 3413=1, 3418=1, 3420=1, 3422=1, 3426=1, 3432=1, 3433=1, 3434=1, 3436=1, 3438=1, 3439=1, 3446=1, 3447=1, 3448=1, 3450=1, 3452=1, 3454=1, 3458=1, 3462=1, 3466=1, 3468=1, 3479=1, 3483=1, 3487=1, 3489=1, 3493=1, 3495=1, 3507=1, 3509=1, 3523=1, 3528=1, 3532=1, 3537=1, 3546=1, 3552=1, 3555=1, 3559=1, 3563=1, 3567=1, 3569=1, 3571=1, 3584=1, 3593=1, 3594=1, 3595=1, 3599=1, 3602=1, 3607=1, 3610=1, 3619=1, 3623=1, 3629=1, 3647=1, 3650=1, 3652=1, 3653=1, 3654=1, 3655=1, 3658=1, 3661=1, 3662=1, 3664=1, 3665=1, 3667=1, 3670=1, 3673=1, 3674=1, 3676=1, 3681=1, 3690=1, 3695=1, 3710=1, 3711=1, 3714=1, 3723=1, 3726=1, 3728=1, 3743=1, 3745=1, 3746=1, 3749=1, 3753=1, 3771=1, 3783=1, 3787=1, 3793=1, 3794=1, 3798=1, 3800=1, 3801=1, 3803=1, 3804=1, 3805=1, 3807=1, 3812=1, 3820=1, 3826=1, 3829=1, 3849=1, 3851=1, 3855=1, 3857=1, 3859=1, 3864=1, 3870=1, 3871=1, 3873=1, 3875=1, 3876=1, 3880=1, 3884=1, 3886=1, 3920=1, 3922=1, 3924=1, 3925=1, 3926=1, 3927=1, 3929=1, 3932=1, 3939=1, 3940=1, 3957=1, 3961=1, 3963=1, 3965=1, 3970=1, 3971=1, 3973=1, 3978=1, 3983=1, 3985=1, 3989=1, 4006=1, 4017=1, 4021=1, 4037=1, 4038=1, 4041=1, 4042=1, 4060=1, 4071=1, 4081=1, 4086=1, 4100=1, 4106=1, 4108=1, 4131=1, 4136=1, 4143=1, 4148=1, 4150=1, 4156=1, 4161=1, 4162=1, 4164=1, 4167=1, 4170=1, 4172=1, 4173=1, 4174=1, 4175=1, 4178=1, 4182=1, 4184=1, 4194=1, 4196=1, 4197=1, 4198=1, 4199=1, 4205=1, 4208=1, 4215=1, 4223=1, 4230=1, 4244=1, 4246=1, 4248=1, 4249=1, 4250=1, 4286=1, 4292=1, 4300=1, 4308=1, 4309=1, 4310=1, 4316=1, 4321=1, 4329=1, 4337=1, 4344=1, 4348=1, 4349=1, 4360=1, 4373=1, 4375=1, 4379=1, 4382=1, 4440=1, 4460=1, 4461=1, 4466=1, 4470=1, 4475=1, 4482=1, 4484=1, 4487=1, 4491=1, 4501=1, 4509=1, 4516=1, 4519=1, 4523=1, 4524=1, 4526=1, 4527=1, 4528=1, 4562=1, 4563=1, 4597=1, 4598=1, 4603=1, 4604=1, 4606=1, 4607=1, 4609=1, 4610=1, 4649=1, 4650=1, 4651=1, 4656=1, 4657=1, 4658=1, 4662=1, 4668=1, 4681=1, 4686=1, 4691=1, 4696=1, 4703=1, 4711=1, 4714=1, 4718=1, 4724=1, 4730=1, 4731=1, 4746=1, 4798=1, 4802=1, 4824=1, 4825=1, 4827=1, 4835=1, 4837=1, 4841=1, 4842=1, 4844=1, 4846=1, 4851=1, 4852=1, 4853=1, 4854=1, 4855=1, 4856=1, 4857=1, 4859=1, 4861=1, 4862=1, 4871=1, 4872=1, 4873=1, 4876=1, 4889=1, 4894=1, 4903=1, 4906=1, 4908=1, 4924=1, 4932=1, 4935=1, 4937=1, 4939=1, 4944=1, 4949=1, 4955=1, 4956=1, 4957=1, 4997=1, 4998=1, 4999=1, 5000=1, 5001=1, 5002=1, 5003=1, 5004=1, 5005=1, 5006=1, 5007=1, 5008=1, 5039=1, 5050=1, 5061=1, 5063=1, 5069=1, 5076=1, 5086=1, 5098=1, 5106=1, 5114=1, 5116=1, 5117=1, 5122=1, 5127=1, 5132=1, 5134=1, 5136=1, 5145=1, 5166=1, 5176=1, 5184=1, 5186=1, 5188=1, 5190=1, 5191=1, 5196=1, 5198=1, 5202=1, 5246=1, 5300=1, 5335=1, 5336=1, 5339=1, 5346=1, 5349=1, 5350=1, 5351=1, 5352=1, 5354=1, 5355=1, 5376=1, 5378=1, 5379=1, 5383=1, 5384=1, 5385=1, 5386=1, 5387=1, 5389=1, 5390=1, 5391=1, 5392=1, 5394=1, 5428=1, 5440=1, 5452=1, 5456=1, 5457=1, 5458=1, 5463=1, 5466=1, 5468=1, 5487=1, 5496=1, 5512=1, 5518=1, 5522=1, 5526=1, 5536=1, 5545=1, 5549=1, 5551=1, 5577=1, 5578=1, 5581=1, 5583=1, 5595=1, 5598=1, 5599=1, 5600=1, 5602=1, 5603=1, 5604=1, 5648=1, 5651=1, 5657=1, 5660=1, 5661=1, 5662=1, 5663=1, 5665=1, 5667=1, 5668=1, 5670=1, 5740=1, 5743=1, 5822=1, 5833=1, 5835=1, 5847=1, 5848=1, 5850=1, 5853=1, 5856=1, 5861=1, 5864=1, 5874=1, 5878=1, 5880=1, 5881=1, 5882=1, 5884=1, 5886=1, 5891=1, 5893=1, 5905=1, 5907=1, 5908=1, 5909=1, 5910=1, 5911=1, 5916=1, 5922=1, 5925=1, 5930=1, 5931=1, 5932=1, 5933=1, 5934=1, 5935=1, 5937=1, 5939=1, 5940=1, 5941=1, 5944=1, 5945=1, 5949=1, 5950=1, 5951=1, 5953=1, 5954=1, 5957=1, 5978=1, 5982=1, 5996=1, 5997=1, 5999=1, 6005=1, 6015=1, 6024=1, 6034=1, 6039=1, 6040=1, 6042=1, 6043=1, 6049=1, 6053=1, 6063=1, 6067=1, 6083=1, 6093=1, 6096=1, 6097=1, 6101=1, 6108=1, 6118=1, 6124=1, 6128=1, 6134=1, 6137=1, 6138=1, 6141=1, 6143=1, 6146=1, 6149=1, 6150=1, 6151=1, 6153=1, 6158=1, 6163=1, 6165=1, 6171=1, 6172=1, 6173=1, 6177=1, 6178=1, 6180=1, 6182=1, 6185=1, 6186=1, 6188=1, 6189=1, 6191=1, 6197=1, 6198=1, 6205=1, 6210=1, 6212=1, 6215=1, 6266=1, 6271=1, 6278=1, 6279=1, 6281=1, 6282=1, 6283=1, 6286=1, 6287=1, 6289=1, 6290=1, 6293=1, 6294=1, 6296=1, 6298=1, 6303=1, 6304=1, 6305=1, 6310=1, 6331=1, 6334=1, 6335=1, 6343=1, 6358=1, 6359=1, 6361=1, 6364=1, 6373=1, 6374=1, 6378=1, 6385=1, 6387=1, 6388=1, 6390=1, 6391=1, 6396=1, 6402=1, 6415=1, 6419=1, 6421=1, 6424=1, 6425=1, 6426=1, 6427=1, 6430=1, 6431=1, 6433=1, 6436=1, 6438=1, 6439=1, 6440=1, 6443=1, 6444=1, 6446=1, 6447=1, 6449=1, 6454=1, 6458=1, 6464=1, 6466=1, 6469=1, 6470=1, 6471=1, 6472=1, 6473=1, 6477=1, 6478=1, 6479=1, 6486=1, 6491=1, 6492=1, 6493=1, 6494=1, 6495=1, 6499=1, 6500=1, 6501=1, 6502=1, 6507=1, 6512=1, 6516=1, 6523=1, 6529=1, 6534=1, 6558=1, 6560=1, 6562=1, 6568=1, 6573=1, 6575=1, 6578=1, 6581=1, 6585=1, 6586=1, 6589=1, 6596=1, 6598=1, 6599=1, 6600=1, 6606=1, 6607=1, 6609=1, 6610=1, 6613=1, 6624=1, 6626=1, 6627=1, 6629=1, 6646=1, 6647=1, 6648=1, 6649=1, 6650=1, 6652=1, 6669=1, 6670=1, 6691=1, 6693=1, 6697=1, 6703=1, 6716=1, 6717=1, 6721=1, 6726=1, 6791=1, 6799=1, 6801=1, 6803=1, 6804=1, 6805=1, 6808=1, 6809=1, 6812=1, 6814=1, 6816=1, 6817=1, 6819=1, 6822=1, 6848=1, 6853=1, 6855=1, 6857=1, 6859=1, 6864=1, 6875=1, 6878=1, 6879=1, 6880=1, 6881=1, 6882=1, 6885=1, 6886=1, 6888=1, 6889=1, 6897=1, 6905=1, 6917=1, 6918=1, 6919=1, 6922=1, 6924=1, 6941=1, 6942=1, 6943=1, 6945=1, 6946=1, 6947=1, 6965=1, 6968=1, 7005=1, 7006=1, 7012=1, 7013=1, 7020=1, 7024=1, 7026=1, 7031=1, 7032=1, 7034=1, 7113=1, 7126=1, 7127=1, 7128=1, 7141=1, 7142=1, 7147=1, 7156=1, 7194=1, 7202=1, 7204=1, 7227=1, 7229=1, 7233=1, 7236=1, 7237=1, 7238=1, 7239=1, 7254=1, 7256=1, 7257=1, 7259=1, 7262=1, 7266=1, 7294=1, 7296=1, 7301=1, 7310=1, 7327=1, 7338=1, 7343=1, 7344=1, 7347=1, 7350=1, 7352=1, 7354=1, 7358=1, 7359=1, 7380=1, 7398=1, 7409=1, 7425=1, 7427=1, 7477=1, 7483=1, 7488=1, 7536=1, 7540=1, 7597=1, 7598=1, 7599=1, 7600=1, 7602=1, 7638=1, 7639=1, 7641=1, 7642=1, 7646=1, 7648=1, 7653=1, 7654=1, 7665=1, 7686=1, 7687=1, 7689=1, 7690=1, 7691=1, 7692=1, 7694=1, 7697=1, 7698=1, 7700=1, 7704=1, 7706=1, 7714=1, 7728=1, 7730=1, 7732=1, 7734=1, 7737=1, 7786=1, 7791=1, 7792=1, 7794=1, 7796=1, 7811=1, 7812=1, 7818=1, 7835=1, 7838=1, 7841=1, 7842=1, 7844=1, 7859=1, 7863=1, 7864=1, 7867=1, 7868=1, 7870=1, 7884=1, 7891=1, 7907=1, 7910=1, 7919=1, 7923=1, 7931=1, 7950=1, 7954=1, 7958=1, 7963=1, 7968=1, 7989=1, 7991=1, 7994=1, 8005=1, 8014=1, 8016=1, 8040=1, 8044=1, 8046=1, 8048=1, 8054=1, 8057=1, 8058=1, 8059=1, 8064=1, 8066=1, 8067=1, 8069=1, 8074=1, 8081=1, 8084=1, 8086=1, 8099=1, 8103=1, 8105=1, 8107=1, 8123=1, 8136=1, 8140=1, 8147=1, 8148=1, 8150=1, 8151=1, 8153=1, 8168=1, 8173=1, 8174=1, 8176=1, 8180=1, 8186=1, 8191=1, 8197=1, 8201=1, 8203=1, 8209=1, 8216=1, 8225=1, 8226=1, 8228=1, 8235=1, 8243=1, 8267=1, 8275=1, 8283=1, 8303=1, 8318=1, 8325=1, 8326=1, 8328=1, 8329=1, 8331=1, 8346=1, 8351=1, 8360=1, 8361=1, 8363=1, 8368=1, 8373=1, 8375=1, 8377=1, 8380=1, 8382=1, 8389=1, 8396=1, 8406=1, 8423=1, 8425=1, 8426=1, 8428=1, 8437=1, 8441=1, 8444=1, 8447=1, 8448=1, 8450=1, 8453=1, 8454=1, 8457=1, 8472=1, 8475=1, 8478=1, 8481=1, 8496=1, 8501=1, 8502=1, 8514=1, 8518=1, 8527=1, 8539=1, 8545=1, 8549=1, 8565=1, 8567=1, 8569=1, 8570=1, 8575=1, 8576=1, 8578=1, 8580=1, 8583=1, 8586=1, 8587=1, 8589=1, 8599=1, 8620=1, 8623=1, 8624=1, 8651=1, 8652=1, 8655=1, 8656=1, 8659=1, 8692=1, 8694=1, 8695=1, 8697=1, 8701=1, 8702=1, 8704=1, 8706=1, 8708=1, 8709=1, 8712=1, 8744=1, 8753=1, 8761=1, 8763=1, 8765=1, 8780=1, 8782=1, 8785=1, 8788=1, 8789=1, 8806=1, 8808=1, 8809=1, 8810=1, 8830=1, 8834=1, 8852=1, 8863=1, 8872=1, 8882=1, 8886=1, 8908=1, 8915=1, 8923=1, 8925=1, 8926=1, 8933=1, 8935=1, 8941=1, 8947=1, 8951=1, 8952=1, 8957=1, 8962=1, 8963=1, 8969=1, 8976=1, 8977=1, 8978=1, 8979=1, 8986=1, 8988=1, 8995=1, 8999=1, 9001=1, 9004=1, 9014=1, 9021=1, 9029=1, 9030=1, 9037=1, 9040=1, 9042=1, 9072=1, 9073=1, 9074=1, 9075=1, 9077=1, 9078=1, 9082=1, 9119=1, 9133=1, 9145=1, 9149=1, 9160=1, 9162=1, 9179=1, 9196=1, 9198=1, 9206=1, 9208=1, 9226=1, 9237=1, 9239=1, 9241=1, 9243=1, 9249=1, 9252=1, 9255=1, 9257=1, 9259=1, 9303=1, 9310=1, 9316=1, 9320=1, 9321=1, 9322=1, 9324=1, 9325=1, 9328=1, 9337=1, 9342=1, 9356=1, 9358=1, 9361=1, 9362=1, 9363=1, 9364=1, 9366=1, 9443=1, 9448=1, 9450=1, 9451=1, 9452=1, 9453=1, 9455=1, 9457=1, 9460=1, 9463=1, 9466=1, 9468=1, 9475=1, 9477=1, 9479=1, 9481=1, 9482=1, 9488=1, 9489=1, 9492=1, 9497=1, 9561=1, 9563=1, 9564=1, 9566=1, 9570=1, 9571=1, 9573=1, 9574=1, 9575=1, 9576=1, 9578=1, 9587=1, 9589=1, 9591=1, 9592=1, 9593=1, 9595=1, 9597=1, 9599=1, 9600=1, 9601=1, 9602=1, 9603=1, 9604=1, 9605=1, 9608=1, 9610=1, 9615=1, 9618=1, 9620=1, 9623=1, 9676=1, 9678=1, 9679=1, 9680=1, 9681=1, 9682=1, 9686=1, 9687=1, 9691=1, 9702=1, 9706=1, 9708=1, 9710=1, 9712=1, 9714=1, 9716=1, 9722=1, 9724=1, 9726=1, 9756=1, 9775=1, 9788=1, 9795=1, 9807=1, 9817=1, 9823=1, 9843=1, 9863=1, 9864=1, 9865=1, 9867=1, 9869=1, 9870=1, 9871=1, 9875=1, 9878=1, 9886=1, 9887=1, 9888=1, 9894=1, 9898=1, 9903=1, 9905=1, 9908=1, 9909=1, 9912=1, 9914=1, 9915=1, 9917=1, 9918=1, 9921=1, 9924=1, 9927=1, 9928=1, 9930=1, 9931=1, 9932=1, 9933=1, 9934=1, 9935=1, 9936=1, 9938=1, 9940=1, 9943=1, 9946=1, 9951=1, 9985=1, 9987=1, 9988=1, 9991=1, 9995=1, 9997=1, 10030=1, 10031=1, 10032=1, 10033=1, 10035=1, 10037=1, 10038=1, 10039=1, 10042=1, 10046=1, 10054=1, 10055=1, 10071=1, 10074=1, 10077=1, 10112=1, 10115=1, 10122=1, 10126=1, 10132=1, 10138=1, 10154=1, 10160=1, 10164=1, 10167=1, 10170=1, 10172=1, 10178=1, 10199=1, 10201=1, 10203=1, 10205=1, 10212=1, 10213=1, 10214=1, 10217=1, 10233=1, 10239=1, 10246=1, 10247=1, 10249=1, 10251=1, 10254=1, 10257=1, 10259=1, 10261=1, 10262=1, 10263=1, 10265=1, 10266=1, 10267=1, 10268=1, 10320=1, 10322=1, 10324=1, 10336=1, 10339=1, 10340=1, 10341=1, 10342=1, 10343=1, 10376=1, 10377=1, 10378=1, 10381=1, 10382=1, 10383=1, 10384=1, 10385=1, 10394=1, 10395=1, 10396=1, 10397=1, 10399=1, 10404=1, 10421=1, 10423=1, 10425=1, 10427=1, 10429=1, 10431=1, 10434=1, 10489=1, 10491=1, 10492=1, 10500=1, 10502=1, 10505=1, 10507=1, 10509=1, 10515=1, 10519=1, 10520=1, 10527=1, 10533=1, 10540=1, 10546=1, 10552=1, 10554=1, 10555=1, 10558=1, 10564=1, 10567=1, 10582=1, 10617=1, 10618=1, 10619=1, 10621=1, 10625=1, 10639=1, 10640=1, 10641=1, 10644=1, 10645=1, 10653=1, 10658=1, 10660=1, 10662=1, 10672=1, 10707=1, 10709=1, 10719=1, 10725=1, 10748=1, 10761=1, 10770=1, 10771=1, 10786=1, 10790=1, 10792=1, 10804=1, 10814=1, 10815=1, 10826=1, 10839=1, 10852=1, 10856=1, 10857=1, 10860=1, 10866=1, 10867=1, 10871=1, 10879=1, 10882=1, 10883=1, 10885=1, 10886=1, 10888=1, 10889=1, 10890=1, 10892=1, 10902=1, 10903=1, 10916=1, 10918=1, 10924=1, 10928=1, 10935=1, 10940=1, 10953=1, 10983=1, 10988=1, 10997=1, 11011=1, 11014=1, 11023=1, 11027=1, 11030=1, 11036=1, 11037=1, 11040=1, 11041=1, 11042=1, 11043=1, 11045=1, 11049=1, 11051=1, 11053=1, 11055=1, 11059=1, 11066=1, 11069=1, 11073=1, 11075=1, 11076=1, 11078=1, 11079=1, 11082=1, 11088=1, 11093=1, 11115=1, 11118=1, 11127=1, 11134=1, 11144=1, 11146=1, 11154=1, 11159=1, 11160=1, 11161=1, 11163=1, 11165=1, 11166=1, 11168=1, 11169=1, 11170=1, 11172=1, 11175=1, 11177=1, 11179=1, 11181=1, 11182=1, 11183=1, 11188=1, 11190=1, 11198=1, 11204=1, 11217=1, 11219=1, 11221=1, 11229=1, 11244=1, 11261=1, 11262=1, 11265=1, 11283=1, 11286=1, 11289=1, 11296=1, 11314=1, 11315=1, 11319=1, 11321=1, 11333=1, 11341=1, 11344=1, 11346=1, 11347=1, 11351=1, 11356=1, 11369=1, 11380=1, 11381=1, 11392=1, 11397=1, 11401=1, 11403=1, 11406=1, 11413=1, 11416=1, 11425=1, 11426=1, 11434=1, 11438=1, 11439=1, 11440=1, 11441=1, 11452=1, 11453=1, 11455=1, 11456=1, 11457=1, 11461=1, 11463=1, 11465=1, 11467=1, 11469=1, 11471=1, 11474=1, 11475=1, 11476=1, 11481=1, 11482=1, 11483=1, 11485=1, 11486=1, 11487=1, 11488=1, 11498=1, 11505=1, 11510=1, 11512=1, 11513=1, 11515=1, 11526=1, 11538=1, 11540=1, 11553=1, 11555=1, 11566=1, 11579=1, 11590=1, 11594=1, 11595=1, 11607=1, 11614=1, 11622=1, 11633=1, 11636=1, 11665=1, 11666=1, 11673=1, 11678=1, 11680=1, 11681=1, 11693=1, 11695=1, 11697=1, 11705=1, 11711=1, 11718=1, 11721=1, 11729=1, 11743=1, 11746=1, 11747=1, 11748=1, 11749=1, 11755=1, 11756=1, 11758=1, 11759=1, 11761=1, 11762=1, 11763=1, 11765=1, 11766=1, 11767=1, 11768=1, 11769=1, 11777=1, 11864=1, 11865=1, 11871=1, 11876=1, 11892=1, 11899=1, 11909=1, 11910=1, 11912=1, 11914=1, 11917=1, 11919=1, 11924=1, 11926=1, 11928=1, 11932=1, 11945=1, 11948=1, 11955=1, 11956=1, 11958=1, 11960=1, 11970=1, 11985=1, 11986=1, 11994=1, 11996=1, 11999=1, 12002=1, 12003=1, 12004=1, 12011=1, 12017=1, 12048=1, 12050=1, 12053=1, 12066=1, 12068=1, 12072=1, 12085=1, 12088=1, 12089=1, 12090=1, 12092=1, 12093=1, 12094=1, 12095=1, 12096=1, 12100=1, 12104=1, 12109=1, 12115=1, 12117=1, 12119=1, 12121=1, 12128=1, 12133=1, 12134=1, 12135=1, 12136=1, 12137=1, 12138=1, 12139=1, 12140=1, 12141=1, 12142=1, 12143=1, 12148=1, 12149=1, 12151=1, 12170=1, 12172=1, 12186=1, 12190=1, 12197=1, 12200=1, 12201=1, 12207=1, 12217=1, 12229=1, 12239=1, 12243=1, 12279=1, 12283=1, 12285=1, 12292=1, 12293=1, 12296=1, 12300=1, 12310=1, 12311=1, 12324=1, 12349=1, 12357=1, 12360=1, 12365=1, 12372=1, 12374=1, 12378=1, 12380=1, 12381=1, 12384=1, 12385=1, 12386=1, 12387=1, 12390=1, 12392=1, 12395=1, 12397=1, 12399=1, 12405=1, 12407=1, 12413=1, 12415=1, 12416=1, 12418=1, 12419=1, 12423=1, 12424=1, 12426=1, 12431=1, 12436=1, 12445=1, 12452=1, 12455=1, 12463=1, 12474=1, 12478=1, 12488=1, 12489=1, 12508=1, 12512=1, 12523=1, 12524=1, 12527=1, 12528=1, 12543=1, 12552=1, 12569=1, 12570=1, 12575=1, 12580=1, 12582=1, 12592=1, 12654=1, 12655=1, 12669=1, 12672=1, 12674=1, 12675=1, 12685=1, 12699=1, 12705=1, 12712=1, 12722=1, 12725=1, 12727=1, 12731=1, 12734=1, 12738=1, 12741=1, 12742=1, 12749=1, 12752=1, 12758=1, 12765=1, 12771=1, 12772=1, 12793=1, 12795=1, 12804=1, 12805=1, 12815=1, 12818=1, 12825=1, 12841=1, 12842=1, 12853=1, 12861=1, 12863=1, 12866=1, 12872=1, 12875=1, 12876=1, 12889=1, 12893=1, 12896=1, 12904=1, 12914=1, 12918=1, 12924=1, 12927=1, 12934=1, 12946=1, 12948=1, 12956=1, 12959=1, 12967=1, 12969=1, 12974=1, 12983=1, 12988=1, 12993=1, 12995=1, 12998=1, 13001=1, 13004=1, 13011=1, 13012=1, 13013=1, 13016=1, 13017=1, 13020=1, 13021=1, 13022=1, 13025=1, 13027=1, 13032=1, 13033=1, 13035=1, 13039=1, 13048=1, 13053=1, 13055=1, 13061=1, 13072=1, 13152=1, 13153=1, 13157=1, 13162=1, 13165=1, 13169=1, 13178=1, 13182=1, 13184=1, 13188=1, 13191=1, 13196=1, 13197=1, 13199=1, 13200=1, 13203=1, 13205=1, 13206=1, 13207=1, 13208=1, 13210=1, 13212=1, 13213=1, 13217=1, 13219=1, 13220=1, 13226=1, 13227=1, 13228=1, 13229=1, 13234=1, 13241=1, 13243=1, 13245=1, 13250=1, 13256=1, 13267=1, 13282=1, 13283=1, 13309=1, 13312=1, 13315=1, 13316=1, 13317=1, 13334=1, 13337=1, 13341=1, 13349=1, 13350=1, 13358=1, 13363=1, 13371=1, 13372=1, 13388=1, 13389=1, 13396=1, 13429=1, 13459=1, 13460=1, 13461=1, 13462=1, 13465=1, 13466=1, 13467=1, 13468=1, 13522=1, 13542=1, 13544=1, 13550=1, 13551=1, 13554=1, 13555=1, 13556=1, 13560=1, 13593=1, 13594=1, 13595=1, 13596=1, 13597=1, 13598=1, 13599=1, 13600=1, 13601=1, 13602=1, 13609=1, 13610=1, 13611=1, 13612=1, 13624=1, 13627=1, 13634=1, 13635=1, 13636=1, 13637=1, 13641=1, 13643=1, 13644=1, 13645=1, 13651=1, 13652=1, 13655=1, 13659=1, 13660=1, 13664=1, 13665=1, 13677=1, 13678=1, 13682=1, 13687=1, 13688=1, 13693=1, 13695=1, 13699=1, 13703=1, 13707=1, 13716=1, 13734=1, 13745=1, 13747=1, 13752=1, 13753=1, 13757=1, 13758=1, 13760=1, 13761=1, 13762=1, 13765=1, 13766=1, 13770=1, 13771=1, 13773=1, 13775=1, 13778=1, 13780=1, 13781=1, 13784=1, 13792=1, 13800=1, 13807=1, 13811=1, 13820=1, 13823=1, 13826=1, 13831=1, 13835=1, 13836=1, 13837=1, 13844=1, 13853=1, 13854=1, 13855=1, 13856=1, 13864=1, 13870=1, 13894=1, 13897=1, 13906=1, 13907=1, 13909=1, 13911=1, 13914=1, 13935=1, 13944=1, 13945=1, 13949=1, 13955=1, 13963=1, 13965=1, 13966=1, 13967=1, 13968=1, 13969=1, 13974=1, 13975=1, 13976=1, 13977=1, 13978=1, 13979=1, 13981=1, 13983=1, 14022=1, 14026=1, 14033=1, 14035=1, 14037=1, 14038=1, 14043=1, 14044=1, 14045=1, 14047=1, 14048=1, 14095=1, 14097=1, 14098=1, 14099=1, 14101=1, 14103=1, 14104=1, 14105=1, 14112=1, 14116=1, 14118=1, 14122=1, 14129=1, 14130=1, 14131=1, 14135=1, 14136=1, 14137=1, 14138=1, 14139=1, 14144=1, 14148=1, 14150=1, 14155=1, 14156=1, 14157=1, 14158=1, 14162=1, 14166=1, 14173=1, 14179=1, 14260=1, 14261=1, 14265=1, 14273=1, 14282=1, 14294=1, 14302=1, 14321=1, 14322=1, 14331=1, 14332=1, 14333=1, 14335=1, 14336=1, 14337=1, 14338=1, 14373=1, 14378=1, 14379=1, 14383=1, 14385=1, 14387=1, 14440=1, 14443=1, 14444=1, 14449=1, 14468=1, 14473=1, 14476=1, 14488=1, 14505=1, 14515=1, 14524=1, 14528=1, 14529=1, 14543=1, 14546=1, 14547=1, 14553=1, 14559=1, 14560=1, 14561=1, 14564=1, 14565=1, 14566=1, 14575=1, 14581=1, 14595=1, 14601=1, 14602=1, 14603=1, 14607=1, 14612=1, 14632=1, 14634=1, 14635=1, 14636=1, 14642=1, 14643=1, 14648=1, 14650=1, 14654=1, 14655=1, 14656=1, 14658=1, 14662=1, 14663=1, 14667=1, 14669=1, 14671=1, 14675=1, 14682=1, 14690=1, 14691=1, 14693=1, 14712=1, 14744=1, 14746=1, 14752=1, 14760=1, 14761=1, 14763=1, 14764=1, 14767=1, 14770=1, 14773=1, 14781=1, 14784=1, 14880=1, 14885=1, 14894=1, 14906=1, 14907=1, 14920=1, 14935=1, 14937=1, 14943=1, 14951=1, 14952=1, 14953=1, 14959=1, 14967=1, 14978=1, 14980=1, 15001=1, 15008=1, 15016=1, 15017=1, 15026=1, 15027=1, 15086=1, 15088=1, 15092=1, 15100=1, 15104=1, 15108=1, 15112=1, 15114=1, 15125=1, 15135=1, 15149=1, 15154=1, 15164=1, 15165=1, 15166=1, 15173=1, 15180=1, 15205=1, 15239=1, 15242=1, 15245=1, 15259=1, 15263=1, 15269=1, 15315=1, 15320=1, 15327=1, 15328=1, 15337=1, 15342=1, 15343=1, 15351=1, 15359=1, 15361=1, 15363=1, 15366=1, 15368=1, 15369=1, 15371=1, 15373=1, 15376=1, 15380=1, 15385=1, 15389=1, 15392=1, 15408=1, 15409=1, 15412=1, 15430=1, 15431=1, 15433=1, 15443=1, 15458=1, 15459=1, 15465=1, 15469=1, 15470=1, 15472=1, 15473=1, 15476=1, 15489=1, 15497=1, 15499=1, 15500=1, 15502=1, 15509=1, 15515=1, 15528=1, 15529=1, 15533=1, 15536=1, 15541=1, 15542=1, 15543=1, 15555=1, 15559=1, 15562=1, 15565=1, 15567=1, 15568=1, 15578=1, 15579=1, 15580=1, 15581=1, 15582=1, 15583=1, 15584=1, 15585=1, 15586=1, 15587=1, 15593=1, 15595=1, 15598=1, 15599=1, 15605=1, 15608=1, 15609=1, 15610=1, 15611=1, 15612=1, 15614=1, 15615=1, 15627=1, 15630=1, 15631=1, 15633=1, 15644=1, 15648=1, 15653=1, 15660=1, 15663=1, 15679=1, 15700=1, 15703=1, 15705=1, 15709=1, 15711=1, 15712=1, 15718=1, 15724=1, 15725=1, 15735=1, 15737=1, 15739=1, 15741=1, 15743=1, 15752=1, 15754=1, 15759=1, 15765=1, 15787=1, 15801=1, 15806=1, 15809=1, 15811=1, 15817=1, 15818=1, 15836=1, 15838=1, 15841=1, 15844=1, 15845=1, 15846=1, 15852=1, 15854=1, 15870=1, 15878=1, 15881=1, 15887=1, 15893=1, 15962=1, 15980=1, 15984=1, 16025=1, 16026=1, 16036=1, 16037=1, 16041=1, 16051=1, 16056=1, 16057=1, 16062=1, 16083=1, 16092=1, 16093=1, 16098=1, 16109=1, 16111=1, 16116=1, 16118=1, 16121=1, 16127=1, 16132=1, 16141=1, 16142=1, 16184=1, 16186=1, 16194=1, 16195=1, 16196=1, 16197=1, 16213=1, 16215=1, 16220=1, 16236=1, 16266=1, 16270=1, 16278=1, 16280=1, 16282=1, 16289=1, 16295=1, 16315=1, 16327=1, 16328=1, 16332=1, 16340=1, 16345=1, 16347=1, 16379=1, 16395=1, 16403=1, 16409=1, 16448=1, 16460=1, 16462=1, 16465=1, 16471=1, 16475=1, 16481=1, 16488=1, 16489=1, 16495=1, 16506=1, 16509=1, 16519=1, 16527=1, 16531=1, 16533=1, 16541=1, 16550=1, 16558=1, 16560=1, 16563=1, 16569=1, 16573=1, 16591=1, 16592=1, 16593=1, 16594=1, 16596=1, 16597=1, 16598=1, 16601=1, 16603=1, 16604=1, 16608=1, 16609=1, 16610=1, 16611=1, 16613=1, 16614=1, 16615=1, 16616=1, 16626=1, 16632=1, 16638=1, 16641=1, 16676=1, 16679=1, 16686=1, 16687=1, 16698=1, 16717=1, 16720=1, 16721=1, 16745=1, 16753=1, 16757=1, 16767=1, 16773=1, 16782=1, 16783=1, 16785=1, 16787=1, 16794=1, 16853=1, 16857=1, 16863=1, 16874=1, 16875=1, 16876=1, 16888=1, 16889=1, 16895=1, 16896=1, 16900=1, 16903=1, 16908=1, 16925=1, 16930=1, 16931=1, 16938=1, 16949=1, 16956=1, 16969=1, 16973=1, 16975=1, 16983=1, 16990=1, 16994=1, 17000=1, 17003=1, 17009=1, 17012=1, 17023=1, 17024=1, 17026=1, 17036=1, 17045=1, 17048=1, 17049=1, 17067=1, 17105=1, 17116=1, 17117=1, 17121=1, 17126=1, 17146=1, 17147=1, 17148=1, 17153=1, 17161=1, 17167=1, 17171=1, 17173=1, 17177=1, 17179=1, 17193=1, 17203=1, 17207=1, 17222=1, 17225=1, 17235=1, 17243=1, 17249=1, 17253=1, 17255=1, 17257=1, 17262=1, 17265=1, 17282=1, 17284=1, 17287=1, 17295=1, 17302=1, 17303=1, 17310=1, 17312=1, 17331=1, 17337=1, 17341=1, 17343=1, 17347=1, 17352=1, 17357=1, 17358=1, 17359=1, 17366=1, 17367=1, 17369=1, 17370=1, 17371=1, 17372=1, 17377=1, 17381=1, 17386=1, 17390=1, 17400=1, 17403=1, 17404=1, 17406=1, 17407=1, 17408=1, 17424=1, 17448=1, 17486=1, 17488=1, 17491=1, 17494=1, 17496=1, 17502=1, 17505=1, 17507=1, 17514=1, 17549=1, 17554=1, 17555=1, 17559=1, 17560=1, 17562=1, 17563=1, 17566=1, 17569=1, 17577=1, 17590=1, 17592=1, 17598=1, 17605=1, 17608=1, 17616=1, 17624=1, 17634=1, 17642=1, 17646=1, 17647=1, 17663=1, 17666=1, 17669=1, 17672=1, 17677=1, 17685=1, 17686=1, 17736=1, 17743=1, 17747=1, 17768=1, 17787=1, 17789=1, 17791=1, 17793=1, 17796=1, 17797=1, 17799=1, 17834=1, 17836=1, 17839=1, 17842=1, 17851=1, 17862=1, 17864=1, 17871=1, 17872=1, 17877=1, 17879=1, 17884=1, 17886=1, 17889=1, 17921=1, 17927=1, 17938=1, 17941=1, 17942=1, 17947=1, 17948=1, 17966=1, 17970=1, 17971=1, 17987=1, 17990=1, 17991=1, 17993=1, 17994=1, 17999=1, 18000=1, 18002=1, 18004=1, 18005=1, 18048=1, 18068=1, 18069=1, 18071=1, 18073=1, 18074=1, 18117=1, 18119=1, 18122=1, 18126=1, 18127=1, 18128=1, 18130=1, 18137=1, 18140=1, 18141=1, 18146=1, 18149=1, 18153=1, 18154=1, 18155=1, 18156=1, 18158=1, 18160=1, 18161=1, 18162=1, 18165=1, 18166=1, 18167=1, 18171=1, 18173=1, 18176=1, 18177=1, 18179=1, 18180=1, 18181=1, 18183=1, 18184=1, 18189=1, 18197=1, 18200=1, 18202=1, 18208=1, 18216=1, 18219=1, 18231=1, 18236=1, 18237=1, 18246=1, 18250=1, 18252=1, 18255=1, 18260=1, 18263=1, 18266=1, 18281=1, 18284=1, 18286=1, 18287=1, 18368=1, 18371=1, 18383=1, 18389=1, 18405=1, 18406=1, 18407=1, 18408=1, 18409=1, 18424=1, 18437=1, 18439=1, 18447=1, 18457=1, 18458=1, 18470=1, 18472=1, 18479=1, 18490=1, 18491=1, 18493=1, 18495=1, 18496=1, 18500=1, 18501=1, 18502=1, 18505=1, 18508=1, 18509=1, 18513=1, 18517=1, 18520=1, 18533=1, 18538=1, 18541=1, 18543=1, 18545=1, 18548=1, 18549=1, 18551=1, 18554=1, 18556=1, 18561=1, 18562=1, 18563=1, 18565=1, 18567=1, 18568=1, 18570=1, 18572=1, 18573=1, 18576=1, 18578=1, 18580=1, 18584=1, 18586=1, 18587=1, 18608=1, 18612=1, 18618=1, 18619=1, 18623=1, 18628=1, 18654=1, 18660=1, 18666=1, 18668=1, 18679=1, 18682=1, 18684=1, 18707=1, 18711=1, 18712=1, 18713=1, 18715=1, 18717=1, 18747=1, 18749=1, 18750=1, 18751=1, 18784=1, 18785=1, 18789=1, 18796=1, 18797=1, 18799=1, 18802=1, 18807=1, 18808=1, 18810=1, 18811=1, 18854=1, 18856=1, 18865=1, 18870=1, 18874=1, 18883=1, 18886=1, 18889=1, 18891=1, 18895=1, 18897=1, 18906=1, 18910=1, 18912=1, 18913=1, 18914=1, 18918=1, 18923=1, 18924=1, 18929=1, 18933=1, 18938=1, 18941=1, 18948=1, 18965=1, 18972=1, 18986=1, 19001=1, 19015=1, 19018=1, 19023=1, 19025=1, 19034=1, 19036=1, 19049=1, 19055=1, 19062=1, 19070=1, 19071=1, 19072=1, 19073=1, 19074=1, 19075=1, 19076=1, 19077=1, 19078=1, 19079=1, 19080=1, 19083=1, 19085=1, 19086=1, 19087=1, 19089=1, 19090=1, 19091=1, 19092=1, 19094=1, 19099=1, 19106=1, 19109=1, 19110=1, 19111=1, 19112=1, 19113=1, 19114=1, 19133=1, 19141=1, 19159=1, 19168=1, 19172=1, 19190=1, 19204=1, 19234=1, 19243=1, 19246=1, 19250=1, 19252=1, 19269=1, 19282=1, 19293=1, 19341=1, 19355=1, 19388=1, 19399=1, 19401=1, 19418=1, 19423=1, 19434=1, 19436=1, 19438=1, 19444=1, 19446=1, 19451=1, 19454=1, 19456=1, 19463=1, 19488=1, 19544=1, 19555=1, 19575=1, 19584=1, 19597=1, 19598=1, 19599=1, 19610=1, 19611=1, 19630=1, 19634=1, 19657=1, 19662=1, 19663=1, 19665=1, 19671=1, 19678=1, 19683=1, 19686=1, 19689=1, 19698=1, 19704=1, 19708=1, 19712=1, 19716=1, 19743=1, 19779=1, 19784=1, 19785=1, 19786=1, 19787=1, 19791=1, 19793=1, 19807=1, 19808=1, 19820=1, 19827=1, 19836=1, 19840=1, 19866=1, 19869=1, 19873=1, 19934=1, 19935=1, 19936=1, 19938=1, 19940=1, 19943=1, 19944=1, 19945=1, 19946=1, 19954=1, 19962=1, 19963=1, 19968=1, 19971=1, 19978=1, 19980=1, 19992=1, 20004=1, 20019=1, 20033=1, 20045=1, 20049=1, 20051=1, 20061=1, 20066=1, 20069=1, 20073=1, 20084=1, 20085=1, 20097=1, 20113=1, 20127=1, 20135=1, 20178=1, 20180=1, 20194=1, 20203=1, 20210=1, 20223=1, 20233=1, 20246=1, 20249=1, 20250=1, 20262=1, 20263=1, 20267=1, 20279=1, 20286=1, 20303=1, 20306=1, 20308=1, 20313=1, 20351=1, 20367=1, 20374=1, 20388=1, 20390=1, 20391=1, 20401=1, 20419=1, 20427=1, 20430=1, 20432=1, 20437=1, 20438=1, 20441=1, 20453=1, 20459=1, 20465=1, 20466=1, 20467=1, 20470=1, 20475=1, 20479=1, 20482=1, 20483=1, 20484=1, 20489=1, 20490=1, 20497=1, 20504=1, 20507=1, 20510=1, 20513=1, 20515=1, 20530=1, 20531=1, 20533=1, 20534=1, 20538=1, 20540=1, 20545=1, 20551=1, 20552=1, 20555=1, 20559=1, 20576=1, 20580=1, 20602=1, 20606=1, 20611=1, 20655=1, 20668=1, 20687=1, 20694=1, 20696=1, 20701=1, 20703=1, 20708=1, 20712=1, 20716=1, 20719=1, 20727=1, 20733=1, 20734=1, 20738=1, 20745=1, 20746=1, 20747=1, 20748=1, 20751=1, 20752=1, 20756=1, 20757=1, 20760=1, 20775=1, 20857=1, 20859=1, 20860=1, 20877=1, 20878=1, 20879=1, 20889=1, 20892=1, 20896=1, 20900=1, 20905=1, 20907=1, 20914=1, 20949=1, 20950=1, 20954=1, 20957=1, 20958=1, 20959=1, 20963=1, 20965=1, 20968=1, 20976=1, 20983=1, 20984=1, 20986=1, 20987=1, 20990=1, 20993=1, 20996=1, 21008=1, 21009=1, 21010=1, 21011=1, 21016=1, 21018=1, 21034=1, 21037=1, 21044=1, 21049=1, 21054=1, 21067=1, 21068=1, 21069=1, 21081=1, 21083=1, 21085=1, 21094=1, 21105=1, 21110=1, 21116=1, 21122=1, 21130=1, 21139=1, 21142=1, 21144=1, 21147=1, 21148=1, 21149=1, 21150=1, 21151=1, 21152=1, 21153=1, 21154=1, 21155=1, 21157=1, 21159=1, 21161=1, 21162=1, 21179=1, 21180=1, 21186=1, 21187=1, 21192=1, 21193=1, 21203=1, 21210=1, 21216=1, 21223=1, 21230=1, 21248=1, 21249=1, 21250=1, 21253=1, 21258=1, 21266=1, 21269=1, 21275=1, 21278=1, 21292=1, 21294=1, 21300=1, 21318=1, 21331=1, 21334=1, 21337=1, 21356=1, 21360=1, 21403=1, 21417=1, 21418=1, 21421=1, 21424=1, 21426=1, 21435=1, 21438=1, 21452=1, 21458=1, 21464=1, 21479=1, 21481=1, 21494=1, 21495=1, 21502=1, 21503=1, 21507=1, 21509=1, 21517=1, 21519=1, 21520=1, 21609=1, 21610=1, 21624=1, 21626=1, 21628=1, 21639=1, 21657=1, 21660=1, 21663=1, 21669=1, 21671=1, 21681=1, 21682=1, 21684=1, 21685=1, 21693=1, 21734=1, 21752=1, 21753=1, 21756=1, 21757=1, 21760=1, 21761=1, 21766=1, 21785=1, 21792=1, 21793=1, 21794=1, 21796=1, 21797=1, 21798=1, 21799=1, 21813=1, 21821=1, 21826=1, 21830=1, 21835=1, 21837=1, 21843=1, 21844=1, 21851=1, 21855=1, 21864=1, 21867=1, 21878=1, 21888=1, 21894=1, 21899=1, 21903=1, 21909=1, 21910=1, 21923=1, 21932=1, 21933=1, 21934=1, 21936=1, 21938=1, 21940=1, 21941=1, 21946=1, 21947=1, 21951=1, 21955=1, 21958=1, 21959=1, 21960=1, 21967=1, 21985=1, 21997=1, 21998=1, 22009=1, 22010=1, 22015=1, 22023=1, 22028=1, 22031=1, 22033=1, 22034=1, 22037=1, 22043=1, 22048=1, 22053=1, 22060=1, 22067=1, 22072=1, 22073=1, 22074=1, 22076=1, 22078=1, 22089=1, 22092=1, 22095=1, 22102=1, 22103=1, 22106=1, 22109=1, 22112=1, 22133=1, 22136=1, 22141=1, 22161=1, 22168=1, 22173=1, 22176=1, 22180=1, 22186=1, 22189=1, 22191=1, 22204=1, 22216=1, 22217=1, 22219=1, 22222=1, 22232=1, 22261=1, 22262=1, 22263=1, 22264=1, 22265=1, 22266=1, 22267=1, 22268=1, 22269=1, 22270=1, 22271=1, 22287=1, 22298=1, 22301=1, 22303=1, 22304=1, 22305=1, 22310=1, 22316=1, 22319=1, 22324=1, 22351=1, 22355=1, 22370=1, 22371=1, 22393=1, 22428=1, 22440=1, 22451=1, 22454=1, 22459=1, 22464=1, 22467=1, 22517=1, 22518=1, 22521=1, 22523=1, 22524=1, 22525=1, 22546=1, 22547=1, 22554=1, 22558=1, 22571=1, 22577=1, 22580=1, 22584=1, 22596=1, 22665=1, 22668=1, 22669=1, 22674=1, 22678=1, 22679=1, 22687=1, 22689=1, 22692=1, 22694=1, 22723=1, 22725=1, 22726=1, 22738=1, 22750=1, 22752=1, 22767=1, 22771=1, 22775=1, 22778=1, 22782=1, 22793=1, 22802=1, 22819=1, 22851=1, 22887=1, 22888=1, 22893=1, 22923=1, 22952=1, 22958=1, 22964=1, 22968=1, 22970=1, 22973=1, 22980=1, 22981=1, 22985=1, 22986=1, 22990=1, 22995=1, 22997=1, 22999=1, 23000=1, 23001=1, 23054=1, 23072=1, 23075=1, 23077=1, 23078=1, 23080=1, 23082=1, 23085=1, 23086=1, 23088=1, 23089=1, 23096=1, 23116=1, 23137=1, 23138=1, 23149=1, 23151=1, 23157=1, 23158=1, 23159=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 19340) seen :5
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 235 ms. (steps per millisecond=4 ) properties (out of 19335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 287 ms. (steps per millisecond=3 ) properties (out of 19335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 19335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 19335) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 19335) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 19335) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19334) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19334) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 19333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 19333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19333) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19333) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19332) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 176 ms. (steps per millisecond=5 ) properties (out of 19332) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19331) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 19331) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19330) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 19330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 19330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19330) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19330) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19330) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 19328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19328) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 19328) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 19327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 19327) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19327) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 19326) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19325) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19325) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19324) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19323) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 19322) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 19321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 19321) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19321) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19320) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19319) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19319) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 19318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 19318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19318) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 19318) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19317) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19317) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19315) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 19315) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19315) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19315) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19315) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 19314) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19314) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19314) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 19312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 19312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 209 ms. (steps per millisecond=4 ) properties (out of 19312) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19312) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 19311) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 200 ms. (steps per millisecond=5 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19310) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19310) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19309) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19309) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 19307) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 19307) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19306) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 19306) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 19305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 19305) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 19305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 19305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19305) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19305) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 19303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 19303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 19303) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 19303) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19303) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 19302) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19302) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 336 ms. (steps per millisecond=2 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 214 ms. (steps per millisecond=4 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 195 ms. (steps per millisecond=5 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19301) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 19301) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 164 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 153 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 175 ms. (steps per millisecond=5 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 163 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 19300) seen :0
Running SMT prover for 19300 properties.
[2022-05-23 07:26:08] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2022-05-23 07:26:08] [INFO ] Computed 13 place invariants in 103 ms
[2022-05-23 07:28:34] [INFO ] [Real]Absence check using 13 positive place invariants in 10 ms returned sat
[2022-05-23 07:29:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-23 07:29:53] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 19300 Parikh solutions to 1 different solutions.
Support contains 621 out of 627 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 418 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 627/627 places, 31353/31353 transitions.
[2022-05-23 07:29:55] [INFO ] Flatten gal took : 1087 ms
[2022-05-23 07:29:56] [INFO ] Flatten gal took : 844 ms
[2022-05-23 07:29:56] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality684197194830507010.gal : 98 ms
[2022-05-23 07:29:56] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2885696574250914945.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/ReachabilityCardinality684197194830507010.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2885696574250914945.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/ReachabilityCardinality684197194830507010.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2885696574250914945.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality2885696574250914945.prop.
Detected timeout of ITS tools.
[2022-05-23 07:30:12] [INFO ] Flatten gal took : 752 ms
[2022-05-23 07:30:12] [INFO ] Applying decomposition
[2022-05-23 07:30:13] [INFO ] Flatten gal took : 873 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/graph419527305106621916.txt, -o, /tmp/graph419527305106621916.bin, -w, /tmp/graph419527305106621916.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/graph419527305106621916.bin, -l, -1, -v, -w, /tmp/graph419527305106621916.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-23 07:30:15] [INFO ] Decomposing Gal with order
[2022-05-23 07:30:15] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-23 07:30:18] [INFO ] Removed a total of 91896 redundant transitions.
[2022-05-23 07:30:19] [INFO ] Flatten gal took : 1813 ms
[2022-05-23 07:30:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 1141 labels/synchronizations in 1445 ms.
[2022-05-23 07:30:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1919137656493556603.gal : 101 ms
[2022-05-23 07:30:27] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9232183876547288205.prop : 1834 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/ReachabilityCardinality1919137656493556603.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9232183876547288205.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/ReachabilityCardinality1919137656493556603.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9232183876547288205.prop --nowitness
Loading property file /tmp/ReachabilityCardinality9232183876547288205.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin794110560442385938
[2022-05-23 07:30:43] [INFO ] Built C files in 579ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin794110560442385938
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/ltsmin794110560442385938]
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/ltsmin794110560442385938] 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/ltsmin794110560442385938] 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 25959 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{14=1, 15=1, 26=1, 68=1, 81=1, 89=1, 93=1, 114=1, 138=1, 148=1, 162=1, 177=1, 179=1, 181=1, 182=1, 201=1, 204=1, 212=1, 220=1, 222=1, 252=1, 265=1, 299=1, 301=1, 325=1, 348=1, 372=1, 402=1, 484=1, 489=1, 573=1, 579=1, 593=1, 595=1, 604=1, 615=1, 659=1, 668=1, 701=1, 727=1, 728=1, 743=1, 744=1, 746=1, 762=1, 772=1, 777=1, 791=1, 816=1, 817=1, 839=1, 845=1, 933=1, 950=1, 990=1, 994=1, 995=1, 996=1, 999=1, 1013=1, 1025=1, 1091=1, 1106=1, 1109=1, 1111=1, 1121=1, 1132=1, 1200=1, 1225=1, 1232=1, 1247=1, 1248=1, 1251=1, 1298=1, 1320=1, 1321=1, 1329=1, 1370=1, 1385=1, 1396=1, 1399=1, 1473=1, 1475=1, 1483=1, 1510=1, 1589=1, 1591=1, 1594=1, 1597=1, 1629=1, 1633=1, 1636=1, 1641=1, 1645=1, 1646=1, 1662=1, 1668=1, 1695=1, 1698=1, 1702=1, 1729=1, 1738=1, 1750=1, 1756=1, 1762=1, 1846=1, 1862=1, 1866=1, 1867=1, 1925=1, 1930=1, 1951=1, 1952=1, 1954=1, 1956=1, 1957=1, 1976=1, 2000=1, 2004=1, 2005=1, 2008=1, 2009=1, 2010=1, 2011=1, 2013=1, 2032=1, 2035=1, 2039=1, 2040=1, 2041=1, 2046=1, 2051=1, 2060=1, 2073=1, 2089=1, 2091=1, 2093=1, 2095=1, 2096=1, 2097=1, 2105=1, 2107=1, 2114=1, 2117=1, 2126=1, 2127=1, 2130=1, 2133=1, 2136=1, 2140=1, 2146=1, 2149=1, 2166=1, 2170=1, 2206=1, 2213=1, 2217=1, 2248=1, 2272=1, 2278=1, 2285=1, 2305=1, 2324=1, 2344=1, 2376=1, 2378=1, 2382=1, 2392=1, 2403=1, 2404=1, 2410=1, 2434=1, 2436=1, 2437=1, 2446=1, 2447=1, 2448=1, 2482=1, 2484=1, 2485=1, 2491=1, 2495=1, 2501=1, 2503=1, 2520=1, 2522=1, 2526=1, 2527=1, 2529=1, 2539=1, 2541=1, 2567=1, 2573=1, 2587=1, 2612=1, 2616=1, 2623=1, 2631=1, 2633=1, 2639=1, 2648=1, 2651=1, 2661=1, 2715=1, 2721=1, 2724=1, 2725=1, 2732=1, 2737=1, 2738=1, 2739=1, 2760=1, 2769=1, 2771=1, 2790=1, 2834=1, 2837=1, 2842=1, 2848=1, 2849=1, 2850=1, 2860=1, 2869=1, 2872=1, 2881=1, 2894=1, 2895=1, 2896=1, 2897=1, 2904=1, 2911=1, 2914=1, 2916=1, 2919=1, 2922=1, 2929=1, 2931=1, 2939=1, 2949=1, 2960=1, 2962=1, 2964=1, 2968=1, 2974=1, 2976=1, 2980=1, 2984=1, 2987=1, 3005=1, 3006=1, 3007=1, 3009=1, 3012=1, 3013=1, 3033=1, 3036=1, 3049=1, 3055=1, 3057=1, 3067=1, 3106=1, 3107=1, 3109=1, 3110=1, 3111=1, 3113=1, 3114=1, 3115=1, 3117=1, 3118=1, 3119=1, 3120=1, 3121=1, 3129=1, 3130=1, 3135=1, 3139=1, 3146=1, 3152=1, 3155=1, 3156=1, 3158=1, 3159=1, 3161=1, 3176=1, 3177=1, 3178=1, 3179=1, 3181=1, 3182=1, 3199=1, 3200=1, 3215=1, 3217=1, 3219=1, 3223=1, 3231=1, 3232=1, 3256=1, 3299=1, 3305=1, 3307=1, 3310=1, 3319=1, 3327=1, 3331=1, 3336=1, 3340=1, 3342=1, 3343=1, 3344=1, 3360=1, 3372=1, 3381=1, 3405=1, 3407=1, 3408=1, 3422=1, 3431=1, 3433=1, 3434=1, 3437=1, 3445=1, 3459=1, 3467=1, 3471=1, 3473=1, 3512=1, 3514=1, 3524=1, 3527=1, 3541=1, 3558=1, 3643=1, 3658=1, 3669=1, 3707=1, 3708=1, 3718=1, 3719=1, 3751=1, 3787=1, 3788=1, 3793=1, 3800=1, 3802=1, 3810=1, 3811=1, 3821=1, 3825=1, 3828=1, 3829=1, 3868=1, 3887=1, 3893=1, 3983=1, 3984=1, 3989=1, 3996=1, 4006=1, 4008=1, 4032=1, 4054=1, 4060=1, 4073=1, 4076=1, 4089=1, 4114=1, 4144=1, 4161=1, 4169=1, 4171=1, 4177=1, 4202=1, 4211=1, 4215=1, 4222=1, 4223=1, 4225=1, 4226=1, 4230=1, 4260=1, 4261=1, 4273=1, 4317=1, 4323=1, 4422=1, 4448=1, 4478=1, 4487=1, 4488=1, 4504=1, 4515=1, 4540=1, 4549=1, 4560=1, 4563=1, 4583=1, 4591=1, 4611=1, 4613=1, 4626=1, 4627=1, 4629=1, 4672=1, 4673=1, 4674=1, 4677=1, 4679=1, 4681=1, 4683=1, 4785=1, 4786=1, 4804=1, 4827=1, 4831=1, 4856=1, 4858=1, 4866=1, 4872=1, 4878=1, 4887=1, 4890=1, 4895=1, 4897=1, 4903=1, 4912=1, 4920=1, 4921=1, 4924=1, 4942=1, 4945=1, 4947=1, 4953=1, 4956=1, 4958=1, 5025=1, 5027=1, 5030=1, 5037=1, 5055=1, 5058=1, 5063=1, 5073=1, 5087=1, 5091=1, 5092=1, 5093=1, 5095=1, 5096=1, 5099=1, 5103=1, 5104=1, 5105=1, 5109=1, 5112=1, 5115=1, 5118=1, 5121=1, 5176=1, 5180=1, 5192=1, 5193=1, 5194=1, 5212=1, 5218=1, 5232=1, 5246=1, 5247=1, 5257=1, 5276=1, 5294=1, 5300=1, 5305=1, 5306=1, 5318=1, 5323=1, 5327=1, 5329=1, 5352=1, 5359=1, 5363=1, 5386=1, 5389=1, 5392=1, 5393=1, 5398=1, 5399=1, 5400=1, 5401=1, 5403=1, 5405=1, 5410=1, 5420=1, 5445=1, 5462=1, 5482=1, 5490=1, 5504=1, 5508=1, 5588=1, 5598=1, 5609=1, 5640=1, 5642=1, 5648=1, 5651=1, 5659=1, 5666=1, 5667=1, 5687=1, 5704=1, 5705=1, 5708=1, 5709=1, 5710=1, 5730=1, 5847=1, 5848=1, 5849=1, 5865=1, 5875=1, 5942=1, 5944=1, 5945=1, 5946=1, 5948=1, 5965=1, 5969=1, 5971=1, 5984=1, 6037=1, 6078=1, 6101=1, 6175=1, 6222=1, 6275=1, 6276=1, 6338=1, 6349=1, 6354=1, 6372=1, 6439=1, 6451=1, 6455=1, 6457=1, 6480=1, 6489=1, 6498=1, 6505=1, 6529=1, 6537=1, 6568=1, 6569=1, 6575=1, 6601=1, 6627=1, 6633=1, 6652=1, 6653=1, 6654=1, 6655=1, 6659=1, 6664=1, 6665=1, 6668=1, 6669=1, 6674=1, 6675=1, 6676=1, 6679=1, 6704=1, 6728=1, 6731=1, 6747=1, 6756=1, 6761=1, 6766=1, 6768=1, 6772=1, 6780=1, 6797=1, 6804=1, 6805=1, 6809=1, 6810=1, 6833=1, 6834=1, 6843=1, 6849=1, 6870=1, 6876=1, 6885=1, 6890=1, 6898=1, 6903=1, 6913=1, 6918=1, 6919=1, 6921=1, 6923=1, 6925=1, 6942=1, 6950=1, 6955=1, 6960=1, 6979=1, 6994=1, 7011=1, 7013=1, 7023=1, 7024=1, 7082=1, 7086=1, 7118=1, 7122=1, 7150=1, 7184=1, 7188=1, 7189=1, 7191=1, 7193=1, 7206=1, 7219=1, 7243=1, 7259=1, 7276=1, 7293=1, 7309=1, 7311=1, 7321=1, 7322=1, 7327=1, 7333=1, 7335=1, 7336=1, 7345=1, 7348=1, 7349=1, 7367=1, 7371=1, 7379=1, 7380=1, 7382=1, 7412=1, 7430=1, 7434=1, 7488=1, 7489=1, 7490=1, 7496=1, 7497=1, 7499=1, 7501=1, 7502=1, 7503=1, 7504=1, 7506=1, 7542=1, 7544=1, 7553=1, 7571=1, 7580=1, 7582=1, 7584=1, 7600=1, 7602=1, 7605=1, 7610=1, 7621=1, 7627=1, 7635=1, 7637=1, 7650=1, 7719=1, 7720=1, 7725=1, 7737=1, 7744=1, 7745=1, 7746=1, 7747=1, 7785=1, 7818=1, 7822=1, 7826=1, 7834=1, 7835=1, 7839=1, 7842=1, 7848=1, 7858=1, 7924=1, 7927=1, 7929=1, 7933=1, 7934=1, 7938=1, 7942=1, 7945=1, 7948=1, 7950=1, 7964=1, 8015=1, 8017=1, 8019=1, 8031=1, 8050=1, 8053=1, 8060=1, 8063=1, 8080=1, 8109=1, 8132=1, 8146=1, 8165=1, 8174=1, 8177=1, 8180=1, 8192=1, 8193=1, 8194=1, 8198=1, 8204=1, 8205=1, 8208=1, 8251=1, 8289=1, 8292=1, 8300=1, 8304=1, 8306=1, 8309=1, 8356=1, 8372=1, 8386=1, 8428=1, 8429=1, 8433=1, 8436=1, 8438=1, 8455=1, 8471=1, 8473=1, 8474=1, 8530=1, 8537=1, 8539=1, 8573=1, 8582=1, 8586=1, 8605=1, 8664=1, 8665=1, 8666=1, 8667=1, 8668=1, 8672=1, 8673=1, 8674=1, 8676=1, 8692=1, 8731=1, 8739=1, 8750=1, 8771=1, 8784=1, 8797=1, 8805=1, 8818=1, 8839=1, 8842=1, 8907=1, 8911=1, 8929=1, 8931=1, 8940=1, 8944=1, 8945=1, 8948=1, 8955=1, 8959=1, 8962=1, 8981=1, 8983=1, 8990=1, 8991=1, 8992=1, 8993=1, 8994=1, 8995=1, 9006=1, 9008=1, 9032=1, 9051=1, 9056=1, 9104=1, 9108=1, 9123=1, 9129=1, 9132=1, 9145=1, 9153=1, 9170=1, 9174=1, 9198=1, 9201=1, 9219=1, 9221=1, 9224=1, 9231=1, 9263=1, 9289=1, 9296=1, 9306=1, 9319=1, 9329=1, 9332=1, 9336=1, 9350=1, 9362=1, 9365=1, 9367=1, 9368=1, 9370=1, 9377=1, 9379=1, 9442=1, 9443=1, 9448=1, 9450=1, 9451=1, 9452=1, 9455=1, 9458=1, 9459=1, 9463=1, 9478=1, 9485=1, 9496=1, 9500=1, 9503=1, 9507=1, 9508=1, 9509=1, 9511=1, 9526=1, 9530=1, 9537=1, 9551=1, 9552=1, 9561=1, 9565=1, 9579=1, 9585=1, 9607=1, 9625=1, 9639=1, 9645=1, 9675=1, 9683=1, 9693=1, 9694=1, 9768=1, 9793=1, 9798=1, 9854=1, 9872=1, 9876=1, 9879=1, 9893=1, 9901=1, 9925=1, 9930=1, 9943=1, 9944=1, 9956=1, 9963=1, 9981=1, 10047=1, 10050=1, 10066=1, 10072=1, 10073=1, 10080=1, 10082=1, 10084=1, 10096=1, 10127=1, 10159=1, 10161=1, 10166=1, 10169=1, 10181=1, 10186=1, 10188=1, 10214=1, 10224=1, 10225=1, 10226=1, 10227=1, 10230=1, 10232=1, 10287=1, 10300=1, 10304=1, 10309=1, 10327=1, 10356=1, 10376=1, 10387=1, 10388=1, 10398=1, 10414=1, 10418=1, 10449=1, 10455=1, 10476=1, 10477=1, 10480=1, 10482=1, 10483=1, 10487=1, 10490=1, 10497=1, 10506=1, 10508=1, 10517=1, 10518=1, 10520=1, 10522=1, 10524=1, 10527=1, 10541=1, 10561=1, 10571=1, 10583=1, 10591=1, 10595=1, 10604=1, 10631=1, 10634=1, 10638=1, 10654=1, 10662=1, 10675=1, 10702=1, 10706=1, 10710=1, 10711=1, 10718=1, 10724=1, 10743=1, 10748=1, 10760=1, 10804=1, 10807=1, 10835=1, 10839=1, 10840=1, 10873=1, 10876=1, 10879=1, 10884=1, 10885=1, 10891=1, 10892=1, 10893=1, 10905=1, 10918=1, 10967=1, 10995=1, 11006=1, 11008=1, 11011=1, 11024=1, 11034=1, 11035=1, 11047=1, 11053=1, 11061=1, 11062=1, 11070=1, 11093=1, 11094=1, 11162=1, 11173=1, 11174=1, 11193=1, 11198=1, 11210=1, 11227=1, 11228=1, 11238=1, 11254=1, 11255=1, 11266=1, 11282=1, 11286=1, 11312=1, 11317=1, 11318=1, 11324=1, 11327=1, 11328=1, 11333=1, 11344=1, 11367=1, 11431=1, 11437=1, 11464=1, 11468=1, 11475=1, 11487=1, 11492=1, 11493=1, 11532=1, 11533=1, 11534=1, 11536=1, 11538=1, 11539=1, 11543=1, 11544=1, 11545=1, 11551=1, 11554=1, 11563=1, 11594=1, 11598=1, 11604=1, 11613=1, 11622=1, 11650=1, 11693=1, 11704=1, 11720=1, 11722=1, 11724=1, 11729=1, 11733=1, 11755=1, 11757=1, 11758=1, 11764=1, 11773=1, 11777=1, 11778=1, 11781=1, 11787=1, 11794=1, 11822=1, 11825=1, 11830=1, 11832=1, 11902=1, 11926=1, 11941=1, 11961=1, 11966=1, 11967=1, 11968=1, 11970=1, 11976=1, 11982=1, 12012=1, 12016=1, 12023=1, 12029=1, 12031=1, 12039=1, 12042=1, 12043=1, 12044=1, 12045=1, 12046=1, 12047=1, 12063=1, 12098=1, 12106=1, 12109=1, 12110=1, 12119=1, 12122=1, 12126=1, 12129=1, 12132=1, 12133=1, 12135=1, 12138=1, 12142=1, 12172=1, 12252=1, 12300=1, 12301=1, 12303=1, 12306=1, 12307=1, 12310=1, 12311=1, 12316=1, 12319=1, 12327=1, 12333=1, 12337=1, 12379=1, 12380=1, 12414=1, 12422=1, 12425=1, 12431=1, 12435=1, 12448=1, 12450=1, 12456=1, 12457=1, 12462=1, 12474=1, 12485=1, 12492=1, 12497=1, 12505=1, 12509=1, 12516=1, 12548=1, 12550=1, 12553=1, 12634=1, 12643=1, 12652=1, 12656=1, 12664=1, 12665=1, 12667=1, 12675=1, 12678=1, 12686=1, 12688=1, 12702=1, 12707=1, 12727=1, 12730=1, 12731=1, 12741=1, 12746=1, 12754=1, 12758=1, 12767=1, 12778=1, 12788=1, 12817=1, 12820=1, 12850=1, 12851=1, 12852=1, 12853=1, 12856=1, 12857=1, 12860=1, 12862=1, 12867=1, 12868=1, 12869=1, 12906=1, 12913=1, 12925=1, 12931=1, 12937=1, 12938=1, 12939=1, 12951=1, 12952=1, 12988=1, 13018=1, 13021=1, 13024=1, 13033=1, 13034=1, 13038=1, 13039=1, 13055=1, 13060=1, 13066=1, 13091=1, 13100=1, 13116=1, 13143=1, 13156=1, 13168=1, 13196=1, 13206=1, 13221=1, 13228=1, 13229=1, 13237=1, 13264=1, 13275=1, 13311=1, 13358=1, 13376=1, 13389=1, 13394=1, 13399=1, 13420=1, 13438=1, 13454=1, 13456=1, 13463=1, 13464=1, 13466=1, 13471=1, 13486=1, 13513=1, 13576=1, 13594=1, 13601=1, 13625=1, 13628=1, 13681=1, 13685=1, 13717=1, 13720=1, 13722=1, 13723=1, 13727=1, 13729=1, 13734=1, 13738=1, 13739=1, 13783=1, 13787=1, 13790=1, 13796=1, 13798=1, 13803=1, 13804=1, 13809=1, 13832=1, 13834=1, 13851=1, 13859=1, 13874=1, 13876=1, 13947=1, 13949=1, 13970=1, 14005=1, 14012=1, 14022=1, 14029=1, 14046=1, 14048=1, 14056=1, 14061=1, 14065=1, 14070=1, 14085=1, 14086=1, 14087=1, 14090=1, 14098=1, 14119=1, 14127=1, 14144=1, 14154=1, 14164=1, 14168=1, 14169=1, 14178=1, 14192=1, 14194=1, 14195=1, 14203=1, 14207=1, 14208=1, 14209=1, 14212=1, 14219=1, 14225=1, 14229=1, 14231=1, 14236=1, 14258=1, 14282=1, 14320=1, 14332=1, 14341=1, 14346=1, 14350=1, 14368=1, 14370=1, 14371=1, 14374=1, 14375=1, 14378=1, 14381=1, 14384=1, 14386=1, 14390=1, 14391=1, 14395=1, 14440=1, 14448=1, 14459=1, 14462=1, 14466=1, 14476=1, 14521=1, 14522=1, 14523=1, 14531=1, 14532=1, 14537=1, 14538=1, 14545=1, 14546=1, 14554=1, 14559=1, 14585=1, 14598=1, 14612=1, 14616=1, 14638=1, 14647=1, 14693=1, 14697=1, 14703=1, 14707=1, 14714=1, 14720=1, 14721=1, 14722=1, 14730=1, 14733=1, 14769=1, 14773=1, 14775=1, 14780=1, 14782=1, 14787=1, 14794=1, 14795=1, 14797=1, 14798=1, 14799=1, 14800=1, 14801=1, 14803=1, 14818=1, 14824=1, 14826=1, 14835=1, 14851=1, 14852=1, 14874=1, 14876=1, 14897=1, 14899=1, 14900=1, 14903=1, 14904=1, 14906=1, 14908=1, 14970=1, 15017=1, 15019=1, 15022=1, 15031=1, 15032=1, 15033=1, 15034=1, 15035=1, 15042=1, 15043=1, 15045=1, 15048=1, 15057=1, 15058=1, 15079=1, 15089=1, 15097=1, 15099=1, 15103=1, 15114=1, 15207=1, 15260=1, 15261=1, 15263=1, 15273=1, 15276=1, 15283=1, 15289=1, 15293=1, 15302=1, 15304=1, 15305=1, 15308=1, 15311=1, 15313=1, 15314=1, 15319=1, 15326=1, 15329=1, 15334=1, 15342=1, 15350=1, 15394=1, 15397=1, 15402=1, 15404=1, 15405=1, 15406=1, 15407=1, 15408=1, 15410=1, 15450=1, 15455=1, 15480=1, 15481=1, 15482=1, 15483=1, 15519=1, 15547=1, 15557=1, 15649=1, 15655=1, 15656=1, 15657=1, 15659=1, 15660=1, 15670=1, 15671=1, 15691=1, 15700=1, 15714=1, 15715=1, 15722=1, 15752=1, 15769=1, 15784=1, 15786=1, 15788=1, 15800=1, 15801=1, 15819=1, 15824=1, 15828=1, 15843=1, 15884=1, 15893=1, 15895=1, 15904=1, 15912=1, 15917=1, 15919=1, 15934=1, 15941=1, 16010=1, 16031=1, 16051=1, 16069=1, 16081=1, 16093=1, 16096=1, 16122=1, 16194=1, 16208=1, 16211=1, 16212=1, 16222=1, 16243=1, 16255=1, 16260=1, 16261=1, 16268=1, 16289=1, 16299=1, 16311=1, 16313=1, 16314=1, 16317=1, 16337=1, 16348=1, 16358=1, 16377=1, 16407=1, 16422=1, 16435=1, 16436=1, 16442=1, 16446=1, 16448=1, 16468=1, 16474=1, 16477=1, 16490=1, 16494=1, 16526=1, 16543=1, 16561=1, 16610=1, 16626=1, 16628=1, 16635=1, 16640=1, 16644=1, 16647=1, 16665=1, 16669=1, 16675=1, 16689=1, 16697=1, 16704=1, 16705=1, 16752=1, 16753=1, 16761=1, 16769=1, 16800=1, 16808=1, 16809=1, 16815=1, 16822=1, 16830=1, 16831=1, 16833=1, 16835=1, 16859=1, 16868=1, 16927=1, 16946=1, 16951=1, 16962=1, 16968=1, 16975=1, 17025=1, 17027=1, 17223=1, 17226=1, 17235=1, 17236=1, 17264=1, 17304=1, 17326=1, 17353=1, 17358=1, 17359=1, 17385=1, 17415=1, 17430=1, 17439=1, 17451=1, 17454=1, 17461=1, 17464=1, 17469=1, 17471=1, 17477=1, 17480=1, 17485=1, 17515=1, 17518=1, 17520=1, 17527=1, 17534=1, 17536=1, 17572=1, 17573=1, 17574=1, 17575=1, 17576=1, 17577=1, 17598=1, 17628=1, 17630=1, 17642=1, 17659=1, 17667=1, 17670=1, 17711=1, 17720=1, 17731=1, 17733=1, 17735=1, 17783=1, 17827=1, 17835=1, 17845=1, 17847=1, 17861=1, 17880=1, 17916=1, 18004=1, 18006=1, 18028=1, 18081=1, 18085=1, 18089=1, 18090=1, 18095=1, 18123=1, 18131=1, 18133=1, 18143=1, 18145=1, 18149=1, 18171=1, 18183=1, 18217=1, 18236=1, 18237=1, 18238=1, 18239=1, 18240=1, 18241=1, 18242=1, 18244=1, 18245=1, 18247=1, 18257=1, 18268=1, 18279=1, 18281=1, 18300=1, 18320=1, 18330=1, 18333=1, 18341=1, 18349=1, 18367=1, 18398=1, 18400=1, 18405=1, 18407=1, 18411=1, 18437=1, 18458=1, 18465=1, 18521=1, 18543=1, 18547=1, 18549=1, 18557=1, 18560=1, 18561=1, 18569=1, 18587=1, 18592=1, 18594=1, 18597=1, 18600=1, 18640=1, 18645=1, 18648=1, 18671=1, 18672=1, 18682=1, 18685=1, 18687=1, 18732=1, 18762=1, 18787=1, 18790=1, 18868=1, 18873=1, 18881=1, 18921=1, 18922=1, 18923=1, 18933=1, 18936=1, 18973=1, 18983=1, 18994=1, 19060=1, 19136=1, 19145=1, 19147=1, 19207=1, 19224=1, 19228=1, 19230=1, 19262=1, 19273=1, 19280=1, 19296=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 17614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 17614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 17614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17614) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17614) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 155 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 129 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 157 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 149 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 151 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 156 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 134 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 140 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 150 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 131 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 139 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 154 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 152 ms. (steps per millisecond=6 ) properties (out of 17613) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 17613) seen :0
Interrupted probabilistic random walk after 29688 steps, run timeout after 30005 ms. (steps per millisecond=0 ) properties seen :{60=1, 64=1, 80=1, 81=1, 82=1, 83=1, 84=1, 87=1, 95=1, 297=1, 330=1, 339=1, 384=1, 387=1, 390=1, 392=1, 395=1, 402=1, 433=1, 435=1, 479=1, 481=1, 489=1, 490=1, 500=1, 636=1, 682=1, 683=1, 684=1, 687=1, 688=1, 691=1, 703=1, 706=1, 707=1, 804=1, 805=1, 810=1, 816=1, 819=1, 828=1, 901=1, 902=1, 1012=1, 1020=1, 1141=1, 1142=1, 1158=1, 1967=1, 2022=1, 2023=1, 2025=1, 2028=1, 2033=1, 2034=1, 2037=1, 2038=1, 2044=1, 2046=1, 2177=1, 2191=1, 2258=1, 3167=1, 3168=1, 3386=1, 3949=1, 3951=1, 3955=1, 3957=1, 3963=1, 3975=1, 3981=1, 4106=1, 4108=1, 4219=1, 4224=1, 4426=1, 4495=1, 4794=1, 4802=1, 5345=1, 6020=1, 6408=1, 6538=1, 6541=1, 6542=1, 6544=1, 6752=1, 6774=1, 6776=1, 6778=1, 6789=1, 6794=1, 6814=1, 6823=1, 7527=1, 7530=1, 7534=1, 7558=1, 8296=1, 8468=1, 8924=1, 8933=1, 10098=1, 10374=1, 10375=1, 10382=1, 10386=1, 11394=1, 11825=1, 12815=1, 12824=1, 13333=1, 13357=1, 13359=1, 14074=1, 14079=1, 14080=1, 14522=1, 14966=1, 15343=1, 15353=1, 16169=1, 16311=1, 16328=1, 16329=1, 16450=1, 16457=1, 16499=1, 17266=1, 17576=1}
Probabilistic random walk after 29688 steps, saw 26636 distinct states, run finished after 30019 ms. (steps per millisecond=0 ) properties seen :{60=1, 64=1, 80=1, 81=1, 82=1, 83=1, 84=1, 87=1, 95=1, 297=1, 330=1, 339=1, 384=1, 387=1, 390=1, 392=1, 395=1, 402=1, 433=1, 435=1, 479=1, 481=1, 489=1, 490=1, 500=1, 636=1, 682=1, 683=1, 684=1, 687=1, 688=1, 691=1, 703=1, 706=1, 707=1, 804=1, 805=1, 810=1, 816=1, 819=1, 828=1, 901=1, 902=1, 1012=1, 1020=1, 1141=1, 1142=1, 1158=1, 1967=1, 2022=1, 2023=1, 2025=1, 2028=1, 2033=1, 2034=1, 2037=1, 2038=1, 2044=1, 2046=1, 2177=1, 2191=1, 2258=1, 3167=1, 3168=1, 3386=1, 3949=1, 3951=1, 3955=1, 3957=1, 3963=1, 3975=1, 3981=1, 4106=1, 4108=1, 4219=1, 4224=1, 4426=1, 4495=1, 4794=1, 4802=1, 5345=1, 6020=1, 6408=1, 6538=1, 6541=1, 6542=1, 6544=1, 6752=1, 6774=1, 6776=1, 6778=1, 6789=1, 6794=1, 6814=1, 6823=1, 7527=1, 7530=1, 7534=1, 7558=1, 8296=1, 8468=1, 8924=1, 8933=1, 10098=1, 10374=1, 10375=1, 10382=1, 10386=1, 11394=1, 11825=1, 12815=1, 12824=1, 13333=1, 13357=1, 13359=1, 14074=1, 14079=1, 14080=1, 14522=1, 14966=1, 15343=1, 15353=1, 16169=1, 16311=1, 16328=1, 16329=1, 16450=1, 16457=1, 16499=1, 17266=1, 17576=1}
Running SMT prover for 17482 properties.
[2022-05-23 07:31:52] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2022-05-23 07:31:52] [INFO ] Computed 13 place invariants in 78 ms
[2022-05-23 07:33:56] [INFO ] [Real]Absence check using 13 positive place invariants in 12 ms returned sat
[2022-05-23 07:35:37] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 17482 Parikh solutions to 1 different solutions.
Support contains 602 out of 627 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 136 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 627/627 places, 31353/31353 transitions.
[2022-05-23 07:35:38] [INFO ] Flatten gal took : 756 ms
[2022-05-23 07:35:39] [INFO ] Flatten gal took : 796 ms
[2022-05-23 07:35:39] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality12076223396232199206.gal : 91 ms
[2022-05-23 07:35:39] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9319496199552709143.prop : 19 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/ReachabilityCardinality12076223396232199206.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9319496199552709143.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/ReachabilityCardinality12076223396232199206.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9319496199552709143.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality9319496199552709143.prop.
Detected timeout of ITS tools.
[2022-05-23 07:35:55] [INFO ] Flatten gal took : 688 ms
[2022-05-23 07:35:55] [INFO ] Applying decomposition
[2022-05-23 07:35:56] [INFO ] Flatten gal took : 737 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/graph18372751821007059629.txt, -o, /tmp/graph18372751821007059629.bin, -w, /tmp/graph18372751821007059629.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/graph18372751821007059629.bin, -l, -1, -v, -w, /tmp/graph18372751821007059629.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-23 07:35:58] [INFO ] Decomposing Gal with order
[2022-05-23 07:35:58] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-23 07:36:01] [INFO ] Removed a total of 91896 redundant transitions.
[2022-05-23 07:36:01] [INFO ] Flatten gal took : 1846 ms
[2022-05-23 07:36:14] [INFO ] Fuse similar labels procedure discarded/fused a total of 1751 labels/synchronizations in 1028 ms.
[2022-05-23 07:36:14] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality11357091666414089508.gal : 90 ms
[2022-05-23 07:36:14] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality10512120520170444499.prop : 75 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/ReachabilityCardinality11357091666414089508.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality10512120520170444499.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/ReachabilityCardinality11357091666414089508.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality10512120520170444499.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16166239668585295763
[2022-05-23 07:36:29] [INFO ] Built C files in 440ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16166239668585295763
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/ltsmin16166239668585295763]
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/ltsmin16166239668585295763] 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/ltsmin16166239668585295763] 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 10816 steps, including 0 resets, run timeout after 30014 ms. (steps per millisecond=0 ) properties seen :{41=1, 56=1, 103=1, 108=1, 156=1, 161=1, 172=1, 394=1, 409=1, 410=1, 522=1, 532=1, 534=1, 539=1, 555=1, 575=1, 596=1, 602=1, 673=1, 745=1, 892=1, 931=1, 999=1, 1126=1, 1362=1, 1457=1, 1492=1, 1499=1, 1500=1, 1542=1, 1597=1, 1615=1, 1637=1, 1639=1, 1767=1, 1770=1, 1771=1, 1785=1, 1789=1, 1792=1, 1800=1, 1814=1, 1816=1, 1819=1, 1825=1, 1842=1, 1843=1, 1854=1, 1863=1, 1878=1, 1932=1, 1941=1, 1942=1, 1966=1, 1993=1, 2080=1, 2105=1, 2116=1, 2172=1, 2180=1, 2182=1, 2195=1, 2206=1, 2208=1, 2263=1, 2284=1, 2299=1, 2302=1, 2314=1, 2320=1, 2322=1, 2348=1, 2350=1, 2355=1, 2369=1, 2376=1, 2386=1, 2466=1, 2485=1, 2494=1, 2505=1, 2522=1, 2575=1, 2580=1, 2586=1, 2598=1, 2611=1, 2617=1, 2672=1, 2713=1, 2715=1, 2726=1, 2734=1, 2751=1, 2787=1, 2867=1, 3016=1, 3047=1, 3122=1, 3150=1, 3155=1, 3195=1, 3243=1, 3362=1, 3367=1, 3369=1, 3373=1, 3374=1, 3376=1, 3378=1, 3379=1, 3381=1, 3382=1, 3413=1, 3415=1, 3469=1, 3476=1, 3646=1, 3722=1, 3767=1, 3858=1, 3871=1, 3984=1, 4051=1, 4084=1, 4181=1, 4189=1, 4192=1, 4285=1, 4301=1, 4313=1, 4326=1, 4345=1, 4356=1, 4360=1, 4378=1, 4381=1, 4384=1, 4436=1, 4452=1, 4455=1, 4463=1, 4504=1, 4508=1, 4510=1, 4535=1, 4547=1, 4572=1, 4583=1, 4584=1, 4586=1, 4669=1, 4698=1, 4736=1, 4760=1, 4774=1, 4830=1, 4839=1, 4842=1, 4854=1, 4904=1, 5029=1, 5036=1, 5078=1, 5099=1, 5117=1, 5248=1, 5310=1, 5359=1, 5374=1, 5376=1, 5401=1, 5403=1, 5516=1, 5693=1, 5695=1, 5707=1, 5712=1, 5727=1, 5757=1, 5760=1, 5799=1, 5804=1, 5810=1, 5811=1, 5829=1, 5866=1, 5876=1, 5937=1, 5957=1, 5972=1, 5978=1, 6057=1, 6093=1, 6102=1, 6127=1, 6161=1, 6203=1, 6267=1, 6323=1, 6325=1, 6326=1, 6327=1, 6352=1, 6382=1, 6395=1, 6426=1, 6440=1, 6451=1, 6479=1, 6482=1, 6483=1, 6543=1, 6591=1, 6600=1, 6654=1, 6669=1, 6671=1, 6675=1, 6681=1, 6691=1, 6722=1, 6790=1, 6794=1, 6828=1, 6839=1, 6844=1, 6847=1, 6928=1, 6930=1, 6943=1, 6948=1, 6956=1, 7045=1, 7051=1, 7057=1, 7138=1, 7150=1, 7160=1, 7166=1, 7192=1, 7211=1, 7252=1, 7316=1, 7324=1, 7326=1, 7358=1, 7363=1, 7375=1, 7379=1, 7382=1, 7384=1, 7386=1, 7462=1, 7463=1, 7464=1, 7589=1, 7590=1, 7595=1, 7691=1, 7725=1, 7757=1, 7812=1, 7828=1, 7883=1, 7906=1, 7934=1, 8031=1, 8034=1, 8070=1, 8092=1, 8094=1, 8104=1, 8134=1, 8158=1, 8185=1, 8230=1, 8242=1, 8243=1, 8337=1, 8381=1, 8422=1, 8438=1, 8439=1, 8493=1, 8509=1, 8517=1, 8544=1, 8593=1, 8612=1, 8634=1, 8694=1, 8829=1, 8843=1, 8858=1, 8879=1, 8906=1, 8972=1, 8994=1, 8995=1, 8996=1, 9060=1, 9092=1, 9112=1, 9217=1, 9224=1, 9249=1, 9252=1, 9270=1, 9275=1, 9285=1, 9292=1, 9341=1, 9430=1, 9444=1, 9463=1, 9488=1, 9522=1, 9530=1, 9531=1, 9563=1, 9567=1, 9584=1, 9615=1, 9618=1, 9633=1, 9677=1, 9750=1, 9760=1, 9768=1, 9778=1, 9808=1, 9855=1, 9939=1, 9952=1, 9957=1, 9958=1, 9978=1, 10115=1, 10146=1, 10181=1, 10211=1, 10242=1, 10316=1, 10351=1, 10377=1, 10407=1, 10412=1, 10413=1, 10577=1, 10621=1, 10622=1, 10631=1, 10633=1, 10648=1, 10663=1, 10664=1, 10668=1, 10696=1, 10704=1, 10717=1, 10721=1, 10736=1, 10738=1, 10800=1, 10806=1, 10838=1, 10849=1, 10883=1, 10895=1, 10898=1, 10927=1, 10930=1, 10933=1, 10945=1, 10973=1, 10978=1, 11053=1, 11099=1, 11105=1, 11107=1, 11114=1, 11124=1, 11159=1, 11223=1, 11231=1, 11252=1, 11301=1, 11312=1, 11361=1, 11398=1, 11402=1, 11425=1, 11432=1, 11439=1, 11496=1, 11510=1, 11578=1, 11585=1, 11592=1, 11603=1, 11626=1, 11691=1, 11703=1, 11742=1, 11836=1, 11861=1, 11924=1, 11925=1, 11993=1, 12012=1, 12127=1, 12136=1, 12176=1, 12182=1, 12193=1, 12244=1, 12245=1, 12324=1, 12333=1, 12391=1, 12406=1, 12457=1, 12466=1, 12498=1, 12625=1, 12653=1, 12726=1, 12777=1, 12808=1, 12812=1, 12827=1, 12883=1, 12895=1, 12905=1, 12944=1, 12961=1, 12968=1, 13023=1, 13025=1, 13032=1, 13033=1, 13127=1, 13134=1, 13158=1, 13175=1, 13202=1, 13281=1, 13317=1, 13334=1, 13337=1, 13338=1, 13350=1, 13396=1, 13406=1, 13554=1, 13556=1, 13590=1, 13622=1, 13711=1, 13712=1, 13769=1, 13789=1, 13800=1, 13807=1, 13835=1, 13843=1, 13879=1, 13917=1, 13944=1, 13972=1, 14115=1, 14155=1, 14179=1, 14198=1, 14204=1, 14229=1, 14230=1, 14267=1, 14318=1, 14344=1, 14374=1, 14500=1, 14510=1, 14600=1, 14621=1, 14679=1, 14705=1, 14728=1, 14740=1, 14764=1, 14781=1, 14873=1, 14874=1, 14891=1, 14931=1, 14936=1, 14960=1, 14967=1, 15015=1, 15051=1, 15064=1, 15116=1, 15378=1, 15381=1, 15413=1, 15419=1, 15470=1, 15485=1, 15504=1, 15559=1, 15560=1, 15568=1, 15574=1, 15576=1, 15577=1, 15749=1, 15759=1, 15774=1, 15778=1, 15805=1, 15808=1, 15840=1, 15856=1, 15862=1, 15935=1, 15948=1, 16023=1, 16027=1, 16034=1, 16036=1, 16098=1, 16238=1, 16251=1, 16279=1, 16314=1, 16362=1, 16365=1, 16366=1, 16373=1, 16394=1, 16429=1, 16433=1, 16462=1, 16496=1, 16497=1, 16502=1, 16503=1, 16560=1, 16585=1, 16591=1, 16598=1, 16610=1, 16697=1, 16767=1, 16774=1, 16780=1, 16885=1, 16890=1, 16895=1, 16901=1, 17086=1, 17165=1, 17171=1, 17176=1, 17179=1, 17183=1, 17193=1, 17218=1, 17219=1, 17221=1, 17238=1, 17258=1, 17266=1, 17271=1, 17415=1, 17417=1, 17419=1, 17427=1, 17462=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 367 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 329 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 366 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 364 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 305 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 391 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 392 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 361 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 365 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 367 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 340 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 374 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 386 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 328 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 349 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 380 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 366 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 337 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 316 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 327 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 351 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 337 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 335 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 357 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 363 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 366 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 333 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 371 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 362 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 366 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 296 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 340 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 331 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 359 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 341 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 365 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 324 ms. (steps per millisecond=3 ) properties (out of 16902) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 345 ms. (steps per millisecond=2 ) properties (out of 16902) seen :0
Interrupted probabilistic random walk after 13830 steps, run timeout after 30012 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 13830 steps, saw 12382 distinct states, run finished after 30015 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 16902 properties.
[2022-05-23 07:37:48] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2022-05-23 07:37:48] [INFO ] Computed 13 place invariants in 115 ms
[2022-05-23 07:41:33] [INFO ] [Real]Absence check using 13 positive place invariants in 15 ms returned sat
[2022-05-23 07:41:33] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-23 07:41:33] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 16902 Parikh solutions to 1 different solutions.
Support contains 599 out of 627 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 431 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 627/627 places, 31353/31353 transitions.
[2022-05-23 07:41:36] [INFO ] Flatten gal took : 1679 ms
[2022-05-23 07:41:37] [INFO ] Flatten gal took : 1487 ms
[2022-05-23 07:41:38] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8660045912741500601.gal : 151 ms
[2022-05-23 07:41:38] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4244366642193687716.prop : 40 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/ReachabilityCardinality8660045912741500601.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4244366642193687716.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/ReachabilityCardinality8660045912741500601.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4244366642193687716.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality4244366642193687716.prop.
Detected timeout of ITS tools.
[2022-05-23 07:42:00] [INFO ] Flatten gal took : 1698 ms
[2022-05-23 07:42:00] [INFO ] Applying decomposition
[2022-05-23 07:42:02] [INFO ] Flatten gal took : 2110 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/graph7244051559710417533.txt, -o, /tmp/graph7244051559710417533.bin, -w, /tmp/graph7244051559710417533.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/graph7244051559710417533.bin, -l, -1, -v, -w, /tmp/graph7244051559710417533.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-23 07:42:06] [INFO ] Decomposing Gal with order
[2022-05-23 07:42:06] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-23 07:42:10] [INFO ] Removed a total of 91882 redundant transitions.
[2022-05-23 07:42:10] [INFO ] Flatten gal took : 2754 ms
[2022-05-23 07:42:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 1685 labels/synchronizations in 2004 ms.
[2022-05-23 07:42:26] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality2490022051448245968.gal : 155 ms
[2022-05-23 07:42:26] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16926332462888913711.prop : 70 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/ReachabilityCardinality2490022051448245968.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16926332462888913711.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/ReachabilityCardinality2490022051448245968.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16926332462888913711.prop --nowitness
Loading property file /tmp/ReachabilityCardinality16926332462888913711.prop.
SDD proceeding with computation,16902 properties remain. new max is 4
SDD size :1 after 1201
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7344373911137274024
[2022-05-23 07:42:46] [INFO ] Built C files in 275ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7344373911137274024
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/ltsmin7344373911137274024]
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/ltsmin7344373911137274024] 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/ltsmin7344373911137274024] 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 22698 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{62=1, 68=1, 140=1, 145=1, 150=1, 169=1, 174=1, 267=1, 283=1, 314=1, 330=1, 424=1, 441=1, 652=1, 718=1, 841=1, 1020=1, 1028=1, 1088=1, 1093=1, 1094=1, 1098=1, 1101=1, 1102=1, 1104=1, 1168=1, 1175=1, 1207=1, 1248=1, 1314=1, 1342=1, 1345=1, 1421=1, 1427=1, 1430=1, 1431=1, 1469=1, 1559=1, 1580=1, 1600=1, 1625=1, 1660=1, 1732=1, 1733=1, 1737=1, 1751=1, 1756=1, 1771=1, 1777=1, 1778=1, 1794=1, 1799=1, 1805=1, 1811=1, 1813=1, 1815=1, 1824=1, 1828=1, 1831=1, 1882=1, 1884=1, 1885=1, 1888=1, 1949=1, 2004=1, 2046=1, 2075=1, 2118=1, 2120=1, 2135=1, 2137=1, 2143=1, 2145=1, 2179=1, 2186=1, 2226=1, 2297=1, 2324=1, 2380=1, 2386=1, 2426=1, 2430=1, 2559=1, 2606=1, 2653=1, 2687=1, 2699=1, 2725=1, 2734=1, 2735=1, 2766=1, 2835=1, 2861=1, 2865=1, 2873=1, 2905=1, 2917=1, 2933=1, 2944=1, 2989=1, 3031=1, 3032=1, 3061=1, 3062=1, 3086=1, 3163=1, 3165=1, 3270=1, 3299=1, 3303=1, 3429=1, 3445=1, 3580=1, 3592=1, 3650=1, 3715=1, 3796=1, 3830=1, 3833=1, 3837=1, 3862=1, 3863=1, 3909=1, 3921=1, 3932=1, 3971=1, 3990=1, 3991=1, 3994=1, 4013=1, 4024=1, 4161=1, 4196=1, 4235=1, 4242=1, 4247=1, 4268=1, 4279=1, 4296=1, 4299=1, 4300=1, 4408=1, 4411=1, 4423=1, 4424=1, 4427=1, 4429=1, 4434=1, 4484=1, 4525=1, 4590=1, 4614=1, 4618=1, 4619=1, 4634=1, 4636=1, 4691=1, 4693=1, 4840=1, 4845=1, 4861=1, 4888=1, 4905=1, 4910=1, 4916=1, 4969=1, 4997=1, 5172=1, 5189=1, 5204=1, 5252=1, 5254=1, 5258=1, 5286=1, 5292=1, 5565=1, 5627=1, 5630=1, 5695=1, 5729=1, 5736=1, 5739=1, 5753=1, 5758=1, 5771=1, 5782=1, 5784=1, 5791=1, 5807=1, 5819=1, 5823=1, 5824=1, 5826=1, 5828=1, 5880=1, 5884=1, 5893=1, 5909=1, 5917=1, 5928=1, 5933=1, 5934=1, 5978=1, 6015=1, 6092=1, 6110=1, 6111=1, 6177=1, 6270=1, 6271=1, 6272=1, 6317=1, 6319=1, 6330=1, 6331=1, 6332=1, 6407=1, 6438=1, 6440=1, 6442=1, 6450=1, 6457=1, 6462=1, 6475=1, 6524=1, 6655=1, 6706=1, 6713=1, 6715=1, 6718=1, 6773=1, 6777=1, 6780=1, 6782=1, 6809=1, 6814=1, 6821=1, 6823=1, 6841=1, 6906=1, 6910=1, 6968=1, 7011=1, 7026=1, 7032=1, 7036=1, 7063=1, 7110=1, 7128=1, 7208=1, 7209=1, 7258=1, 7291=1, 7303=1, 7353=1, 7356=1, 7360=1, 7363=1, 7467=1, 7474=1, 7491=1, 7494=1, 7553=1, 7559=1, 7563=1, 7589=1, 7642=1, 7644=1, 7646=1, 7680=1, 7693=1, 7705=1, 7713=1, 7769=1, 7801=1, 7808=1, 7822=1, 7830=1, 7862=1, 7927=1, 7929=1, 7974=1, 7986=1, 8026=1, 8054=1, 8056=1, 8091=1, 8097=1, 8115=1, 8142=1, 8225=1, 8226=1, 8228=1, 8254=1, 8284=1, 8289=1, 8346=1, 8371=1, 8372=1, 8380=1, 8388=1, 8407=1, 8413=1, 8427=1, 8432=1, 8536=1, 8545=1, 8563=1, 8571=1, 8582=1, 8597=1, 8616=1, 8621=1, 8629=1, 8759=1, 8777=1, 8779=1, 8782=1, 8788=1, 8789=1, 8793=1, 8796=1, 8836=1, 8839=1, 8855=1, 8872=1, 8901=1, 8902=1, 8903=1, 8909=1, 8918=1, 8943=1, 8974=1, 8986=1, 8993=1, 9016=1, 9038=1, 9059=1, 9063=1, 9088=1, 9102=1, 9117=1, 9140=1, 9144=1, 9160=1, 9180=1, 9188=1, 9266=1, 9279=1, 9326=1, 9332=1, 9347=1, 9350=1, 9467=1, 9475=1, 9476=1, 9479=1, 9481=1, 9489=1, 9490=1, 9521=1, 9587=1, 9606=1, 9622=1, 9805=1, 9863=1, 9867=1, 9872=1, 9875=1, 9885=1, 9938=1, 9952=1, 10061=1, 10062=1, 10069=1, 10108=1, 10128=1, 10135=1, 10154=1, 10230=1, 10247=1, 10250=1, 10255=1, 10258=1, 10261=1, 10264=1, 10269=1, 10272=1, 10273=1, 10276=1, 10305=1, 10306=1, 10307=1, 10309=1, 10311=1, 10437=1, 10441=1, 10444=1, 10472=1, 10474=1, 10476=1, 10490=1, 10499=1, 10504=1, 10520=1, 10675=1, 10692=1, 10696=1, 10720=1, 10722=1, 10726=1, 10730=1, 10731=1, 10743=1, 10812=1, 10845=1, 10968=1, 10974=1, 10992=1, 10995=1, 11091=1, 11110=1, 11129=1, 11143=1, 11196=1, 11224=1, 11233=1, 11272=1, 11311=1, 11315=1, 11341=1, 11465=1, 11496=1, 11525=1, 11560=1, 11568=1, 11596=1, 11634=1, 11636=1, 11642=1, 11653=1, 11658=1, 11700=1, 11702=1, 11748=1, 11761=1, 11806=1, 11808=1, 11859=1, 11860=1, 11919=1, 11968=1, 11972=1, 11973=1, 11974=1, 11981=1, 12007=1, 12030=1, 12034=1, 12036=1, 12037=1, 12041=1, 12094=1, 12157=1, 12187=1, 12206=1, 12227=1, 12231=1, 12255=1, 12280=1, 12286=1, 12302=1, 12304=1, 12314=1, 12318=1, 12322=1, 12329=1, 12348=1, 12351=1, 12380=1, 12390=1, 12404=1, 12415=1, 12422=1, 12425=1, 12445=1, 12446=1, 12447=1, 12460=1, 12625=1, 12669=1, 12673=1, 12686=1, 12710=1, 12721=1, 12734=1, 12793=1, 12876=1, 12885=1, 12890=1, 12943=1, 12950=1, 12970=1, 12972=1, 12973=1, 13005=1, 13034=1, 13081=1, 13086=1, 13088=1, 13090=1, 13093=1, 13094=1, 13098=1, 13111=1, 13116=1, 13133=1, 13134=1, 13137=1, 13150=1, 13256=1, 13258=1, 13263=1, 13318=1, 13322=1, 13323=1, 13325=1, 13338=1, 13342=1, 13353=1, 13385=1, 13409=1, 13410=1, 13475=1, 13476=1, 13546=1, 13556=1, 13617=1, 13635=1, 13638=1, 13639=1, 13642=1, 13645=1, 13646=1, 13673=1, 13729=1, 13734=1, 13751=1, 13753=1, 13762=1, 13770=1, 13772=1, 13815=1, 13850=1, 13881=1, 13955=1, 14074=1, 14139=1, 14241=1, 14245=1, 14331=1, 14352=1, 14355=1, 14431=1, 14432=1, 14486=1, 14492=1, 14520=1, 14524=1, 14534=1, 14549=1, 14615=1, 14626=1, 14652=1, 14691=1, 14692=1, 14693=1, 14699=1, 14772=1, 14787=1, 14850=1, 14885=1, 14888=1, 14893=1, 15031=1, 15096=1, 15178=1, 15194=1, 15227=1, 15228=1, 15246=1, 15250=1, 15256=1, 15258=1, 15320=1, 15338=1, 15346=1, 15400=1, 15468=1, 15557=1, 15567=1, 15569=1, 15576=1, 15621=1, 15628=1, 15735=1, 15740=1, 15751=1, 15825=1, 15833=1, 15884=1, 15887=1, 15952=1, 15954=1, 15959=1, 16038=1, 16069=1, 16157=1, 16212=1, 16220=1, 16264=1, 16295=1, 16318=1, 16422=1, 16432=1, 16441=1, 16514=1, 16515=1, 16516=1, 16520=1, 16521=1, 16553=1, 16554=1, 16557=1, 16573=1, 16606=1, 16616=1, 16619=1, 16621=1, 16682=1, 16685=1, 16707=1, 16716=1, 16765=1, 16767=1, 16817=1, 16878=1, 16882=1}
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 337 ms. (steps per millisecond=2 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 147 ms. (steps per millisecond=6 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 292 ms. (steps per millisecond=3 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 144 ms. (steps per millisecond=6 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 130 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 145 ms. (steps per millisecond=6 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 148 ms. (steps per millisecond=6 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 239 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 194 ms. (steps per millisecond=5 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 300 ms. (steps per millisecond=3 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 349 ms. (steps per millisecond=2 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 299 ms. (steps per millisecond=3 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 242 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 224 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 132 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 228 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 126 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 211 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 127 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 323 ms. (steps per millisecond=3 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 216 ms. (steps per millisecond=4 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 291 ms. (steps per millisecond=3 ) properties (out of 16254) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 354 ms. (steps per millisecond=2 ) properties (out of 16254) seen :0
Interrupted probabilistic random walk after 21305 steps, run timeout after 30006 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 21305 steps, saw 19063 distinct states, run finished after 30006 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 16254 properties.
[2022-05-23 07:43:58] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2022-05-23 07:43:58] [INFO ] Computed 13 place invariants in 38 ms
[2022-05-23 07:45:55] [INFO ] [Real]Absence check using 13 positive place invariants in 16 ms returned sat
[2022-05-23 07:47:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2022-05-23 07:47:43] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 16254 Parikh solutions to 1 different solutions.
Support contains 595 out of 627 places. Attempting structural reductions.
Starting structural reductions, iteration 0 : 627/627 places, 31353/31353 transitions.
Applied a total of 0 rules in 447 ms. Remains 627 /627 variables (removed 0) and now considering 31353/31353 (removed 0) transitions.
Finished structural reductions, in 1 iterations. Remains : 627/627 places, 31353/31353 transitions.
[2022-05-23 07:47:45] [INFO ] Flatten gal took : 1020 ms
[2022-05-23 07:47:46] [INFO ] Flatten gal took : 1197 ms
[2022-05-23 07:47:46] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8026464996470051031.gal : 140 ms
[2022-05-23 07:47:46] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3994114390066425590.prop : 34 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/ReachabilityCardinality8026464996470051031.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality3994114390066425590.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/ReachabilityCardinality8026464996470051031.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality3994114390066425590.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality3994114390066425590.prop.
Detected timeout of ITS tools.
[2022-05-23 07:48:14] [INFO ] Flatten gal took : 1687 ms
[2022-05-23 07:48:14] [INFO ] Applying decomposition
[2022-05-23 07:48:16] [INFO ] Flatten gal took : 1536 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/graph3364978410272573919.txt, -o, /tmp/graph3364978410272573919.bin, -w, /tmp/graph3364978410272573919.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/graph3364978410272573919.bin, -l, -1, -v, -w, /tmp/graph3364978410272573919.weights, -q, 0, -e, 0.001], workingDir=null]
[2022-05-23 07:48:21] [INFO ] Decomposing Gal with order
[2022-05-23 07:48:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2022-05-23 07:48:24] [INFO ] Removed a total of 91961 redundant transitions.
[2022-05-23 07:48:25] [INFO ] Flatten gal took : 2722 ms
[2022-05-23 07:48:36] [INFO ] Fuse similar labels procedure discarded/fused a total of 1580 labels/synchronizations in 1270 ms.
[2022-05-23 07:48:36] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3406442572209534208.gal : 126 ms
[2022-05-23 07:48:36] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11878529565237037811.prop : 40 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/ReachabilityCardinality3406442572209534208.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11878529565237037811.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/ReachabilityCardinality3406442572209534208.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11878529565237037811.prop --nowitness
Loading property file /tmp/ReachabilityCardinality11878529565237037811.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin12075920016932568555
[2022-05-23 07:49:02] [INFO ] Built C files in 526ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin12075920016932568555
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/ltsmin12075920016932568555]
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/ltsmin12075920016932568555] 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/ltsmin12075920016932568555] 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 14331 steps, including 0 resets, run timeout after 30153 ms. (steps per millisecond=0 ) properties seen :{2=1, 80=1, 81=1, 103=1, 139=1, 288=1, 313=1, 404=1, 548=1, 600=1, 662=1, 856=1, 889=1, 965=1, 1069=1, 1079=1, 1125=1, 1128=1, 1143=1, 1186=1, 1393=1, 1438=1, 1455=1, 1495=1, 1589=1, 1689=1, 1747=1, 1756=1, 1770=1, 1772=1, 1798=1, 1799=1, 1853=1, 1954=1, 2025=1, 2032=1, 2035=1, 2062=1, 2066=1, 2119=1, 2122=1, 2152=1, 2161=1, 2164=1, 2171=1, 2174=1, 2177=1, 2188=1, 2216=1, 2217=1, 2220=1, 2221=1, 2223=1, 2241=1, 2292=1, 2298=1, 2383=1, 2392=1, 2429=1, 2443=1, 2452=1, 2461=1, 2479=1, 2494=1, 2597=1, 2639=1, 2676=1, 2691=1, 2705=1, 2729=1, 2745=1, 2754=1, 2780=1, 2808=1, 2819=1, 2826=1, 2834=1, 2842=1, 2887=1, 2890=1, 2924=1, 2927=1, 3030=1, 3050=1, 3400=1, 3491=1, 3532=1, 3561=1, 3653=1, 3721=1, 3742=1, 3771=1, 3776=1, 3783=1, 3814=1, 3821=1, 3844=1, 3864=1, 3936=1, 3946=1, 4048=1, 4094=1, 4120=1, 4130=1, 4136=1, 4160=1, 4161=1, 4162=1, 4201=1, 4241=1, 4266=1, 4273=1, 4416=1, 4431=1, 4436=1, 4437=1, 4446=1, 4448=1, 4453=1, 4454=1, 4459=1, 4462=1, 4463=1, 4464=1, 4472=1, 4480=1, 4521=1, 4522=1, 4534=1, 4654=1, 4682=1, 4686=1, 4692=1, 4697=1, 4727=1, 4731=1, 4741=1, 4748=1, 4783=1, 4790=1, 5079=1, 5092=1, 5096=1, 5122=1, 5170=1, 5384=1, 5404=1, 5406=1, 5479=1, 5540=1, 5573=1, 5588=1, 5668=1, 5804=1, 5828=1, 5852=1, 5917=1, 5922=1, 6011=1, 6031=1, 6170=1, 6173=1, 6228=1, 6344=1, 6353=1, 6391=1, 6539=1, 6580=1, 6586=1, 6671=1, 6672=1, 6678=1, 6727=1, 6783=1, 6820=1, 6866=1, 6879=1, 6888=1, 6929=1, 6970=1, 6974=1, 7083=1, 7104=1, 7106=1, 7111=1, 7214=1, 7291=1, 7294=1, 7319=1, 7328=1, 7389=1, 7489=1, 7507=1, 7521=1, 7545=1, 7547=1, 7627=1, 7632=1, 7655=1, 7658=1, 7687=1, 7691=1, 7729=1, 7754=1, 7780=1, 7781=1, 7824=1, 7846=1, 7868=1, 7933=1, 7935=1, 7943=1, 7978=1, 8090=1, 8110=1, 8111=1, 8126=1, 8134=1, 8154=1, 8160=1, 8180=1, 8186=1, 8192=1, 8242=1, 8291=1, 8325=1, 8359=1, 8365=1, 8377=1, 8392=1, 8400=1, 8455=1, 8487=1, 8526=1, 8561=1, 8572=1, 8579=1, 8583=1, 8590=1, 8704=1, 8732=1, 8733=1, 8752=1, 8848=1, 8852=1, 8979=1, 8987=1, 8998=1, 9104=1, 9108=1, 9116=1, 9504=1, 9505=1, 9515=1, 9567=1, 9647=1, 9651=1, 9667=1, 9689=1, 9751=1, 9753=1, 9774=1, 9871=1, 9877=1, 9888=1, 9973=1, 10023=1, 10027=1, 10036=1, 10083=1, 10152=1, 10156=1, 10177=1, 10279=1, 10287=1, 10295=1, 10304=1, 10309=1, 10314=1, 10318=1, 10411=1, 10447=1, 10508=1, 10560=1, 10625=1, 10645=1, 10656=1, 10682=1, 10757=1, 10765=1, 10800=1, 10867=1, 10880=1, 10927=1, 10970=1, 11058=1, 11129=1, 11142=1, 11255=1, 11271=1, 11276=1, 11279=1, 11328=1, 11338=1, 11365=1, 11449=1, 11516=1, 11568=1, 11576=1, 11745=1, 11783=1, 11860=1, 11949=1, 11960=1, 11994=1, 12039=1, 12099=1, 12101=1, 12111=1, 12173=1, 12177=1, 12186=1, 12218=1, 12251=1, 12254=1, 12255=1, 12383=1, 12387=1, 12393=1, 12397=1, 12400=1, 12403=1, 12407=1, 12497=1, 12509=1, 12514=1, 12545=1, 12570=1, 12778=1, 12795=1, 12802=1, 12804=1, 12811=1, 12814=1, 12825=1, 12873=1, 12912=1, 13107=1, 13124=1, 13203=1, 13204=1, 13225=1, 13324=1, 13335=1, 13407=1, 13410=1, 13653=1, 13665=1, 13672=1, 13701=1, 13706=1, 13710=1, 13779=1, 13786=1, 13812=1, 13830=1, 13910=1, 13911=1, 13916=1, 13954=1, 13972=1, 14008=1, 14069=1, 14138=1, 14146=1, 14223=1, 14240=1, 14252=1, 14300=1, 14341=1, 14476=1, 14650=1, 14777=1, 14864=1, 14865=1, 14878=1, 14908=1, 15103=1, 15217=1, 15218=1, 15244=1, 15314=1, 15344=1, 15348=1, 15349=1, 15367=1, 15383=1, 15422=1, 15464=1, 15521=1, 15537=1, 15600=1, 15609=1, 15676=1, 15699=1, 15932=1, 15935=1, 16010=1, 16059=1, 16170=1, 16193=1, 16199=1, 16210=1, 16214=1, 16250=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 377 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 325 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 409 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 208 ms. (steps per millisecond=4 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 514 ms. (steps per millisecond=1 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 499 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 541 ms. (steps per millisecond=1 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 271 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 268 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 512 ms. (steps per millisecond=1 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 254 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 404 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 242 ms. (steps per millisecond=4 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 222 ms. (steps per millisecond=4 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 159 ms. (steps per millisecond=6 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 345 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 146 ms. (steps per millisecond=6 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 401 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 343 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 180 ms. (steps per millisecond=5 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 304 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 218 ms. (steps per millisecond=4 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 138 ms. (steps per millisecond=7 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 135 ms. (steps per millisecond=7 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=7 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 368 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 254 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 268 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 262 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 334 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 393 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 158 ms. (steps per millisecond=6 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 289 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 298 ms. (steps per millisecond=3 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 231 ms. (steps per millisecond=4 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 411 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 161 ms. (steps per millisecond=6 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 389 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 183 ms. (steps per millisecond=5 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 436 ms. (steps per millisecond=2 ) properties (out of 15839) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 230 ms. (steps per millisecond=4 ) properties (out of 15839) seen :0
Interrupted probabilistic random walk after 15476 steps, run timeout after 30025 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 15476 steps, saw 13846 distinct states, run finished after 30041 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 15839 properties.
[2022-05-23 07:50:18] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2022-05-23 07:50:18] [INFO ] Computed 13 place invariants in 96 ms
[2022-05-23 07:52:11] [INFO ] [Real]Absence check using 13 positive place invariants in 21 ms returned sat

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="RERS17pb113-PT-3"
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 RERS17pb113-PT-3, 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 r198-tajo-165281579200012"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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