Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r245-tall-167856432800507.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool lolaxred
Input is MultiCrashLeafsetExtension-PT-S24C03, examination is QuasiLiveness
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r245-tall-167856432800507
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.3M
-rw-r--r-- 1 mcc users 13K Feb 26 02:26 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 02:26 CTLCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 02:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 02:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.5K Feb 25 16:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.7K Feb 25 16:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 22K Feb 26 02:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 123K Feb 26 02:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 02:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 02:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 8.8M Mar 5 18:22 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 1678722949050

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=lolaxred
BK_EXAMINATION=QuasiLiveness
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S24C03
Applying reductions before tool lola
Invoking reducer
Running Version 202303021504
[2023-03-13 15:55:53] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, QuasiLiveness, -timeout, 180, -rebuildPNML]
[2023-03-13 15:55:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 15:55:54] [INFO ] Load time of PNML (sax parser for PT used): 896 ms
[2023-03-13 15:55:54] [INFO ] Transformed 8390 places.
[2023-03-13 15:55:54] [INFO ] Transformed 12757 transitions.
[2023-03-13 15:55:54] [INFO ] Parsed PT model containing 8390 places and 12757 transitions and 52526 arcs in 1209 ms.
Starting structural reductions in LIVENESS mode, iteration 0 : 8390/8390 places, 12757/12757 transitions.
Reduce places removed 34 places and 0 transitions.
Drop transitions removed 1800 transitions
Trivial Post-agglo rules discarded 1800 transitions
Performed 1800 trivial Post agglomeration. Transition count delta: 1800
Iterating post reduction 0 with 1834 rules applied. Total rules applied 1834 place count 8356 transition count 10957
Reduce places removed 1800 places and 0 transitions.
Iterating post reduction 1 with 1800 rules applied. Total rules applied 3634 place count 6556 transition count 10957
Performed 150 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 150 Pre rules applied. Total rules applied 3634 place count 6556 transition count 10807
Deduced a syphon composed of 150 places in 58 ms
Reduce places removed 150 places and 0 transitions.
Iterating global reduction 2 with 300 rules applied. Total rules applied 3934 place count 6406 transition count 10807
Performed 25 Post agglomeration using F-continuation condition.Transition count delta: 25
Deduced a syphon composed of 25 places in 23 ms
Reduce places removed 25 places and 0 transitions.
Iterating global reduction 2 with 50 rules applied. Total rules applied 3984 place count 6381 transition count 10782
Applied a total of 3984 rules in 1027 ms. Remains 6381 /8390 variables (removed 2009) and now considering 10782/12757 (removed 1975) transitions.
[2023-03-13 15:55:55] [INFO ] Flow matrix only has 10182 transitions (discarded 600 similar events)
// Phase 1: matrix 10182 rows 6381 cols
[2023-03-13 15:55:57] [INFO ] Computed 833 place invariants in 1150 ms
[2023-03-13 15:55:59] [INFO ] Implicit Places using invariants in 3420 ms returned []
Implicit Place search using SMT only with invariants took 3516 ms to find 0 implicit places.
[2023-03-13 15:55:59] [INFO ] Flow matrix only has 10182 transitions (discarded 600 similar events)
[2023-03-13 15:55:59] [INFO ] Invariant cache hit.
[2023-03-13 15:56:01] [INFO ] Dead Transitions using invariants and state equation in 1739 ms found 0 transitions.
Starting structural reductions in LIVENESS mode, iteration 1 : 6381/8390 places, 10782/12757 transitions.
Finished structural reductions in LIVENESS mode , in 1 iterations and 6299 ms. Remains : 6381/8390 places, 10782/12757 transitions.
Initial state reduction rules removed 25 formulas.
Incomplete random walk after 10000 steps, including 395 resets, run finished after 1667 ms. (steps per millisecond=5 ) properties (out of 10757) seen :819
Interrupted probabilistic random walk after 10403 steps, run timeout after 6001 ms. (steps per millisecond=1 ) properties seen :{11=1, 12=1, 25=1, 27=1, 30=1, 34=1, 37=1, 43=1, 46=1, 54=1, 57=1, 67=1, 70=1, 82=1, 85=1, 99=1, 102=1, 118=1, 121=1, 139=1, 142=1, 162=1, 165=1, 187=1, 190=1, 212=1, 215=1, 239=1, 261=1, 281=1, 282=1, 300=1, 301=1, 317=1, 318=1, 332=1, 333=1, 345=1, 346=1, 356=1, 357=1, 365=1, 371=1, 374=1, 375=1, 390=1, 403=1, 404=1, 407=1, 409=1, 412=1, 416=1, 419=1, 425=1, 428=1, 436=1, 439=1, 449=1, 451=1, 463=1, 466=1, 480=1, 483=1, 499=1, 502=1, 520=1, 523=1, 543=1, 546=1, 547=1, 567=1, 570=1, 592=1, 593=1, 613=1, 614=1, 632=1, 633=1, 649=1, 650=1, 664=1, 665=1, 677=1, 678=1, 688=1, 689=1, 697=1, 698=1, 704=1, 705=1, 709=1, 710=1, 712=1, 728=1, 741=1, 742=1, 745=1, 746=1, 749=1, 751=1, 754=1, 758=1, 761=1, 767=1, 770=1, 778=1, 781=1, 791=1, 794=1, 808=1, 822=1, 825=1, 841=1, 861=1, 864=1, 865=1, 883=1, 886=1, 906=1, 907=1, 925=1, 926=1, 942=1, 943=1, 957=1, 958=1, 970=1, 980=1, 981=1, 989=1, 990=1, 996=1, 997=1, 1001=1, 1002=1, 1004=1, 1005=1, 1007=1, 1008=1, 1024=1, 1037=1, 1038=1, 1041=1, 1042=1, 1045=1, 1046=1, 1049=1, 1051=1, 1054=1, 1058=1, 1061=1, 1067=1, 1070=1, 1078=1, 1080=1, 1090=1, 1093=1, 1105=1, 1108=1, 1122=1, 1125=1, 1141=1, 1144=1, 1145=1, 1161=1, 1181=1, 1182=1, 1198=1, 1212=1, 1213=1, 1225=1, 1226=1, 1236=1, 1237=1, 1245=1, 1246=1, 1252=1, 1253=1, 1257=1, 1258=1, 1261=1, 1262=1, 1265=1, 1266=1, 1268=1, 1269=1, 1285=1, 1298=1, 1299=1, 1302=1, 1303=1, 1306=1, 1307=1, 1310=1, 1311=1, 1314=1, 1316=1, 1319=1, 1323=1, 1326=1, 1332=1, 1335=1, 1343=1, 1346=1, 1356=1, 1359=1, 1371=1, 1374=1, 1388=1, 1391=1, 1392=1, 1406=1, 1409=1, 1424=1, 1425=1, 1439=1, 1440=1, 1452=1, 1453=1, 1463=1, 1464=1, 1472=1, 1473=1, 1479=1, 1480=1, 1484=1, 1485=1, 1488=1, 1489=1, 1492=1, 1493=1, 1495=1, 1496=1, 1498=1, 1499=1, 1515=1, 1528=1, 1530=1, 1531=1, 1534=1, 1535=1, 1538=1, 1539=1, 1542=1, 1543=1, 1546=1, 1548=1, 1551=1, 1555=1, 1558=1, 1564=1, 1567=1, 1575=1, 1578=1, 1588=1, 1591=1, 1603=1, 1606=1, 1607=1, 1619=1, 1622=1, 1636=1, 1637=1, 1649=1, 1650=1, 1660=1, 1661=1, 1669=1, 1670=1, 1676=1, 1677=1, 1681=1, 1682=1, 1685=1, 1686=1, 1689=1, 1690=1, 1693=1, 1694=1, 1697=1, 1698=1, 1700=1, 1701=1, 1717=1, 1718=1, 1731=1, 1732=1, 1735=1, 1736=1, 1739=1, 1740=1, 1743=1, 1744=1, 1746=1, 1747=1, 1750=1, 1751=1, 1754=1, 1756=1, 1759=1, 1765=1, 1771=1, 1774=1, 1782=1, 1785=1, 1795=1, 1798=1, 1799=1, 1809=1, 1812=1, 1824=1, 1825=1, 1834=1, 1835=1, 1843=1, 1849=1, 1850=1, 1854=1, 1855=1, 1858=1, 1859=1, 1862=1, 1863=1, 1866=1, 1867=1, 1870=1, 1871=1, 1874=1, 1875=1, 1877=1, 1878=1, 1894=1, 1907=1, 1908=1, 1911=1, 1912=1, 1915=1, 1916=1, 1919=1, 1920=1, 1923=1, 1924=1, 1927=1, 1930=1, 1931=1, 1934=1, 1936=1, 1942=1, 1950=1, 1953=1, 1961=1, 1964=1, 1965=1, 1973=1, 1976=1, 1986=1, 1987=1, 1995=1, 1996=1, 2002=1, 2003=1, 2007=1, 2008=1, 2011=1, 2012=1, 2015=1, 2016=1, 2019=1, 2020=1, 2023=1, 2024=1, 2027=1, 2030=1, 2031=1, 2033=1, 2034=1, 2050=1, 2063=1, 2064=1, 2067=1, 2068=1, 2071=1, 2072=1, 2075=1, 2076=1, 2079=1, 2080=1, 2083=1, 2084=1, 2087=1, 2088=1, 2091=1, 2092=1, 2095=1, 2097=1, 2100=1, 2104=1, 2107=1, 2113=1, 2116=1, 2122=1, 2125=1, 2133=1, 2134=1, 2140=1, 2141=1, 2145=1, 2146=1, 2149=1, 2150=1, 2153=1, 2154=1, 2157=1, 2158=1, 2161=1, 2162=1, 2165=1, 2166=1, 2169=1, 2170=1, 2173=1, 2174=1, 2176=1, 2177=1, 2193=1, 2206=1, 2207=1, 2210=1, 2211=1, 2214=1, 2215=1, 2218=1, 2221=1, 2222=1, 2225=1, 2228=1, 2229=1, 2232=1, 2235=1, 2236=1, 2239=1, 2241=1, 2243=1, 2247=1, 2250=1, 2251=1, 2255=1, 2258=1, 2264=1, 2265=1, 2269=1, 2270=1, 2273=1, 2276=1, 2277=1, 2280=1, 2281=1, 2284=1, 2285=1, 2288=1, 2289=1, 2292=1, 2293=1, 2295=1, 2296=1, 2299=1, 2300=1, 2302=1, 2303=1, 2319=1, 2332=1, 2333=1, 2336=1, 2337=1, 2340=1, 2341=1, 2344=1, 2345=1, 2348=1, 2349=1, 2352=1, 2355=1, 2358=1, 2359=1, 2362=1, 2363=1, 2366=1, 2367=1, 2370=1, 2372=1, 2375=1, 2376=1, 2378=1, 2381=1, 2385=1, 2386=1, 2389=1, 2390=1, 2393=1, 2394=1, 2396=1, 2397=1, 2400=1, 2401=1, 2404=1, 2405=1, 2408=1, 2409=1, 2412=1, 2413=1, 2416=1, 2417=1, 2420=1, 2421=1, 2423=1, 2424=1, 2440=1, 2441=1, 2454=1, 2455=1, 2458=1, 2459=1, 2462=1, 2463=1, 2465=1, 2466=1, 2469=1, 2470=1, 2473=1, 2474=1, 2477=1, 2478=1, 2481=1, 2482=1, 2485=1, 2486=1, 2489=1, 2490=1, 2493=1, 2494=1, 2497=1, 2498=1, 2501=1, 2504=1, 2505=1, 2508=1, 2509=1, 2512=1, 2513=1, 2516=1, 2517=1, 2520=1, 2521=1, 2524=1, 2525=1, 2528=1, 2529=1, 2532=1, 2533=1, 2536=1, 2537=1, 2540=1, 2541=1, 2543=1, 2544=1, 2572=1, 2573=1, 2576=1, 2577=1, 2580=1, 2581=1, 2584=1, 2585=1, 2588=1, 2589=1, 2592=1, 2593=1, 2596=1, 2597=1, 2600=1, 2601=1, 2604=1, 2605=1, 2608=1, 2609=1, 2611=1, 2612=1, 2615=1, 2618=1, 2621=1, 2622=1, 2625=1, 2626=1, 2629=1, 2630=1, 2633=1, 2634=1, 2637=1, 2638=1, 2641=1, 2644=1, 2645=1, 2648=1, 2649=1, 2652=1, 2653=1, 2656=1, 2657=1, 2659=1, 2660=1, 2677=1, 2689=1, 2690=1, 2693=1, 2694=1, 2697=1, 2698=1, 2700=1, 2701=1, 2704=1, 2705=1, 2708=1, 2709=1, 2712=1, 2713=1, 2716=1, 2717=1, 2720=1, 2721=1, 2724=1, 2725=1, 2728=1, 2729=1, 2732=1, 2733=1, 2736=1, 2739=1, 2740=1, 2743=1, 2744=1, 2747=1, 2748=1, 2751=1, 2752=1, 2755=1, 2756=1, 2759=1, 2762=1, 2763=1, 2766=1, 2767=1, 2770=1, 2771=1, 2774=1, 2775=1, 2777=1, 2778=1, 2794=1, 2795=1, 2807=1, 2808=1, 2811=1, 2812=1, 2815=1, 2816=1, 2819=1, 2820=1, 2823=1, 2824=1, 2827=1, 2828=1, 2831=1, 2832=1, 2835=1, 2836=1, 2839=1, 2840=1, 2843=1, 2846=1, 2847=1, 2850=1, 2852=1, 2855=1, 2856=1, 2860=1, 2861=1, 2865=1, 2866=1, 2869=1, 2870=1, 2872=1, 2875=1, 2876=1, 2879=1, 2880=1, 2883=1, 2884=1, 2887=1, 2888=1, 2891=1, 2892=1, 2895=1, 2896=1, 2898=1, 2899=1, 2916=1, 2928=1, 2929=1, 2931=1, 2934=1, 2935=1, 2938=1, 2939=1, 2942=1, 2943=1, 2946=1, 2947=1, 2950=1, 2951=1, 2954=1, 2955=1, 2958=1, 2959=1, 2961=1, 2962=1, 2965=1, 2967=1, 2970=1, 2974=1, 2977=1, 2978=1, 2984=1, 2985=1, 2991=1, 2992=1, 2996=1, 2997=1, 3000=1, 3001=1, 3004=1, 3005=1, 3008=1, 3009=1, 3012=1, 3013=1, 3016=1, 3017=1, 3020=1, 3021=1, 3024=1, 3025=1, 3027=1, 3028=1, 3055=1, 3058=1, 3061=1, 3062=1, 3065=1, 3066=1, 3069=1, 3072=1, 3073=1, 3076=1, 3077=1, 3080=1, 3081=1, 3084=1, 3087=1, 3089=1, 3092=1, 3096=1, 3099=1, 3105=1, 3108=1, 3109=1, 3117=1, 3118=1, 3126=1, 3131=1, 3132=1, 3136=1, 3137=1, 3140=1, 3141=1, 3144=1, 3145=1, 3148=1, 3149=1, 3151=1, 3152=1, 3155=1, 3156=1, 3159=1, 3160=1, 3161=1, 3162=1, 3179=1, 3191=1, 3192=1, 3195=1, 3196=1, 3199=1, 3200=1, 3203=1, 3206=1, 3207=1, 3210=1, 3211=1, 3214=1, 3215=1, 3218=1, 3219=1, 3222=1, 3224=1, 3227=1, 3231=1, 3234=1, 3240=1, 3243=1, 3251=1, 3254=1, 3255=1, 3265=1, 3275=1, 3276=1, 3284=1, 3285=1, 3291=1, 3292=1, 3296=1, 3297=1, 3300=1, 3301=1, 3304=1, 3305=1, 3308=1, 3309=1, 3312=1, 3313=1, 3316=1, 3317=1, 3319=1, 3320=1, 3337=1, 3349=1, 3350=1, 3353=1, 3354=1, 3357=1, 3358=1, 3361=1, 3362=1, 3365=1, 3366=1, 3369=1, 3370=1, 3373=1, 3377=1, 3380=1, 3384=1, 3387=1, 3393=1, 3395=1, 3403=1, 3406=1, 3416=1, 3419=1, 3420=1, 3432=1, 3433=1, 3445=1, 3446=1, 3456=1, 3457=1, 3464=1, 3465=1, 3471=1, 3472=1, 3476=1, 3477=1, 3479=1, 3480=1, 3483=1, 3484=1, 3487=1, 3488=1, 3491=1, 3492=1, 3494=1, 3495=1, 3511=1, 3523=1, 3524=1, 3527=1, 3528=1, 3531=1, 3532=1, 3535=1, 3536=1, 3539=1, 3542=1, 3543=1, 3546=1, 3548=1, 3551=1, 3555=1, 3558=1, 3564=1, 3567=1, 3575=1, 3578=1, 3588=1, 3591=1, 3603=1, 3606=1, 3607=1, 3621=1, 3622=1, 3636=1, 3648=1, 3649=1, 3659=1, 3660=1, 3668=1, 3669=1, 3674=1, 3675=1, 3679=1, 3682=1, 3683=1, 3686=1, 3687=1, 3690=1, 3691=1, 3693=1, 3694=1, 3722=1, 3723=1, 3726=1, 3727=1, 3730=1, 3733=1, 3734=1, 3736=1, 3737=1, 3739=1, 3741=1, 3744=1, 3748=1, 3751=1, 3757=1, 3760=1, 3768=1, 3771=1, 3781=1, 3784=1, 3796=1, 3799=1, 3813=1, 3816=1, 3817=1, 3833=1, 3834=1, 3850=1, 3851=1, 3865=1, 3866=1, 3878=1, 3879=1, 3889=1, 3897=1, 3898=1, 3904=1, 3905=1, 3909=1, 3910=1, 3913=1, 3914=1, 3916=1, 3918=1, 3919=1, 3935=1, 3947=1, 3948=1, 3951=1, 3952=1, 3955=1, 3956=1, 3959=1, 3960=1, 3963=1, 3965=1, 3968=1, 3972=1, 3975=1, 3981=1, 3984=1, 3992=1, 3995=1, 4005=1, 4008=1, 4020=1, 4023=1, 4037=1, 4040=1, 4056=1, 4059=1, 4060=1, 4078=1, 4079=1, 4096=1, 4097=1, 4113=1, 4114=1, 4128=1, 4129=1, 4141=1, 4142=1, 4152=1, 4153=1, 4161=1, 4162=1, 4168=1, 4169=1, 4173=1, 4174=1, 4177=1, 4178=1, 4180=1, 4181=1, 4198=1, 4210=1, 4211=1, 4214=1, 4215=1, 4218=1, 4219=1, 4222=1, 4224=1, 4226=1, 4230=1, 4233=1, 4239=1, 4242=1, 4250=1, 4253=1, 4263=1, 4266=1, 4278=1, 4294=1, 4297=1, 4313=1, 4316=1, 4334=1, 4337=1, 4338=1, 4358=1, 4359=1, 4379=1, 4397=1, 4398=1, 4414=1, 4428=1, 4429=1, 4441=1, 4442=1, 4451=1, 4452=1, 4460=1, 4461=1, 4467=1, 4468=1, 4471=1, 4472=1, 4474=1, 4492=1, 4553=1, 4565=1, 4568=1, 4582=1, 4585=1, 4601=1, 4604=1, 4622=1, 4625=1, 4645=1, 4648=1, 4670=1, 4671=1, 4693=1, 4694=1, 4714=1, 4715=1, 4733=1, 4734=1, 4750=1, 4751=1, 4765=1, 4766=1, 4778=1, 4779=1, 4788=1, 4789=1, 4797=1, 4798=1, 4804=1, 4805=1, 4808=1, 4810=1, 4824=1, 4837=1, 4838=1, 5195=1, 5196=1, 5197=1, 5198=1, 5199=1, 5200=1, 5201=1, 5202=1, 5203=1, 5204=1, 5205=1, 5257=1, 5258=1, 5259=1, 5260=1, 5261=1, 5262=1, 5263=1, 5264=1, 5265=1, 5266=1, 5267=1, 5268=1, 5269=1, 5270=1, 5272=1, 5273=1, 5274=1, 5275=1, 5276=1, 5277=1, 5278=1, 5279=1, 5280=1, 5281=1, 5282=1, 5283=1, 5284=1, 5285=1, 5286=1, 5287=1, 5288=1, 5289=1, 5290=1, 5291=1, 5292=1, 5294=1, 5295=1, 5296=1, 5297=1, 5298=1, 5299=1, 5300=1, 5301=1, 5302=1, 5303=1, 5332=1, 5351=1, 5353=1, 5354=1, 5355=1, 5356=1, 5357=1, 5358=1, 5359=1, 5360=1, 5361=1, 5362=1, 5363=1, 5364=1, 5365=1, 5366=1, 5367=1, 5368=1, 5369=1, 5370=1, 5371=1, 5406=1, 5420=1, 5421=1, 5422=1, 5423=1, 5424=1, 5425=1, 5427=1, 5428=1, 5429=1, 5430=1, 5431=1, 5432=1, 5433=1, 5434=1, 5435=1, 5436=1, 5437=1, 5438=1, 5439=1, 5440=1, 5441=1, 5442=1, 5443=1, 5470=1, 5489=1, 5490=1, 5491=1, 5492=1, 5493=1, 5494=1, 5495=1, 5496=1, 5497=1, 5498=1, 5500=1, 5501=1, 5502=1, 5503=1, 5504=1, 5505=1, 5506=1, 5507=1, 5508=1, 5509=1, 5510=1, 5511=1, 5544=1, 5560=1, 5561=1, 5562=1, 5564=1, 5565=1, 5566=1, 5567=1, 5568=1, 5569=1, 5570=1, 5571=1, 5572=1, 5573=1, 5574=1, 5575=1, 5576=1, 5577=1, 5578=1, 5579=1, 5580=1, 5581=1, 5582=1, 5583=1, 5609=1, 5631=1, 5632=1, 5633=1, 5634=1, 5635=1, 5637=1, 5638=1, 5639=1, 5640=1, 5641=1, 5642=1, 5643=1, 5644=1, 5645=1, 5646=1, 5647=1, 5648=1, 5649=1, 5650=1, 5651=1, 5652=1, 5684=1, 5699=1, 5700=1, 5702=1, 5703=1, 5704=1, 5705=1, 5706=1, 5707=1, 5708=1, 5709=1, 5710=1, 5711=1, 5712=1, 5713=1, 5714=1, 5715=1, 5716=1, 5717=1, 5718=1, 5719=1, 5720=1, 5721=1, 5751=1, 5767=1, 5768=1, 5769=1, 5771=1, 5772=1, 5773=1, 5774=1, 5775=1, 5776=1, 5777=1, 5778=1, 5779=1, 5780=1, 5781=1, 5782=1, 5783=1, 5784=1, 5785=1, 5786=1, 5787=1, 5788=1, 5789=1, 5790=1, 5821=1, 5837=1, 5838=1, 5840=1, 5841=1, 5842=1, 5843=1, 5844=1, 5845=1, 5846=1, 5847=1, 5848=1, 5849=1, 5850=1, 5851=1, 5852=1, 5853=1, 5854=1, 5855=1, 5856=1, 5857=1, 5858=1, 5859=1, 5860=1, 5904=1, 5905=1, 5906=1, 5907=1, 5908=1, 5909=1, 5910=1, 5911=1, 5912=1, 5913=1, 5915=1, 5916=1, 5917=1, 5918=1, 5919=1, 5920=1, 5921=1, 5922=1, 5923=1, 5924=1, 5925=1, 5926=1, 5955=1, 5975=1, 5976=1, 5977=1, 5978=1, 5979=1, 5980=1, 5981=1, 5982=1, 5983=1, 5984=1, 5985=1, 5986=1, 5987=1, 5988=1, 5989=1, 5990=1, 5991=1, 5992=1, 5993=1, 5994=1, 6020=1, 6041=1, 6042=1, 6043=1, 6044=1, 6045=1, 6046=1, 6047=1, 6049=1, 6050=1, 6051=1, 6052=1, 6053=1, 6054=1, 6055=1, 6056=1, 6057=1, 6058=1, 6059=1, 6060=1, 6061=1, 6062=1, 6090=1, 6109=1, 6110=1, 6111=1, 6112=1, 6113=1, 6114=1, 6115=1, 6116=1, 6117=1, 6118=1, 6120=1, 6121=1, 6122=1, 6123=1, 6124=1, 6125=1, 6126=1, 6127=1, 6128=1, 6129=1, 6162=1, 6175=1, 6176=1, 6177=1, 6178=1, 6180=1, 6181=1, 6182=1, 6183=1, 6184=1, 6185=1, 6186=1, 6187=1, 6188=1, 6189=1, 6190=1, 6191=1, 6192=1, 6193=1, 6194=1, 6195=1, 6196=1, 6197=1, 6223=1, 6245=1, 6246=1, 6247=1, 6248=1, 6249=1, 6250=1, 6251=1, 6252=1, 6254=1, 6255=1, 6256=1, 6257=1, 6258=1, 6259=1, 6260=1, 6261=1, 6262=1, 6263=1, 6264=1, 6295=1, 6310=1, 6311=1, 6312=1, 6314=1, 6315=1, 6316=1, 6317=1, 6318=1, 6319=1, 6320=1, 6321=1, 6322=1, 6323=1, 6324=1, 6325=1, 6326=1, 6327=1, 6328=1, 6329=1, 6330=1, 6331=1, 6332=1, 6367=1, 6380=1, 6381=1, 6382=1, 6383=1, 6385=1, 6386=1, 6387=1, 6388=1, 6389=1, 6390=1, 6391=1, 6392=1, 6393=1, 6394=1, 6395=1, 6396=1, 6397=1, 6398=1, 6399=1, 6400=1, 6401=1, 6402=1, 6433=1, 6449=1, 6450=1, 6452=1, 6453=1, 6454=1, 6455=1, 6456=1, 6457=1, 6458=1, 6459=1, 6460=1, 6461=1, 6462=1, 6463=1, 6464=1, 6465=1, 6466=1, 6467=1, 6468=1, 6469=1, 6470=1, 6471=1, 6500=1, 6520=1, 6521=1, 6522=1, 6523=1, 6524=1, 6525=1, 6526=1, 6527=1, 6528=1, 6529=1, 6530=1, 6531=1, 6532=1, 6533=1, 6534=1, 6535=1, 6536=1, 6537=1, 6538=1, 6539=1, 6540=1, 6572=1, 6587=1, 6588=1, 6590=1, 6591=1, 6592=1, 6593=1, 6594=1, 6595=1, 6596=1, 6597=1, 6598=1, 6599=1, 6600=1, 6601=1, 6602=1, 6603=1, 6604=1, 6605=1, 6606=1, 6607=1, 6608=1, 6609=1, 6636=1, 6658=1, 6659=1, 6660=1, 6661=1, 6662=1, 6663=1, 6664=1, 6666=1, 6667=1, 6668=1, 6669=1, 6670=1, 6671=1, 6672=1, 6673=1, 6674=1, 6675=1, 6676=1, 6677=1, 6678=1, 6679=1, 6680=1, 6710=1, 6728=1, 6729=1, 6730=1, 6731=1, 6732=1, 6733=1, 6734=1, 6735=1, 6736=1, 6737=1, 6738=1, 6739=1, 6740=1, 6741=1, 6742=1, 6743=1, 6744=1, 6745=1, 6746=1, 6747=1, 6748=1, 6749=1, 6785=1, 6798=1, 6799=1, 6800=1, 6801=1, 6802=1, 6803=1, 6805=1, 6806=1, 6807=1, 6808=1, 6809=1, 6810=1, 6811=1, 6812=1, 6813=1, 6814=1, 6815=1, 6816=1, 6817=1, 6818=1, 6819=1, 6850=1, 6867=1, 6869=1, 6870=1, 6871=1, 6872=1, 6873=1, 6875=1, 6876=1, 6877=1, 6878=1, 6880=1, 6885=1, 6888=1, 6889=1, 6897=1, 6919=1, 6938=1, 6940=1, 6941=1, 6942=1, 6943=1, 6944=1, 6945=1, 6946=1, 6947=1, 6948=1, 6956=1, 8382=1, 8384=1, 8386=1, 8388=1, 8390=1, 8392=1, 8394=1, 8396=1, 8398=1, 8400=1, 8402=1, 8415=1, 8508=1, 8521=1, 8524=1, 8526=1, 8528=1, 8530=1, 8532=1, 8534=1, 8536=1, 8538=1}
Probabilistic random walk after 10403 steps, saw 4895 distinct states, run finished after 6005 ms. (steps per millisecond=1 ) properties seen :1714
Running SMT prover for 8191 properties.
[2023-03-13 15:56:10] [INFO ] Flow matrix only has 10182 transitions (discarded 600 similar events)
[2023-03-13 15:56:10] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 15:56:51] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 15:56:51] [INFO ] After 25054ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 8191 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 3 ms.
Support contains 5038 out of 6381 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6381/6381 places, 10782/10782 transitions.
Discarding 509 places :
Symmetric choice reduction at 0 with 509 rule applications. Total rules 509 place count 5872 transition count 10273
Iterating global reduction 0 with 509 rules applied. Total rules applied 1018 place count 5872 transition count 10273
Partial Free-agglomeration rule applied 23 times.
Drop transitions removed 23 transitions
Iterating global reduction 0 with 23 rules applied. Total rules applied 1041 place count 5872 transition count 10273
Applied a total of 1041 rules in 1717 ms. Remains 5872 /6381 variables (removed 509) and now considering 10273/10782 (removed 509) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1720 ms. Remains : 5872/6381 places, 10273/10782 transitions.
Interrupted random walk after 37816 steps, including 1550 resets, run timeout after 30001 ms. (steps per millisecond=1 ) properties seen 2062
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 6129) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 6127) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 6125) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 119 ms. (steps per millisecond=8 ) properties (out of 6125) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 6123) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 137 ms. (steps per millisecond=7 ) properties (out of 6122) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 136 ms. (steps per millisecond=7 ) properties (out of 6122) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 6122) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 6120) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 6118) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 115 ms. (steps per millisecond=8 ) properties (out of 6114) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 125 ms. (steps per millisecond=8 ) properties (out of 6114) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 128 ms. (steps per millisecond=7 ) properties (out of 6110) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 141 ms. (steps per millisecond=7 ) properties (out of 6110) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 6110) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 6104) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 6104) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 6104) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6102) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 6102) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6102) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6100) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6100) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6096) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6096) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6094) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6092) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6090) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 6090) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 6088) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6088) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6086) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6086) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 6086) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6084) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6084) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 6080) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6078) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6076) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6076) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 6072) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6070) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6068) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6068) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6066) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 6062) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6060) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6059) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6059) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6055) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6055) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6055) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6053) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 6053) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 6053) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 6053) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6049) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6049) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 6045) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 6045) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 6045) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 6045) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 6043) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 6043) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6041) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6039) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6039) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 6037) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6037) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 6034) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6034) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6032) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6032) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6030) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6028) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 6028) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6024) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 6024) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6020) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6018) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6014) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6014) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6012) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6012) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 6012) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6012) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 6008) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 6008) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 6006) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 6004) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 6004) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 6002) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 6002) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 5998) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 5998) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 5992) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 5992) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 5992) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 5990) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 5988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 5988) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 5988) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 5986) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 5986) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 5986) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 5984) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 120 ms. (steps per millisecond=8 ) properties (out of 5984) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 5984) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 5980) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 5980) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 5976) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 5974) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 5974) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 5972) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 5968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 5968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 5968) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 5968) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 5965) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 5965) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 5961) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 5959) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 5957) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 5957) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 5955) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 5955) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 5955) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 5953) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 5951) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 5949) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 5949) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 5947) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 5947) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 5945) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 5945) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 5945) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 5945) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 5945) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 5945) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 5943) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 5941) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 5941) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 5941) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 5941) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5941) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 5941) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 5941) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 5939) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 5939) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 5937) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 5937) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 118 ms. (steps per millisecond=8 ) properties (out of 5935) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 122 ms. (steps per millisecond=8 ) properties (out of 5933) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 5931) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 5931) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 116 ms. (steps per millisecond=8 ) properties (out of 5929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 5929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 5929) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 5929) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 5927) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 5927) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 5925) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 107 ms. (steps per millisecond=9 ) properties (out of 5925) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 112 ms. (steps per millisecond=8 ) properties (out of 5921) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 5921) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 110 ms. (steps per millisecond=9 ) properties (out of 5921) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 5921) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 114 ms. (steps per millisecond=8 ) properties (out of 5919) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 108 ms. (steps per millisecond=9 ) properties (out of 5916) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 111 ms. (steps per millisecond=9 ) properties (out of 5916) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 109 ms. (steps per millisecond=9 ) properties (out of 5916) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 113 ms. (steps per millisecond=8 ) properties (out of 5916) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 106 ms. (steps per millisecond=9 ) properties (out of 5916) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 5916) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 5916) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 102 ms. (steps per millisecond=9 ) properties (out of 5916) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 5914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 101 ms. (steps per millisecond=9 ) properties (out of 5914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 5914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 5914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 100 ms. (steps per millisecond=10 ) properties (out of 5914) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 5914) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5912) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5912) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5910) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5910) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5908) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5908) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5906) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5906) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5904) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5904) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5902) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5900) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5900) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5894) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5894) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5892) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5892) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5892) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5892) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5890) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5890) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5890) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5886) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5886) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5886) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5884) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5884) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5884) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5882) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5880) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5880) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5880) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5876) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5876) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5876) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5876) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5874) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5874) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5870) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5870) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5870) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5870) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5870) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5870) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5870) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5870) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5870) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5870) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5870) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5868) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5868) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5866) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 5866) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5864) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5864) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5864) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5864) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5864) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5864) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5864) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5864) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5864) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5858) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5858) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5858) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5858) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5858) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5858) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5858) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5858) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5858) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5858) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5856) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5856) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 5856) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 103 ms. (steps per millisecond=9 ) properties (out of 5854) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 5854) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5852) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5852) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5852) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5848) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5848) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5848) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 99 ms. (steps per millisecond=10 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5846) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5846) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5844) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5842) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5840) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5838) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5838) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5836) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5834) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5834) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5834) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5834) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5834) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5834) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5834) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5834) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5832) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5832) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5832) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5832) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5832) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5832) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5832) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5830) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5830) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5830) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5828) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 105 ms. (steps per millisecond=9 ) properties (out of 5828) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 104 ms. (steps per millisecond=9 ) properties (out of 5828) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5828) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5828) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5828) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5828) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5828) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5826) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5826) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5826) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5826) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5822) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5822) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5820) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5820) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5820) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5820) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5820) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5820) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5818) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5816) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5814) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5814) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5814) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5814) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5814) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5814) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5814) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5814) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5810) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5810) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5810) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5810) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5810) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5810) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5810) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5810) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5808) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5806) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5806) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5804) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5804) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5804) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5804) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5802) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5802) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5802) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5802) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5802) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5802) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5800) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5800) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5800) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5800) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5798) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5798) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5796) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5796) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5794) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5794) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5794) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5794) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5794) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5794) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5792) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5792) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5792) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5792) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5792) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5792) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5792) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5792) seen :0
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5792) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5790) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5790) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5788) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5788) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5788) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5788) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5788) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5788) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5788) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5788) seen :2
Incomplete Best-First random walk after 1000 steps, including 5 resets, run finished after 98 ms. (steps per millisecond=10 ) properties (out of 5786) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5786) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5784) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5784) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5780) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5780) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5780) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5780) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5780) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5780) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5780) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5780) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5780) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5778) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5778) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5778) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5778) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5776) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5776) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5776) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5776) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5776) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5776) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5774) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5774) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5772) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5772) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5772) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5772) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5772) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5772) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5772) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5770) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5768) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5768) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5766) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5766) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5764) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5764) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5762) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5762) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5760) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5760) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 78 ms. (steps per millisecond=12 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5758) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5758) seen :6
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5752) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5752) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5752) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5750) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5750) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5748) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5748) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5748) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5748) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5746) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5742) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5742) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5742) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5742) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5742) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5740) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5740) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5738) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5738) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5738) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5738) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5738) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5738) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5738) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5738) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5736) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5736) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5736) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5736) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5734) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5734) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5732) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5730) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5730) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5730) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5730) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5730) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5728) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 95 ms. (steps per millisecond=10 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5726) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5724) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5724) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5722) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5720) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5718) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5716) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5716) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5716) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5716) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5716) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5716) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5716) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5716) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5716) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5716) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5716) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5714) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5714) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 79 ms. (steps per millisecond=12 ) properties (out of 5712) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5712) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5710) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5710) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 82 ms. (steps per millisecond=12 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 81 ms. (steps per millisecond=12 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 80 ms. (steps per millisecond=12 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5708) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5708) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5706) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5706) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5704) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5702) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5702) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5702) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5700) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5700) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5698) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5696) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5696) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5694) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5694) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5694) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5694) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5694) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5694) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5694) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5692) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5692) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5690) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5690) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5690) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5690) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5690) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5688) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5688) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5688) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5688) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5688) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5688) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5688) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5688) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5686) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5686) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5686) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5686) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5684) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5684) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5682) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5682) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5682) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5682) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5680) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5680) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5676) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5676) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 97 ms. (steps per millisecond=10 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5674) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5674) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5672) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5672) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5670) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5668) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5668) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5668) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5668) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5668) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5666) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5666) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 94 ms. (steps per millisecond=10 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 96 ms. (steps per millisecond=10 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 93 ms. (steps per millisecond=10 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 90 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 89 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 91 ms. (steps per millisecond=11 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5664) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5664) seen :0
Running SMT prover for 5664 properties.
[2023-03-13 15:58:38] [INFO ] Flow matrix only has 9673 transitions (discarded 600 similar events)
// Phase 1: matrix 9673 rows 5872 cols
[2023-03-13 15:58:39] [INFO ] Computed 833 place invariants in 598 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 16:02:33] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 16:02:33] [INFO ] After 225061ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5664 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 3013 out of 5872 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 5872/5872 places, 10273/10273 transitions.
Discarding 1117 places :
Symmetric choice reduction at 0 with 1117 rule applications. Total rules 1117 place count 4755 transition count 9154
Iterating global reduction 0 with 1117 rules applied. Total rules applied 2234 place count 4755 transition count 9154
Performed 4 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 4 Pre rules applied. Total rules applied 2234 place count 4755 transition count 9150
Deduced a syphon composed of 4 places in 11 ms
Reduce places removed 4 places and 0 transitions.
Iterating global reduction 0 with 8 rules applied. Total rules applied 2242 place count 4751 transition count 9150
Discarding 524 places :
Symmetric choice reduction at 0 with 524 rule applications. Total rules 2766 place count 4227 transition count 7578
Iterating global reduction 0 with 524 rules applied. Total rules applied 3290 place count 4227 transition count 7578
Free-agglomeration rule (complex) applied 15 times.
Iterating global reduction 0 with 15 rules applied. Total rules applied 3305 place count 4227 transition count 7563
Reduce places removed 15 places and 0 transitions.
Iterating post reduction 0 with 15 rules applied. Total rules applied 3320 place count 4212 transition count 7563
Partial Free-agglomeration rule applied 35 times.
Drop transitions removed 35 transitions
Iterating global reduction 1 with 35 rules applied. Total rules applied 3355 place count 4212 transition count 7563
Applied a total of 3355 rules in 1940 ms. Remains 4212 /5872 variables (removed 1660) and now considering 7563/10273 (removed 2710) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1940 ms. Remains : 4212/5872 places, 7563/10273 transitions.
Interrupted random walk after 66563 steps, including 2993 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 54
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 58 ms. (steps per millisecond=17 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 59 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5610) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5610) seen :0
Interrupted probabilistic random walk after 241087 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :{421=1, 639=1, 819=1, 965=1, 1037=1, 1053=1, 1073=1, 1157=1, 1174=1, 1230=1, 1280=1, 1285=1, 1294=1, 1325=1, 1329=1, 1355=1, 1356=1, 1357=1, 1404=1, 1405=1, 1406=1, 1566=1, 1604=1, 1621=1, 1630=1, 1710=1, 1731=1, 1982=1, 1997=1, 2147=1, 2164=1, 2400=1, 2660=1, 2745=1, 2782=1, 2783=1, 2784=1, 2785=1, 2786=1, 2787=1, 2788=1, 2789=1, 2790=1, 4154=1, 4155=1, 4156=1, 4157=1, 4158=1, 4159=1, 4160=1, 4161=1, 4184=1, 4185=1, 4186=1, 4187=1, 4188=1, 4189=1, 4190=1, 4191=1, 4216=1, 4217=1, 4218=1, 4219=1, 4220=1, 4221=1, 4244=1, 4245=1, 4246=1}
Probabilistic random walk after 241087 steps, saw 109003 distinct states, run finished after 96003 ms. (steps per millisecond=2 ) properties seen :68
Running SMT prover for 5542 properties.
[2023-03-13 16:04:44] [INFO ] Flow matrix only has 6948 transitions (discarded 615 similar events)
// Phase 1: matrix 6948 rows 4212 cols
[2023-03-13 16:04:44] [INFO ] Computed 833 place invariants in 332 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 16:08:37] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 16:08:37] [INFO ] After 225021ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5542 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 2909 out of 4212 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4212/4212 places, 7563/7563 transitions.
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 25 place count 4187 transition count 7538
Iterating global reduction 0 with 25 rules applied. Total rules applied 50 place count 4187 transition count 7538
Performed 2 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 2 Pre rules applied. Total rules applied 50 place count 4187 transition count 7536
Deduced a syphon composed of 2 places in 8 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 0 with 4 rules applied. Total rules applied 54 place count 4185 transition count 7536
Discarding 25 places :
Symmetric choice reduction at 0 with 25 rule applications. Total rules 79 place count 4160 transition count 7461
Iterating global reduction 0 with 25 rules applied. Total rules applied 104 place count 4160 transition count 7461
Free-agglomeration rule (complex) applied 7 times.
Iterating global reduction 0 with 7 rules applied. Total rules applied 111 place count 4160 transition count 7454
Reduce places removed 7 places and 0 transitions.
Iterating post reduction 0 with 7 rules applied. Total rules applied 118 place count 4153 transition count 7454
Applied a total of 118 rules in 1066 ms. Remains 4153 /4212 variables (removed 59) and now considering 7454/7563 (removed 109) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1067 ms. Remains : 4153/4212 places, 7454/7563 transitions.
Interrupted random walk after 63100 steps, including 2850 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 60 ms. (steps per millisecond=16 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5542) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5542) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5539) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5539) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 92 ms. (steps per millisecond=10 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 87 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 84 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 83 ms. (steps per millisecond=12 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 88 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 85 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 86 ms. (steps per millisecond=11 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 77 ms. (steps per millisecond=13 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5536) seen :0
Interrupted probabilistic random walk after 246582 steps, run timeout after 105002 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 246582 steps, saw 111395 distinct states, run finished after 105006 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5536 properties.
[2023-03-13 16:10:58] [INFO ] Flow matrix only has 6832 transitions (discarded 622 similar events)
// Phase 1: matrix 6832 rows 4153 cols
[2023-03-13 16:10:59] [INFO ] Computed 833 place invariants in 647 ms
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 16:14:52] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 16:14:52] [INFO ] After 225038ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5536 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 2907 out of 4153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4153/4153 places, 7454/7454 transitions.
Applied a total of 0 rules in 360 ms. Remains 4153 /4153 variables (removed 0) and now considering 7454/7454 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 361 ms. Remains : 4153/4153 places, 7454/7454 transitions.
Interrupted random walk after 61544 steps, including 2781 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5536) seen :0
Interrupted probabilistic random walk after 231410 steps, run timeout after 99001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 231410 steps, saw 104520 distinct states, run finished after 99003 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5536 properties.
[2023-03-13 16:17:05] [INFO ] Flow matrix only has 6832 transitions (discarded 622 similar events)
[2023-03-13 16:17:05] [INFO ] Invariant cache hit.
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Stream close...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.assertInvariants(DeadlockTester.java:2340)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:618)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMTIncremental(DeadlockTester.java:339)
at fr.lip6.move.gal.structural.smt.DeadlockTester.testUnreachableWithSMT(DeadlockTester.java:223)
at fr.lip6.move.gal.application.solver.ReachabilitySolver.applyReductions(ReachabilitySolver.java:95)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.applyReachabilitySolver(GlobalPropertySolver.java:724)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:558)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preSolveLiveness(GlobalPropertySolver.java:412)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.preStableMarking(GlobalPropertySolver.java:321)
at fr.lip6.move.gal.application.solver.global.GlobalPropertySolver.solveProperty(GlobalPropertySolver.java:294)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:386)
at fr.lip6.move.gal.application.Application.start(Application.java:178)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2023-03-13 16:20:58] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 16:20:58] [INFO ] After 225031ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5536 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 1 ms.
Support contains 2907 out of 4153 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4153/4153 places, 7454/7454 transitions.
Applied a total of 0 rules in 322 ms. Remains 4153 /4153 variables (removed 0) and now considering 7454/7454 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 322 ms. Remains : 4153/4153 places, 7454/7454 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 4153/4153 places, 7454/7454 transitions.
Applied a total of 0 rules in 254 ms. Remains 4153 /4153 variables (removed 0) and now considering 7454/7454 (removed 0) transitions.
[2023-03-13 16:20:59] [INFO ] Flow matrix only has 6832 transitions (discarded 622 similar events)
[2023-03-13 16:20:59] [INFO ] Invariant cache hit.
[2023-03-13 16:21:01] [INFO ] Implicit Places using invariants in 2538 ms returned []
[2023-03-13 16:21:01] [INFO ] Flow matrix only has 6832 transitions (discarded 622 similar events)
[2023-03-13 16:21:01] [INFO ] Invariant cache hit.
[2023-03-13 16:21:02] [INFO ] Implicit Places using invariants and state equation in 665 ms returned []
Implicit Place search using SMT with State Equation took 3207 ms to find 0 implicit places.
[2023-03-13 16:21:03] [INFO ] Redundant transitions in 1481 ms returned []
[2023-03-13 16:21:03] [INFO ] Flow matrix only has 6832 transitions (discarded 622 similar events)
[2023-03-13 16:21:03] [INFO ] Invariant cache hit.
[2023-03-13 16:21:04] [INFO ] Dead Transitions using invariants and state equation in 701 ms found 0 transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5671 ms. Remains : 4153/4153 places, 7454/7454 transitions.
Incomplete random walk after 100000 steps, including 4518 resets, run finished after 24539 ms. (steps per millisecond=4 ) properties (out of 2907) seen :649
Running SMT prover for 2258 properties.
[2023-03-13 16:21:29] [INFO ] Flow matrix only has 6832 transitions (discarded 622 similar events)
[2023-03-13 16:21:29] [INFO ] Invariant cache hit.
[2023-03-13 16:21:34] [INFO ] [Real]Absence check using 49 positive place invariants in 254 ms returned sat
[2023-03-13 16:21:34] [INFO ] [Real]Absence check using 49 positive and 784 generalized place invariants in 375 ms returned sat
[2023-03-13 16:22:41] [INFO ] After 63328ms SMT Verify possible using state equation in real domain returned unsat :0 sat :2258
[2023-03-13 16:22:41] [INFO ] State equation strengthened by 2702 read => feed constraints.
[2023-03-13 16:23:11] [INFO ] After 29363ms SMT Verify possible using 2702 Read/Feed constraints in real domain returned unsat :131 sat :2126
[2023-03-13 16:23:11] [INFO ] After 29364ms SMT Verify possible using trap constraints in real domain returned unsat :131 sat :2126
Attempting to minimize the solution found.
Minimization took 3 ms.
[2023-03-13 16:23:11] [INFO ] After 100076ms SMT Verify possible using all constraints in real domain returned unsat :131 sat :2126
Successfully simplified 131 atomic propositions for a total of 262 simplifications.
FORMULA QuasiLiveness FALSE TECHNIQUES RANDOM_WALK PROBABILISTIC_WALK BESTFIRST_WALK TOPOLOGICAL INITIAL_STATE
Total runtime 1637953 ms.
ITS solved all properties within timeout

BK_STOP 1678724592686

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination QuasiLiveness -timeout 180 -rebuildPNML

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="MultiCrashLeafsetExtension-PT-S24C03"
export BK_EXAMINATION="QuasiLiveness"
export BK_TOOL="lolaxred"
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-5348"
echo " Executing tool lolaxred"
echo " Input is MultiCrashLeafsetExtension-PT-S24C03, 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 r245-tall-167856432800507"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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