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.r249-tall-167856436400558.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 smartxred
Input is MultiCrashLeafsetExtension-PT-S32C02, examination is StableMarking
Time confinement is 1800 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r249-tall-167856436400558
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 16M
-rw-r--r-- 1 mcc users 16K Feb 26 03:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 03:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 03:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 26 03:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 16:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 31K Feb 25 16:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 26 03:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 26 03:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 26 03:26 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 26 03:26 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:25 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 16M 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 StableMarking

=== Now, execution of the tool begins

BK_START 1678744513517

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=smartxred
BK_EXAMINATION=StableMarking
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=1800
BK_INPUT=MultiCrashLeafsetExtension-PT-S32C02
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 21:55:15] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StableMarking, -timeout, 180, -rebuildPNML]
[2023-03-13 21:55:15] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 21:55:16] [INFO ] Load time of PNML (sax parser for PT used): 658 ms
[2023-03-13 21:55:16] [INFO ] Transformed 13544 places.
[2023-03-13 21:55:16] [INFO ] Transformed 21807 transitions.
[2023-03-13 21:55:16] [INFO ] Parsed PT model containing 13544 places and 21807 transitions and 93598 arcs in 873 ms.
Incomplete random walk after 10000 steps, including 473 resets, run finished after 1668 ms. (steps per millisecond=5 ) properties (out of 13544) seen :1061
Interrupted probabilistic random walk after 3562 steps, run timeout after 3001 ms. (steps per millisecond=1 ) properties seen :{556=1, 558=1, 578=1, 579=1, 580=1, 596=1, 597=1, 598=1, 599=1, 600=1, 613=1, 614=1, 615=1, 616=1, 617=1, 629=1, 630=1, 631=1, 632=1, 633=1, 643=1, 644=1, 645=1, 646=1, 647=1, 655=1, 656=1, 657=1, 658=1, 659=1, 665=1, 666=1, 667=1, 668=1, 669=1, 672=1, 673=1, 675=1, 683=1, 684=1, 1205=1, 1207=1, 1225=1, 1226=1, 1227=1, 1241=1, 1242=1, 1243=1, 1244=1, 1245=1, 1257=1, 1258=1, 1259=1, 1260=1, 1261=1, 1271=1, 1272=1, 1273=1, 1279=1, 1280=1, 1281=1, 1282=1, 1283=1, 1289=1, 1290=1, 1291=1, 1292=1, 1293=1, 1297=1, 1298=1, 1299=1, 1300=1, 1301=1, 1303=1, 1304=1, 1305=1, 1307=1, 1316=1, 1317=1, 1782=1, 1783=1, 1799=1, 1800=1, 1801=1, 1813=1, 1814=1, 1815=1, 1816=1, 1817=1, 1827=1, 1828=1, 1829=1, 1837=1, 1838=1, 1839=1, 1840=1, 1841=1, 1847=1, 1848=1, 1849=1, 1850=1, 1851=1, 1854=1, 1855=1, 1856=1, 1857=1, 1858=1, 1861=1, 1862=1, 1863=1, 1864=1, 1865=1, 1867=1, 1868=1, 1879=1, 1880=1, 1881=1, 2328=1, 2330=1, 2344=1, 2345=1, 2346=1, 2356=1, 2357=1, 2358=1, 2359=1, 2360=1, 2367=1, 2368=1, 2369=1, 2370=1, 2371=1, 2377=1, 2378=1, 2379=1, 2383=1, 2384=1, 2385=1, 2386=1, 2387=1, 2390=1, 2391=1, 2392=1, 2393=1, 2394=1, 2397=1, 2398=1, 2399=1, 2400=1, 2401=1, 2404=1, 2405=1, 2406=1, 2408=1, 2416=1, 2417=1, 2818=1, 2820=1, 2832=1, 2833=1, 2834=1, 2842=1, 2843=1, 2844=1, 2845=1, 2846=1, 2852=1, 2853=1, 2854=1, 2855=1, 2859=1, 2860=1, 2861=1, 2862=1, 2863=1, 2866=1, 2867=1, 2868=1, 2870=1, 2871=1, 2872=1, 2873=1, 2874=1, 2877=1, 2878=1, 2879=1, 2880=1, 2881=1, 2884=1, 2885=1, 2886=1, 2888=1, 2896=1, 3251=1, 3253=1, 3263=1, 3264=1, 3265=1, 3271=1, 3272=1, 3273=1, 3276=1, 3277=1, 3278=1, 3279=1, 3280=1, 3283=1, 3284=1, 3285=1, 3286=1, 3287=1, 3290=1, 3291=1, 3292=1, 3293=1, 3294=1, 3297=1, 3298=1, 3299=1, 3300=1, 3301=1, 3304=1, 3305=1, 3306=1, 3307=1, 3308=1, 3310=1, 3318=1, 3319=1, 3647=1, 3649=1, 3657=1, 3658=1, 3659=1, 3663=1, 3664=1, 3665=1, 3666=1, 3667=1, 3670=1, 3671=1, 3672=1, 3673=1, 3674=1, 3677=1, 3678=1, 3679=1, 3680=1, 3681=1, 3684=1, 3685=1, 3686=1, 3687=1, 3688=1, 3691=1, 3692=1, 3693=1, 3694=1, 3695=1, 3698=1, 3699=1, 3700=1, 3701=1, 3702=1, 3705=1, 3706=1, 3707=1, 3709=1, 3718=1, 3719=1, 3720=1, 4006=1, 4008=1, 4014=1, 4015=1, 4016=1, 4019=1, 4020=1, 4021=1, 4022=1, 4023=1, 4026=1, 4027=1, 4028=1, 4031=1, 4032=1, 4033=1, 4034=1, 4035=1, 4037=1, 4038=1, 4039=1, 4040=1, 4041=1, 4043=1, 4044=1, 4045=1, 4046=1, 4047=1, 4050=1, 4051=1, 4052=1, 4053=1, 4054=1, 4057=1, 4058=1, 4059=1, 4061=1, 4070=1, 4071=1, 4072=1, 4330=1, 4332=1, 4336=1, 4337=1, 4338=1, 4340=1, 4341=1, 4342=1, 4343=1, 4344=1, 4347=1, 4348=1, 4349=1, 4350=1, 4351=1, 4354=1, 4355=1, 4356=1, 4357=1, 4358=1, 4361=1, 4362=1, 4363=1, 4364=1, 4365=1, 4367=1, 4368=1, 4369=1, 4370=1, 4371=1, 4373=1, 4374=1, 4375=1, 4376=1, 4377=1, 4379=1, 4380=1, 4381=1, 4383=1, 4389=1, 4390=1, 4391=1, 4633=1, 4635=1, 4639=1, 4640=1, 4641=1, 4644=1, 4645=1, 4646=1, 4648=1, 4649=1, 4650=1, 4651=1, 4652=1, 4655=1, 4656=1, 4657=1, 4658=1, 4659=1, 4662=1, 4663=1, 4664=1, 4665=1, 4666=1, 4669=1, 4670=1, 4671=1, 4672=1, 4673=1, 4676=1, 4677=1, 4678=1, 4679=1, 4680=1, 4683=1, 4684=1, 4685=1, 4687=1, 4696=1, 4697=1, 4907=1, 4909=1, 4913=1, 4914=1, 4915=1, 4917=1, 4918=1, 4919=1, 4920=1, 4922=1, 4923=1, 4924=1, 4927=1, 4928=1, 4929=1, 4932=1, 4933=1, 4934=1, 4935=1, 4936=1, 4938=1, 4939=1, 4940=1, 4941=1, 4942=1, 4945=1, 4946=1, 4947=1, 4948=1, 4949=1, 4952=1, 4953=1, 4954=1, 4956=1, 4964=1, 4965=1, 5154=1, 5156=1, 5159=1, 5160=1, 5161=1, 5164=1, 5165=1, 5166=1, 5168=1, 5169=1, 5170=1, 5171=1, 5172=1, 5175=1, 5176=1, 5177=1, 5178=1, 5179=1, 5182=1, 5183=1, 5184=1, 5185=1, 5186=1, 5189=1, 5190=1, 5191=1, 5192=1, 5193=1, 5196=1, 5197=1, 5198=1, 5199=1, 5200=1, 5203=1, 5204=1, 5205=1, 5207=1, 5215=1, 5216=1, 5386=1, 5388=1, 5392=1, 5393=1, 5394=1, 5396=1, 5397=1, 5398=1, 5399=1, 5400=1, 5403=1, 5404=1, 5405=1, 5406=1, 5407=1, 5409=1, 5410=1, 5411=1, 5413=1, 5414=1, 5415=1, 5416=1, 5417=1, 5419=1, 5420=1, 5421=1, 5422=1, 5425=1, 5426=1, 5427=1, 5428=1, 5429=1, 5432=1, 5433=1, 5434=1, 5436=1, 5443=1, 5444=1, 5614=1, 5616=1, 5621=1, 5622=1, 5623=1, 5626=1, 5627=1, 5628=1, 5629=1, 5630=1, 5633=1, 5634=1, 5635=1, 5636=1, 5637=1, 5640=1, 5641=1, 5642=1, 5643=1, 5644=1, 5647=1, 5648=1, 5649=1, 5650=1, 5651=1, 5654=1, 5655=1, 5656=1, 5659=1, 5660=1, 5661=1, 5662=1, 5663=1, 5666=1, 5667=1, 5668=1, 5670=1, 5680=1, 5681=1, 5682=1, 5823=1, 5825=1, 5830=1, 5831=1, 5832=1, 5835=1, 5836=1, 5837=1, 5839=1, 5840=1, 5841=1, 5842=1, 5845=1, 5846=1, 5847=1, 5848=1, 5849=1, 5852=1, 5853=1, 5854=1, 5857=1, 5858=1, 5859=1, 5860=1, 5861=1, 5864=1, 5865=1, 5866=1, 5867=1, 5868=1, 5871=1, 5872=1, 5873=1, 5875=1, 5883=1, 5884=1, 5885=1, 6038=1, 6041=1, 6042=1, 6043=1, 6046=1, 6047=1, 6048=1, 6051=1, 6052=1, 6053=1, 6054=1, 6055=1, 6058=1, 6059=1, 6060=1, 6061=1, 6064=1, 6065=1, 6066=1, 6067=1, 6068=1, 6070=1, 6071=1, 6072=1, 6073=1, 6074=1, 6077=1, 6078=1, 6079=1, 6081=1, 6087=1, 6088=1, 6236=1, 6238=1, 6243=1, 6244=1, 6245=1, 6248=1, 6249=1, 6250=1, 6251=1, 6252=1, 6254=1, 6255=1, 6256=1, 6257=1, 6258=1, 6261=1, 6262=1, 6263=1, 6264=1, 6265=1, 6268=1, 6269=1, 6270=1, 6271=1, 6272=1, 6275=1, 6276=1, 6277=1, 6278=1, 6279=1, 6282=1, 6283=1, 6284=1, 6285=1, 6286=1, 6288=1, 6289=1, 6290=1, 6292=1, 6300=1, 6301=1, 6450=1, 6452=1, 6457=1, 6458=1, 6459=1, 6462=1, 6463=1, 6464=1, 6465=1, 6466=1, 6469=1, 6470=1, 6471=1, 6473=1, 6474=1, 6475=1, 6476=1, 6477=1, 6480=1, 6481=1, 6482=1, 6483=1, 6484=1, 6487=1, 6488=1, 6489=1, 6490=1, 6491=1, 6494=1, 6495=1, 6496=1, 6497=1, 6500=1, 6501=1, 6502=1, 6504=1, 6513=1, 6666=1, 6668=1, 6673=1, 6676=1, 6677=1, 6678=1, 6679=1, 6680=1, 6683=1, 6684=1, 6685=1, 6686=1, 6687=1, 6690=1, 6691=1, 6692=1, 6693=1, 6694=1, 6697=1, 6698=1, 6699=1, 6700=1, 6701=1, 6704=1, 6705=1, 6706=1, 6709=1, 6710=1, 6711=1, 6712=1, 6713=1, 6716=1, 6717=1, 6719=1, 6730=1, 6895=1, 6897=1, 6901=1, 6902=1, 6903=1, 6906=1, 6907=1, 6908=1, 6909=1, 6910=1, 6912=1, 6913=1, 6914=1, 6915=1, 6918=1, 6919=1, 6920=1, 6922=1, 6923=1, 6924=1, 6925=1, 6926=1, 6928=1, 6929=1, 6930=1, 6931=1, 6932=1, 6935=1, 6936=1, 6937=1, 6938=1, 6939=1, 6942=1, 6943=1, 6944=1, 6946=1, 6953=1, 6954=1, 6955=1, 7128=1, 7130=1, 7135=1, 7136=1, 7137=1, 7140=1, 7141=1, 7142=1, 7143=1, 7144=1, 7147=1, 7148=1, 7149=1, 7150=1, 7151=1, 7154=1, 7155=1, 7156=1, 7157=1, 7158=1, 7160=1, 7161=1, 7162=1, 7163=1, 7166=1, 7167=1, 7168=1, 7169=1, 7170=1, 7173=1, 7174=1, 7175=1, 7176=1, 7177=1, 7180=1, 7181=1, 7182=1, 7184=1, 7191=1, 7192=1, 7382=1, 7384=1, 7389=1, 7390=1, 7391=1, 7393=1, 7394=1, 7395=1, 7396=1, 7397=1, 7400=1, 7401=1, 7402=1, 7403=1, 7404=1, 7407=1, 7408=1, 7409=1, 7410=1, 7411=1, 7414=1, 7415=1, 7416=1, 7417=1, 7418=1, 7421=1, 7422=1, 7423=1, 7424=1, 7425=1, 7428=1, 7429=1, 7430=1, 7431=1, 7432=1, 7435=1, 7436=1, 7437=1, 7439=1, 7448=1, 7449=1, 7450=1, 7654=1, 7655=1, 7656=1, 7658=1, 7659=1, 7660=1, 7661=1, 7662=1, 7664=1, 7665=1, 7666=1, 7667=1, 7668=1, 7670=1, 7671=1, 7672=1, 7673=1, 7674=1, 7676=1, 7677=1, 7678=1, 7681=1, 7682=1, 7683=1, 7684=1, 7685=1, 7688=1, 7689=1, 7690=1, 7691=1, 7692=1, 7695=1, 7696=1, 7697=1, 7698=1, 7699=1, 7701=1, 7702=1, 7703=1, 7705=1, 7711=1, 7712=1, 7713=1, 7948=1, 7949=1, 7950=1, 7953=1, 7954=1, 7955=1, 7956=1, 7957=1, 7960=1, 7961=1, 7962=1, 7965=1, 7966=1, 7967=1, 7968=1, 7969=1, 7972=1, 7973=1, 7974=1, 7975=1, 7976=1, 7979=1, 7980=1, 7981=1, 7982=1, 7985=1, 7986=1, 7987=1, 7988=1, 7989=1, 7992=1, 7993=1, 7994=1, 7995=1, 7996=1, 7999=1, 8000=1, 8001=1, 8003=1, 8013=1, 8282=1, 8285=1, 8286=1, 8287=1, 8288=1, 8289=1, 8292=1, 8293=1, 8294=1, 8295=1, 8296=1, 8299=1, 8300=1, 8301=1, 8302=1, 8303=1, 8306=1, 8307=1, 8308=1, 8311=1, 8312=1, 8313=1, 8314=1, 8317=1, 8318=1, 8319=1, 8320=1, 8321=1, 8324=1, 8325=1, 8326=1, 8328=1, 8338=1, 8339=1, 8636=1, 8637=1, 8638=1, 8642=1, 8643=1, 8644=1, 8645=1, 8646=1, 8649=1, 8650=1, 8651=1, 8652=1, 8653=1, 8656=1, 8657=1, 8658=1, 8659=1, 8660=1, 8663=1, 8664=1, 8665=1, 8666=1, 8667=1, 8670=1, 8671=1, 8672=1, 8673=1, 8674=1, 8677=1, 8678=1, 8679=1, 8680=1, 8681=1, 8684=1, 8685=1, 8686=1, 8688=1, 8695=1, 8696=1, 9030=1, 9031=1, 9032=1, 9038=1, 9039=1, 9040=1, 9041=1, 9042=1, 9046=1, 9047=1, 9048=1, 9049=1, 9050=1, 9053=1, 9054=1, 9055=1, 9056=1, 9057=1, 9060=1, 9061=1, 9062=1, 9063=1, 9066=1, 9067=1, 9068=1, 9069=1, 9070=1, 9072=1, 9073=1, 9074=1, 9075=1, 9076=1, 9079=1, 9080=1, 9081=1, 9083=1, 9092=1, 9093=1, 9463=1, 9464=1, 9465=1, 9473=1, 9474=1, 9475=1, 9476=1, 9477=1, 9483=1, 9484=1, 9485=1, 9486=1, 9487=1, 9490=1, 9491=1, 9492=1, 9493=1, 9496=1, 9497=1, 9498=1, 9501=1, 9502=1, 9503=1, 9504=1, 9507=1, 9508=1, 9509=1, 9510=1, 9511=1, 9514=1, 9515=1, 9516=1, 9518=1, 9527=1, 9528=1, 9928=1, 9929=1, 9930=1, 9940=1, 9941=1, 9942=1, 9943=1, 9944=1, 9952=1, 9953=1, 9954=1, 9955=1, 9956=1, 9962=1, 9963=1, 9964=1, 9965=1, 9966=1, 9970=1, 9971=1, 9972=1, 9973=1, 9974=1, 9976=1, 9977=1, 9978=1, 9979=1, 9980=1, 9982=1, 9983=1, 9984=1, 9986=1, 9987=1, 9988=1, 9990=1, 9998=1, 9999=1, 10000=1, 10450=1, 10462=1, 10463=1, 10464=1, 10465=1, 10466=1, 10476=1, 10477=1, 10478=1, 10479=1, 10480=1, 10487=1, 10488=1, 10489=1, 10490=1, 10491=1, 10497=1, 10498=1, 10499=1, 10503=1, 10504=1, 10505=1, 10506=1, 10509=1, 10510=1, 10511=1, 10512=1, 10513=1, 10515=1, 10516=1, 10517=1, 10519=1, 10526=1, 10527=1, 10528=1, 11006=1, 11007=1, 11008=1, 11022=1, 11023=1, 11024=1, 11025=1, 11026=1, 11038=1, 11039=1, 11040=1, 11041=1, 11042=1, 11051=1, 11052=1, 11053=1, 11054=1, 11055=1, 11061=1, 11062=1, 11063=1, 11064=1, 11065=1, 11070=1, 11071=1, 11072=1, 11073=1, 11074=1, 11078=1, 11079=1, 11080=1, 11083=1, 11084=1, 11086=1, 11095=1, 11096=1, 11622=1, 11623=1, 11624=1, 11640=1, 11641=1, 11642=1, 11643=1, 11644=1, 11657=1, 11658=1, 11659=1, 11660=1, 11661=1, 11672=1, 11673=1, 11674=1, 11675=1, 11676=1, 11686=1, 11687=1, 11688=1, 11689=1, 11690=1, 11698=1, 11699=1, 11700=1, 11701=1, 11702=1, 11707=1, 11708=1, 11709=1, 11710=1, 11711=1, 11715=1, 11716=1, 11717=1, 11718=1, 11719=1, 11720=1, 11721=1, 11727=1, 11728=1, 11729=1, 12418=1, 12458=1, 12459=1, 12460=1, 12461=1, 12462=1, 12463=1, 12464=1, 12465=1, 12466=1, 12467=1, 12468=1, 12469=1, 12470=1, 12471=1, 12472=1, 12473=1, 12474=1, 12475=1, 12476=1, 12477=1, 12478=1, 12479=1, 12480=1, 12481=1}
Probabilistic random walk after 3562 steps, saw 1727 distinct states, run finished after 3004 ms. (steps per millisecond=1 ) properties seen :1254
Running SMT prover for 11229 properties.
[2023-03-13 21:55:21] [INFO ] Flow matrix only has 20751 transitions (discarded 1056 similar events)
// Phase 1: matrix 20751 rows 13544 cols
[2023-03-13 21:55:23] [INFO ] Computed 1333 place invariants in 1615 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 21:55:48] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 21:55:48] [INFO ] After 25085ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 11229 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 2 ms.
Support contains 11229 out of 13544 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 13544/13544 places, 21807/21807 transitions.
Graph (complete) has 52829 edges and 13544 vertex of which 13504 are kept as prefixes of interest. Removing 40 places using SCC suffix rule.55 ms
Discarding 40 places :
Also discarding 0 output transitions
Drop transitions removed 236 transitions
Trivial Post-agglo rules discarded 236 transitions
Performed 236 trivial Post agglomeration. Transition count delta: 236
Iterating post reduction 0 with 236 rules applied. Total rules applied 237 place count 13504 transition count 21571
Reduce places removed 236 places and 0 transitions.
Performed 97 Post agglomeration using F-continuation condition.Transition count delta: 97
Iterating post reduction 1 with 333 rules applied. Total rules applied 570 place count 13268 transition count 21474
Reduce places removed 97 places and 0 transitions.
Iterating post reduction 2 with 97 rules applied. Total rules applied 667 place count 13171 transition count 21474
Performed 60 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 60 Pre rules applied. Total rules applied 667 place count 13171 transition count 21414
Deduced a syphon composed of 60 places in 21 ms
Reduce places removed 60 places and 0 transitions.
Iterating global reduction 3 with 120 rules applied. Total rules applied 787 place count 13111 transition count 21414
Discarding 197 places :
Symmetric choice reduction at 3 with 197 rule applications. Total rules 984 place count 12914 transition count 21217
Iterating global reduction 3 with 197 rules applied. Total rules applied 1181 place count 12914 transition count 21217
Free-agglomeration rule (complex) applied 231 times.
Iterating global reduction 3 with 231 rules applied. Total rules applied 1412 place count 12914 transition count 20986
Reduce places removed 231 places and 0 transitions.
Iterating post reduction 3 with 231 rules applied. Total rules applied 1643 place count 12683 transition count 20986
Partial Free-agglomeration rule applied 39 times.
Drop transitions removed 39 transitions
Iterating global reduction 4 with 39 rules applied. Total rules applied 1682 place count 12683 transition count 20986
Applied a total of 1682 rules in 1786 ms. Remains 12683 /13544 variables (removed 861) and now considering 20986/21807 (removed 821) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1805 ms. Remains : 12683/13544 places, 20986/21807 transitions.
Interrupted random walk after 180002 steps, including 9202 resets, run timeout after 30001 ms. (steps per millisecond=5 ) properties seen 5373
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5856) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5854) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 57 ms. (steps per millisecond=17 ) properties (out of 5854) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5852) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5851) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5849) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5848) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5848) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5845) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5841) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5840) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5840) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5840) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5837) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5835) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5834) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5833) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5832) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5832) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5831) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5831) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5830) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5829) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5829) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5827) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5825) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5822) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5820) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5819) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5818) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5818) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5816) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5816) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5815) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5813) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5811) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5810) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5808) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5808) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5806) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5805) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5804) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5803) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5800) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5800) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5798) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5796) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5794) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5794) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5793) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5793) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5793) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5793) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5793) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5790) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5789) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5789) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5787) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5786) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5785) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5783) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5782) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5781) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5780) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5778) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5776) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5775) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5773) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5770) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5770) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5769) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5768) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5767) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5767) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5767) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5763) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5762) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5761) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5761) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5759) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5756) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5754) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5753) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5751) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5750) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5750) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5750) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5748) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5748) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5748) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5748) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5746) 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 5746) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5745) 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 5745) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5744) 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 5744) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5743) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5742) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5740) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5739) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5739) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5738) 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 5738) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5737) seen :1
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 :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5733) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 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 49 ms. (steps per millisecond=20 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5732) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5732) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5730) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5728) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5728) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5726) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5726) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5725) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5725) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5724) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5722) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5722) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5721) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5721) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5719) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5718) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5718) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5715) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5715) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5713) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5712) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5711) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5710) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5709) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5709) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5708) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5707) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5706) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5704) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5704) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5704) 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 5704) 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 5704) 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 5704) 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 5704) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5703) 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 5703) 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 5703) 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 5701) 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 5701) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5699) 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 5699) 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 5699) 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 5697) seen :1
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 65 ms. (steps per millisecond=15 ) properties (out of 5696) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5695) 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 5695) 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 5695) 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 5695) seen :4
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5691) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 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 67 ms. (steps per millisecond=14 ) 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 :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 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 67 ms. (steps per millisecond=14 ) properties (out of 5686) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5685) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) 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 :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 :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5684) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5683) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 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 65 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 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 65 ms. (steps per millisecond=15 ) properties (out of 5682) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5681) 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 5681) 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 5681) seen :1
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 :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5677) 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 5677) 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 5675) 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 5675) 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 5675) seen :5
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5670) 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 5670) 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 5670) 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 5670) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5669) 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 5667) 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 5667) 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 5665) 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 5665) 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 5665) 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 5665) seen :1
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 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 64 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 60 ms. (steps per millisecond=16 ) 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 :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5662) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5661) 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 5661) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5660) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5660) 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 5660) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5659) 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 5659) 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 5659) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5658) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5656) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5655) 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 5655) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5654) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5653) 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 5653) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5652) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5649) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5648) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 62 ms. (steps per millisecond=16 ) properties (out of 5647) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5646) 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 5646) 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 5646) 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 5646) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5645) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5645) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5644) 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 5644) 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 5644) seen :1
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5643) 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 5643) 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 5643) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5642) 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 5642) 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 5642) 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 5642) 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 5642) 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 5642) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5641) 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 5639) 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 5639) 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 5639) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5638) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5637) 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 5637) 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 5637) 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 5637) 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 5637) 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 5637) 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 5637) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5636) 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 5636) 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 5636) 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 5636) 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 5636) 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 5636) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5635) 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 5635) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5634) 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 5634) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5633) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5632) 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 5632) 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 5632) seen :4
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 74 ms. (steps per millisecond=13 ) properties (out of 5628) 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 5628) 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 5628) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5628) 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 5628) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5627) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5626) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5625) 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 5623) 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 5623) 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 5623) 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 5623) 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 5623) 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 5623) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5622) 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 5622) 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 5620) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5619) 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 5619) 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 5619) 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 5619) 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 5619) 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 5617) 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 5617) 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 5617) 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 5617) 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 5617) 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 5617) 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 5617) 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 5617) 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 5617) 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 5617) 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 5617) 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 5617) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 64 ms. (steps per millisecond=15 ) properties (out of 5616) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5615) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5614) 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 5612) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5611) 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 5611) 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 5611) 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 5611) 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 5611) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) 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 :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5609) 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 5607) 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 5605) 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 5603) 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 5603) 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 5603) 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 5603) 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 5603) seen :3
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5600) 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 5600) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5598) 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 5598) 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 5598) 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 5598) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5597) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5596) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5595) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 61 ms. (steps per millisecond=16 ) properties (out of 5593) 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 5593) 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 5593) 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 5593) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5592) 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 5592) 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 5592) 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 5592) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 76 ms. (steps per millisecond=13 ) properties (out of 5592) 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 5592) 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 5592) 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 5592) 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 5592) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5591) 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 5591) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5590) 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 5590) 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 5590) 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 5590) 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 5590) 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 5590) 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 5588) 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 5588) 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 5588) 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 5588) 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 5588) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5587) 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 5587) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5586) 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 5586) 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 5584) 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 5584) 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 5584) 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 5584) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5583) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5582) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5581) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5580) 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 5578) 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 5578) 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 5578) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5577) 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 5575) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5574) 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 5574) 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 5574) 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 5570) 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 5570) 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 5570) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5569) 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 5569) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 75 ms. (steps per millisecond=13 ) properties (out of 5568) 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 5568) 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 5568) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5567) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5566) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5565) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5564) 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 5564) 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 5564) 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 5564) 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 5564) 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 5564) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5563) 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 5563) 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 5563) 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 5563) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5562) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 73 ms. (steps per millisecond=13 ) properties (out of 5562) 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 5560) 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 5560) 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 5560) 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 5560) 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 5560) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5559) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5558) 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 5558) 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 5558) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) 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 5557) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5556) 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 5556) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5555) 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 5555) 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 5555) 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 5555) 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 5555) 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 5555) 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 5555) 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 5555) 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 5555) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5554) 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 5554) 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 5554) 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 5554) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 69 ms. (steps per millisecond=14 ) properties (out of 5553) 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 5553) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 71 ms. (steps per millisecond=14 ) properties (out of 5553) 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 5553) 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 5553) 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 5553) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5552) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5551) 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 5551) 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 5551) 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 5551) 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 5551) 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 5551) 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 5551) 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 5551) 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 5551) 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 5551) 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 5549) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 ms. (steps per millisecond=14 ) properties (out of 5548) 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 5548) 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 5548) 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 5548) 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 5548) 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 5548) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5547) 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 5547) 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 5547) 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 5547) 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 5547) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5546) 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 5546) 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 5546) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 65 ms. (steps per millisecond=15 ) properties (out of 5545) 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 5545) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5544) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5543) 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 5543) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 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 69 ms. (steps per millisecond=14 ) properties (out of 5542) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 66 ms. (steps per millisecond=15 ) properties (out of 5541) 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 5541) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 67 ms. (steps per millisecond=14 ) properties (out of 5540) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 70 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 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 68 ms. (steps per millisecond=14 ) properties (out of 5539) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 68 ms. (steps per millisecond=14 ) properties (out of 5538) 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 5538) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 72 ms. (steps per millisecond=13 ) properties (out of 5537) 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 5537) 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 5537) 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 5537) 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 5537) 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 5537) 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 5537) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5535) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5534) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5534) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5533) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5533) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5531) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5531) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5530) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5530) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5529) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5529) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5528) seen :2
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5526) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5526) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5525) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5525) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5524) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5524) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5523) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5522) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5522) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5522) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5522) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5521) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5521) seen :1
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1000 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 43 ms. (steps per millisecond=23 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 45 ms. (steps per millisecond=22 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Incomplete Best-First random walk after 1001 steps, including 6 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5520) seen :0
Running SMT prover for 5520 properties.
[2023-03-13 21:56:57] [INFO ] Flow matrix only has 19930 transitions (discarded 1056 similar events)
// Phase 1: matrix 19930 rows 12683 cols
[2023-03-13 21:56:58] [INFO ] Computed 1293 place invariants in 1230 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 22:00:53] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 22:00:53] [INFO ] After 225030ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5520 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5520 out of 12683 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12683/12683 places, 20986/20986 transitions.
Drop transitions removed 1726 transitions
Trivial Post-agglo rules discarded 1726 transitions
Performed 1726 trivial Post agglomeration. Transition count delta: 1726
Iterating post reduction 0 with 1726 rules applied. Total rules applied 1726 place count 12683 transition count 19260
Reduce places removed 1726 places and 0 transitions.
Performed 6 Post agglomeration using F-continuation condition.Transition count delta: 6
Iterating post reduction 1 with 1732 rules applied. Total rules applied 3458 place count 10957 transition count 19254
Reduce places removed 6 places and 0 transitions.
Iterating post reduction 2 with 6 rules applied. Total rules applied 3464 place count 10951 transition count 19254
Performed 72 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 72 Pre rules applied. Total rules applied 3464 place count 10951 transition count 19182
Deduced a syphon composed of 72 places in 17 ms
Reduce places removed 72 places and 0 transitions.
Iterating global reduction 3 with 144 rules applied. Total rules applied 3608 place count 10879 transition count 19182
Discarding 1690 places :
Symmetric choice reduction at 3 with 1690 rule applications. Total rules 5298 place count 9189 transition count 17492
Iterating global reduction 3 with 1690 rules applied. Total rules applied 6988 place count 9189 transition count 17492
Discarding 699 places :
Symmetric choice reduction at 3 with 699 rule applications. Total rules 7687 place count 8490 transition count 16094
Iterating global reduction 3 with 699 rules applied. Total rules applied 8386 place count 8490 transition count 16094
Performed 2 Post agglomeration using F-continuation condition.Transition count delta: 2
Deduced a syphon composed of 2 places in 17 ms
Reduce places removed 2 places and 0 transitions.
Iterating global reduction 3 with 4 rules applied. Total rules applied 8390 place count 8488 transition count 16092
Free-agglomeration rule (complex) applied 163 times.
Iterating global reduction 3 with 163 rules applied. Total rules applied 8553 place count 8488 transition count 16628
Reduce places removed 163 places and 0 transitions.
Iterating post reduction 3 with 163 rules applied. Total rules applied 8716 place count 8325 transition count 16628
Discarding 7 places :
Symmetric choice reduction at 4 with 7 rule applications. Total rules 8723 place count 8318 transition count 16621
Iterating global reduction 4 with 7 rules applied. Total rules applied 8730 place count 8318 transition count 16621
Partial Free-agglomeration rule applied 66 times.
Drop transitions removed 66 transitions
Iterating global reduction 4 with 66 rules applied. Total rules applied 8796 place count 8318 transition count 16621
Discarding 32 places :
Symmetric choice reduction at 4 with 32 rule applications. Total rules 8828 place count 8286 transition count 16589
Iterating global reduction 4 with 32 rules applied. Total rules applied 8860 place count 8286 transition count 16589
Applied a total of 8860 rules in 3965 ms. Remains 8286 /12683 variables (removed 4397) and now considering 16589/20986 (removed 4397) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 3967 ms. Remains : 8286/12683 places, 16589/20986 transitions.
Interrupted random walk after 61286 steps, including 4675 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 57
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 46 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 47 ms. (steps per millisecond=21 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 48 ms. (steps per millisecond=20 ) properties (out of 5463) seen :0
Interrupted probabilistic random walk after 208933 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :{1048=1, 1049=1, 1279=1, 1809=1, 2409=1, 2646=1, 2691=1, 2817=1, 2818=1}
Probabilistic random walk after 208933 steps, saw 92655 distinct states, run finished after 96002 ms. (steps per millisecond=2 ) properties seen :9
Running SMT prover for 5454 properties.
[2023-03-13 22:03:05] [INFO ] Flow matrix only has 15498 transitions (discarded 1091 similar events)
// Phase 1: matrix 15498 rows 8286 cols
[2023-03-13 22:03:06] [INFO ] Computed 1293 place invariants in 684 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 22:06:58] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 22:06:58] [INFO ] After 225050ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5454 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5454 out of 8286 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8286/8286 places, 16589/16589 transitions.
Drop transitions removed 47 transitions
Trivial Post-agglo rules discarded 47 transitions
Performed 47 trivial Post agglomeration. Transition count delta: 47
Iterating post reduction 0 with 47 rules applied. Total rules applied 47 place count 8286 transition count 16542
Reduce places removed 47 places and 0 transitions.
Iterating post reduction 1 with 47 rules applied. Total rules applied 94 place count 8239 transition count 16542
Discarding 19 places :
Symmetric choice reduction at 2 with 19 rule applications. Total rules 113 place count 8220 transition count 16523
Iterating global reduction 2 with 19 rules applied. Total rules applied 132 place count 8220 transition count 16523
Free-agglomeration rule (complex) applied 4 times.
Iterating global reduction 2 with 4 rules applied. Total rules applied 136 place count 8220 transition count 16519
Reduce places removed 4 places and 0 transitions.
Iterating post reduction 2 with 4 rules applied. Total rules applied 140 place count 8216 transition count 16519
Discarding 35 places :
Symmetric choice reduction at 3 with 35 rule applications. Total rules 175 place count 8181 transition count 16484
Iterating global reduction 3 with 35 rules applied. Total rules applied 210 place count 8181 transition count 16484
Applied a total of 210 rules in 1579 ms. Remains 8181 /8286 variables (removed 105) and now considering 16484/16589 (removed 105) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1579 ms. Remains : 8181/8286 places, 16484/16589 transitions.
Interrupted random walk after 82988 steps, including 6351 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 7
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 39 ms. (steps per millisecond=25 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 35 ms. (steps per millisecond=28 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5447) seen :0
Interrupted probabilistic random walk after 205229 steps, run timeout after 93005 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 205229 steps, saw 90897 distinct states, run finished after 93010 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5447 properties.
[2023-03-13 22:09:05] [INFO ] Flow matrix only has 15391 transitions (discarded 1093 similar events)
// Phase 1: matrix 15391 rows 8181 cols
[2023-03-13 22:09:05] [INFO ] Computed 1293 place invariants in 706 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 22:12:58] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 22:12:58] [INFO ] After 225067ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5447 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5447 out of 8181 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8181/8181 places, 16484/16484 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 8181 transition count 16481
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 8178 transition count 16481
Applied a total of 6 rules in 1416 ms. Remains 8178 /8181 variables (removed 3) and now considering 16481/16484 (removed 3) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1417 ms. Remains : 8178/8181 places, 16481/16484 transitions.
Interrupted random walk after 61381 steps, including 4696 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 7
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 63 ms. (steps per millisecond=15 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5440) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5440) seen :1
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 40 ms. (steps per millisecond=25 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 38 ms. (steps per millisecond=26 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 37 ms. (steps per millisecond=27 ) properties (out of 5439) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 36 ms. (steps per millisecond=27 ) properties (out of 5439) seen :0
Interrupted probabilistic random walk after 209732 steps, run timeout after 99001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 209732 steps, saw 92849 distinct states, run finished after 99002 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5439 properties.
[2023-03-13 22:15:12] [INFO ] Flow matrix only has 15385 transitions (discarded 1096 similar events)
// Phase 1: matrix 15385 rows 8178 cols
[2023-03-13 22:15:12] [INFO ] Computed 1293 place invariants in 695 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 22:19:06] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 22:19:06] [INFO ] After 225060ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5439 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5439 out of 8178 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8178/8178 places, 16481/16481 transitions.
Free-agglomeration rule (complex) applied 5 times.
Iterating global reduction 0 with 5 rules applied. Total rules applied 5 place count 8178 transition count 16476
Reduce places removed 5 places and 0 transitions.
Iterating post reduction 0 with 5 rules applied. Total rules applied 10 place count 8173 transition count 16476
Applied a total of 10 rules in 1383 ms. Remains 8173 /8178 variables (removed 5) and now considering 16476/16481 (removed 5) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1383 ms. Remains : 8173/8178 places, 16476/16481 transitions.
Interrupted random walk after 60624 steps, including 4641 resets, run timeout after 30001 ms. (steps per millisecond=2 ) properties seen 7
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 56 ms. (steps per millisecond=17 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 53 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 52 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 55 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 54 ms. (steps per millisecond=18 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 49 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 50 ms. (steps per millisecond=20 ) properties (out of 5432) seen :0
Incomplete Best-First random walk after 1001 steps, including 7 resets, run finished after 51 ms. (steps per millisecond=19 ) properties (out of 5432) seen :0
Interrupted probabilistic random walk after 201223 steps, run timeout after 96001 ms. (steps per millisecond=2 ) properties seen :{}
Probabilistic random walk after 201223 steps, saw 89143 distinct states, run finished after 96001 ms. (steps per millisecond=2 ) properties seen :0
Running SMT prover for 5432 properties.
[2023-03-13 22:21:16] [INFO ] Flow matrix only has 15375 transitions (discarded 1101 similar events)
// Phase 1: matrix 15375 rows 8173 cols
[2023-03-13 22:21:17] [INFO ] Computed 1293 place invariants in 741 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 22:25:09] [WARNING] SMT solver failed with error :SMT solver raised an error when submitting script.... while checking expressions.
[2023-03-13 22:25:09] [INFO ] After 225025ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0
Fused 5432 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 5432 out of 8173 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 8173/8173 places, 16476/16476 transitions.
Free-agglomeration rule (complex) applied 3 times.
Iterating global reduction 0 with 3 rules applied. Total rules applied 3 place count 8173 transition count 16473
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 0 with 3 rules applied. Total rules applied 6 place count 8170 transition count 16473
Applied a total of 6 rules in 1324 ms. Remains 8170 /8173 variables (removed 3) and now considering 16473/16476 (removed 3) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1325 ms. Remains : 8170/8173 places, 16473/16476 transitions.
TIME LIMIT: Killed by timeout after 1800 seconds
MemTotal: 16393216 kB
MemFree: 12751476 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16153580 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StableMarking -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-S32C02"
export BK_EXAMINATION="StableMarking"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is MultiCrashLeafsetExtension-PT-S32C02, examination is StableMarking"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r249-tall-167856436400558"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/MultiCrashLeafsetExtension-PT-S32C02.tgz
mv MultiCrashLeafsetExtension-PT-S32C02 execution
cd execution
if [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "UpperBounds" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] || [ "StableMarking" = "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 [ "StableMarking" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StableMarking" != "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 "StableMarking.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StableMarking.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StableMarking.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 '' StableMarking.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StableMarking" = "ReachabilityDeadlock" ] || [ "StableMarking" = "QuasiLiveness" ] || [ "StableMarking" = "StableMarking" ] || [ "StableMarking" = "Liveness" ] || [ "StableMarking" = "OneSafe" ] ; then
echo "FORMULA_NAME StableMarking"
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 ;