Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2021-input.r185-tajo-162089425200092.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2021-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 itstools
Input is RERS17pb113-PT-4, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r185-tajo-162089425200092
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 115K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 17K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 79K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 28 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Mar 28 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 10:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 10:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 13:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 13:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 22 08:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 22 08:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 2 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 15M May 5 16:51 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 1621333856131

Running Version 0
[2021-05-18 10:30:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -spotpath, /home/mcc/BenchKit/bin//..//ltlfilt, -z3path, /home/mcc/BenchKit/bin//..//z3/bin/z3, -yices2path, /home/mcc/BenchKit/bin//..//yices/bin/yices, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 1800]
[2021-05-18 10:30:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 10:30:58] [INFO ] Load time of PNML (sax parser for PT used): 623 ms
[2021-05-18 10:30:58] [INFO ] Transformed 639 places.
[2021-05-18 10:30:58] [INFO ] Transformed 31353 transitions.
[2021-05-18 10:30:58] [INFO ] Parsed PT model containing 639 places and 31353 transitions in 794 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 447 ms. Remains 627 /639 variables (removed 12) and now considering 31353/31353 (removed 0) transitions.
[2021-05-18 10:30:59] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2021-05-18 10:30:59] [INFO ] Computed 13 place invariants in 103 ms
[2021-05-18 10:31:01] [INFO ] Implicit Places using invariants in 2100 ms returned []
Implicit Place search using SMT only with invariants took 2131 ms to find 0 implicit places.
[2021-05-18 10:31:01] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2021-05-18 10:31:01] [INFO ] Computed 13 place invariants in 93 ms
[2021-05-18 10:31:11] [INFO ] Dead Transitions using invariants and state equation in 9977 ms returned []
Finished structural reductions, in 1 iterations. Remains : 627/639 places, 31353/31353 transitions.
Discarding 304 transitions out of 31353. Remains 31049
[2021-05-18 10:31:12] [INFO ] Initial state test concluded for 1 properties.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 23562 ms. (steps per millisecond=0 ) properties (out of 31048) seen :7806
Running SMT prover for 23242 properties.
[2021-05-18 10:31:36] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2021-05-18 10:31:37] [INFO ] Computed 13 place invariants in 103 ms
[2021-05-18 10:32:02] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 23242 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 224 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.
[2021-05-18 10:32:04] [INFO ] Flatten gal took : 1553 ms
[2021-05-18 10:32:05] [INFO ] Flatten gal took : 1006 ms
[2021-05-18 10:32:06] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality1557821397536843842.gal : 182 ms
[2021-05-18 10:32:06] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12957483161370947076.prop : 78 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality1557821397536843842.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12957483161370947076.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/ReachabilityCardinality1557821397536843842.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12957483161370947076.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality12957483161370947076.prop.
Detected timeout of ITS tools.
[2021-05-18 10:32:22] [INFO ] Flatten gal took : 1058 ms
[2021-05-18 10:32:22] [INFO ] Applying decomposition
[2021-05-18 10:32:23] [INFO ] Flatten gal took : 859 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/graph5675964274273591491.txt, -o, /tmp/graph5675964274273591491.bin, -w, /tmp/graph5675964274273591491.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/graph5675964274273591491.bin, -l, -1, -v, -w, /tmp/graph5675964274273591491.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 10:32:27] [INFO ] Decomposing Gal with order
[2021-05-18 10:32:27] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 10:32:30] [INFO ] Removed a total of 91896 redundant transitions.
[2021-05-18 10:32:31] [INFO ] Flatten gal took : 3070 ms
[2021-05-18 10:32:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 1628 labels/synchronizations in 1328 ms.
[2021-05-18 10:32:43] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality9115776770934451570.gal : 119 ms
[2021-05-18 10:32:43] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality249084982240519927.prop : 98 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/ReachabilityCardinality9115776770934451570.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality249084982240519927.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/ReachabilityCardinality9115776770934451570.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality249084982240519927.prop --nowitness
Loading property file /tmp/ReachabilityCardinality249084982240519927.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin14277656925830303942
[2021-05-18 10:32:59] [INFO ] Built C files in 675ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin14277656925830303942
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/ltsmin14277656925830303942]
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/ltsmin14277656925830303942] 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/ltsmin14277656925830303942] 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 20989 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{4=1, 7=1, 13=1, 17=1, 35=1, 44=1, 55=1, 57=1, 68=1, 70=1, 72=1, 77=1, 81=1, 83=1, 87=1, 92=1, 95=1, 98=1, 101=1, 120=1, 125=1, 131=1, 132=1, 143=1, 150=1, 162=1, 168=1, 175=1, 207=1, 208=1, 212=1, 217=1, 223=1, 234=1, 244=1, 258=1, 260=1, 262=1, 267=1, 279=1, 300=1, 320=1, 327=1, 344=1, 363=1, 378=1, 379=1, 380=1, 382=1, 385=1, 392=1, 412=1, 431=1, 447=1, 465=1, 472=1, 477=1, 478=1, 505=1, 509=1, 514=1, 517=1, 519=1, 532=1, 534=1, 536=1, 544=1, 551=1, 554=1, 558=1, 559=1, 562=1, 566=1, 567=1, 568=1, 587=1, 588=1, 658=1, 659=1, 663=1, 664=1, 670=1, 672=1, 677=1, 679=1, 681=1, 686=1, 695=1, 696=1, 700=1, 701=1, 702=1, 704=1, 705=1, 735=1, 741=1, 755=1, 757=1, 774=1, 790=1, 797=1, 800=1, 803=1, 813=1, 826=1, 835=1, 837=1, 847=1, 855=1, 860=1, 861=1, 871=1, 886=1, 937=1, 963=1, 966=1, 968=1, 1058=1, 1062=1, 1063=1, 1071=1, 1077=1, 1120=1, 1121=1, 1123=1, 1126=1, 1132=1, 1134=1, 1135=1, 1139=1, 1141=1, 1143=1, 1145=1, 1146=1, 1149=1, 1152=1, 1173=1, 1181=1, 1191=1, 1194=1, 1198=1, 1217=1, 1225=1, 1231=1, 1255=1, 1273=1, 1279=1, 1281=1, 1282=1, 1284=1, 1287=1, 1296=1, 1302=1, 1321=1, 1327=1, 1330=1, 1350=1, 1363=1, 1397=1, 1399=1, 1407=1, 1409=1, 1412=1, 1413=1, 1422=1, 1424=1, 1427=1, 1429=1, 1433=1, 1434=1, 1437=1, 1441=1, 1443=1, 1444=1, 1447=1, 1459=1, 1460=1, 1461=1, 1494=1, 1526=1, 1553=1, 1557=1, 1565=1, 1571=1, 1573=1, 1576=1, 1587=1, 1604=1, 1610=1, 1630=1, 1684=1, 1711=1, 1720=1, 1723=1, 1728=1, 1803=1, 1804=1, 1806=1, 1810=1, 1827=1, 1828=1, 1829=1, 1833=1, 1837=1, 1865=1, 1869=1, 1877=1, 1889=1, 1892=1, 1895=1, 1896=1, 1900=1, 1901=1, 1902=1, 1903=1, 1904=1, 1909=1, 1912=1, 1916=1, 1918=1, 1926=1, 1930=1, 1936=1, 1938=1, 1955=1, 1959=1, 1961=1, 1966=1, 1972=1, 1974=1, 1979=1, 1981=1, 1982=1, 2008=1, 2015=1, 2017=1, 2028=1, 2040=1, 2043=1, 2055=1, 2072=1, 2074=1, 2075=1, 2107=1, 2112=1, 2113=1, 2115=1, 2136=1, 2137=1, 2139=1, 2141=1, 2157=1, 2159=1, 2194=1, 2201=1, 2223=1, 2224=1, 2226=1, 2227=1, 2229=1, 2231=1, 2232=1, 2235=1, 2236=1, 2240=1, 2258=1, 2259=1, 2261=1, 2264=1, 2270=1, 2299=1, 2306=1, 2327=1, 2329=1, 2333=1, 2334=1, 2338=1, 2339=1, 2340=1, 2351=1, 2372=1, 2375=1, 2376=1, 2387=1, 2391=1, 2399=1, 2438=1, 2442=1, 2444=1, 2456=1, 2468=1, 2470=1, 2475=1, 2476=1, 2477=1, 2485=1, 2489=1, 2493=1, 2497=1, 2499=1, 2500=1, 2503=1, 2506=1, 2517=1, 2518=1, 2536=1, 2537=1, 2571=1, 2576=1, 2577=1, 2583=1, 2589=1, 2625=1, 2629=1, 2638=1, 2641=1, 2646=1, 2649=1, 2656=1, 2657=1, 2660=1, 2663=1, 2673=1, 2678=1, 2697=1, 2700=1, 2707=1, 2713=1, 2725=1, 2732=1, 2741=1, 2745=1, 2746=1, 2749=1, 2750=1, 2752=1, 2757=1, 2770=1, 2771=1, 2795=1, 2797=1, 2801=1, 2809=1, 2810=1, 2812=1, 2815=1, 2822=1, 2824=1, 2826=1, 2827=1, 2829=1, 2830=1, 2831=1, 2834=1, 2836=1, 2837=1, 2841=1, 2844=1, 2848=1, 2857=1, 2862=1, 2867=1, 2871=1, 2877=1, 2879=1, 2880=1, 2889=1, 2890=1, 2894=1, 2895=1, 2896=1, 2898=1, 2899=1, 2900=1, 2902=1, 2904=1, 2906=1, 2909=1, 2910=1, 2911=1, 2946=1, 2947=1, 2950=1, 2953=1, 2961=1, 2962=1, 2963=1, 2964=1, 2965=1, 2966=1, 2972=1, 2973=1, 2978=1, 2979=1, 2982=1, 2993=1, 2994=1, 2995=1, 2996=1, 3001=1, 3008=1, 3009=1, 3014=1, 3015=1, 3018=1, 3019=1, 3032=1, 3061=1, 3068=1, 3069=1, 3079=1, 3080=1, 3081=1, 3083=1, 3085=1, 3087=1, 3089=1, 3090=1, 3091=1, 3093=1, 3094=1, 3101=1, 3102=1, 3107=1, 3108=1, 3111=1, 3112=1, 3114=1, 3116=1, 3121=1, 3131=1, 3132=1, 3134=1, 3141=1, 3148=1, 3152=1, 3155=1, 3160=1, 3168=1, 3174=1, 3180=1, 3183=1, 3184=1, 3185=1, 3188=1, 3190=1, 3191=1, 3192=1, 3193=1, 3194=1, 3200=1, 3212=1, 3213=1, 3219=1, 3231=1, 3232=1, 3234=1, 3235=1, 3240=1, 3241=1, 3243=1, 3249=1, 3254=1, 3256=1, 3258=1, 3294=1, 3296=1, 3298=1, 3300=1, 3301=1, 3302=1, 3304=1, 3306=1, 3310=1, 3320=1, 3321=1, 3324=1, 3327=1, 3329=1, 3334=1, 3337=1, 3340=1, 3343=1, 3346=1, 3350=1, 3359=1, 3361=1, 3372=1, 3378=1, 3390=1, 3393=1, 3396=1, 3401=1, 3403=1, 3410=1, 3416=1, 3419=1, 3428=1, 3443=1, 3445=1, 3449=1, 3451=1, 3452=1, 3454=1, 3457=1, 3459=1, 3460=1, 3461=1, 3467=1, 3468=1, 3476=1, 3479=1, 3482=1, 3484=1, 3485=1, 3486=1, 3488=1, 3494=1, 3496=1, 3498=1, 3500=1, 3502=1, 3504=1, 3512=1, 3518=1, 3524=1, 3542=1, 3547=1, 3548=1, 3549=1, 3550=1, 3551=1, 3553=1, 3558=1, 3559=1, 3560=1, 3562=1, 3565=1, 3569=1, 3576=1, 3580=1, 3582=1, 3587=1, 3593=1, 3596=1, 3597=1, 3609=1, 3613=1, 3621=1, 3623=1, 3625=1, 3643=1, 3645=1, 3647=1, 3654=1, 3656=1, 3657=1, 3662=1, 3664=1, 3669=1, 3674=1, 3676=1, 3680=1, 3681=1, 3700=1, 3701=1, 3702=1, 3703=1, 3704=1, 3706=1, 3707=1, 3708=1, 3709=1, 3712=1, 3715=1, 3717=1, 3718=1, 3721=1, 3722=1, 3726=1, 3728=1, 3730=1, 3742=1, 3747=1, 3752=1, 3753=1, 3757=1, 3763=1, 3765=1, 3766=1, 3768=1, 3812=1, 3817=1, 3830=1, 3833=1, 3835=1, 3837=1, 3838=1, 3839=1, 3840=1, 3843=1, 3849=1, 3850=1, 3851=1, 3854=1, 3855=1, 3858=1, 3859=1, 3865=1, 3868=1, 3878=1, 3891=1, 3896=1, 3898=1, 3908=1, 3910=1, 3913=1, 3916=1, 3925=1, 3928=1, 3930=1, 3931=1, 3936=1, 3937=1, 3975=1, 3976=1, 3977=1, 3978=1, 3981=1, 3982=1, 3984=1, 3986=1, 3988=1, 3989=1, 3999=1, 4000=1, 4009=1, 4010=1, 4017=1, 4029=1, 4031=1, 4041=1, 4064=1, 4077=1, 4080=1, 4092=1, 4094=1, 4098=1, 4099=1, 4112=1, 4113=1, 4121=1, 4125=1, 4127=1, 4131=1, 4136=1, 4137=1, 4141=1, 4143=1, 4148=1, 4153=1, 4163=1, 4171=1, 4173=1, 4193=1, 4194=1, 4203=1, 4207=1, 4216=1, 4220=1, 4227=1, 4228=1, 4237=1, 4243=1, 4251=1, 4252=1, 4264=1, 4267=1, 4270=1, 4276=1, 4282=1, 4285=1, 4288=1, 4298=1, 4303=1, 4310=1, 4312=1, 4313=1, 4314=1, 4351=1, 4362=1, 4371=1, 4374=1, 4375=1, 4380=1, 4381=1, 4397=1, 4400=1, 4401=1, 4406=1, 4412=1, 4420=1, 4424=1, 4431=1, 4438=1, 4443=1, 4473=1, 4491=1, 4504=1, 4523=1, 4524=1, 4529=1, 4534=1, 4535=1, 4540=1, 4543=1, 4548=1, 4560=1, 4566=1, 4576=1, 4583=1, 4584=1, 4589=1, 4590=1, 4591=1, 4592=1, 4594=1, 4595=1, 4630=1, 4668=1, 4670=1, 4672=1, 4673=1, 4674=1, 4677=1, 4679=1, 4680=1, 4717=1, 4719=1, 4720=1, 4722=1, 4723=1, 4724=1, 4728=1, 4731=1, 4733=1, 4737=1, 4742=1, 4744=1, 4748=1, 4757=1, 4763=1, 4764=1, 4765=1, 4770=1, 4775=1, 4777=1, 4781=1, 4783=1, 4790=1, 4797=1, 4801=1, 4803=1, 4807=1, 4815=1, 4818=1, 4896=1, 4898=1, 4902=1, 4908=1, 4909=1, 4913=1, 4914=1, 4916=1, 4920=1, 4921=1, 4923=1, 4926=1, 4928=1, 4932=1, 4936=1, 4937=1, 4939=1, 4940=1, 4946=1, 4948=1, 4949=1, 4950=1, 4951=1, 4953=1, 4954=1, 4972=1, 4988=1, 5019=1, 5030=1, 5045=1, 5079=1, 5080=1, 5081=1, 5082=1, 5083=1, 5084=1, 5086=1, 5087=1, 5088=1, 5089=1, 5090=1, 5092=1, 5093=1, 5121=1, 5146=1, 5157=1, 5168=1, 5169=1, 5174=1, 5180=1, 5181=1, 5194=1, 5204=1, 5207=1, 5220=1, 5231=1, 5272=1, 5281=1, 5284=1, 5320=1, 5329=1, 5341=1, 5355=1, 5371=1, 5381=1, 5382=1, 5419=1, 5420=1, 5427=1, 5452=1, 5454=1, 5455=1, 5456=1, 5459=1, 5461=1, 5462=1, 5463=1, 5465=1, 5466=1, 5470=1, 5501=1, 5513=1, 5528=1, 5532=1, 5537=1, 5545=1, 5566=1, 5570=1, 5580=1, 5591=1, 5594=1, 5599=1, 5616=1, 5619=1, 5620=1, 5621=1, 5632=1, 5634=1, 5656=1, 5662=1, 5663=1, 5677=1, 5678=1, 5679=1, 5682=1, 5684=1, 5686=1, 5728=1, 5731=1, 5738=1, 5739=1, 5741=1, 5744=1, 5863=1, 5867=1, 5880=1, 5895=1, 5907=1, 5909=1, 5920=1, 5926=1, 5927=1, 5935=1, 5936=1, 5948=1, 5950=1, 5951=1, 5953=1, 5954=1, 5955=1, 5960=1, 5965=1, 5970=1, 5971=1, 5975=1, 5977=1, 5981=1, 5982=1, 5985=1, 5990=1, 5996=1, 5998=1, 6004=1, 6010=1, 6013=1, 6035=1, 6060=1, 6063=1, 6066=1, 6069=1, 6070=1, 6072=1, 6079=1, 6101=1, 6104=1, 6109=1, 6110=1, 6111=1, 6115=1, 6148=1, 6152=1, 6156=1, 6167=1, 6168=1, 6172=1, 6174=1, 6188=1, 6190=1, 6192=1, 6197=1, 6199=1, 6210=1, 6211=1, 6212=1, 6213=1, 6214=1, 6218=1, 6220=1, 6223=1, 6227=1, 6229=1, 6233=1, 6235=1, 6239=1, 6241=1, 6243=1, 6244=1, 6247=1, 6249=1, 6251=1, 6252=1, 6255=1, 6256=1, 6263=1, 6265=1, 6271=1, 6275=1, 6276=1, 6278=1, 6282=1, 6292=1, 6295=1, 6357=1, 6359=1, 6360=1, 6364=1, 6365=1, 6368=1, 6371=1, 6372=1, 6380=1, 6382=1, 6386=1, 6389=1, 6402=1, 6404=1, 6408=1, 6412=1, 6416=1, 6424=1, 6426=1, 6448=1, 6452=1, 6459=1, 6463=1, 6472=1, 6473=1, 6475=1, 6483=1, 6488=1, 6502=1, 6504=1, 6505=1, 6506=1, 6507=1, 6512=1, 6513=1, 6514=1, 6523=1, 6524=1, 6526=1, 6528=1, 6530=1, 6538=1, 6540=1, 6544=1, 6552=1, 6556=1, 6562=1, 6564=1, 6568=1, 6572=1, 6578=1, 6579=1, 6580=1, 6583=1, 6589=1, 6605=1, 6609=1, 6613=1, 6617=1, 6625=1, 6629=1, 6647=1, 6649=1, 6654=1, 6658=1, 6661=1, 6662=1, 6668=1, 6674=1, 6676=1, 6678=1, 6679=1, 6683=1, 6684=1, 6687=1, 6688=1, 6691=1, 6701=1, 6703=1, 6705=1, 6706=1, 6710=1, 6717=1, 6718=1, 6719=1, 6720=1, 6737=1, 6739=1, 6740=1, 6744=1, 6745=1, 6762=1, 6763=1, 6765=1, 6767=1, 6773=1, 6783=1, 6785=1, 6789=1, 6809=1, 6815=1, 6859=1, 6891=1, 6893=1, 6894=1, 6895=1, 6896=1, 6897=1, 6900=1, 6901=1, 6904=1, 6905=1, 6908=1, 6909=1, 6910=1, 6911=1, 6929=1, 6933=1, 6945=1, 6953=1, 6963=1, 6970=1, 6973=1, 6975=1, 6984=1, 6986=1, 6990=1, 7005=1, 7006=1, 7026=1, 7044=1, 7045=1, 7051=1, 7192=1, 7193=1, 7214=1, 7217=1, 7291=1, 7293=1, 7295=1, 7297=1, 7316=1, 7319=1, 7327=1, 7341=1, 7361=1, 7365=1, 7386=1, 7398=1, 7410=1, 7413=1, 7419=1, 7420=1, 7425=1, 7445=1, 7456=1, 7457=1, 7458=1, 7475=1, 7478=1, 7491=1, 7495=1, 7511=1, 7546=1, 7563=1, 7667=1, 7669=1, 7670=1, 7707=1, 7708=1, 7714=1, 7716=1, 7721=1, 7722=1, 7732=1, 7737=1, 7748=1, 7752=1, 7755=1, 7764=1, 7767=1, 7771=1, 7772=1, 7785=1, 7798=1, 7828=1, 7829=1, 7830=1, 7843=1, 7850=1, 7851=1, 7853=1, 7868=1, 7869=1, 7875=1, 7881=1, 7891=1, 7892=1, 7895=1, 7897=1, 7899=1, 7932=1, 7940=1, 7957=1, 7970=1, 7980=1, 7982=1, 8003=1, 8007=1, 8009=1, 8014=1, 8018=1, 8024=1, 8028=1, 8038=1, 8039=1, 8056=1, 8058=1, 8078=1, 8081=1, 8082=1, 8084=1, 8087=1, 8089=1, 8094=1, 8096=1, 8097=1, 8098=1, 8099=1, 8100=1, 8101=1, 8102=1, 8109=1, 8110=1, 8112=1, 8122=1, 8123=1, 8124=1, 8125=1, 8126=1, 8127=1, 8130=1, 8135=1, 8142=1, 8145=1, 8146=1, 8151=1, 8153=1, 8156=1, 8186=1, 8210=1, 8228=1, 8232=1, 8263=1, 8265=1, 8266=1, 8267=1, 8282=1, 8283=1, 8290=1, 8316=1, 8321=1, 8322=1, 8333=1, 8335=1, 8358=1, 8364=1, 8365=1, 8367=1, 8369=1, 8382=1, 8384=1, 8387=1, 8396=1, 8397=1, 8409=1, 8410=1, 8421=1, 8425=1, 8426=1, 8427=1, 8432=1, 8441=1, 8449=1, 8451=1, 8452=1, 8453=1, 8454=1, 8455=1, 8458=1, 8467=1, 8477=1, 8478=1, 8481=1, 8483=1, 8484=1, 8499=1, 8502=1, 8503=1, 8507=1, 8508=1, 8515=1, 8518=1, 8519=1, 8528=1, 8532=1, 8534=1, 8539=1, 8546=1, 8547=1, 8549=1, 8577=1, 8581=1, 8600=1, 8604=1, 8606=1, 8609=1, 8616=1, 8617=1, 8633=1, 8641=1, 8651=1, 8654=1, 8659=1, 8661=1, 8662=1, 8663=1, 8665=1, 8666=1, 8715=1, 8717=1, 8720=1, 8722=1, 8724=1, 8726=1, 8728=1, 8729=1, 8733=1, 8735=1, 8736=1, 8754=1, 8760=1, 8763=1, 8764=1, 8769=1, 8778=1, 8785=1, 8786=1, 8788=1, 8789=1, 8792=1, 8794=1, 8795=1, 8806=1, 8808=1, 8811=1, 8815=1, 8817=1, 8818=1, 8835=1, 8836=1, 8855=1, 8863=1, 8872=1, 8879=1, 8891=1, 8896=1, 8905=1, 8907=1, 8919=1, 8920=1, 8953=1, 8955=1, 8956=1, 8957=1, 8965=1, 8971=1, 8975=1, 8976=1, 8981=1, 8983=1, 8992=1, 8993=1, 9000=1, 9004=1, 9007=1, 9013=1, 9014=1, 9016=1, 9023=1, 9026=1, 9028=1, 9034=1, 9043=1, 9044=1, 9062=1, 9065=1, 9068=1, 9071=1, 9075=1, 9077=1, 9078=1, 9098=1, 9108=1, 9110=1, 9111=1, 9114=1, 9115=1, 9121=1, 9123=1, 9129=1, 9157=1, 9166=1, 9183=1, 9187=1, 9189=1, 9191=1, 9197=1, 9204=1, 9210=1, 9212=1, 9226=1, 9237=1, 9269=1, 9284=1, 9322=1, 9324=1, 9327=1, 9332=1, 9334=1, 9336=1, 9339=1, 9341=1, 9343=1, 9344=1, 9345=1, 9348=1, 9367=1, 9377=1, 9391=1, 9392=1, 9393=1, 9394=1, 9395=1, 9397=1, 9456=1, 9470=1, 9474=1, 9477=1, 9483=1, 9493=1, 9497=1, 9505=1, 9507=1, 9509=1, 9512=1, 9513=1, 9525=1, 9532=1, 9564=1, 9592=1, 9600=1, 9601=1, 9605=1, 9606=1, 9618=1, 9620=1, 9621=1, 9623=1, 9624=1, 9626=1, 9627=1, 9628=1, 9629=1, 9630=1, 9633=1, 9639=1, 9641=1, 9644=1, 9645=1, 9650=1, 9658=1, 9660=1, 9697=1, 9702=1, 9704=1, 9706=1, 9709=1, 9711=1, 9713=1, 9721=1, 9725=1, 9731=1, 9734=1, 9736=1, 9760=1, 9767=1, 9786=1, 9809=1, 9827=1, 9857=1, 9889=1, 9890=1, 9892=1, 9897=1, 9899=1, 9905=1, 9909=1, 9912=1, 9913=1, 9920=1, 9929=1, 9930=1, 9933=1, 9934=1, 9944=1, 9948=1, 9950=1, 9952=1, 9953=1, 9954=1, 9961=1, 9962=1, 9964=1, 9966=1, 9967=1, 9969=1, 9978=1, 10013=1, 10027=1, 10062=1, 10063=1, 10064=1, 10066=1, 10067=1, 10068=1, 10071=1, 10073=1, 10074=1, 10075=1, 10076=1, 10077=1, 10080=1, 10083=1, 10091=1, 10094=1, 10103=1, 10137=1, 10142=1, 10145=1, 10171=1, 10193=1, 10197=1, 10229=1, 10230=1, 10236=1, 10239=1, 10241=1, 10242=1, 10243=1, 10252=1, 10259=1, 10260=1, 10261=1, 10262=1, 10272=1, 10273=1, 10275=1, 10276=1, 10277=1, 10278=1, 10289=1, 10291=1, 10293=1, 10294=1, 10350=1, 10360=1, 10363=1, 10365=1, 10397=1, 10398=1, 10399=1, 10403=1, 10415=1, 10417=1, 10422=1, 10441=1, 10442=1, 10502=1, 10503=1, 10506=1, 10508=1, 10511=1, 10514=1, 10515=1, 10516=1, 10517=1, 10518=1, 10519=1, 10520=1, 10526=1, 10527=1, 10528=1, 10529=1, 10530=1, 10531=1, 10541=1, 10542=1, 10544=1, 10556=1, 10558=1, 10562=1, 10579=1, 10585=1, 10593=1, 10619=1, 10625=1, 10635=1, 10637=1, 10654=1, 10655=1, 10659=1, 10668=1, 10690=1, 10694=1, 10709=1, 10721=1, 10723=1, 10727=1, 10729=1, 10733=1, 10735=1, 10739=1, 10742=1, 10762=1, 10780=1, 10782=1, 10787=1, 10815=1, 10819=1, 10833=1, 10834=1, 10837=1, 10843=1, 10848=1, 10851=1, 10856=1, 10857=1, 10862=1, 10863=1, 10870=1, 10884=1, 10887=1, 10888=1, 10893=1, 10907=1, 10912=1, 10915=1, 10918=1, 10920=1, 10921=1, 10922=1, 10923=1, 10933=1, 10948=1, 10955=1, 10960=1, 10979=1, 10980=1, 11005=1, 11008=1, 11021=1, 11025=1, 11028=1, 11029=1, 11035=1, 11036=1, 11038=1, 11042=1, 11051=1, 11056=1, 11058=1, 11062=1, 11069=1, 11075=1, 11076=1, 11078=1, 11080=1, 11083=1, 11084=1, 11088=1, 11096=1, 11099=1, 11100=1, 11102=1, 11108=1, 11110=1, 11120=1, 11128=1, 11149=1, 11168=1, 11169=1, 11181=1, 11187=1, 11192=1, 11193=1, 11194=1, 11195=1, 11196=1, 11198=1, 11201=1, 11203=1, 11204=1, 11206=1, 11209=1, 11210=1, 11211=1, 11223=1, 11225=1, 11228=1, 11229=1, 11238=1, 11271=1, 11273=1, 11299=1, 11304=1, 11307=1, 11359=1, 11360=1, 11361=1, 11367=1, 11372=1, 11373=1, 11374=1, 11376=1, 11382=1, 11383=1, 11386=1, 11388=1, 11390=1, 11391=1, 11392=1, 11393=1, 11396=1, 11403=1, 11405=1, 11408=1, 11411=1, 11422=1, 11423=1, 11434=1, 11439=1, 11443=1, 11445=1, 11458=1, 11465=1, 11475=1, 11483=1, 11484=1, 11490=1, 11494=1, 11495=1, 11498=1, 11501=1, 11503=1, 11504=1, 11507=1, 11509=1, 11514=1, 11536=1, 11540=1, 11541=1, 11542=1, 11544=1, 11546=1, 11547=1, 11561=1, 11570=1, 11573=1, 11585=1, 11616=1, 11620=1, 11627=1, 11633=1, 11638=1, 11641=1, 11644=1, 11647=1, 11651=1, 11655=1, 11658=1, 11661=1, 11678=1, 11686=1, 11699=1, 11709=1, 11728=1, 11731=1, 11734=1, 11740=1, 11744=1, 11751=1, 11755=1, 11759=1, 11760=1, 11761=1, 11762=1, 11771=1, 11777=1, 11778=1, 11779=1, 11780=1, 11862=1, 11874=1, 11878=1, 11881=1, 11882=1, 11884=1, 11885=1, 11898=1, 11902=1, 11905=1, 11906=1, 11910=1, 11912=1, 11916=1, 11919=1, 11925=1, 11927=1, 11933=1, 11943=1, 11958=1, 11964=1, 11981=1, 11986=1, 11991=1, 12000=1, 12004=1, 12010=1, 12011=1, 12013=1, 12016=1, 12025=1, 12056=1, 12057=1, 12098=1, 12104=1, 12105=1, 12120=1, 12131=1, 12135=1, 12136=1, 12138=1, 12139=1, 12140=1, 12141=1, 12147=1, 12173=1, 12188=1, 12192=1, 12223=1, 12224=1, 12225=1, 12226=1, 12228=1, 12231=1, 12233=1, 12234=1, 12235=1, 12250=1, 12261=1, 12262=1, 12282=1, 12289=1, 12293=1, 12311=1, 12312=1, 12314=1, 12315=1, 12318=1, 12323=1, 12327=1, 12339=1, 12351=1, 12352=1, 12354=1, 12362=1, 12364=1, 12365=1, 12367=1, 12370=1, 12374=1, 12375=1, 12379=1, 12383=1, 12388=1, 12389=1, 12393=1, 12395=1, 12397=1, 12402=1, 12412=1, 12414=1, 12418=1, 12420=1, 12422=1, 12423=1, 12427=1, 12428=1, 12429=1, 12430=1, 12436=1, 12459=1, 12460=1, 12466=1, 12481=1, 12488=1, 12490=1, 12491=1, 12500=1, 12505=1, 12521=1, 12523=1, 12530=1, 12537=1, 12538=1, 12539=1, 12554=1, 12555=1, 12557=1, 12560=1, 12564=1, 12568=1, 12580=1, 12584=1, 12586=1, 12587=1, 12599=1, 12615=1, 12616=1, 12619=1, 12624=1, 12628=1, 12631=1, 12641=1, 12651=1, 12661=1, 12668=1, 12680=1, 12685=1, 12687=1, 12692=1, 12694=1, 12697=1, 12699=1, 12709=1, 12715=1, 12716=1, 12729=1, 12733=1, 12734=1, 12735=1, 12737=1, 12740=1, 12744=1, 12746=1, 12756=1, 12757=1, 12762=1, 12764=1, 12768=1, 12772=1, 12774=1, 12775=1, 12781=1, 12782=1, 12788=1, 12809=1, 12811=1, 12812=1, 12819=1, 12829=1, 12831=1, 12835=1, 12840=1, 12853=1, 12865=1, 12867=1, 12869=1, 12876=1, 12880=1, 12889=1, 12893=1, 12915=1, 12918=1, 12919=1, 12923=1, 12924=1, 12939=1, 12946=1, 12954=1, 12964=1, 12968=1, 12970=1, 12971=1, 12991=1, 12996=1, 13002=1, 13003=1, 13012=1, 13013=1, 13015=1, 13020=1, 13028=1, 13031=1, 13035=1, 13037=1, 13043=1, 13044=1, 13045=1, 13048=1, 13051=1, 13055=1, 13076=1, 13080=1, 13086=1, 13096=1, 13183=1, 13185=1, 13191=1, 13195=1, 13204=1, 13208=1, 13212=1, 13213=1, 13214=1, 13220=1, 13221=1, 13222=1, 13223=1, 13224=1, 13229=1, 13230=1, 13231=1, 13233=1, 13244=1, 13245=1, 13248=1, 13250=1, 13254=1, 13255=1, 13259=1, 13265=1, 13281=1, 13283=1, 13285=1, 13296=1, 13298=1, 13325=1, 13334=1, 13341=1, 13343=1, 13357=1, 13360=1, 13363=1, 13364=1, 13367=1, 13368=1, 13383=1, 13385=1, 13389=1, 13390=1, 13393=1, 13397=1, 13399=1, 13408=1, 13418=1, 13474=1, 13477=1, 13480=1, 13482=1, 13485=1, 13486=1, 13554=1, 13558=1, 13560=1, 13568=1, 13569=1, 13570=1, 13574=1, 13575=1, 13579=1, 13594=1, 13607=1, 13609=1, 13610=1, 13612=1, 13613=1, 13620=1, 13621=1, 13622=1, 13645=1, 13646=1, 13652=1, 13653=1, 13654=1, 13659=1, 13660=1, 13661=1, 13662=1, 13669=1, 13684=1, 13685=1, 13694=1, 13699=1, 13701=1, 13720=1, 13744=1, 13750=1, 13760=1, 13763=1, 13764=1, 13765=1, 13767=1, 13772=1, 13773=1, 13774=1, 13777=1, 13788=1, 13789=1, 13793=1, 13795=1, 13803=1, 13813=1, 13820=1, 13824=1, 13840=1, 13844=1, 13849=1, 13850=1, 13863=1, 13864=1, 13880=1, 13882=1, 13902=1, 13914=1, 13918=1, 13940=1, 13957=1, 13976=1, 13978=1, 13979=1, 13981=1, 13982=1, 13989=1, 13990=1, 13992=1, 13993=1, 13994=1, 14002=1, 14010=1, 14023=1, 14024=1, 14028=1, 14040=1, 14041=1, 14042=1, 14047=1, 14049=1, 14051=1, 14054=1, 14055=1, 14056=1, 14060=1, 14061=1, 14062=1, 14065=1, 14066=1, 14069=1, 14070=1, 14072=1, 14073=1, 14076=1, 14079=1, 14080=1, 14094=1, 14117=1, 14129=1, 14130=1, 14132=1, 14137=1, 14138=1, 14142=1, 14143=1, 14147=1, 14149=1, 14155=1, 14160=1, 14165=1, 14167=1, 14173=1, 14174=1, 14175=1, 14176=1, 14180=1, 14186=1, 14191=1, 14196=1, 14197=1, 14212=1, 14214=1, 14215=1, 14220=1, 14257=1, 14266=1, 14290=1, 14297=1, 14302=1, 14303=1, 14304=1, 14316=1, 14325=1, 14329=1, 14339=1, 14341=1, 14342=1, 14343=1, 14350=1, 14353=1, 14356=1, 14361=1, 14364=1, 14365=1, 14372=1, 14374=1, 14375=1, 14379=1, 14385=1, 14390=1, 14391=1, 14422=1, 14425=1, 14426=1, 14429=1, 14430=1, 14433=1, 14436=1, 14437=1, 14445=1, 14446=1, 14496=1, 14497=1, 14503=1, 14520=1, 14526=1, 14531=1, 14534=1, 14538=1, 14551=1, 14566=1, 14574=1, 14596=1, 14602=1, 14603=1, 14615=1, 14657=1, 14659=1, 14662=1, 14663=1, 14664=1, 14665=1, 14670=1, 14689=1, 14693=1, 14695=1, 14696=1, 14707=1, 14708=1, 14709=1, 14711=1, 14742=1, 14743=1, 14745=1, 14785=1, 14788=1, 14794=1, 14799=1, 14802=1, 14806=1, 14808=1, 14817=1, 14820=1, 14826=1, 14829=1, 14831=1, 14832=1, 14834=1, 14918=1, 14924=1, 14933=1, 14935=1, 14947=1, 14957=1, 14969=1, 14973=1, 14974=1, 14977=1, 14980=1, 14981=1, 14982=1, 14983=1, 14986=1, 14988=1, 14990=1, 14991=1, 14997=1, 14999=1, 15008=1, 15013=1, 15017=1, 15019=1, 15054=1, 15055=1, 15057=1, 15062=1, 15064=1, 15066=1, 15067=1, 15069=1, 15078=1, 15082=1, 15090=1, 15096=1, 15104=1, 15113=1, 15121=1, 15126=1, 15127=1, 15128=1, 15130=1, 15132=1, 15133=1, 15137=1, 15138=1, 15141=1, 15142=1, 15147=1, 15149=1, 15152=1, 15156=1, 15157=1, 15162=1, 15170=1, 15172=1, 15179=1, 15182=1, 15197=1, 15202=1, 15207=1, 15213=1, 15215=1, 15217=1, 15219=1, 15223=1, 15233=1, 15238=1, 15245=1, 15251=1, 15252=1, 15255=1, 15257=1, 15265=1, 15266=1, 15267=1, 15272=1, 15274=1, 15282=1, 15285=1, 15308=1, 15337=1, 15339=1, 15342=1, 15351=1, 15352=1, 15358=1, 15361=1, 15363=1, 15393=1, 15398=1, 15403=1, 15414=1, 15424=1, 15426=1, 15427=1, 15430=1, 15436=1, 15439=1, 15440=1, 15442=1, 15444=1, 15450=1, 15454=1, 15473=1, 15474=1, 15475=1, 15478=1, 15484=1, 15494=1, 15495=1, 15498=1, 15503=1, 15507=1, 15509=1, 15517=1, 15521=1, 15525=1, 15541=1, 15542=1, 15544=1, 15548=1, 15551=1, 15552=1, 15554=1, 15560=1, 15571=1, 15574=1, 15590=1, 15595=1, 15604=1, 15615=1, 15616=1, 15618=1, 15619=1, 15636=1, 15639=1, 15642=1, 15643=1, 15644=1, 15645=1, 15653=1, 15662=1, 15663=1, 15665=1, 15668=1, 15669=1, 15670=1, 15671=1, 15673=1, 15674=1, 15677=1, 15678=1, 15680=1, 15686=1, 15689=1, 15696=1, 15697=1, 15708=1, 15709=1, 15710=1, 15712=1, 15760=1, 15763=1, 15770=1, 15775=1, 15777=1, 15781=1, 15784=1, 15786=1, 15789=1, 15794=1, 15805=1, 15810=1, 15811=1, 15828=1, 15829=1, 15831=1, 15838=1, 15844=1, 15864=1, 15870=1, 15873=1, 15880=1, 15882=1, 15883=1, 15890=1, 15892=1, 15897=1, 15899=1, 15911=1, 15914=1, 15919=1, 15931=1, 15936=1, 15959=1, 16048=1, 16065=1, 16083=1, 16089=1, 16095=1, 16098=1, 16101=1, 16103=1, 16108=1, 16115=1, 16119=1, 16129=1, 16138=1, 16145=1, 16146=1, 16158=1, 16161=1, 16171=1, 16173=1, 16175=1, 16181=1, 16183=1, 16191=1, 16192=1, 16194=1, 16196=1, 16202=1, 16204=1, 16210=1, 16211=1, 16216=1, 16220=1, 16222=1, 16227=1, 16233=1, 16235=1, 16261=1, 16276=1, 16279=1, 16280=1, 16283=1, 16284=1, 16290=1, 16296=1, 16305=1, 16307=1, 16313=1, 16336=1, 16380=1, 16388=1, 16391=1, 16410=1, 16413=1, 16434=1, 16443=1, 16449=1, 16452=1, 16481=1, 16484=1, 16490=1, 16494=1, 16527=1, 16543=1, 16544=1, 16552=1, 16564=1, 16568=1, 16571=1, 16572=1, 16574=1, 16579=1, 16590=1, 16593=1, 16623=1, 16639=1, 16645=1, 16679=1, 16680=1, 16683=1, 16684=1, 16685=1, 16687=1, 16689=1, 16692=1, 16693=1, 16694=1, 16697=1, 16700=1, 16712=1, 16715=1, 16746=1, 16747=1, 16749=1, 16760=1, 16773=1, 16775=1, 16784=1, 16791=1, 16808=1, 16812=1, 16814=1, 16831=1, 16838=1, 16847=1, 16849=1, 16862=1, 16867=1, 16874=1, 16949=1, 16966=1, 16967=1, 16970=1, 16977=1, 16978=1, 16980=1, 16986=1, 16988=1, 16992=1, 16999=1, 17001=1, 17007=1, 17012=1, 17025=1, 17045=1, 17072=1, 17073=1, 17076=1, 17077=1, 17083=1, 17091=1, 17095=1, 17111=1, 17119=1, 17120=1, 17121=1, 17122=1, 17124=1, 17125=1, 17128=1, 17132=1, 17134=1, 17137=1, 17139=1, 17141=1, 17211=1, 17216=1, 17239=1, 17240=1, 17241=1, 17242=1, 17244=1, 17248=1, 17251=1, 17258=1, 17264=1, 17270=1, 17272=1, 17275=1, 17291=1, 17294=1, 17315=1, 17320=1, 17322=1, 17324=1, 17337=1, 17344=1, 17345=1, 17349=1, 17356=1, 17357=1, 17358=1, 17361=1, 17363=1, 17378=1, 17384=1, 17398=1, 17411=1, 17413=1, 17422=1, 17423=1, 17430=1, 17431=1, 17437=1, 17441=1, 17445=1, 17446=1, 17452=1, 17457=1, 17463=1, 17465=1, 17470=1, 17472=1, 17474=1, 17475=1, 17476=1, 17478=1, 17480=1, 17482=1, 17484=1, 17485=1, 17486=1, 17491=1, 17501=1, 17508=1, 17513=1, 17514=1, 17515=1, 17516=1, 17521=1, 17526=1, 17530=1, 17541=1, 17546=1, 17548=1, 17554=1, 17561=1, 17567=1, 17580=1, 17588=1, 17592=1, 17594=1, 17604=1, 17610=1, 17612=1, 17617=1, 17625=1, 17658=1, 17659=1, 17660=1, 17674=1, 17676=1, 17681=1, 17685=1, 17687=1, 17690=1, 17738=1, 17742=1, 17755=1, 17765=1, 17775=1, 17777=1, 17781=1, 17792=1, 17793=1, 17795=1, 17803=1, 17811=1, 17835=1, 17836=1, 17838=1, 17864=1, 17876=1, 17884=1, 17901=1, 17930=1, 17937=1, 17938=1, 17939=1, 17953=1, 17957=1, 17960=1, 17962=1, 17966=1, 17967=1, 17969=1, 17973=1, 17975=1, 17976=1, 17981=1, 17990=1, 17994=1, 17997=1, 17998=1, 18016=1, 18018=1, 18021=1, 18022=1, 18024=1, 18028=1, 18032=1, 18033=1, 18035=1, 18045=1, 18050=1, 18053=1, 18063=1, 18071=1, 18073=1, 18077=1, 18084=1, 18085=1, 18102=1, 18104=1, 18107=1, 18109=1, 18115=1, 18116=1, 18117=1, 18118=1, 18149=1, 18155=1, 18182=1, 18187=1, 18206=1, 18233=1, 18236=1, 18241=1, 18243=1, 18248=1, 18254=1, 18259=1, 18263=1, 18264=1, 18266=1, 18267=1, 18268=1, 18270=1, 18271=1, 18273=1, 18274=1, 18277=1, 18278=1, 18287=1, 18290=1, 18293=1, 18294=1, 18299=1, 18301=1, 18303=1, 18305=1, 18308=1, 18309=1, 18311=1, 18317=1, 18328=1, 18330=1, 18339=1, 18341=1, 18351=1, 18357=1, 18358=1, 18361=1, 18363=1, 18371=1, 18374=1, 18377=1, 18388=1, 18390=1, 18391=1, 18397=1, 18401=1, 18490=1, 18498=1, 18522=1, 18523=1, 18524=1, 18525=1, 18526=1, 18559=1, 18560=1, 18568=1, 18569=1, 18571=1, 18578=1, 18591=1, 18603=1, 18608=1, 18611=1, 18612=1, 18613=1, 18614=1, 18616=1, 18621=1, 18637=1, 18647=1, 18659=1, 18660=1, 18661=1, 18663=1, 18666=1, 18667=1, 18671=1, 18672=1, 18675=1, 18677=1, 18683=1, 18689=1, 18711=1, 18714=1, 18721=1, 18729=1, 18730=1, 18731=1, 18734=1, 18736=1, 18767=1, 18771=1, 18774=1, 18775=1, 18777=1, 18779=1, 18782=1, 18788=1, 18790=1, 18796=1, 18814=1, 18817=1, 18819=1, 18822=1, 18824=1, 18825=1, 18826=1, 18830=1, 18832=1, 18833=1, 18859=1, 18862=1, 18863=1, 18864=1, 18865=1, 18872=1, 18897=1, 18911=1, 18915=1, 18917=1, 18974=1, 18982=1, 18998=1, 19000=1, 19015=1, 19016=1, 19021=1, 19023=1, 19027=1, 19036=1, 19040=1, 19046=1, 19053=1, 19069=1, 19092=1, 19094=1, 19105=1, 19114=1, 19125=1, 19151=1, 19154=1, 19164=1, 19166=1, 19171=1, 19175=1, 19176=1, 19181=1, 19182=1, 19188=1, 19189=1, 19190=1, 19197=1, 19198=1, 19201=1, 19204=1, 19211=1, 19213=1, 19214=1, 19215=1, 19216=1, 19217=1, 19218=1, 19242=1, 19292=1, 19307=1, 19330=1, 19332=1, 19340=1, 19357=1, 19367=1, 19380=1, 19387=1, 19396=1, 19401=1, 19416=1, 19433=1, 19450=1, 19452=1, 19506=1, 19510=1, 19527=1, 19541=1, 19544=1, 19563=1, 19567=1, 19574=1, 19656=1, 19674=1, 19691=1, 19705=1, 19717=1, 19719=1, 19723=1, 19737=1, 19759=1, 19765=1, 19767=1, 19776=1, 19783=1, 19794=1, 19796=1, 19821=1, 19826=1, 19830=1, 19834=1, 19844=1, 19850=1, 19874=1, 19875=1, 19877=1, 19879=1, 19882=1, 19883=1, 19884=1, 19891=1, 19894=1, 19899=1, 19906=1, 19914=1, 19918=1, 19924=1, 19933=1, 19938=1, 19943=1, 19961=1, 19963=1, 19974=1, 19976=1, 19982=1, 19985=1, 19986=1, 19988=1, 20040=1, 20041=1, 20042=1, 20044=1, 20045=1, 20046=1, 20052=1, 20061=1, 20066=1, 20088=1, 20097=1, 20098=1, 20113=1, 20138=1, 20144=1, 20148=1, 20167=1, 20174=1, 20179=1, 20185=1, 20199=1, 20207=1, 20220=1, 20222=1, 20226=1, 20271=1, 20272=1, 20275=1, 20278=1, 20281=1, 20284=1, 20290=1, 20292=1, 20294=1, 20334=1, 20340=1, 20343=1, 20359=1, 20365=1, 20367=1, 20376=1, 20380=1, 20381=1, 20396=1, 20406=1, 20413=1, 20417=1, 20422=1, 20424=1, 20425=1, 20467=1, 20472=1, 20486=1, 20499=1, 20501=1, 20510=1, 20512=1, 20521=1, 20522=1, 20536=1, 20538=1, 20540=1, 20548=1, 20553=1, 20560=1, 20566=1, 20572=1, 20573=1, 20574=1, 20577=1, 20582=1, 20592=1, 20595=1, 20602=1, 20613=1, 20635=1, 20640=1, 20641=1, 20652=1, 20788=1, 20791=1, 20792=1, 20811=1, 20813=1, 20818=1, 20824=1, 20835=1, 20836=1, 20837=1, 20838=1, 20840=1, 20841=1, 20847=1, 20850=1, 20882=1, 20947=1, 20949=1, 20967=1, 20971=1, 20980=1, 20984=1, 20985=1, 20989=1, 21035=1, 21036=1, 21037=1, 21039=1, 21043=1, 21046=1, 21053=1, 21058=1, 21067=1, 21070=1, 21081=1, 21087=1, 21093=1, 21095=1, 21098=1, 21100=1, 21101=1, 21107=1, 21110=1, 21115=1, 21121=1, 21124=1, 21133=1, 21136=1, 21143=1, 21157=1, 21159=1, 21179=1, 21185=1, 21189=1, 21192=1, 21195=1, 21217=1, 21230=1, 21232=1, 21235=1, 21236=1, 21238=1, 21240=1, 21241=1, 21243=1, 21245=1, 21290=1, 21291=1, 21298=1, 21299=1, 21322=1, 21327=1, 21328=1, 21329=1, 21340=1, 21343=1, 21349=1, 21352=1, 21357=1, 21358=1, 21360=1, 21361=1, 21362=1, 21366=1, 21368=1, 21376=1, 21381=1, 21384=1, 21409=1, 21416=1, 21428=1, 21433=1, 21437=1, 21441=1, 21489=1, 21495=1, 21506=1, 21509=1, 21516=1, 21541=1, 21547=1, 21548=1, 21562=1, 21572=1, 21575=1, 21586=1, 21587=1, 21595=1, 21607=1, 21608=1, 21713=1, 21754=1, 21776=1, 21780=1, 21804=1, 21810=1, 21821=1, 21829=1, 21830=1, 21832=1, 21834=1, 21837=1, 21839=1, 21842=1, 21843=1, 21844=1, 21847=1, 21850=1, 21853=1, 21856=1, 21860=1, 21862=1, 21891=1, 21895=1, 21896=1, 21897=1, 21898=1, 21899=1, 21901=1, 21902=1, 21909=1, 21916=1, 21931=1, 21936=1, 21938=1, 21980=1, 21986=1, 21987=1, 22007=1, 22021=1, 22022=1, 22023=1, 22031=1, 22034=1, 22040=1, 22056=1, 22058=1, 22060=1, 22067=1, 22076=1, 22077=1, 22080=1, 22090=1, 22100=1, 22114=1, 22121=1, 22125=1, 22128=1, 22130=1, 22144=1, 22156=1, 22157=1, 22165=1, 22179=1, 22181=1, 22192=1, 22204=1, 22207=1, 22216=1, 22217=1, 22224=1, 22227=1, 22233=1, 22236=1, 22240=1, 22241=1, 22243=1, 22259=1, 22274=1, 22300=1, 22301=1, 22307=1, 22314=1, 22319=1, 22359=1, 22360=1, 22361=1, 22363=1, 22364=1, 22365=1, 22366=1, 22367=1, 22369=1, 22370=1, 22371=1, 22372=1, 22385=1, 22386=1, 22388=1, 22389=1, 22405=1, 22406=1, 22407=1, 22411=1, 22419=1, 22428=1, 22433=1, 22459=1, 22480=1, 22496=1, 22498=1, 22507=1, 22528=1, 22531=1, 22534=1, 22539=1, 22548=1, 22549=1, 22557=1, 22560=1, 22561=1, 22565=1, 22567=1, 22572=1, 22573=1, 22579=1, 22620=1, 22621=1, 22628=1, 22664=1, 22678=1, 22691=1, 22774=1, 22786=1, 22792=1, 22799=1, 22800=1, 22832=1, 22835=1, 22836=1, 22837=1, 22840=1, 22867=1, 22876=1, 22896=1, 22899=1, 22969=1, 22977=1, 22979=1, 22986=1, 22987=1, 23075=1, 23079=1, 23085=1, 23135=1, 23172=1, 23173=1, 23174=1, 23175=1, 23179=1, 23180=1, 23181=1, 23182=1, 23187=1, 23198=1, 23221=1, 23222=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 204 ms. (steps per millisecond=4 ) properties (out of 19887) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 189 ms. (steps per millisecond=5 ) properties (out of 19886) seen :4
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 188 ms. (steps per millisecond=5 ) properties (out of 19882) 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 19882) 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 19882) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 19882) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 170 ms. (steps per millisecond=5 ) properties (out of 19881) 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 19881) 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 19881) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19880) 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 19880) 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 19878) 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 19878) 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 19878) 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 19878) 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 19878) 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 19878) 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 19878) 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 19878) 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 19878) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 19877) seen :2
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 19875) 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 19875) 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 19875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 19875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 19875) 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 19875) 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 19875) 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 19875) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 198 ms. (steps per millisecond=5 ) properties (out of 19875) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 290 ms. (steps per millisecond=3 ) properties (out of 19874) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 220 ms. (steps per millisecond=4 ) properties (out of 19874) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 215 ms. (steps per millisecond=4 ) properties (out of 19873) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 184 ms. (steps per millisecond=5 ) properties (out of 19873) 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 19873) 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 19873) 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 19873) 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 19873) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 19872) 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 19872) 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 19872) 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 19872) 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 19872) 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 19872) 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 19872) 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 19872) 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 19872) 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 19872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 19872) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 19872) 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 19872) 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 19872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 19872) 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 19872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 19872) 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 19872) 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 19872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 480 ms. (steps per millisecond=2 ) properties (out of 19872) 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 19872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 19872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 255 ms. (steps per millisecond=3 ) properties (out of 19872) 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 19872) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 197 ms. (steps per millisecond=5 ) properties (out of 19872) 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 19872) 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 19872) 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 19872) 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 19872) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 19871) 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 19871) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 171 ms. (steps per millisecond=5 ) properties (out of 19871) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 166 ms. (steps per millisecond=6 ) properties (out of 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19871) 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 19871) 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 19871) 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 19871) 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 19871) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) 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 19871) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 19871) 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 19871) 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 19871) 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 19871) seen :3
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 19868) 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 19868) 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 19868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 19868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 19868) 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 19868) 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 19868) 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 19868) 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 19868) 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 19868) 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 19868) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 165 ms. (steps per millisecond=6 ) properties (out of 19868) 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 19868) 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 19868) 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 19868) 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 19868) 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 19868) 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 19868) 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 19868) 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 19868) 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 19868) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 19868) 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 19868) 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 19868) 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 19868) 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 19868) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 167 ms. (steps per millisecond=5 ) properties (out of 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 19867) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 162 ms. (steps per millisecond=6 ) properties (out of 19867) 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 19867) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 169 ms. (steps per millisecond=5 ) properties (out of 19867) 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 19867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) 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 19867) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 192 ms. (steps per millisecond=5 ) properties (out of 19867) 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 19867) 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 19867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 19867) 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 19867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 19867) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 174 ms. (steps per millisecond=5 ) properties (out of 19867) 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 19867) 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 19867) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 178 ms. (steps per millisecond=5 ) properties (out of 19867) seen :0
Running SMT prover for 19867 properties.
[2021-05-18 10:34:03] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2021-05-18 10:34:03] [INFO ] Computed 13 place invariants in 91 ms
[2021-05-18 10:36:27] [INFO ] [Real]Absence check using 13 positive place invariants in 7 ms returned sat
[2021-05-18 10:37:48] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 19867 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 229 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.
[2021-05-18 10:37:50] [INFO ] Flatten gal took : 1315 ms
[2021-05-18 10:37:51] [INFO ] Flatten gal took : 984 ms
[2021-05-18 10:37:51] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4572073523818104984.gal : 104 ms
[2021-05-18 10:37:51] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12750813391397199166.prop : 29 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality4572073523818104984.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality12750813391397199166.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/ReachabilityCardinality4572073523818104984.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality12750813391397199166.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality12750813391397199166.prop.
Detected timeout of ITS tools.
[2021-05-18 10:38:07] [INFO ] Flatten gal took : 813 ms
[2021-05-18 10:38:07] [INFO ] Applying decomposition
[2021-05-18 10:38:08] [INFO ] Flatten gal took : 929 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/graph12583848264135393528.txt, -o, /tmp/graph12583848264135393528.bin, -w, /tmp/graph12583848264135393528.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/graph12583848264135393528.bin, -l, -1, -v, -w, /tmp/graph12583848264135393528.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 10:38:11] [INFO ] Decomposing Gal with order
[2021-05-18 10:38:11] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 10:38:13] [INFO ] Removed a total of 91882 redundant transitions.
[2021-05-18 10:38:14] [INFO ] Flatten gal took : 1881 ms
[2021-05-18 10:38:25] [INFO ] Fuse similar labels procedure discarded/fused a total of 1655 labels/synchronizations in 1163 ms.
[2021-05-18 10:38:25] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10059140568191193869.gal : 99 ms
[2021-05-18 10:38:25] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2381649626427728682.prop : 96 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/ReachabilityCardinality10059140568191193869.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality2381649626427728682.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/ReachabilityCardinality10059140568191193869.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality2381649626427728682.prop --nowitness
Loading property file /tmp/ReachabilityCardinality2381649626427728682.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin1187425677224552632
[2021-05-18 10:38:40] [INFO ] Built C files in 376ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin1187425677224552632
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/ltsmin1187425677224552632]
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/ltsmin1187425677224552632] 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/ltsmin1187425677224552632] 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 11186 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{35=1, 38=1, 67=1, 99=1, 173=1, 184=1, 199=1, 205=1, 206=1, 269=1, 289=1, 302=1, 309=1, 333=1, 351=1, 369=1, 390=1, 396=1, 407=1, 411=1, 491=1, 587=1, 601=1, 602=1, 606=1, 608=1, 684=1, 772=1, 821=1, 940=1, 948=1, 963=1, 964=1, 1005=1, 1009=1, 1120=1, 1137=1, 1187=1, 1205=1, 1212=1, 1236=1, 1239=1, 1243=1, 1244=1, 1245=1, 1257=1, 1316=1, 1325=1, 1489=1, 1500=1, 1506=1, 1516=1, 1638=1, 1686=1, 1688=1, 1691=1, 1713=1, 1730=1, 1747=1, 1769=1, 1773=1, 1776=1, 1799=1, 1807=1, 1817=1, 1828=1, 1832=1, 1833=1, 1843=1, 1844=1, 1908=1, 1913=1, 1968=1, 1977=1, 2006=1, 2018=1, 2042=1, 2047=1, 2052=1, 2053=1, 2070=1, 2084=1, 2109=1, 2153=1, 2171=1, 2180=1, 2182=1, 2187=1, 2191=1, 2194=1, 2197=1, 2232=1, 2336=1, 2340=1, 2349=1, 2398=1, 2413=1, 2424=1, 2426=1, 2438=1, 2510=1, 2515=1, 2522=1, 2526=1, 2528=1, 2571=1, 2573=1, 2576=1, 2583=1, 2596=1, 2607=1, 2611=1, 2613=1, 2644=1, 2668=1, 2677=1, 2679=1, 2681=1, 2682=1, 2704=1, 2711=1, 2712=1, 2718=1, 2743=1, 2744=1, 2746=1, 2748=1, 2759=1, 2768=1, 2769=1, 2777=1, 2778=1, 2782=1, 2840=1, 2883=1, 2892=1, 2912=1, 2920=1, 2929=1, 2941=1, 2952=1, 2955=1, 2987=1, 2997=1, 3031=1, 3038=1, 3044=1, 3064=1, 3067=1, 3080=1, 3095=1, 3136=1, 3138=1, 3186=1, 3195=1, 3209=1, 3218=1, 3235=1, 3248=1, 3258=1, 3283=1, 3291=1, 3306=1, 3348=1, 3355=1, 3389=1, 3408=1, 3447=1, 3453=1, 3478=1, 3488=1, 3512=1, 3545=1, 3551=1, 3556=1, 3560=1, 3567=1, 3569=1, 3571=1, 3617=1, 3791=1, 3811=1, 3816=1, 3847=1, 3867=1, 3941=1, 4027=1, 4046=1, 4146=1, 4160=1, 4174=1, 4199=1, 4213=1, 4224=1, 4226=1, 4229=1, 4239=1, 4322=1, 4377=1, 4434=1, 4450=1, 4466=1, 4528=1, 4536=1, 4591=1, 4615=1, 4621=1, 4656=1, 4755=1, 4789=1, 4790=1, 4791=1, 4807=1, 4808=1, 4809=1, 4812=1, 4855=1, 4861=1, 4862=1, 5000=1, 5002=1, 5011=1, 5037=1, 5041=1, 5055=1, 5080=1, 5088=1, 5098=1, 5114=1, 5115=1, 5125=1, 5126=1, 5170=1, 5185=1, 5206=1, 5214=1, 5218=1, 5223=1, 5255=1, 5292=1, 5301=1, 5321=1, 5326=1, 5384=1, 5390=1, 5401=1, 5408=1, 5411=1, 5441=1, 5451=1, 5452=1, 5494=1, 5508=1, 5543=1, 5555=1, 5557=1, 5558=1, 5571=1, 5580=1, 5620=1, 5633=1, 5641=1, 5643=1, 5657=1, 5674=1, 5718=1, 5809=1, 5817=1, 5824=1, 5859=1, 5878=1, 5903=1, 5927=1, 5941=1, 5997=1, 6011=1, 6087=1, 6093=1, 6187=1, 6206=1, 6235=1, 6255=1, 6265=1, 6290=1, 6292=1, 6296=1, 6360=1, 6419=1, 6420=1, 6468=1, 6484=1, 6531=1, 6578=1, 6594=1, 6605=1, 6615=1, 6624=1, 6630=1, 6636=1, 6689=1, 6708=1, 6727=1, 6749=1, 6762=1, 6764=1, 6767=1, 6774=1, 6778=1, 6789=1, 6826=1, 6839=1, 6851=1, 6856=1, 6904=1, 6911=1, 6912=1, 6914=1, 6937=1, 6947=1, 6953=1, 6982=1, 6993=1, 7018=1, 7032=1, 7060=1, 7092=1, 7093=1, 7152=1, 7153=1, 7156=1, 7161=1, 7171=1, 7184=1, 7225=1, 7234=1, 7235=1, 7252=1, 7253=1, 7264=1, 7309=1, 7328=1, 7354=1, 7356=1, 7403=1, 7410=1, 7414=1, 7477=1, 7499=1, 7519=1, 7525=1, 7551=1, 7596=1, 7603=1, 7605=1, 7611=1, 7624=1, 7625=1, 7631=1, 7651=1, 7664=1, 7666=1, 7683=1, 7832=1, 7935=1, 8056=1, 8063=1, 8077=1, 8079=1, 8085=1, 8159=1, 8177=1, 8182=1, 8185=1, 8187=1, 8287=1, 8299=1, 8301=1, 8361=1, 8367=1, 8390=1, 8416=1, 8418=1, 8428=1, 8467=1, 8471=1, 8510=1, 8621=1, 8628=1, 8637=1, 8808=1, 8843=1, 8852=1, 8875=1, 8945=1, 8974=1, 9072=1, 9078=1, 9079=1, 9082=1, 9084=1, 9086=1, 9126=1, 9184=1, 9190=1, 9191=1, 9193=1, 9195=1, 9201=1, 9214=1, 9240=1, 9252=1, 9267=1, 9269=1, 9294=1, 9296=1, 9310=1, 9404=1, 9408=1, 9426=1, 9434=1, 9461=1, 9494=1, 9529=1, 9546=1, 9552=1, 9562=1, 9564=1, 9588=1, 9604=1, 9632=1, 9668=1, 9673=1, 9704=1, 9741=1, 9745=1, 9765=1, 9774=1, 9775=1, 9812=1, 9818=1, 9870=1, 9872=1, 9890=1, 9915=1, 9965=1, 9988=1, 10061=1, 10067=1, 10085=1, 10109=1, 10118=1, 10130=1, 10135=1, 10149=1, 10167=1, 10197=1, 10218=1, 10231=1, 10245=1, 10247=1, 10272=1, 10281=1, 10335=1, 10337=1, 10443=1, 10454=1, 10457=1, 10490=1, 10499=1, 10514=1, 10523=1, 10526=1, 10531=1, 10541=1, 10559=1, 10571=1, 10598=1, 10614=1, 10628=1, 10633=1, 10781=1, 10867=1, 10871=1, 10878=1, 10944=1, 11004=1, 11011=1, 11019=1, 11050=1, 11052=1, 11053=1, 11174=1, 11179=1, 11199=1, 11205=1, 11207=1, 11260=1, 11272=1, 11318=1, 11328=1, 11337=1, 11361=1, 11418=1, 11421=1, 11492=1, 11503=1, 11563=1, 11626=1, 11627=1, 11630=1, 11645=1, 11648=1, 11658=1, 11664=1, 11669=1, 11677=1, 11678=1, 11696=1, 11702=1, 11780=1, 11781=1, 11844=1, 11852=1, 11853=1, 11861=1, 11901=1, 11902=1, 11903=1, 11906=1, 11910=1, 11914=1, 11963=1, 11965=1, 11969=1, 11970=1, 11996=1, 12008=1, 12113=1, 12122=1, 12126=1, 12147=1, 12156=1, 12161=1, 12164=1, 12171=1, 12178=1, 12205=1, 12214=1, 12255=1, 12330=1, 12338=1, 12340=1, 12346=1, 12354=1, 12460=1, 12505=1, 12641=1, 12659=1, 12686=1, 12693=1, 12695=1, 12696=1, 12707=1, 12838=1, 12860=1, 12864=1, 12918=1, 12922=1, 12924=1, 12951=1, 12998=1, 13110=1, 13121=1, 13155=1, 13157=1, 13198=1, 13233=1, 13234=1, 13238=1, 13249=1, 13379=1, 13386=1, 13390=1, 13402=1, 13407=1, 13417=1, 13422=1, 13427=1, 13447=1, 13452=1, 13471=1, 13472=1, 13595=1, 13644=1, 13714=1, 13763=1, 13787=1, 13795=1, 13807=1, 13808=1, 13809=1, 13879=1, 13888=1, 13908=1, 13915=1, 13974=1, 13986=1, 14026=1, 14027=1, 14043=1, 14062=1, 14064=1, 14083=1, 14102=1, 14123=1, 14129=1, 14133=1, 14141=1, 14153=1, 14156=1, 14160=1, 14199=1, 14215=1, 14216=1, 14220=1, 14234=1, 14253=1, 14262=1, 14268=1, 14290=1, 14295=1, 14420=1, 14490=1, 14493=1, 14511=1, 14518=1, 14555=1, 14576=1, 14578=1, 14590=1, 14593=1, 14616=1, 14621=1, 14733=1, 14743=1, 14750=1, 14751=1, 14759=1, 14784=1, 14796=1, 14803=1, 14830=1, 14872=1, 14899=1, 14901=1, 14912=1, 14956=1, 14958=1, 14959=1, 14970=1, 14976=1, 14981=1, 14993=1, 15011=1, 15019=1, 15020=1, 15029=1, 15036=1, 15054=1, 15072=1, 15080=1, 15160=1, 15163=1, 15168=1, 15198=1, 15208=1, 15209=1, 15221=1, 15223=1, 15241=1, 15259=1, 15307=1, 15313=1, 15340=1, 15369=1, 15407=1, 15424=1, 15453=1, 15460=1, 15477=1, 15481=1, 15491=1, 15506=1, 15522=1, 15528=1, 15536=1, 15545=1, 15547=1, 15553=1, 15574=1, 15660=1, 15661=1, 15710=1, 15720=1, 15749=1, 15751=1, 15758=1, 15795=1, 15815=1, 15849=1, 15851=1, 15854=1, 15855=1, 15859=1, 15930=1, 15934=1, 15941=1, 15950=1, 15955=1, 15962=1, 15967=1, 15997=1, 15998=1, 16016=1, 16017=1, 16037=1, 16068=1, 16087=1, 16114=1, 16118=1, 16119=1, 16124=1, 16131=1, 16132=1, 16212=1, 16223=1, 16237=1, 16248=1, 16250=1, 16253=1, 16259=1, 16273=1, 16275=1, 16304=1, 16311=1, 16333=1, 16359=1, 16363=1, 16395=1, 16408=1, 16541=1, 16562=1, 16567=1, 16599=1, 16620=1, 16632=1, 16680=1, 16693=1, 16696=1, 16800=1, 16850=1, 16864=1, 16879=1, 16893=1, 16906=1, 16947=1, 16956=1, 16960=1, 16976=1, 16984=1, 17014=1, 17051=1, 17058=1, 17069=1, 17075=1, 17101=1, 17119=1, 17125=1, 17128=1, 17133=1, 17138=1, 17141=1, 17143=1, 17190=1, 17192=1, 17273=1, 17280=1, 17293=1, 17311=1, 17329=1, 17352=1, 17461=1, 17537=1, 17558=1, 17561=1, 17710=1, 17774=1, 17816=1, 17822=1, 17830=1, 17862=1, 17896=1, 17942=1, 17964=1, 18023=1, 18058=1, 18074=1, 18076=1, 18105=1, 18138=1, 18144=1, 18163=1, 18198=1, 18222=1, 18241=1, 18296=1, 18310=1, 18371=1, 18372=1, 18380=1, 18385=1, 18393=1, 18400=1, 18428=1, 18437=1, 18477=1, 18489=1, 18503=1, 18504=1, 18506=1, 18518=1, 18528=1, 18540=1, 18544=1, 18551=1, 18564=1, 18590=1, 18619=1, 18630=1, 18631=1, 18643=1, 18646=1, 18661=1, 18681=1, 18699=1, 18757=1, 18788=1, 18873=1, 18878=1, 18882=1, 18920=1, 18925=1, 18962=1, 19003=1, 19040=1, 19069=1, 19070=1, 19098=1, 19099=1, 19101=1, 19110=1, 19113=1, 19120=1, 19164=1, 19292=1, 19293=1, 19295=1, 19338=1, 19339=1, 19367=1, 19369=1, 19435=1, 19527=1, 19627=1, 19629=1, 19654=1, 19661=1, 19669=1, 19676=1, 19677=1, 19683=1, 19697=1, 19706=1, 19720=1, 19722=1, 19811=1, 19822=1, 19852=1, 19858=1, 19865=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 392 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 381 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 400 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 365 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 370 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 342 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 381 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 373 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 332 ms. (steps per millisecond=3 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 372 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 361 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 418 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 428 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 373 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 344 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 435 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 413 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 344 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) 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 18977) 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 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 378 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 344 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 412 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 399 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 398 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) 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 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 417 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 391 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 434 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 396 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 410 ms. (steps per millisecond=2 ) properties (out of 18977) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 373 ms. (steps per millisecond=2 ) properties (out of 18977) 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 18977) 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 18977) 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 18977) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 391 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 443 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 442 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 451 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 459 ms. (steps per millisecond=2 ) properties (out of 18976) 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 18976) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 416 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 441 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 423 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 510 ms. (steps per millisecond=1 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 547 ms. (steps per millisecond=1 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 395 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 412 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 263 ms. (steps per millisecond=3 ) properties (out of 18976) 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 18976) 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 18976) 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 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 448 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 447 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 465 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 256 ms. (steps per millisecond=3 ) properties (out of 18976) 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 18976) 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 18976) 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 18976) 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 18976) 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 18976) 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 18976) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 179 ms. (steps per millisecond=5 ) properties (out of 18976) 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 18976) 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 18976) 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 18976) 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 18976) 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 18976) 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 18976) 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 18976) 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 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 383 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 339 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 417 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 343 ms. (steps per millisecond=2 ) properties (out of 18976) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 385 ms. (steps per millisecond=2 ) properties (out of 18976) 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 18976) 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 18976) 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 18976) 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 18976) 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 18976) 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 18976) 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 18976) 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 18976) seen :0
Interrupted probabilistic random walk after 17243 steps, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{60=1, 64=1, 68=1, 70=1, 92=1, 94=1, 95=1, 108=1, 317=1, 352=1, 359=1, 404=1, 412=1, 453=1, 455=1, 645=1, 695=1, 696=1, 697=1, 700=1, 704=1, 707=1, 724=1, 725=1, 932=1, 933=1, 986=1, 1053=1, 1265=1, 2145=1, 2146=1, 2151=1, 2157=1, 2160=1, 2169=1, 2359=1, 3025=1, 3101=1, 3245=1, 3689=1, 4309=1, 4315=1, 4590=1, 4796=1, 5226=1, 5818=1, 6901=1, 7040=1, 7042=1, 7045=1, 7289=1, 7295=1, 7306=1, 7773=1, 8144=1, 8168=1, 10901=1, 11212=1, 11219=1, 11243=1, 11369=1, 12322=1, 12347=1, 12817=1, 12820=1, 13171=1, 13860=1, 13874=1, 14403=1, 14414=1, 14418=1, 14442=1, 14444=1, 15236=1, 15485=1, 15709=1, 16170=1, 16342=1, 17154=1, 17616=1, 17746=1, 17786=1}
Probabilistic random walk after 17243 steps, saw 15596 distinct states, run finished after 30006 ms. (steps per millisecond=0 ) properties seen :{60=1, 64=1, 68=1, 70=1, 92=1, 94=1, 95=1, 108=1, 317=1, 352=1, 359=1, 404=1, 412=1, 453=1, 455=1, 645=1, 695=1, 696=1, 697=1, 700=1, 704=1, 707=1, 724=1, 725=1, 932=1, 933=1, 986=1, 1053=1, 1265=1, 2145=1, 2146=1, 2151=1, 2157=1, 2160=1, 2169=1, 2359=1, 3025=1, 3101=1, 3245=1, 3689=1, 4309=1, 4315=1, 4590=1, 4796=1, 5226=1, 5818=1, 6901=1, 7040=1, 7042=1, 7045=1, 7289=1, 7295=1, 7306=1, 7773=1, 8144=1, 8168=1, 10901=1, 11212=1, 11219=1, 11243=1, 11369=1, 12322=1, 12347=1, 12817=1, 12820=1, 13171=1, 13860=1, 13874=1, 14403=1, 14414=1, 14418=1, 14442=1, 14444=1, 15236=1, 15485=1, 15709=1, 16170=1, 16342=1, 17154=1, 17616=1, 17746=1, 17786=1}
Running SMT prover for 18894 properties.
[2021-05-18 10:40:12] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2021-05-18 10:40:13] [INFO ] Computed 13 place invariants in 107 ms
[2021-05-18 10:42:51] [INFO ] [Real]Absence check using 13 positive place invariants in 17 ms returned sat
[2021-05-18 10:43:58] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:43:58] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 18894 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 210 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.
[2021-05-18 10:43:59] [INFO ] Flatten gal took : 733 ms
[2021-05-18 10:44:00] [INFO ] Flatten gal took : 746 ms
[2021-05-18 10:44:00] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4713611029454941192.gal : 77 ms
[2021-05-18 10:44:00] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality5078683931374970195.prop : 21 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality4713611029454941192.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality5078683931374970195.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/ReachabilityCardinality4713611029454941192.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality5078683931374970195.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality5078683931374970195.prop.
Detected timeout of ITS tools.
[2021-05-18 10:44:17] [INFO ] Flatten gal took : 1371 ms
[2021-05-18 10:44:17] [INFO ] Applying decomposition
[2021-05-18 10:44:18] [INFO ] Flatten gal took : 1045 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/graph12838174468682883615.txt, -o, /tmp/graph12838174468682883615.bin, -w, /tmp/graph12838174468682883615.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/graph12838174468682883615.bin, -l, -1, -v, -w, /tmp/graph12838174468682883615.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 10:44:21] [INFO ] Decomposing Gal with order
[2021-05-18 10:44:21] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 10:44:25] [INFO ] Removed a total of 91910 redundant transitions.
[2021-05-18 10:44:25] [INFO ] Flatten gal took : 2948 ms
[2021-05-18 10:44:43] [INFO ] Fuse similar labels procedure discarded/fused a total of 1460 labels/synchronizations in 2029 ms.
[2021-05-18 10:44:43] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13980127344343097382.gal : 82 ms
[2021-05-18 10:44:43] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality9973556935588048670.prop : 55 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality13980127344343097382.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality9973556935588048670.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/ReachabilityCardinality13980127344343097382.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality9973556935588048670.prop --nowitness
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin7144692369905667884
[2021-05-18 10:44:58] [INFO ] Built C files in 385ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin7144692369905667884
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/ltsmin7144692369905667884]
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/ltsmin7144692369905667884] 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/ltsmin7144692369905667884] 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 26717 steps, including 0 resets, run timeout after 30001 ms. (steps per millisecond=0 ) properties seen :{26=1, 41=1, 64=1, 67=1, 78=1, 85=1, 87=1, 89=1, 124=1, 134=1, 156=1, 163=1, 165=1, 171=1, 177=1, 178=1, 180=1, 204=1, 205=1, 213=1, 218=1, 254=1, 260=1, 279=1, 316=1, 335=1, 355=1, 373=1, 410=1, 411=1, 442=1, 453=1, 465=1, 469=1, 478=1, 549=1, 563=1, 565=1, 568=1, 572=1, 574=1, 601=1, 608=1, 624=1, 635=1, 646=1, 653=1, 683=1, 690=1, 695=1, 696=1, 785=1, 800=1, 894=1, 956=1, 980=1, 1010=1, 1056=1, 1100=1, 1118=1, 1171=1, 1174=1, 1177=1, 1183=1, 1186=1, 1187=1, 1191=1, 1197=1, 1204=1, 1205=1, 1206=1, 1208=1, 1259=1, 1272=1, 1292=1, 1413=1, 1417=1, 1528=1, 1534=1, 1535=1, 1539=1, 1543=1, 1546=1, 1547=1, 1553=1, 1582=1, 1583=1, 1586=1, 1590=1, 1596=1, 1619=1, 1620=1, 1629=1, 1647=1, 1658=1, 1671=1, 1675=1, 1696=1, 1721=1, 1735=1, 1769=1, 1791=1, 1795=1, 1797=1, 1800=1, 1803=1, 1811=1, 1867=1, 1870=1, 1871=1, 1892=1, 1897=1, 1915=1, 1924=1, 1925=1, 1926=1, 1939=1, 1942=1, 1971=1, 1978=1, 1986=1, 1988=1, 1997=1, 2003=1, 2050=1, 2081=1, 2087=1, 2093=1, 2110=1, 2140=1, 2156=1, 2158=1, 2211=1, 2214=1, 2215=1, 2219=1, 2221=1, 2228=1, 2250=1, 2270=1, 2292=1, 2299=1, 2301=1, 2303=1, 2314=1, 2320=1, 2328=1, 2350=1, 2371=1, 2373=1, 2379=1, 2384=1, 2385=1, 2388=1, 2389=1, 2390=1, 2424=1, 2427=1, 2431=1, 2458=1, 2461=1, 2462=1, 2464=1, 2495=1, 2505=1, 2510=1, 2525=1, 2541=1, 2556=1, 2558=1, 2560=1, 2561=1, 2562=1, 2565=1, 2577=1, 2579=1, 2581=1, 2593=1, 2595=1, 2598=1, 2599=1, 2611=1, 2612=1, 2674=1, 2682=1, 2683=1, 2703=1, 2724=1, 2752=1, 2768=1, 2776=1, 2778=1, 2780=1, 2787=1, 2792=1, 2805=1, 2813=1, 2829=1, 2834=1, 2837=1, 2839=1, 2849=1, 2854=1, 2858=1, 2864=1, 2866=1, 2870=1, 2872=1, 2886=1, 2891=1, 2893=1, 2914=1, 2916=1, 2931=1, 2932=1, 2933=1, 2949=1, 2952=1, 2953=1, 2971=1, 2989=1, 3000=1, 3037=1, 3038=1, 3063=1, 3078=1, 3085=1, 3088=1, 3089=1, 3096=1, 3106=1, 3107=1, 3111=1, 3112=1, 3145=1, 3149=1, 3151=1, 3152=1, 3163=1, 3195=1, 3230=1, 3231=1, 3233=1, 3236=1, 3237=1, 3238=1, 3243=1, 3249=1, 3262=1, 3272=1, 3323=1, 3340=1, 3352=1, 3355=1, 3356=1, 3357=1, 3358=1, 3365=1, 3391=1, 3392=1, 3403=1, 3404=1, 3405=1, 3440=1, 3443=1, 3472=1, 3479=1, 3501=1, 3506=1, 3520=1, 3534=1, 3536=1, 3593=1, 3632=1, 3641=1, 3674=1, 3709=1, 3713=1, 3716=1, 3750=1, 3755=1, 3756=1, 3757=1, 3882=1, 3898=1, 3902=1, 3907=1, 3917=1, 3918=1, 3919=1, 3921=1, 3922=1, 3924=1, 3929=1, 3931=1, 3934=1, 3956=1, 3963=1, 3977=1, 3980=1, 3994=1, 4004=1, 4043=1, 4083=1, 4087=1, 4103=1, 4113=1, 4116=1, 4118=1, 4136=1, 4149=1, 4155=1, 4172=1, 4203=1, 4212=1, 4254=1, 4258=1, 4293=1, 4371=1, 4374=1, 4403=1, 4433=1, 4436=1, 4463=1, 4475=1, 4476=1, 4481=1, 4505=1, 4510=1, 4537=1, 4543=1, 4546=1, 4551=1, 4553=1, 4597=1, 4599=1, 4702=1, 4719=1, 4726=1, 4742=1, 4765=1, 4766=1, 4789=1, 4792=1, 4794=1, 4797=1, 4804=1, 4805=1, 4811=1, 4813=1, 4822=1, 4825=1, 4828=1, 4830=1, 4841=1, 4844=1, 4859=1, 4866=1, 4867=1, 4876=1, 4904=1, 4908=1, 4935=1, 4937=1, 4968=1, 4969=1, 4977=1, 4987=1, 4988=1, 4990=1, 4991=1, 4995=1, 5006=1, 5007=1, 5009=1, 5013=1, 5019=1, 5024=1, 5025=1, 5029=1, 5107=1, 5108=1, 5130=1, 5132=1, 5137=1, 5138=1, 5159=1, 5160=1, 5163=1, 5184=1, 5202=1, 5207=1, 5211=1, 5225=1, 5227=1, 5236=1, 5245=1, 5249=1, 5254=1, 5313=1, 5321=1, 5326=1, 5330=1, 5339=1, 5369=1, 5370=1, 5371=1, 5372=1, 5406=1, 5415=1, 5418=1, 5502=1, 5505=1, 5508=1, 5509=1, 5533=1, 5542=1, 5558=1, 5559=1, 5560=1, 5561=1, 5605=1, 5606=1, 5607=1, 5636=1, 5650=1, 5653=1, 5662=1, 5668=1, 5676=1, 5681=1, 5783=1, 5858=1, 5862=1, 5879=1, 5887=1, 5901=1, 5913=1, 5922=1, 5928=1, 5966=1, 6067=1, 6069=1, 6092=1, 6128=1, 6134=1, 6139=1, 6141=1, 6231=1, 6235=1, 6243=1, 6261=1, 6269=1, 6271=1, 6272=1, 6296=1, 6338=1, 6355=1, 6360=1, 6364=1, 6374=1, 6397=1, 6417=1, 6440=1, 6445=1, 6452=1, 6455=1, 6474=1, 6479=1, 6493=1, 6500=1, 6506=1, 6513=1, 6520=1, 6526=1, 6537=1, 6540=1, 6550=1, 6551=1, 6558=1, 6565=1, 6577=1, 6606=1, 6613=1, 6620=1, 6645=1, 6652=1, 6673=1, 6702=1, 6707=1, 6768=1, 6775=1, 6790=1, 6799=1, 6805=1, 6830=1, 6838=1, 6851=1, 6854=1, 6855=1, 6872=1, 6873=1, 6875=1, 6966=1, 6976=1, 6986=1, 6987=1, 6989=1, 6990=1, 7003=1, 7016=1, 7020=1, 7027=1, 7037=1, 7043=1, 7044=1, 7119=1, 7137=1, 7141=1, 7145=1, 7147=1, 7164=1, 7169=1, 7171=1, 7172=1, 7175=1, 7206=1, 7216=1, 7226=1, 7238=1, 7252=1, 7307=1, 7312=1, 7314=1, 7315=1, 7316=1, 7318=1, 7355=1, 7357=1, 7365=1, 7379=1, 7405=1, 7407=1, 7414=1, 7419=1, 7422=1, 7443=1, 7462=1, 7518=1, 7519=1, 7523=1, 7526=1, 7527=1, 7528=1, 7530=1, 7532=1, 7556=1, 7557=1, 7559=1, 7592=1, 7604=1, 7625=1, 7631=1, 7637=1, 7640=1, 7642=1, 7644=1, 7645=1, 7659=1, 7664=1, 7665=1, 7679=1, 7699=1, 7734=1, 7750=1, 7754=1, 7756=1, 7764=1, 7813=1, 7814=1, 7830=1, 7861=1, 7862=1, 7906=1, 7977=1, 7990=1, 8008=1, 8011=1, 8013=1, 8014=1, 8015=1, 8016=1, 8031=1, 8072=1, 8074=1, 8075=1, 8081=1, 8116=1, 8118=1, 8119=1, 8133=1, 8198=1, 8205=1, 8217=1, 8227=1, 8253=1, 8259=1, 8261=1, 8265=1, 8298=1, 8350=1, 8363=1, 8364=1, 8396=1, 8397=1, 8398=1, 8407=1, 8409=1, 8410=1, 8432=1, 8486=1, 8490=1, 8497=1, 8501=1, 8521=1, 8532=1, 8535=1, 8588=1, 8596=1, 8613=1, 8616=1, 8622=1, 8629=1, 8639=1, 8647=1, 8677=1, 8721=1, 8724=1, 8736=1, 8740=1, 8743=1, 8745=1, 8755=1, 8756=1, 8774=1, 8788=1, 8796=1, 8801=1, 8803=1, 8804=1, 8807=1, 8808=1, 8809=1, 8810=1, 8812=1, 8816=1, 8825=1, 8840=1, 8843=1, 8887=1, 8926=1, 8936=1, 8962=1, 8998=1, 9022=1, 9037=1, 9039=1, 9040=1, 9055=1, 9070=1, 9088=1, 9113=1, 9116=1, 9118=1, 9135=1, 9146=1, 9161=1, 9164=1, 9177=1, 9179=1, 9181=1, 9183=1, 9184=1, 9189=1, 9212=1, 9220=1, 9223=1, 9227=1, 9234=1, 9262=1, 9264=1, 9265=1, 9266=1, 9271=1, 9274=1, 9278=1, 9281=1, 9292=1, 9322=1, 9323=1, 9331=1, 9378=1, 9415=1, 9416=1, 9420=1, 9422=1, 9451=1, 9456=1, 9462=1, 9465=1, 9468=1, 9469=1, 9472=1, 9479=1, 9482=1, 9583=1, 9595=1, 9622=1, 9636=1, 9665=1, 9698=1, 9718=1, 9750=1, 9753=1, 9757=1, 9758=1, 9763=1, 9771=1, 9777=1, 9783=1, 9788=1, 9837=1, 9840=1, 9841=1, 9844=1, 9848=1, 9859=1, 9862=1, 9900=1, 9944=1, 9953=1, 9971=1, 9973=1, 9984=1, 9986=1, 9994=1, 9996=1, 10003=1, 10008=1, 10009=1, 10010=1, 10017=1, 10035=1, 10039=1, 10047=1, 10062=1, 10071=1, 10094=1, 10107=1, 10125=1, 10149=1, 10151=1, 10158=1, 10161=1, 10183=1, 10188=1, 10194=1, 10201=1, 10213=1, 10218=1, 10220=1, 10232=1, 10244=1, 10248=1, 10250=1, 10252=1, 10253=1, 10261=1, 10263=1, 10272=1, 10276=1, 10287=1, 10290=1, 10323=1, 10351=1, 10360=1, 10372=1, 10380=1, 10384=1, 10390=1, 10407=1, 10408=1, 10416=1, 10420=1, 10432=1, 10476=1, 10477=1, 10483=1, 10485=1, 10486=1, 10487=1, 10488=1, 10490=1, 10491=1, 10495=1, 10501=1, 10507=1, 10508=1, 10517=1, 10521=1, 10594=1, 10596=1, 10598=1, 10613=1, 10620=1, 10638=1, 10643=1, 10644=1, 10647=1, 10648=1, 10650=1, 10652=1, 10659=1, 10660=1, 10665=1, 10670=1, 10673=1, 10696=1, 10721=1, 10776=1, 10777=1, 10790=1, 10805=1, 10829=1, 10831=1, 10833=1, 10834=1, 10857=1, 10860=1, 10916=1, 10940=1, 10970=1, 10971=1, 10972=1, 10973=1, 10978=1, 10980=1, 10981=1, 10987=1, 10989=1, 10993=1, 11000=1, 11010=1, 11032=1, 11036=1, 11052=1, 11053=1, 11055=1, 11086=1, 11087=1, 11088=1, 11092=1, 11099=1, 11100=1, 11101=1, 11107=1, 11123=1, 11139=1, 11153=1, 11171=1, 11203=1, 11208=1, 11213=1, 11257=1, 11258=1, 11260=1, 11261=1, 11262=1, 11263=1, 11264=1, 11269=1, 11275=1, 11298=1, 11308=1, 11310=1, 11311=1, 11312=1, 11313=1, 11315=1, 11316=1, 11317=1, 11318=1, 11320=1, 11321=1, 11325=1, 11336=1, 11356=1, 11373=1, 11387=1, 11397=1, 11400=1, 11490=1, 11491=1, 11509=1, 11511=1, 11513=1, 11529=1, 11532=1, 11548=1, 11550=1, 11555=1, 11557=1, 11559=1, 11562=1, 11563=1, 11577=1, 11587=1, 11595=1, 11596=1, 11597=1, 11602=1, 11648=1, 11677=1, 11725=1, 11731=1, 11749=1, 11750=1, 11753=1, 11756=1, 11757=1, 11761=1, 11762=1, 11794=1, 11795=1, 11796=1, 11800=1, 11811=1, 11817=1, 11824=1, 11825=1, 11832=1, 11842=1, 11845=1, 11849=1, 11903=1, 11904=1, 11907=1, 11922=1, 11936=1, 12021=1, 12032=1, 12036=1, 12037=1, 12038=1, 12042=1, 12047=1, 12053=1, 12069=1, 12132=1, 12170=1, 12177=1, 12187=1, 12207=1, 12228=1, 12241=1, 12294=1, 12313=1, 12318=1, 12344=1, 12402=1, 12403=1, 12422=1, 12423=1, 12424=1, 12425=1, 12436=1, 12478=1, 12490=1, 12501=1, 12502=1, 12505=1, 12511=1, 12522=1, 12524=1, 12527=1, 12534=1, 12539=1, 12540=1, 12583=1, 12592=1, 12595=1, 12596=1, 12598=1, 12601=1, 12604=1, 12611=1, 12613=1, 12642=1, 12677=1, 12712=1, 12730=1, 12749=1, 12750=1, 12760=1, 12761=1, 12786=1, 12791=1, 12792=1, 12795=1, 12834=1, 12862=1, 12884=1, 12891=1, 12902=1, 12967=1, 12984=1, 12990=1, 13000=1, 13010=1, 13012=1, 13015=1, 13033=1, 13104=1, 13118=1, 13193=1, 13221=1, 13223=1, 13226=1, 13243=1, 13253=1, 13275=1, 13283=1, 13297=1, 13316=1, 13319=1, 13324=1, 13327=1, 13344=1, 13357=1, 13367=1, 13382=1, 13409=1, 13440=1, 13441=1, 13443=1, 13444=1, 13446=1, 13447=1, 13448=1, 13450=1, 13456=1, 13460=1, 13461=1, 13466=1, 13471=1, 13496=1, 13503=1, 13508=1, 13524=1, 13530=1, 13534=1, 13593=1, 13594=1, 13597=1, 13604=1, 13703=1, 13734=1, 13744=1, 13763=1, 13771=1, 13784=1, 13789=1, 13795=1, 13804=1, 13805=1, 13806=1, 13809=1, 13816=1, 13818=1, 13822=1, 13837=1, 13858=1, 13869=1, 13877=1, 13913=1, 13914=1, 13944=1, 13977=1, 13980=1, 13994=1, 14013=1, 14015=1, 14027=1, 14078=1, 14083=1, 14084=1, 14085=1, 14086=1, 14100=1, 14102=1, 14124=1, 14196=1, 14235=1, 14236=1, 14238=1, 14242=1, 14243=1, 14250=1, 14269=1, 14280=1, 14300=1, 14341=1, 14367=1, 14384=1, 14397=1, 14453=1, 14454=1, 14465=1, 14474=1, 14480=1, 14482=1, 14490=1, 14506=1, 14507=1, 14520=1, 14540=1, 14552=1, 14574=1, 14580=1, 14581=1, 14582=1, 14606=1, 14627=1, 14645=1, 14647=1, 14688=1, 14697=1, 14704=1, 14718=1, 14719=1, 14721=1, 14722=1, 14723=1, 14725=1, 14728=1, 14729=1, 14731=1, 14744=1, 14749=1, 14765=1, 14768=1, 14776=1, 14803=1, 14805=1, 14806=1, 14954=1, 14963=1, 14971=1, 14972=1, 14986=1, 14987=1, 14988=1, 14989=1, 14991=1, 14996=1, 14997=1, 14998=1, 15000=1, 15001=1, 15008=1, 15020=1, 15021=1, 15067=1, 15069=1, 15072=1, 15076=1, 15104=1, 15116=1, 15142=1, 15146=1, 15169=1, 15171=1, 15175=1, 15184=1, 15213=1, 15255=1, 15258=1, 15260=1, 15293=1, 15305=1, 15311=1, 15328=1, 15350=1, 15367=1, 15380=1, 15426=1, 15427=1, 15433=1, 15440=1, 15445=1, 15451=1, 15491=1, 15542=1, 15563=1, 15566=1, 15572=1, 15582=1, 15601=1, 15608=1, 15656=1, 15721=1, 15729=1, 15734=1, 15744=1, 15760=1, 15769=1, 15778=1, 15788=1, 15791=1, 15792=1, 15793=1, 15863=1, 15865=1, 15877=1, 15955=1, 15965=1, 15974=1, 15982=1, 16047=1, 16052=1, 16067=1, 16071=1, 16090=1, 16093=1, 16113=1, 16141=1, 16149=1, 16154=1, 16165=1, 16166=1, 16168=1, 16170=1, 16172=1, 16175=1, 16216=1, 16254=1, 16257=1, 16260=1, 16284=1, 16289=1, 16296=1, 16298=1, 16305=1, 16317=1, 16331=1, 16365=1, 16369=1, 16382=1, 16394=1, 16396=1, 16408=1, 16422=1, 16429=1, 16431=1, 16442=1, 16454=1, 16460=1, 16477=1, 16478=1, 16533=1, 16548=1, 16550=1, 16555=1, 16563=1, 16567=1, 16568=1, 16577=1, 16579=1, 16580=1, 16630=1, 16631=1, 16650=1, 16663=1, 16665=1, 16680=1, 16687=1, 16802=1, 16828=1, 16841=1, 16852=1, 16854=1, 16857=1, 16858=1, 16864=1, 16866=1, 16897=1, 16960=1, 17044=1, 17049=1, 17053=1, 17054=1, 17055=1, 17059=1, 17068=1, 17070=1, 17071=1, 17078=1, 17080=1, 17081=1, 17090=1, 17106=1, 17113=1, 17143=1, 17154=1, 17191=1, 17214=1, 17224=1, 17231=1, 17244=1, 17245=1, 17271=1, 17276=1, 17284=1, 17287=1, 17313=1, 17340=1, 17348=1, 17361=1, 17399=1, 17485=1, 17567=1, 17579=1, 17634=1, 17647=1, 17695=1, 17697=1, 17699=1, 17703=1, 17707=1, 17739=1, 17744=1, 17760=1, 17772=1, 17789=1, 17797=1, 17806=1, 17810=1, 17818=1, 17822=1, 17824=1, 17828=1, 17837=1, 17850=1, 17851=1, 17853=1, 17855=1, 17856=1, 17864=1, 17875=1, 17876=1, 17877=1, 17897=1, 17900=1, 17907=1, 17916=1, 17972=1, 17975=1, 17981=1, 17989=1, 17991=1, 17994=1, 18005=1, 18029=1, 18054=1, 18066=1, 18085=1, 18090=1, 18143=1, 18158=1, 18169=1, 18172=1, 18203=1, 18213=1, 18218=1, 18258=1, 18260=1, 18279=1, 18289=1, 18301=1, 18374=1, 18377=1, 18388=1, 18393=1, 18402=1, 18411=1, 18480=1, 18489=1, 18495=1, 18496=1, 18530=1, 18535=1, 18543=1, 18545=1, 18556=1, 18589=1, 18600=1, 18672=1, 18727=1, 18763=1, 18837=1, 18842=1, 18846=1, 18851=1, 18873=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 168 ms. (steps per millisecond=5 ) properties (out of 17480) 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 17480) 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 17480) 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 17480) 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 17480) 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 17480) 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 17480) 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 17480) 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 17480) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 142 ms. (steps per millisecond=7 ) properties (out of 17480) 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 17480) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 123 ms. (steps per millisecond=8 ) properties (out of 17480) 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 17480) 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 17480) 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 17480) 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 17480) 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 17480) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 17479) 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 17479) 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 17479) 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 17479) 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 17479) 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 17479) 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 17479) 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 17479) 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 17479) 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 17479) 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 17479) 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 17479) 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 17479) 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 17479) 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 17478) seen :2
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 143 ms. (steps per millisecond=6 ) properties (out of 17476) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 133 ms. (steps per millisecond=7 ) properties (out of 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 227 ms. (steps per millisecond=4 ) properties (out of 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) 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 17476) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 124 ms. (steps per millisecond=8 ) properties (out of 17476) seen :0
Interrupted probabilistic random walk after 30834 steps, run timeout after 30008 ms. (steps per millisecond=1 ) properties seen :{1998=1}
Probabilistic random walk after 30834 steps, saw 27692 distinct states, run finished after 30025 ms. (steps per millisecond=1 ) properties seen :{1998=1}
Running SMT prover for 17475 properties.
[2021-05-18 10:46:11] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2021-05-18 10:46:11] [INFO ] Computed 13 place invariants in 93 ms
[2021-05-18 10:49:56] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 17475 Parikh solutions to 1 different solutions.
Support contains 617 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 453 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.
[2021-05-18 10:49:59] [INFO ] Flatten gal took : 1407 ms
[2021-05-18 10:50:00] [INFO ] Flatten gal took : 1839 ms
[2021-05-18 10:50:01] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13851024390505232338.gal : 169 ms
[2021-05-18 10:50:01] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality11009216053332767422.prop : 46 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/ReachabilityCardinality13851024390505232338.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality11009216053332767422.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/ReachabilityCardinality13851024390505232338.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality11009216053332767422.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality11009216053332767422.prop.
Detected timeout of ITS tools.
[2021-05-18 10:50:22] [INFO ] Flatten gal took : 995 ms
[2021-05-18 10:50:22] [INFO ] Applying decomposition
[2021-05-18 10:50:23] [INFO ] Flatten gal took : 1023 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/graph17203719296294505113.txt, -o, /tmp/graph17203719296294505113.bin, -w, /tmp/graph17203719296294505113.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/graph17203719296294505113.bin, -l, -1, -v, -w, /tmp/graph17203719296294505113.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 10:50:25] [INFO ] Decomposing Gal with order
[2021-05-18 10:50:25] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 10:50:28] [INFO ] Removed a total of 91910 redundant transitions.
[2021-05-18 10:50:28] [INFO ] Flatten gal took : 1614 ms
[2021-05-18 10:50:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 1274 labels/synchronizations in 919 ms.
[2021-05-18 10:50:36] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality13846769775509072585.gal : 89 ms
[2021-05-18 10:50:36] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16090852630899540207.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/ReachabilityCardinality13846769775509072585.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality16090852630899540207.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/ReachabilityCardinality13846769775509072585.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality16090852630899540207.prop --nowitness
Loading property file /tmp/ReachabilityCardinality16090852630899540207.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin16988673537956779004
[2021-05-18 10:50:56] [INFO ] Built C files in 598ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin16988673537956779004
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/ltsmin16988673537956779004]
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/ltsmin16988673537956779004] 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/ltsmin16988673537956779004] 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 18091 steps, including 0 resets, run timeout after 30002 ms. (steps per millisecond=0 ) properties seen :{27=1, 61=1, 82=1, 147=1, 152=1, 188=1, 195=1, 203=1, 228=1, 263=1, 279=1, 292=1, 296=1, 362=1, 364=1, 376=1, 421=1, 437=1, 510=1, 511=1, 515=1, 530=1, 541=1, 573=1, 634=1, 635=1, 662=1, 677=1, 719=1, 725=1, 741=1, 849=1, 855=1, 898=1, 1005=1, 1041=1, 1127=1, 1129=1, 1186=1, 1191=1, 1225=1, 1232=1, 1235=1, 1240=1, 1241=1, 1243=1, 1250=1, 1267=1, 1271=1, 1458=1, 1459=1, 1462=1, 1464=1, 1496=1, 1501=1, 1503=1, 1510=1, 1515=1, 1516=1, 1575=1, 1589=1, 1591=1, 1600=1, 1603=1, 1609=1, 1624=1, 1691=1, 1694=1, 1773=1, 1780=1, 1798=1, 1811=1, 1824=1, 1840=1, 1848=1, 1855=1, 1859=1, 1863=1, 1918=1, 1945=1, 1950=1, 1951=1, 1955=1, 2035=1, 2045=1, 2060=1, 2075=1, 2080=1, 2096=1, 2101=1, 2103=1, 2144=1, 2155=1, 2175=1, 2202=1, 2203=1, 2207=1, 2208=1, 2211=1, 2215=1, 2220=1, 2227=1, 2233=1, 2271=1, 2279=1, 2280=1, 2281=1, 2286=1, 2288=1, 2306=1, 2320=1, 2327=1, 2329=1, 2353=1, 2391=1, 2393=1, 2396=1, 2397=1, 2406=1, 2411=1, 2417=1, 2425=1, 2429=1, 2486=1, 2507=1, 2542=1, 2570=1, 2573=1, 2595=1, 2596=1, 2597=1, 2618=1, 2648=1, 2655=1, 2688=1, 2689=1, 2691=1, 2694=1, 2696=1, 2711=1, 2733=1, 2737=1, 2779=1, 2789=1, 2795=1, 2798=1, 2809=1, 2823=1, 2831=1, 2838=1, 2839=1, 2842=1, 2913=1, 2914=1, 2916=1, 2919=1, 2925=1, 2929=1, 2997=1, 3050=1, 3051=1, 3060=1, 3068=1, 3082=1, 3083=1, 3182=1, 3183=1, 3184=1, 3194=1, 3219=1, 3236=1, 3243=1, 3255=1, 3290=1, 3358=1, 3374=1, 3432=1, 3434=1, 3435=1, 3472=1, 3473=1, 3474=1, 3475=1, 3481=1, 3529=1, 3591=1, 3594=1, 3597=1, 3599=1, 3616=1, 3674=1, 3684=1, 3701=1, 3739=1, 3766=1, 3771=1, 3799=1, 3814=1, 3837=1, 3892=1, 3896=1, 3929=1, 4047=1, 4048=1, 4051=1, 4107=1, 4128=1, 4130=1, 4147=1, 4156=1, 4176=1, 4208=1, 4334=1, 4352=1, 4390=1, 4426=1, 4436=1, 4439=1, 4443=1, 4447=1, 4459=1, 4461=1, 4508=1, 4543=1, 4568=1, 4633=1, 4640=1, 4652=1, 4726=1, 4748=1, 4760=1, 4763=1, 4813=1, 4818=1, 4820=1, 4821=1, 4827=1, 4841=1, 4857=1, 4864=1, 4872=1, 4894=1, 4908=1, 4919=1, 4921=1, 4932=1, 4937=1, 4944=1, 4948=1, 5017=1, 5062=1, 5087=1, 5091=1, 5103=1, 5106=1, 5109=1, 5122=1, 5137=1, 5152=1, 5164=1, 5166=1, 5205=1, 5222=1, 5329=1, 5339=1, 5445=1, 5451=1, 5488=1, 5536=1, 5556=1, 5598=1, 5645=1, 5649=1, 5743=1, 5744=1, 5780=1, 5783=1, 5803=1, 5812=1, 5814=1, 5816=1, 5881=1, 5901=1, 5916=1, 5918=1, 5919=1, 5944=1, 5946=1, 6016=1, 6030=1, 6048=1, 6121=1, 6158=1, 6162=1, 6175=1, 6179=1, 6185=1, 6236=1, 6242=1, 6265=1, 6267=1, 6278=1, 6294=1, 6300=1, 6367=1, 6368=1, 6428=1, 6487=1, 6507=1, 6510=1, 6511=1, 6551=1, 6552=1, 6601=1, 6619=1, 6638=1, 6650=1, 6654=1, 6659=1, 6665=1, 6669=1, 6678=1, 6684=1, 6704=1, 6726=1, 6736=1, 6748=1, 6781=1, 6792=1, 6841=1, 6850=1, 6857=1, 6858=1, 6864=1, 6866=1, 6886=1, 6897=1, 6958=1, 6968=1, 6969=1, 6972=1, 6974=1, 6979=1, 6996=1, 6997=1, 6998=1, 7031=1, 7069=1, 7071=1, 7082=1, 7086=1, 7103=1, 7166=1, 7177=1, 7181=1, 7183=1, 7189=1, 7231=1, 7235=1, 7262=1, 7301=1, 7305=1, 7311=1, 7327=1, 7397=1, 7399=1, 7420=1, 7424=1, 7426=1, 7427=1, 7430=1, 7437=1, 7439=1, 7473=1, 7475=1, 7480=1, 7493=1, 7517=1, 7531=1, 7534=1, 7539=1, 7576=1, 7584=1, 7643=1, 7645=1, 7648=1, 7652=1, 7670=1, 7672=1, 7680=1, 7685=1, 7743=1, 7744=1, 7749=1, 7781=1, 7812=1, 7875=1, 7877=1, 7887=1, 7903=1, 7907=1, 7969=1, 8001=1, 8019=1, 8075=1, 8076=1, 8084=1, 8094=1, 8107=1, 8114=1, 8115=1, 8119=1, 8144=1, 8145=1, 8187=1, 8248=1, 8260=1, 8274=1, 8284=1, 8356=1, 8357=1, 8371=1, 8374=1, 8382=1, 8383=1, 8384=1, 8465=1, 8514=1, 8516=1, 8526=1, 8575=1, 8577=1, 8579=1, 8595=1, 8599=1, 8601=1, 8624=1, 8628=1, 8650=1, 8725=1, 8739=1, 8744=1, 8752=1, 8765=1, 8767=1, 8841=1, 8867=1, 8914=1, 8944=1, 9063=1, 9085=1, 9090=1, 9129=1, 9140=1, 9150=1, 9167=1, 9178=1, 9184=1, 9191=1, 9242=1, 9261=1, 9262=1, 9285=1, 9286=1, 9288=1, 9325=1, 9332=1, 9403=1, 9409=1, 9410=1, 9448=1, 9460=1, 9464=1, 9468=1, 9485=1, 9505=1, 9551=1, 9608=1, 9646=1, 9686=1, 9691=1, 9693=1, 9725=1, 9734=1, 9736=1, 9782=1, 9792=1, 9816=1, 9833=1, 9841=1, 9847=1, 9857=1, 9864=1, 9871=1, 9954=1, 9956=1, 9957=1, 9977=1, 9996=1, 10001=1, 10012=1, 10095=1, 10097=1, 10137=1, 10149=1, 10191=1, 10241=1, 10273=1, 10287=1, 10293=1, 10295=1, 10302=1, 10326=1, 10362=1, 10381=1, 10440=1, 10469=1, 10470=1, 10473=1, 10477=1, 10494=1, 10567=1, 10589=1, 10590=1, 10591=1, 10593=1, 10605=1, 10638=1, 10679=1, 10680=1, 10717=1, 10733=1, 10752=1, 10798=1, 10821=1, 10823=1, 10828=1, 10862=1, 10910=1, 10960=1, 10971=1, 10984=1, 10996=1, 10998=1, 11113=1, 11211=1, 11237=1, 11238=1, 11255=1, 11294=1, 11317=1, 11352=1, 11367=1, 11371=1, 11381=1, 11398=1, 11405=1, 11412=1, 11417=1, 11499=1, 11501=1, 11509=1, 11511=1, 11525=1, 11603=1, 11641=1, 11680=1, 11681=1, 11683=1, 11697=1, 11699=1, 11735=1, 11745=1, 11755=1, 11761=1, 11780=1, 11828=1, 11870=1, 11945=1, 11957=1, 11998=1, 12010=1, 12028=1, 12062=1, 12086=1, 12098=1, 12099=1, 12170=1, 12237=1, 12249=1, 12255=1, 12353=1, 12378=1, 12405=1, 12431=1, 12453=1, 12457=1, 12474=1, 12523=1, 12529=1, 12539=1, 12594=1, 12601=1, 12638=1, 12690=1, 12700=1, 12756=1, 12765=1, 12767=1, 12795=1, 12828=1, 12832=1, 12834=1, 12851=1, 12854=1, 12887=1, 12899=1, 12954=1, 12967=1, 12982=1, 12983=1, 12984=1, 12997=1, 13001=1, 13052=1, 13204=1, 13218=1, 13284=1, 13331=1, 13338=1, 13357=1, 13361=1, 13369=1, 13575=1, 13579=1, 13580=1, 13629=1, 13728=1, 13782=1, 13812=1, 13817=1, 13858=1, 13859=1, 13867=1, 13894=1, 13895=1, 13942=1, 13949=1, 13960=1, 13963=1, 13965=1, 14082=1, 14097=1, 14104=1, 14117=1, 14118=1, 14129=1, 14164=1, 14220=1, 14238=1, 14242=1, 14251=1, 14270=1, 14315=1, 14331=1, 14381=1, 14386=1, 14414=1, 14479=1, 14558=1, 14572=1, 14614=1, 14623=1, 14624=1, 14631=1, 14710=1, 14717=1, 14722=1, 14728=1, 14753=1, 14764=1, 14860=1, 14874=1, 14875=1, 14888=1, 14895=1, 14897=1, 15023=1, 15033=1, 15061=1, 15123=1, 15139=1, 15144=1, 15149=1, 15162=1, 15197=1, 15216=1, 15222=1, 15224=1, 15276=1, 15304=1, 15357=1, 15380=1, 15396=1, 15462=1, 15510=1, 15524=1, 15528=1, 15532=1, 15537=1, 15554=1, 15557=1, 15598=1, 15610=1, 15632=1, 15640=1, 15654=1, 15674=1, 15689=1, 15729=1, 15732=1, 15741=1, 15758=1, 15763=1, 15767=1, 15825=1, 15875=1, 15876=1, 15898=1, 15925=1, 15928=1, 15962=1, 16003=1, 16022=1, 16076=1, 16103=1, 16113=1, 16114=1, 16121=1, 16162=1, 16248=1, 16261=1, 16302=1, 16308=1, 16371=1, 16389=1, 16391=1, 16395=1, 16413=1, 16428=1, 16512=1, 16513=1, 16539=1, 16552=1, 16595=1, 16597=1, 16627=1, 16639=1, 16648=1, 16673=1, 16698=1, 16774=1, 16776=1, 16778=1, 16791=1, 16796=1, 16799=1, 16808=1, 16830=1, 16831=1, 16839=1, 16845=1, 16858=1, 16876=1, 16883=1, 16885=1, 16893=1, 16950=1, 17077=1, 17080=1, 17083=1, 17084=1, 17088=1, 17097=1, 17163=1, 17220=1, 17303=1, 17314=1, 17343=1, 17350=1, 17352=1, 17389=1, 17394=1, 17395=1, 17400=1, 17423=1, 17425=1, 17443=1, 17444=1, 17459=1, 17472=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 245 ms. (steps per millisecond=4 ) properties (out of 16674) seen :1
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 16673) 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 16673) 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 16673) 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 16673) 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 16673) 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 16673) 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 16673) seen :1
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 160 ms. (steps per millisecond=6 ) properties (out of 16672) 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 16672) 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 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 252 ms. (steps per millisecond=3 ) properties (out of 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 373 ms. (steps per millisecond=2 ) properties (out of 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 177 ms. (steps per millisecond=5 ) properties (out of 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 308 ms. (steps per millisecond=3 ) properties (out of 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 185 ms. (steps per millisecond=5 ) properties (out of 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 191 ms. (steps per millisecond=5 ) properties (out of 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 186 ms. (steps per millisecond=5 ) properties (out of 16672) 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 16672) 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 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 193 ms. (steps per millisecond=5 ) properties (out of 16672) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 182 ms. (steps per millisecond=5 ) properties (out of 16672) 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 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 181 ms. (steps per millisecond=5 ) properties (out of 16672) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 290 ms. (steps per millisecond=3 ) properties (out of 16672) 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 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 377 ms. (steps per millisecond=2 ) properties (out of 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 213 ms. (steps per millisecond=4 ) properties (out of 16672) 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 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 16672) 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 16672) 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 16672) 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 16672) 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 16672) 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 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 16672) 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 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 172 ms. (steps per millisecond=5 ) properties (out of 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 190 ms. (steps per millisecond=5 ) properties (out of 16672) 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 16672) 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 16672) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 196 ms. (steps per millisecond=5 ) properties (out of 16672) 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 16672) 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 16672) 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 16672) 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 16672) seen :0
Interrupted probabilistic random walk after 20794 steps, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 20794 steps, saw 18755 distinct states, run finished after 30016 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 16672 properties.
[2021-05-18 10:52:09] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2021-05-18 10:52:09] [INFO ] Computed 13 place invariants in 80 ms
[2021-05-18 10:54:21] [INFO ] [Real]Absence check using 13 positive place invariants in 13 ms returned sat
[2021-05-18 10:55:55] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2021-05-18 10:55:55] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
Fused 16672 Parikh solutions to 1 different solutions.
Support contains 608 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 496 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.
[2021-05-18 10:55:57] [INFO ] Flatten gal took : 1126 ms
[2021-05-18 10:55:58] [INFO ] Flatten gal took : 1244 ms
[2021-05-18 10:55:58] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8017595681063407288.gal : 136 ms
[2021-05-18 10:55:58] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4021544713535441022.prop : 44 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202104292328/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /tmp/ReachabilityCardinality8017595681063407288.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality4021544713535441022.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/ReachabilityCardinality8017595681063407288.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality4021544713535441022.prop --nowitness --gen-order FOLLOW
Loading property file /tmp/ReachabilityCardinality4021544713535441022.prop.
Detected timeout of ITS tools.
[2021-05-18 10:56:25] [INFO ] Flatten gal took : 1345 ms
[2021-05-18 10:56:25] [INFO ] Applying decomposition
[2021-05-18 10:56:26] [INFO ] Flatten gal took : 1376 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/graph5557236155510615087.txt, -o, /tmp/graph5557236155510615087.bin, -w, /tmp/graph5557236155510615087.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/graph5557236155510615087.bin, -l, -1, -v, -w, /tmp/graph5557236155510615087.weights, -q, 0, -e, 0.001], workingDir=null]
[2021-05-18 10:56:29] [INFO ] Decomposing Gal with order
[2021-05-18 10:56:29] [INFO ] Rewriting arrays to variables to allow decomposition.
[2021-05-18 10:56:32] [INFO ] Removed a total of 91938 redundant transitions.
[2021-05-18 10:56:33] [INFO ] Flatten gal took : 2240 ms
[2021-05-18 10:56:42] [INFO ] Fuse similar labels procedure discarded/fused a total of 1117 labels/synchronizations in 1914 ms.
[2021-05-18 10:56:42] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality17568520699837491297.gal : 133 ms
[2021-05-18 10:56:42] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality8773211715739599595.prop : 56 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/ReachabilityCardinality17568520699837491297.gal, -t, CGAL, -reachable-file, /tmp/ReachabilityCardinality8773211715739599595.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/ReachabilityCardinality17568520699837491297.gal -t CGAL -reachable-file /tmp/ReachabilityCardinality8773211715739599595.prop --nowitness
Loading property file /tmp/ReachabilityCardinality8773211715739599595.prop.
Detected timeout of ITS tools.
Built C files in :
/tmp/ltsmin8252902548053499610
[2021-05-18 10:57:07] [INFO ] Built C files in 516ms conformant to PINS (ltsmin variant)in folder :/tmp/ltsmin8252902548053499610
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/ltsmin8252902548053499610]
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/ltsmin8252902548053499610] 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/ltsmin8252902548053499610] 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 15186 steps, including 0 resets, run timeout after 30003 ms. (steps per millisecond=0 ) properties seen :{79=1, 146=1, 154=1, 234=1, 335=1, 385=1, 404=1, 528=1, 602=1, 620=1, 861=1, 1086=1, 1087=1, 1090=1, 1153=1, 1158=1, 1168=1, 1206=1, 1284=1, 1352=1, 1356=1, 1358=1, 1391=1, 1399=1, 1409=1, 1442=1, 1450=1, 1452=1, 1544=1, 1564=1, 1711=1, 1713=1, 1757=1, 1837=1, 1856=1, 1869=1, 1881=1, 1928=1, 1933=1, 1936=1, 1953=1, 1989=1, 1990=1, 1995=1, 2081=1, 2107=1, 2113=1, 2123=1, 2130=1, 2219=1, 2230=1, 2236=1, 2259=1, 2280=1, 2284=1, 2286=1, 2289=1, 2300=1, 2331=1, 2341=1, 2354=1, 2378=1, 2383=1, 2398=1, 2421=1, 2439=1, 2479=1, 2508=1, 2571=1, 2593=1, 2598=1, 2603=1, 2607=1, 2614=1, 2621=1, 2625=1, 2628=1, 2677=1, 2718=1, 2726=1, 2759=1, 2777=1, 2786=1, 2795=1, 2806=1, 2867=1, 2868=1, 2917=1, 2924=1, 2927=1, 2929=1, 2959=1, 3011=1, 3019=1, 3094=1, 3164=1, 3485=1, 3619=1, 3626=1, 3635=1, 3700=1, 3822=1, 3823=1, 3973=1, 4154=1, 4162=1, 4213=1, 4249=1, 4252=1, 4254=1, 4258=1, 4265=1, 4294=1, 4380=1, 4398=1, 4422=1, 4496=1, 4558=1, 4562=1, 4577=1, 4579=1, 4589=1, 4599=1, 4600=1, 4608=1, 4621=1, 4679=1, 4733=1, 4749=1, 4882=1, 4906=1, 5074=1, 5160=1, 5168=1, 5172=1, 5196=1, 5202=1, 5215=1, 5254=1, 5289=1, 5310=1, 5372=1, 5600=1, 5607=1, 5651=1, 5676=1, 5833=1, 5850=1, 5879=1, 5955=1, 6061=1, 6117=1, 6153=1, 6270=1, 6274=1, 6442=1, 6446=1, 6518=1, 6519=1, 6522=1, 6523=1, 6538=1, 6570=1, 6685=1, 6724=1, 6725=1, 6729=1, 6739=1, 6747=1, 6811=1, 6820=1, 6826=1, 6877=1, 7007=1, 7029=1, 7106=1, 7260=1, 7288=1, 7346=1, 7349=1, 7391=1, 7681=1, 7700=1, 7744=1, 7768=1, 7832=1, 7844=1, 7950=1, 8047=1, 8057=1, 8073=1, 8141=1, 8148=1, 8168=1, 8239=1, 8305=1, 8352=1, 8368=1, 8451=1, 8537=1, 8581=1, 8679=1, 8798=1, 8865=1, 8870=1, 9001=1, 9050=1, 9073=1, 9176=1, 9307=1, 9316=1, 9322=1, 9329=1, 9333=1, 9338=1, 9339=1, 9341=1, 9350=1, 9362=1, 9364=1, 9421=1, 9495=1, 9517=1, 9519=1, 9630=1, 9638=1, 9641=1, 9711=1, 9715=1, 9723=1, 9727=1, 9873=1, 9916=1, 9947=1, 9962=1, 9975=1, 9995=1, 10049=1, 10050=1, 10101=1, 10116=1, 10117=1, 10151=1, 10263=1, 10273=1, 10344=1, 10405=1, 10430=1, 10552=1, 10577=1, 10589=1, 10613=1, 10717=1, 10731=1, 10741=1, 10761=1, 10765=1, 10817=1, 10873=1, 10879=1, 10946=1, 10955=1, 10963=1, 11007=1, 11019=1, 11033=1, 11054=1, 11119=1, 11125=1, 11175=1, 11177=1, 11184=1, 11328=1, 11337=1, 11340=1, 11346=1, 11350=1, 11357=1, 11373=1, 11378=1, 11379=1, 11416=1, 11517=1, 11543=1, 11565=1, 11630=1, 11647=1, 11820=1, 11876=1, 11927=1, 11997=1, 12064=1, 12075=1, 12109=1, 12136=1, 12253=1, 12267=1, 12283=1, 12285=1, 12289=1, 12336=1, 12365=1, 12376=1, 12427=1, 12437=1, 12448=1, 12501=1, 12573=1, 12639=1, 12719=1, 12781=1, 12787=1, 12790=1, 12815=1, 12870=1, 12891=1, 12952=1, 13087=1, 13145=1, 13155=1, 13162=1, 13182=1, 13250=1, 13264=1, 13294=1, 13315=1, 13338=1, 13463=1, 13465=1, 13562=1, 13570=1, 13583=1, 13699=1, 13801=1, 13850=1, 13855=1, 13946=1, 14034=1, 14041=1, 14053=1, 14079=1, 14208=1, 14246=1, 14417=1, 14512=1, 14591=1, 14602=1, 14653=1, 14674=1, 14691=1, 14731=1, 14952=1, 14981=1, 15009=1, 15061=1, 15108=1, 15117=1, 15119=1, 15213=1, 15265=1, 15271=1, 15314=1, 15320=1, 15388=1, 15392=1, 15455=1, 15465=1, 15470=1, 15551=1, 15565=1, 15606=1, 15677=1, 15787=1, 15789=1, 15791=1, 15836=1, 15878=1, 15907=1, 16034=1, 16041=1, 16043=1, 16092=1, 16112=1, 16222=1, 16226=1, 16234=1, 16301=1, 16473=1, 16534=1, 16559=1, 16634=1}
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 360 ms. (steps per millisecond=2 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 321 ms. (steps per millisecond=3 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 348 ms. (steps per millisecond=2 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 253 ms. (steps per millisecond=3 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 187 ms. (steps per millisecond=5 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 358 ms. (steps per millisecond=2 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 234 ms. (steps per millisecond=4 ) properties (out of 16281) 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 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 350 ms. (steps per millisecond=2 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 866 ms. (steps per millisecond=1 ) properties (out of 16281) 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 16281) 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 16281) 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 16281) 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 16281) 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 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 260 ms. (steps per millisecond=3 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 16281) 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 16281) 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 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 425 ms. (steps per millisecond=2 ) properties (out of 16281) 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 16281) 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 16281) 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 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 355 ms. (steps per millisecond=2 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 255 ms. (steps per millisecond=3 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 221 ms. (steps per millisecond=4 ) properties (out of 16281) 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 16281) 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 16281) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 250 ms. (steps per millisecond=4 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 388 ms. (steps per millisecond=2 ) properties (out of 16281) 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 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 225 ms. (steps per millisecond=4 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 173 ms. (steps per millisecond=5 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 390 ms. (steps per millisecond=2 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 454 ms. (steps per millisecond=2 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 422 ms. (steps per millisecond=2 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1000 steps, including 2 resets, run finished after 425 ms. (steps per millisecond=2 ) properties (out of 16281) 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 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 255 ms. (steps per millisecond=3 ) properties (out of 16281) 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 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 307 ms. (steps per millisecond=3 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 16281) 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 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 243 ms. (steps per millisecond=4 ) properties (out of 16281) 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 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 483 ms. (steps per millisecond=2 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 621 ms. (steps per millisecond=1 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 460 ms. (steps per millisecond=2 ) properties (out of 16281) seen :0
Incomplete Best-First random walk after 1001 steps, including 2 resets, run finished after 309 ms. (steps per millisecond=3 ) properties (out of 16281) seen :0
Interrupted probabilistic random walk after 16594 steps, run timeout after 30041 ms. (steps per millisecond=0 ) properties seen :{}
Probabilistic random walk after 16594 steps, saw 15026 distinct states, run finished after 30067 ms. (steps per millisecond=0 ) properties seen :{}
Running SMT prover for 16281 properties.
[2021-05-18 10:58:24] [INFO ] Flow matrix only has 18326 transitions (discarded 13027 similar events)
// Phase 1: matrix 18326 rows 627 cols
[2021-05-18 10:58:24] [INFO ] Computed 13 place invariants in 155 ms
[2021-05-18 11:00:35] [INFO ] [Real]Absence check using 13 positive place invariants in 20 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-4"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="1800"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is RERS17pb113-PT-4, 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 r185-tajo-162089425200092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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