[INFO] cloning repository https://github.com/mProjectsCode/vass-reachability
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/mProjectsCode/vass-reachability" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FmProjectsCode%2Fvass-reachability", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FmProjectsCode%2Fvass-reachability'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] eae4bfaf4dba08daf25617817517d9d325bdd28f
[INFO] testing mProjectsCode/vass-reachability against nightly-2025-01-18+rustflags=-Zrandomize-layout for randomize-layout-2
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2FmProjectsCode%2Fvass-reachability" "/workspace/builds/worker-5-tc2/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-5-tc2/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/mProjectsCode/vass-reachability on toolchain nightly-2025-01-18
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/mProjectsCode/vass-reachability
[INFO] finished tweaking git repo https://github.com/mProjectsCode/vass-reachability
[INFO] tweaked toml for git repo https://github.com/mProjectsCode/vass-reachability written to /workspace/builds/worker-5-tc2/source/Cargo.toml
[INFO] crate git repo https://github.com/mProjectsCode/vass-reachability already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+nightly-2025-01-18" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] dd6e1d25e2a04cda63b4dbb5a7e7226ede059778f088102f371b8703bcac8eb8
[INFO] running `Command { std: "docker" "start" "-a" "dd6e1d25e2a04cda63b4dbb5a7e7226ede059778f088102f371b8703bcac8eb8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "dd6e1d25e2a04cda63b4dbb5a7e7226ede059778f088102f371b8703bcac8eb8", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "dd6e1d25e2a04cda63b4dbb5a7e7226ede059778f088102f371b8703bcac8eb8", kill_on_drop: false }`
[INFO] [stdout] dd6e1d25e2a04cda63b4dbb5a7e7226ede059778f088102f371b8703bcac8eb8
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] e5e40296158568abaf608ee653ad5a6eb45971c2eafd680e9252fb4626d406d0
[INFO] running `Command { std: "docker" "start" "-a" "e5e40296158568abaf608ee653ad5a6eb45971c2eafd680e9252fb4626d406d0", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.92
[INFO] [stderr]    Compiling unicode-ident v1.0.14
[INFO] [stderr]    Compiling libc v0.2.167
[INFO] [stderr]    Compiling autocfg v1.4.0
[INFO] [stderr]    Compiling glob v0.3.1
[INFO] [stderr]    Compiling memchr v2.7.4
[INFO] [stderr]    Compiling regex-syntax v0.8.5
[INFO] [stderr]    Compiling minimal-lexical v0.2.1
[INFO] [stderr]    Compiling bindgen v0.66.1
[INFO] [stderr]    Compiling lazy_static v1.5.0
[INFO] [stderr]    Compiling lazycell v1.3.0
[INFO] [stderr]    Compiling shlex v1.3.0
[INFO] [stderr]    Compiling bitflags v2.6.0
[INFO] [stderr]    Compiling peeking_take_while v0.1.2
[INFO] [stderr]    Compiling rustc-hash v1.1.0
[INFO] [stderr]    Compiling libloading v0.8.6
[INFO] [stderr]    Compiling byteorder v1.5.0
[INFO] [stderr]    Compiling serde v1.0.216
[INFO] [stderr]    Compiling equivalent v1.0.1
[INFO] [stderr]    Compiling foldhash v0.1.4
[INFO] [stderr]    Compiling allocator-api2 v0.2.21
[INFO] [stderr]    Compiling rawpointer v0.2.1
[INFO] [stderr]    Compiling serde_json v1.0.133
[INFO] [stderr]    Compiling log v0.4.22
[INFO] [stderr]    Compiling ryu v1.0.18
[INFO] [stderr]    Compiling itoa v1.0.14
[INFO] [stderr]    Compiling either v1.13.0
[INFO] [stderr]    Compiling fixedbitset v0.4.2
[INFO] [stderr]    Compiling nom v7.1.3
[INFO] [stderr]    Compiling colored v2.1.0
[INFO] [stderr]    Compiling primes v0.4.0
[INFO] [stderr]    Compiling hashbrown v0.15.2
[INFO] [stderr]    Compiling itertools v0.13.0
[INFO] [stderr]    Compiling clang-sys v1.8.1
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling matrixmultiply v0.3.9
[INFO] [stderr]    Compiling quote v1.0.37
[INFO] [stderr]    Compiling indexmap v2.7.0
[INFO] [stderr]    Compiling syn v2.0.90
[INFO] [stderr]    Compiling getrandom v0.2.15
[INFO] [stderr]    Compiling rand_core v0.6.4
[INFO] [stderr]    Compiling num-complex v0.4.6
[INFO] [stderr]    Compiling num-integer v0.1.46
[INFO] [stderr]    Compiling regex-automata v0.4.9
[INFO] [stderr]    Compiling petgraph v0.6.5
[INFO] [stderr]    Compiling ndarray v0.15.6
[INFO] [stderr]    Compiling cexpr v0.6.0
[INFO] [stderr]    Compiling regex v1.11.1
[INFO] [stderr]    Compiling zerocopy-derive v0.7.35
[INFO] [stderr]    Compiling serde_derive v1.0.216
[INFO] [stderr]    Compiling zerocopy v0.7.35
[INFO] [stderr]    Compiling ppv-lite86 v0.2.20
[INFO] [stderr]    Compiling rand_chacha v0.3.1
[INFO] [stderr]    Compiling rand v0.8.5
[INFO] [stderr]    Compiling z3-sys v0.8.1
[INFO] [stderr]    Compiling z3 v0.12.1
[INFO] [stderr]    Compiling vass-reachability v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 43.70s
[INFO] running `Command { std: "docker" "inspect" "e5e40296158568abaf608ee653ad5a6eb45971c2eafd680e9252fb4626d406d0", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e5e40296158568abaf608ee653ad5a6eb45971c2eafd680e9252fb4626d406d0", kill_on_drop: false }`
[INFO] [stdout] e5e40296158568abaf608ee653ad5a6eb45971c2eafd680e9252fb4626d406d0
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 372e7dae5f29c48c01a210da9ec61223956a9a6653441f4cbbc2d992c41b5a0e
[INFO] running `Command { std: "docker" "start" "-a" "372e7dae5f29c48c01a210da9ec61223956a9a6653441f4cbbc2d992c41b5a0e", kill_on_drop: false }`
[INFO] [stderr]    Compiling vass-reachability v0.1.0 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 3.05s
[INFO] running `Command { std: "docker" "inspect" "372e7dae5f29c48c01a210da9ec61223956a9a6653441f4cbbc2d992c41b5a0e", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "372e7dae5f29c48c01a210da9ec61223956a9a6653441f4cbbc2d992c41b5a0e", kill_on_drop: false }`
[INFO] [stdout] 372e7dae5f29c48c01a210da9ec61223956a9a6653441f4cbbc2d992c41b5a0e
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-5-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid -Zrandomize-layout" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:819108c5571ea2e421544af4d832f968d213c87fbe3707a016657f43d2f853bc" "/opt/rustwide/cargo-home/bin/cargo" "+nightly-2025-01-18" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 97dd8d2da3a77156d3195f1786a273d7b076f579bbcfb08b7d02ca77fa065932
[INFO] running `Command { std: "docker" "start" "-a" "97dd8d2da3a77156d3195f1786a273d7b076f579bbcfb08b7d02ca77fa065932", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.19s
[INFO] [stderr]      Running unittests src/lib/lib.rs (/opt/rustwide/target/debug/deps/vass_reachability-b40cf1d67090fcd1)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running unittests src/main.rs (/opt/rustwide/target/debug/deps/main-bb6596d50c3c1b1f)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stderr]      Running tests/dfa.rs (/opt/rustwide/target/debug/deps/dfa-7d894af98c175b4c)
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test minimize_3 ... ok
[INFO] [stdout] test test_dfa_intersection ... ok
[INFO] [stdout] test test_dfa_intersection_2 ... ok
[INFO] [stdout] test test_dfa_intersection_3 ... ok
[INFO] [stdout] test test_dfa_inversion ... ok
[INFO] [stdout] test minimize_2 ... ok
[INFO] [stdout] test test_dfa ... ok
[INFO] [stdout] test minimize_1 ... ok
[INFO] [stdout] test minimize_4 ... ok
[INFO] [stdout] test minimize_5 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 10 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.31s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/dyck.rs (/opt/rustwide/target/debug/deps/dyck-9786390680c2b5da)
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/ltc.rs (/opt/rustwide/target/debug/deps/ltc-5080de2923c82487)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test ltc_n_reach_1 ... ok
[INFO] [stdout] test ltc_n_reach_3 ... ok
[INFO] [stderr]      Running tests/modulo.rs (/opt/rustwide/target/debug/deps/modulo-982fd30448906853)
[INFO] [stdout] test ltc_n_reach_2 ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.16s
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] running 0 tests
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 0 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/nfa.rs (/opt/rustwide/target/debug/deps/nfa-ebed820f1ea83fc2)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test test_nfa_to_dfa_3 ... ok
[INFO] [stdout] test test_nfa_to_dfa_2 ... ok
[INFO] [stdout] test test_nfa_to_dfa ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/path.rs (/opt/rustwide/target/debug/deps/path-83502d817bb2c9ff)
[INFO] [stdout] 
[INFO] [stdout] running 3 tests
[INFO] [stdout] test to_ltc_3 ... ok
[INFO] [stdout] test to_ltc_2 ... ok
[INFO] [stdout] test to_ltc ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 3 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/vass.rs (/opt/rustwide/target/debug/deps/vass-edd69af4facd6c80)
[INFO] [stdout] 
[INFO] [stdout] running 10 tests
[INFO] [stdout] test test_vass ... ok
[INFO] [stdout] test test_vass_reach_1 ... ok
[INFO] [stdout] test test_vass_reach_3 ... ok
[INFO] [stdout] test test_vass_reach_2 ... ok
[INFO] [stdout] test test_vass_to_cfg ... ok
[INFO] [stdout] test test_vass_reach_5 ... ok
[INFO] [stdout] test test_vass_reach_4 ... ok
[INFO] [stdout] test test_vass_reach_6 ... ok
[INFO] [stdout] test test_vass_reach_random ... FAILED
[INFO] [stdout] test test_vass_reach_7 ... FAILED
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout] 
[INFO] [stdout] ---- test_vass_reach_random stdout ----
[INFO] [stdout] 0: Unreachable
[INFO] [stdout] 1: Unreachable
[INFO] [stdout] 
[INFO] [stdout] thread 'test_vass_reach_random' panicked at src/lib/automaton/petri_net.rs:122:46:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: Os { code: 30, kind: ReadOnlyFilesystem, message: "Read-only file system" }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x609b92f37d9a - std::backtrace_rs::backtrace::libunwind::trace::hb059275cfc8d6126
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x609b92f37d9a - std::backtrace_rs::backtrace::trace_unsynchronized::h2da071e4327ce3ee
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x609b92f37d9a - std::sys::backtrace::_print_fmt::h842a1474e6f8d23f
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x609b92f37d9a - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h71a62eb3b9696b12
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x609b92f5fb73 - core::fmt::rt::Argument::fmt::hdb6b616786b41dc1
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x609b92f5fb73 - core::fmt::write::h2cc1698af7e2d686
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/fmt/mod.rs:1440:21
[INFO] [stdout]    6:     0x609b92f348f3 - std::io::Write::write_fmt::hab1b4cd059a79022
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/io/mod.rs:1887:15
[INFO] [stdout]    7:     0x609b92f37be2 - std::sys::backtrace::BacktraceLock::print::h147fe35b4ea13b08
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x609b92f391bf - std::panicking::default_hook::{{closure}}::hbd44223dbdc0d208
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:298:22
[INFO] [stdout]    9:     0x609b92f38fd8 - std::panicking::default_hook::h20f81eb0576efcec
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:322:9
[INFO] [stdout]   10:     0x609b92e976a3 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hdb53814c496a4d34
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2027:9
[INFO] [stdout]   11:     0x609b92e976a3 - test::test_main::{{closure}}::hc0a4963c59427c24
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:134:21
[INFO] [stdout]   12:     0x609b92f39cb3 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h591b2225413a77e9
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2027:9
[INFO] [stdout]   13:     0x609b92f39cb3 - std::panicking::rust_panic_with_hook::h625eea43051b2edc
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:839:13
[INFO] [stdout]   14:     0x609b92f3996a - std::panicking::begin_panic_handler::{{closure}}::h4f9159cfbc3f6bd3
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:704:13
[INFO] [stdout]   15:     0x609b92f38299 - std::sys::backtrace::__rust_end_short_backtrace::h0390abce48353151
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:168:18
[INFO] [stdout]   16:     0x609b92f395fd - rust_begin_unwind
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:695:5
[INFO] [stdout]   17:     0x609b92f5e550 - core::panicking::panic_fmt::h9e7c637e9e5f29c9
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panicking.rs:75:14
[INFO] [stdout]   18:     0x609b92f5e9c6 - core::result::unwrap_failed::h7979f09313fe1849
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/result.rs:1704:5
[INFO] [stdout]   19:     0x609b92ea4a5a - core::result::Result<T,E>::unwrap::hc54a7c12246665d7
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/result.rs:1109:23
[INFO] [stdout]   20:     0x609b92ea4a5a - vass_reachability::automaton::petri_net::InitializedPetriNet::to_file::h86d182dcc474d4d6
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib/automaton/petri_net.rs:122:9
[INFO] [stdout]   21:     0x609b92e4db90 - vass::test_vass_reach_random::h9088deeede07a9ff
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/vass.rs:274:13
[INFO] [stdout]   22:     0x609b92e4d2b7 - vass::test_vass_reach_random::{{closure}}::hc2865699fc8b0ea5
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/vass.rs:226:28
[INFO] [stdout]   23:     0x609b92e55d16 - core::ops::function::FnOnce::call_once::h66252c18b562b7b3
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   24:     0x609b92e9cdfb - core::ops::function::FnOnce::call_once::he27718dfdd183f43
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   25:     0x609b92e9cdfb - test::__rust_begin_short_backtrace::h4e84902998457a5d
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:632:18
[INFO] [stdout]   26:     0x609b92e9bd33 - test::run_test_in_process::{{closure}}::h7176fd18fc1feca0
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:655:60
[INFO] [stdout]   27:     0x609b92e9bd33 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf79cff2a624d8cf7
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   28:     0x609b92e9bd33 - std::panicking::try::do_call::h3da0561d9ab99c25
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:587:40
[INFO] [stdout]   29:     0x609b92e9bd33 - std::panicking::try::h41c9fa508bc61df6
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:550:19
[INFO] [stdout]   30:     0x609b92e9bd33 - std::panic::catch_unwind::h6b3ff07bb5afad93
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panic.rs:358:14
[INFO] [stdout]   31:     0x609b92e9bd33 - test::run_test_in_process::hc7253dd11b39b9f4
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:655:27
[INFO] [stdout]   32:     0x609b92e9bd33 - test::run_test::{{closure}}::hfb2007f8649c30bb
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:576:43
[INFO] [stdout]   33:     0x609b92e5ee15 - test::run_test::{{closure}}::h56a17aa7a282a9f4
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:606:41
[INFO] [stdout]   34:     0x609b92e5ee15 - std::sys::backtrace::__rust_begin_short_backtrace::hd2d2d2fb8e8c6aac
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:152:18
[INFO] [stdout]   35:     0x609b92e626fa - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h4faa3f9db6133423
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   36:     0x609b92e626fa - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf2e855a36a4ea846
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   37:     0x609b92e626fa - std::panicking::try::do_call::h2f73af3616c35465
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:587:40
[INFO] [stdout]   38:     0x609b92e626fa - std::panicking::try::hd1660ce9efadef5a
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:550:19
[INFO] [stdout]   39:     0x609b92e626fa - std::panic::catch_unwind::h5ee8d7823b8ca744
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panic.rs:358:14
[INFO] [stdout]   40:     0x609b92e626fa - std::thread::Builder::spawn_unchecked_::{{closure}}::h53c3a1894dce8407
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   41:     0x609b92e626fa - core::ops::function::FnOnce::call_once{{vtable.shim}}::h048ce291ad4f62bf
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   42:     0x609b92f3dbeb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::ha52bedf99a3b4981
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2013:9
[INFO] [stdout]   43:     0x609b92f3dbeb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h567748934d80ccf8
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2013:9
[INFO] [stdout]   44:     0x609b92f3dbeb - std::sys::pal::unix::thread::Thread::new::thread_start::h2d970728ae887adc
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/pal/unix/thread.rs:106:17
[INFO] [stdout]   45:     0x7301595a5ac3 - <unknown>
[INFO] [stdout]   46:     0x730159636a04 - clone
[INFO] [stdout]   47:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] ---- test_vass_reach_7 stdout ----
[INFO] [stdout] [INF] VASS Reach Solver: Solver Info {
[INFO] [stdout]   dimension: 3
[INFO] [stdout]   vass.states: 4
[INFO] [stdout]   vass.transitions: 6
[INFO] [stdout]   cfg.states: 12
[INFO] [stdout]   cfg.transitions: 72
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 1
[INFO] [stdout]   mu: 2
[INFO] [stdout]   cfg.states: 12
[INFO] [stdout]   cfg.transitions: 72
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([3, 0, 2]): "0 --(1)-> 4 --(1)-> 0"
[INFO] [stdout] [DBG] VASS Reach Solver: Path only modulo reaching, increasing mu
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 113.27µs
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 2
[INFO] [stdout]   mu: 3
[INFO] [stdout]   cfg.states: 12
[INFO] [stdout]   cfg.transitions: 72
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([4, 2, 2]): "0 --(-3)-> 2 --(-3)-> 9 --(1)-> 10 --(1)-> 11 --(2)-> 0 --(-1)-> 3 --(-2)-> 5 --(2)-> 6 --(2)-> 7 --(3)-> 8 --(3)-> 0 --(1)-> 4 --(1)-> 0"
[INFO] [stdout] [DBG] VASS Reach Solver: Path has loop, checking LTC
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 17.030076ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 3
[INFO] [stdout]   mu: 3
[INFO] [stdout]   cfg.states: 26
[INFO] [stdout]   cfg.transitions: 156
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([4, 2, 2]): "0 --(-3)-> 4 --(-3)-> 5 --(1)-> 6 --(1)-> 7 --(2)-> 8 --(1)-> 1 --(1)-> 14 --(-1)-> 3 --(-2)-> 22 --(2)-> 23 --(2)-> 24 --(3)-> 25 --(3)-> 14"
[INFO] [stdout] [DBG] VASS Reach Solver: Path has loop, checking LTC
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 55.669528ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 4
[INFO] [stdout]   mu: 3
[INFO] [stdout]   cfg.states: 33
[INFO] [stdout]   cfg.transitions: 198
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([0, -1, 2]): "0 --(-1)-> 3 --(-2)-> 29 --(2)-> 30 --(2)-> 31 --(3)-> 32 --(3)-> 15 --(-3)-> 11 --(-3)-> 12 --(1)-> 13 --(1)-> 14 --(2)-> 15 --(1)-> 1 --(1)-> 15"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 1
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-1)-> 3 --(-2)-> 29"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 19.378306ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 5
[INFO] [stdout]   mu: 3
[INFO] [stdout]   cfg.states: 33
[INFO] [stdout]   cfg.transitions: 198
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([4, 2, 2]): "0 --(1)-> 1 --(1)-> 14 --(-3)-> 10 --(-3)-> 11 --(1)-> 12 --(1)-> 13 --(2)-> 14 --(-1)-> 15 --(-2)-> 16 --(2)-> 17 --(2)-> 18 --(3)-> 19 --(3)-> 14"
[INFO] [stdout] [DBG] VASS Reach Solver: Path has loop, checking LTC
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 24.938874ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 6
[INFO] [stdout]   mu: 3
[INFO] [stdout]   cfg.states: 39
[INFO] [stdout]   cfg.transitions: 234
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([2, -1, 2]): "0 --(1)-> 1 --(1)-> 34 --(-1)-> 16 --(-2)-> 17 --(2)-> 18 --(2)-> 19 --(3)-> 20 --(3)-> 14 --(-3)-> 10 --(-3)-> 11 --(1)-> 12 --(1)-> 13 --(2)-> 14"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 3
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 34 --(-1)-> 16 --(-2)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 25.337665ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 7
[INFO] [stdout]   mu: 3
[INFO] [stdout]   cfg.states: 39
[INFO] [stdout]   cfg.transitions: 234
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([10, 2, 2]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 21 --(2)-> 22 --(2)-> 23 --(3)-> 24 --(3)-> 25 --(1)-> 26 --(1)-> 27 --(1)-> 15 --(1)-> 14 --(1)-> 15 --(1)-> 14 --(1)-> 15 --(1)-> 14"
[INFO] [stdout] [DBG] VASS Reach Solver: Path has loop, checking LTC
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 21.699125ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 8
[INFO] [stdout]   mu: 3
[INFO] [stdout]   cfg.states: 40
[INFO] [stdout]   cfg.transitions: 240
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([10, 2, 2]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(-1)-> 29 --(-2)-> 30 --(2)-> 31 --(2)-> 32 --(3)-> 33 --(3)-> 34 --(1)-> 15 --(1)-> 14 --(1)-> 15 --(1)-> 14 --(1)-> 15 --(1)-> 14"
[INFO] [stdout] [DBG] VASS Reach Solver: Path has loop, checking LTC
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 21.376805ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 9
[INFO] [stdout]   mu: 3
[INFO] [stdout]   cfg.states: 46
[INFO] [stdout]   cfg.transitions: 276
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([10, 2, 2]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 15 --(1)-> 14 --(-1)-> 16 --(-2)-> 17 --(2)-> 18 --(2)-> 19 --(3)-> 20 --(3)-> 14 --(1)-> 15 --(1)-> 14 --(1)-> 15 --(1)-> 14"
[INFO] [stdout] [DBG] VASS Reach Solver: Path has loop, checking LTC
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 32.600533ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 10
[INFO] [stdout]   mu: 3
[INFO] [stdout]   cfg.states: 48
[INFO] [stdout]   cfg.transitions: 288
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([10, 2, 2]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 26 --(1)-> 27 --(-1)-> 16 --(-2)-> 17 --(2)-> 18 --(2)-> 19 --(3)-> 20 --(3)-> 14 --(1)-> 15 --(1)-> 14"
[INFO] [stdout] [DBG] VASS Reach Solver: Path has loop, checking LTC
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 24.602755ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 11
[INFO] [stdout]   mu: 3
[INFO] [stdout]   cfg.states: 57
[INFO] [stdout]   cfg.transitions: 342
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([10, 2, 2]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 26 --(1)-> 27 --(-1)-> 16 --(-2)-> 17 --(2)-> 18 --(2)-> 19 --(3)-> 20 --(3)-> 14"
[INFO] [stdout] [DBG] VASS Reach Solver: Path only modulo reaching, increasing mu
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 6.549079ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 12
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 57
[INFO] [stdout]   cfg.transitions: 342
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([3, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-3)-> 10 --(-3)-> 11 --(1)-> 12 --(1)-> 13 --(2)-> 14"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 5
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-3)-> 10"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 13.658407ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 13
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 57
[INFO] [stdout]   cfg.transitions: 342
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([5, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 7
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 31.033223ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 14
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 57
[INFO] [stdout]   cfg.transitions: 342
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 9
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 37.822812ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 15
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 57
[INFO] [stdout]   cfg.transitions: 342
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([5, 1, -1]): "0 --(1)-> 1 --(1)-> 46 --(-3)-> 47 --(-3)-> 48 --(1)-> 49 --(1)-> 50 --(2)-> 51 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 7
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 46 --(-3)-> 47 --(-3)-> 48 --(1)-> 49 --(1)-> 50 --(2)-> 51 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 20.192185ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 16
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 57
[INFO] [stdout]   cfg.transitions: 342
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 1, -1]): "0 --(1)-> 1 --(1)-> 46 --(-3)-> 47 --(-3)-> 48 --(1)-> 49 --(1)-> 50 --(2)-> 51 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 9
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 46 --(-3)-> 47 --(-3)-> 48 --(1)-> 49 --(1)-> 50 --(2)-> 51 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 8.935698ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 17
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 59
[INFO] [stdout]   cfg.transitions: 354
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 1, -1]): "0 --(1)-> 1 --(1)-> 46 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 9
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 46 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 10.033408ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 18
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 65
[INFO] [stdout]   cfg.transitions: 390
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([9, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 11
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 13.611197ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 19
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 65
[INFO] [stdout]   cfg.transitions: 390
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([11, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 15 --(1)-> 27 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 13
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 15 --(1)-> 27 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 14.139457ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 20
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 67
[INFO] [stdout]   cfg.transitions: 402
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([9, 1, -1]): "0 --(1)-> 1 --(1)-> 48 --(-3)-> 50 --(-3)-> 51 --(1)-> 52 --(1)-> 53 --(2)-> 54 --(1)-> 55 --(1)-> 61 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 11
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 48 --(-3)-> 50 --(-3)-> 51 --(1)-> 52 --(1)-> 53 --(2)-> 54 --(1)-> 55 --(1)-> 61 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 12.260797ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 21
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 69
[INFO] [stdout]   cfg.transitions: 414
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([11, 1, -1]): "0 --(1)-> 1 --(1)-> 48 --(-3)-> 50 --(-3)-> 51 --(1)-> 52 --(1)-> 53 --(2)-> 54 --(1)-> 55 --(1)-> 61 --(1)-> 62 --(1)-> 63 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 13
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 48 --(-3)-> 50 --(-3)-> 51 --(1)-> 52 --(1)-> 53 --(2)-> 54 --(1)-> 55 --(1)-> 61 --(1)-> 62 --(1)-> 63 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 15.938036ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 22
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 71
[INFO] [stdout]   cfg.transitions: 426
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([9, 1, -1]): "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(-3)-> 67 --(-3)-> 68 --(1)-> 69 --(1)-> 70 --(2)-> 65 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 11
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(-3)-> 67 --(-3)-> 68 --(1)-> 69 --(1)-> 70 --(2)-> 65 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 12.955917ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 23
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 71
[INFO] [stdout]   cfg.transitions: 426
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([11, 1, -1]): "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(-3)-> 67 --(-3)-> 68 --(1)-> 69 --(1)-> 70 --(2)-> 63 --(1)-> 64 --(1)-> 65 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 13
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(-3)-> 67 --(-3)-> 68 --(1)-> 69 --(1)-> 70 --(2)-> 63 --(1)-> 64 --(1)-> 65 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 30.414803ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 24
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 71
[INFO] [stdout]   cfg.transitions: 426
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([4, -1, 2]): "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 5
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(-1)-> 16 --(-2)-> 23"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 16.048066ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 25
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 71
[INFO] [stdout]   cfg.transitions: 426
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([9, 1, -1]): "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 11
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 13.369127ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 26
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 77
[INFO] [stdout]   cfg.transitions: 462
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([11, 1, -1]): "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(1)-> 67 --(1)-> 72 --(-3)-> 73 --(-3)-> 74 --(1)-> 75 --(1)-> 76 --(2)-> 65 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 13
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(1)-> 67 --(1)-> 72 --(-3)-> 73 --(-3)-> 74 --(1)-> 75 --(1)-> 76 --(2)-> 65 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 18.737706ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 27
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 77
[INFO] [stdout]   cfg.transitions: 462
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([6, -1, 2]): "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(1)-> 67 --(1)-> 72 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 7
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(1)-> 67 --(1)-> 72 --(-1)-> 16 --(-2)-> 23"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 13.179187ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 28
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 77
[INFO] [stdout]   cfg.transitions: 462
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([11, 1, -1]): "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(1)-> 67 --(1)-> 72 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 13
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 48 --(1)-> 49 --(1)-> 66 --(1)-> 67 --(1)-> 72 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 19.162846ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 29
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 83
[INFO] [stdout]   cfg.transitions: 498
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([13, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 15 --(1)-> 27 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 15
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 15 --(1)-> 27 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 19.574376ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 30
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 85
[INFO] [stdout]   cfg.transitions: 510
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([15, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 48 --(1)-> 49 --(1)-> 15 --(1)-> 27 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 17
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 48 --(1)-> 49 --(1)-> 15 --(1)-> 27 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 16.369096ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 31
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 87
[INFO] [stdout]   cfg.transitions: 522
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([13, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(-3)-> 54 --(-3)-> 55 --(1)-> 56 --(1)-> 57 --(2)-> 58 --(1)-> 59 --(1)-> 65 --(1)-> 66 --(1)-> 67 --(1)-> 68 --(1)-> 69 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 15
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(-3)-> 54 --(-3)-> 55 --(1)-> 56 --(1)-> 57 --(2)-> 58 --(1)-> 59 --(1)-> 65 --(1)-> 66 --(1)-> 67 --(1)-> 68 --(1)-> 69 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 21.648485ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 32
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 89
[INFO] [stdout]   cfg.transitions: 534
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([15, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(-3)-> 54 --(-3)-> 55 --(1)-> 56 --(1)-> 57 --(2)-> 58 --(1)-> 59 --(1)-> 65 --(1)-> 66 --(1)-> 67 --(1)-> 68 --(1)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 17
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(-3)-> 54 --(-3)-> 55 --(1)-> 56 --(1)-> 57 --(2)-> 58 --(1)-> 59 --(1)-> 65 --(1)-> 66 --(1)-> 67 --(1)-> 68 --(1)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 22.691126ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 33
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 91
[INFO] [stdout]   cfg.transitions: 546
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([13, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(-3)-> 76 --(-3)-> 77 --(1)-> 78 --(1)-> 79 --(2)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 15
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(-3)-> 76 --(-3)-> 77 --(1)-> 78 --(1)-> 79 --(2)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 20.334895ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 34
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 91
[INFO] [stdout]   cfg.transitions: 546
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([15, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(-3)-> 76 --(-3)-> 77 --(1)-> 78 --(1)-> 79 --(2)-> 67 --(1)-> 68 --(1)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 17
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(-3)-> 76 --(-3)-> 77 --(1)-> 78 --(1)-> 79 --(2)-> 67 --(1)-> 68 --(1)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 20.538766ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 35
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 91
[INFO] [stdout]   cfg.transitions: 546
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([13, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(-3)-> 82 --(-3)-> 83 --(1)-> 84 --(1)-> 85 --(2)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 15
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(-3)-> 82 --(-3)-> 83 --(1)-> 84 --(1)-> 85 --(2)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 19.170486ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 36
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 91
[INFO] [stdout]   cfg.transitions: 546
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([15, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(-3)-> 82 --(-3)-> 83 --(1)-> 84 --(1)-> 85 --(2)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 17
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(-3)-> 82 --(-3)-> 83 --(1)-> 84 --(1)-> 85 --(2)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 35.109552ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 37
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 91
[INFO] [stdout]   cfg.transitions: 546
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([13, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(-3)-> 87 --(-3)-> 88 --(1)-> 89 --(1)-> 90 --(2)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 15
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(-3)-> 87 --(-3)-> 88 --(1)-> 89 --(1)-> 90 --(2)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 20.179745ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 38
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 91
[INFO] [stdout]   cfg.transitions: 546
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([15, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(-3)-> 87 --(-3)-> 88 --(1)-> 89 --(1)-> 90 --(2)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 17
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(-3)-> 87 --(-3)-> 88 --(1)-> 89 --(1)-> 90 --(2)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 20.030745ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 39
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 91
[INFO] [stdout]   cfg.transitions: 546
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([8, -1, 2]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 9
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(-1)-> 16 --(-2)-> 23"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 19.425316ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 40
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 91
[INFO] [stdout]   cfg.transitions: 546
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([13, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 15
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 21.243815ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 41
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 97
[INFO] [stdout]   cfg.transitions: 582
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([15, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(1)-> 87 --(1)-> 92 --(-3)-> 93 --(-3)-> 94 --(1)-> 95 --(1)-> 96 --(2)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 17
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(1)-> 87 --(1)-> 92 --(-3)-> 93 --(-3)-> 94 --(1)-> 95 --(1)-> 96 --(2)-> 73 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 21.980456ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 42
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 97
[INFO] [stdout]   cfg.transitions: 582
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([10, -1, 2]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(1)-> 87 --(1)-> 92 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 11
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(1)-> 87 --(1)-> 92 --(-1)-> 16 --(-2)-> 23"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 21.660616ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 43
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 97
[INFO] [stdout]   cfg.transitions: 582
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([15, 1, -1]): "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(1)-> 87 --(1)-> 92 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 17
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 52 --(1)-> 53 --(1)-> 74 --(1)-> 75 --(1)-> 80 --(1)-> 81 --(1)-> 86 --(1)-> 87 --(1)-> 92 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 23.840935ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 44
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 103
[INFO] [stdout]   cfg.transitions: 618
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([17, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 48 --(1)-> 49 --(1)-> 50 --(1)-> 51 --(1)-> 15 --(1)-> 27 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 19
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 48 --(1)-> 49 --(1)-> 50 --(1)-> 51 --(1)-> 15 --(1)-> 27 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 27.189354ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 45
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 105
[INFO] [stdout]   cfg.transitions: 630
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([19, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 48 --(1)-> 49 --(1)-> 50 --(1)-> 51 --(1)-> 52 --(1)-> 53 --(1)-> 15 --(1)-> 27 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 21
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 48 --(1)-> 49 --(1)-> 50 --(1)-> 51 --(1)-> 52 --(1)-> 53 --(1)-> 15 --(1)-> 27 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 29.343203ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 46
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 107
[INFO] [stdout]   cfg.transitions: 642
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([17, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(-3)-> 58 --(-3)-> 59 --(1)-> 60 --(1)-> 61 --(2)-> 62 --(1)-> 63 --(1)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 19
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(-3)-> 58 --(-3)-> 59 --(1)-> 60 --(1)-> 61 --(2)-> 62 --(1)-> 63 --(1)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 28.852624ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 47
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 109
[INFO] [stdout]   cfg.transitions: 654
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([19, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(-3)-> 58 --(-3)-> 59 --(1)-> 60 --(1)-> 61 --(2)-> 62 --(1)-> 63 --(1)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 21
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(-3)-> 58 --(-3)-> 59 --(1)-> 60 --(1)-> 61 --(2)-> 62 --(1)-> 63 --(1)-> 69 --(1)-> 70 --(1)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 30.869983ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 48
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([17, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(-3)-> 84 --(-3)-> 85 --(1)-> 86 --(1)-> 87 --(2)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 19
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(-3)-> 84 --(-3)-> 85 --(1)-> 86 --(1)-> 87 --(2)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 48.136299ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 49
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([19, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(-3)-> 84 --(-3)-> 85 --(1)-> 86 --(1)-> 87 --(2)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 21
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(-3)-> 84 --(-3)-> 85 --(1)-> 86 --(1)-> 87 --(2)-> 71 --(1)-> 72 --(1)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 32.657883ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 50
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([17, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(-3)-> 90 --(-3)-> 91 --(1)-> 92 --(1)-> 93 --(2)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 19
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(-3)-> 90 --(-3)-> 91 --(1)-> 92 --(1)-> 93 --(2)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 29.799323ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 51
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([19, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(-3)-> 90 --(-3)-> 91 --(1)-> 92 --(1)-> 93 --(2)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 21
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(-3)-> 90 --(-3)-> 91 --(1)-> 92 --(1)-> 93 --(2)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 32.814733ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 52
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([17, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(-3)-> 96 --(-3)-> 97 --(1)-> 98 --(1)-> 99 --(2)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 19
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(-3)-> 96 --(-3)-> 97 --(1)-> 98 --(1)-> 99 --(2)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 30.937343ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 53
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([19, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(-3)-> 96 --(-3)-> 97 --(1)-> 98 --(1)-> 99 --(2)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 21
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(-3)-> 96 --(-3)-> 97 --(1)-> 98 --(1)-> 99 --(2)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 32.470242ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 54
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([17, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(-3)-> 102 --(-3)-> 103 --(1)-> 104 --(1)-> 105 --(2)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 19
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(-3)-> 102 --(-3)-> 103 --(1)-> 104 --(1)-> 105 --(2)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 30.609644ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 55
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([19, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(-3)-> 102 --(-3)-> 103 --(1)-> 104 --(1)-> 105 --(2)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 21
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(-3)-> 102 --(-3)-> 103 --(1)-> 104 --(1)-> 105 --(2)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 31.405673ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 56
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([17, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(-3)-> 107 --(-3)-> 108 --(1)-> 109 --(1)-> 110 --(2)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 19
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(-3)-> 107 --(-3)-> 108 --(1)-> 109 --(1)-> 110 --(2)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 29.343313ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 57
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([19, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(-3)-> 107 --(-3)-> 108 --(1)-> 109 --(1)-> 110 --(2)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 21
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(-3)-> 107 --(-3)-> 108 --(1)-> 109 --(1)-> 110 --(2)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 33.939842ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 58
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([12, -1, 2]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 13
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(-1)-> 16 --(-2)-> 23"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 26.530644ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 59
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 111
[INFO] [stdout]   cfg.transitions: 666
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([17, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 19
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 29.953403ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 60
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 117
[INFO] [stdout]   cfg.transitions: 702
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([19, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(1)-> 107 --(1)-> 112 --(-3)-> 113 --(-3)-> 114 --(1)-> 115 --(1)-> 116 --(2)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 21
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(1)-> 107 --(1)-> 112 --(-3)-> 113 --(-3)-> 114 --(1)-> 115 --(1)-> 116 --(2)-> 81 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 32.173003ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 61
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 117
[INFO] [stdout]   cfg.transitions: 702
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([14, -1, 2]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(1)-> 107 --(1)-> 112 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 15
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(1)-> 107 --(1)-> 112 --(-1)-> 16 --(-2)-> 23"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 36.467732ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 62
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 117
[INFO] [stdout]   cfg.transitions: 702
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([19, 1, -1]): "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(1)-> 107 --(1)-> 112 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 21
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 56 --(1)-> 57 --(1)-> 82 --(1)-> 83 --(1)-> 88 --(1)-> 89 --(1)-> 94 --(1)-> 95 --(1)-> 100 --(1)-> 101 --(1)-> 106 --(1)-> 107 --(1)-> 112 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 34.431343ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 63
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 123
[INFO] [stdout]   cfg.transitions: 738
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([21, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 48 --(1)-> 49 --(1)-> 50 --(1)-> 51 --(1)-> 52 --(1)-> 53 --(1)-> 54 --(1)-> 55 --(1)-> 15 --(1)-> 27 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 48 --(1)-> 49 --(1)-> 50 --(1)-> 51 --(1)-> 52 --(1)-> 53 --(1)-> 54 --(1)-> 55 --(1)-> 15 --(1)-> 27 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 35.283352ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 64
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 125
[INFO] [stdout]   cfg.transitions: 750
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 48 --(1)-> 49 --(1)-> 50 --(1)-> 51 --(1)-> 52 --(1)-> 53 --(1)-> 54 --(1)-> 55 --(1)-> 56 --(1)-> 57 --(1)-> 15 --(1)-> 27 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 28 --(1)-> 29 --(1)-> 35 --(1)-> 36 --(1)-> 37 --(1)-> 38 --(1)-> 47 --(1)-> 48 --(1)-> 49 --(1)-> 50 --(1)-> 51 --(1)-> 52 --(1)-> 53 --(1)-> 54 --(1)-> 55 --(1)-> 56 --(1)-> 57 --(1)-> 15 --(1)-> 27 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 35.167792ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 65
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 127
[INFO] [stdout]   cfg.transitions: 762
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([21, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(-3)-> 62 --(-3)-> 63 --(1)-> 64 --(1)-> 65 --(2)-> 66 --(1)-> 67 --(1)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(-3)-> 62 --(-3)-> 63 --(1)-> 64 --(1)-> 65 --(2)-> 66 --(1)-> 67 --(1)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 43.333761ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 66
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 129
[INFO] [stdout]   cfg.transitions: 774
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(-3)-> 62 --(-3)-> 63 --(1)-> 64 --(1)-> 65 --(2)-> 66 --(1)-> 67 --(1)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(-3)-> 62 --(-3)-> 63 --(1)-> 64 --(1)-> 65 --(2)-> 66 --(1)-> 67 --(1)-> 73 --(1)-> 74 --(1)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 46.50725ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 67
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([21, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(-3)-> 92 --(-3)-> 93 --(1)-> 94 --(1)-> 95 --(2)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(-3)-> 92 --(-3)-> 93 --(1)-> 94 --(1)-> 95 --(2)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 47.549949ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 68
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(-3)-> 92 --(-3)-> 93 --(1)-> 94 --(1)-> 95 --(2)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(-3)-> 92 --(-3)-> 93 --(1)-> 94 --(1)-> 95 --(2)-> 75 --(1)-> 76 --(1)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 48.50547ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 69
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([21, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(-3)-> 98 --(-3)-> 99 --(1)-> 100 --(1)-> 101 --(2)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(-3)-> 98 --(-3)-> 99 --(1)-> 100 --(1)-> 101 --(2)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 46.07664ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 70
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(-3)-> 98 --(-3)-> 99 --(1)-> 100 --(1)-> 101 --(2)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(-3)-> 98 --(-3)-> 99 --(1)-> 100 --(1)-> 101 --(2)-> 77 --(1)-> 78 --(1)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 50.956419ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 71
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([21, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(-3)-> 104 --(-3)-> 105 --(1)-> 106 --(1)-> 107 --(2)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(-3)-> 104 --(-3)-> 105 --(1)-> 106 --(1)-> 107 --(2)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 47.515359ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 72
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(-3)-> 104 --(-3)-> 105 --(1)-> 106 --(1)-> 107 --(2)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(-3)-> 104 --(-3)-> 105 --(1)-> 106 --(1)-> 107 --(2)-> 79 --(1)-> 80 --(1)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 46.64931ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 73
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([21, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(-3)-> 110 --(-3)-> 111 --(1)-> 112 --(1)-> 113 --(2)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(-3)-> 110 --(-3)-> 111 --(1)-> 112 --(1)-> 113 --(2)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 44.753081ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 74
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(-3)-> 110 --(-3)-> 111 --(1)-> 112 --(1)-> 113 --(2)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(-3)-> 110 --(-3)-> 111 --(1)-> 112 --(1)-> 113 --(2)-> 81 --(1)-> 82 --(1)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 44.532491ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 75
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([21, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(-3)-> 116 --(-3)-> 117 --(1)-> 118 --(1)-> 119 --(2)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(-3)-> 116 --(-3)-> 117 --(1)-> 118 --(1)-> 119 --(2)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 45.71018ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 76
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(-3)-> 116 --(-3)-> 117 --(1)-> 118 --(1)-> 119 --(2)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(-3)-> 116 --(-3)-> 117 --(1)-> 118 --(1)-> 119 --(2)-> 83 --(1)-> 84 --(1)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 45.83937ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 77
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([21, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(-3)-> 122 --(-3)-> 123 --(1)-> 124 --(1)-> 125 --(2)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(-3)-> 122 --(-3)-> 123 --(1)-> 124 --(1)-> 125 --(2)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 43.355561ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 78
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(-3)-> 122 --(-3)-> 123 --(1)-> 124 --(1)-> 125 --(2)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(-3)-> 122 --(-3)-> 123 --(1)-> 124 --(1)-> 125 --(2)-> 85 --(1)-> 86 --(1)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 44.21095ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 79
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([21, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(-3)-> 127 --(-3)-> 128 --(1)-> 129 --(1)-> 130 --(2)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(-3)-> 127 --(-3)-> 128 --(1)-> 129 --(1)-> 130 --(2)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 43.301151ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 80
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(-3)-> 127 --(-3)-> 128 --(1)-> 129 --(1)-> 130 --(2)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(-3)-> 127 --(-3)-> 128 --(1)-> 129 --(1)-> 130 --(2)-> 87 --(1)-> 88 --(1)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 44.41116ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 81
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([16, -1, 2]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 17
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(-1)-> 16 --(-2)-> 23"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 42.175921ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 82
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 131
[INFO] [stdout]   cfg.transitions: 786
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([21, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 44.84884ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 83
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 137
[INFO] [stdout]   cfg.transitions: 822
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(1)-> 127 --(1)-> 132 --(-3)-> 133 --(-3)-> 134 --(1)-> 135 --(1)-> 136 --(2)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(1)-> 127 --(1)-> 132 --(-3)-> 133 --(-3)-> 134 --(1)-> 135 --(1)-> 136 --(2)-> 89 --(1)-> 22 --(1)-> 21 --(-3)-> 17"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 45.54279ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 84
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 137
[INFO] [stdout]   cfg.transitions: 822
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([18, -1, 2]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(1)-> 127 --(1)-> 132 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 19
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(1)-> 127 --(1)-> 132 --(-1)-> 16 --(-2)-> 23"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 47.2189ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 85
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 137
[INFO] [stdout]   cfg.transitions: 822
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([23, 1, -1]): "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(1)-> 127 --(1)-> 132 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 25
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 60 --(1)-> 61 --(1)-> 90 --(1)-> 91 --(1)-> 96 --(1)-> 97 --(1)-> 102 --(1)-> 103 --(1)-> 108 --(1)-> 109 --(1)-> 114 --(1)-> 115 --(1)-> 120 --(1)-> 121 --(1)-> 126 --(1)-> 127 --(1)-> 132 --(1)-> 22 --(1)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 49.731059ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 86
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 143
[INFO] [stdout]   cfg.transitions: 858
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([4, 3, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-1)-> 16 --(-2)-> 23 --(2)-> 24 --(2)-> 25 --(3)-> 26 --(3)-> 21 --(1)-> 22 --(1)-> 21"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 16
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-3)-> 17"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 59.418767ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 87
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 149
[INFO] [stdout]   cfg.transitions: 894
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([5, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-1)-> 16 --(-2)-> 28 --(2)-> 29 --(2)-> 30 --(3)-> 31 --(3)-> 23 --(-3)-> 24 --(-3)-> 25 --(1)-> 26 --(1)-> 27 --(2)-> 23 --(-3)-> 24 --(-3)-> 25 --(1)-> 26 --(1)-> 27 --(2)-> 23 --(1)-> 22 --(1)-> 23"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 27
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-1)-> 16 --(-2)-> 28 --(2)-> 29 --(2)-> 30 --(3)-> 31 --(3)-> 23 --(-3)-> 24 --(-3)-> 25 --(1)-> 26 --(1)-> 27 --(2)-> 23 --(-3)-> 24"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 68.635065ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 88
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 159
[INFO] [stdout]   cfg.transitions: 954
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-1)-> 23 --(-2)-> 24 --(2)-> 25 --(2)-> 26 --(3)-> 27 --(3)-> 28 --(-3)-> 29 --(-3)-> 30 --(1)-> 31 --(1)-> 32 --(2)-> 33 --(1)-> 22 --(1)-> 34 --(-3)-> 35 --(-3)-> 36 --(1)-> 37 --(1)-> 38 --(2)-> 34"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-1)-> 23 --(-2)-> 24 --(2)-> 25 --(2)-> 26 --(3)-> 27 --(3)-> 28 --(-3)-> 29 --(-3)-> 30 --(1)-> 31 --(1)-> 32 --(2)-> 33 --(1)-> 22 --(1)-> 34 --(-3)-> 35"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 66.011426ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 89
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 160
[INFO] [stdout]   cfg.transitions: 960
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([1, 6, 6]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-1)-> 23 --(-2)-> 24 --(2)-> 25 --(2)-> 26 --(3)-> 27 --(3)-> 28 --(-1)-> 16 --(-2)-> 41 --(2)-> 42 --(2)-> 43 --(3)-> 44 --(3)-> 36 --(-1)-> 16 --(-2)-> 41 --(2)-> 42 --(2)-> 43 --(3)-> 44 --(3)-> 36"
[INFO] [stdout] [DBG] VASS Reach Solver: Path has loop, checking LTC
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 52.451668ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 90
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 166
[INFO] [stdout]   cfg.transitions: 996
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-1)-> 23 --(-2)-> 24 --(2)-> 25 --(2)-> 26 --(3)-> 27 --(3)-> 28 --(1)-> 22 --(1)-> 46 --(-3)-> 42 --(-3)-> 43 --(1)-> 44 --(1)-> 45 --(2)-> 46 --(-3)-> 42 --(-3)-> 43 --(1)-> 44 --(1)-> 45 --(2)-> 46"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(-1)-> 23 --(-2)-> 24 --(2)-> 25 --(2)-> 26 --(3)-> 27 --(3)-> 28 --(1)-> 22 --(1)-> 46 --(-3)-> 42 --(-3)-> 43 --(1)-> 44 --(1)-> 45 --(2)-> 46 --(-3)-> 42"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 63.031196ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 91
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 166
[INFO] [stdout]   cfg.transitions: 996
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([6, 3, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 47 --(-3)-> 43 --(-3)-> 44 --(1)-> 45 --(1)-> 46 --(2)-> 47 --(-3)-> 43 --(-3)-> 44 --(1)-> 45 --(1)-> 46 --(2)-> 47 --(-1)-> 16 --(-2)-> 53 --(2)-> 54 --(2)-> 55 --(3)-> 56 --(3)-> 47"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 18
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 47 --(-3)-> 43"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 63.920596ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 92
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 166
[INFO] [stdout]   cfg.transitions: 996
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 36 --(-1)-> 16 --(-2)-> 53 --(2)-> 54 --(2)-> 55 --(3)-> 56 --(3)-> 38 --(-3)-> 39 --(-3)-> 40 --(1)-> 41 --(1)-> 42 --(2)-> 38 --(-3)-> 39 --(-3)-> 40 --(1)-> 41 --(1)-> 42 --(2)-> 38"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-3)-> 17 --(-3)-> 18 --(1)-> 19 --(1)-> 20 --(2)-> 21 --(1)-> 22 --(1)-> 36 --(-1)-> 16 --(-2)-> 53 --(2)-> 54 --(2)-> 55 --(3)-> 56 --(3)-> 38 --(-3)-> 39 --(-3)-> 40 --(1)-> 41 --(1)-> 42 --(2)-> 38 --(-3)-> 39"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 68.422625ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 93
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 173
[INFO] [stdout]   cfg.transitions: 1038
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([5, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 60 --(2)-> 61 --(2)-> 62 --(3)-> 63 --(3)-> 39 --(-3)-> 40 --(-3)-> 41 --(1)-> 42 --(1)-> 43 --(2)-> 39 --(-3)-> 40 --(-3)-> 41 --(1)-> 42 --(1)-> 43 --(2)-> 39 --(-3)-> 40 --(-3)-> 41 --(1)-> 42 --(1)-> 43 --(2)-> 39 --(1)-> 38 --(1)-> 39"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 27
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 60 --(2)-> 61 --(2)-> 62 --(3)-> 63 --(3)-> 39 --(-3)-> 40 --(-3)-> 41 --(1)-> 42 --(1)-> 43 --(2)-> 39 --(-3)-> 40 --(-3)-> 41 --(1)-> 42 --(1)-> 43 --(2)-> 39 --(-3)-> 40"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 74.629944ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 94
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 183
[INFO] [stdout]   cfg.transitions: 1098
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 65 --(2)-> 66 --(2)-> 67 --(3)-> 68 --(3)-> 69 --(-3)-> 70 --(-3)-> 71 --(1)-> 72 --(1)-> 73 --(2)-> 54 --(-3)-> 55 --(-3)-> 56 --(1)-> 57 --(1)-> 58 --(2)-> 48 --(1)-> 43 --(1)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 65 --(2)-> 66 --(2)-> 67 --(3)-> 68 --(3)-> 69 --(-3)-> 70 --(-3)-> 71 --(1)-> 72 --(1)-> 73 --(2)-> 54 --(-3)-> 55 --(-3)-> 56 --(1)-> 57 --(1)-> 58 --(2)-> 48 --(1)-> 43 --(1)-> 42 --(-3)-> 44"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 76.302333ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 95
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 184
[INFO] [stdout]   cfg.transitions: 1104
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([1, 6, 6]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 65 --(2)-> 66 --(2)-> 67 --(3)-> 68 --(3)-> 69 --(-3)-> 70 --(-3)-> 71 --(1)-> 72 --(1)-> 73 --(2)-> 74 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path has loop, checking LTC
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 66.394816ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 96
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 184
[INFO] [stdout]   cfg.transitions: 1104
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 65 --(2)-> 66 --(2)-> 67 --(3)-> 68 --(3)-> 69 --(-3)-> 70 --(-3)-> 71 --(1)-> 72 --(1)-> 73 --(2)-> 74 --(1)-> 43 --(1)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 65 --(2)-> 66 --(2)-> 67 --(3)-> 68 --(3)-> 69 --(-3)-> 70 --(-3)-> 71 --(1)-> 72 --(1)-> 73 --(2)-> 74 --(1)-> 43 --(1)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 76.620653ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 97
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 183
[INFO] [stdout]   cfg.transitions: 1098
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([1, 6, 6]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 65 --(2)-> 66 --(2)-> 67 --(3)-> 68 --(3)-> 69 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path has loop, checking LTC
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 92.71522ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 98
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 194
[INFO] [stdout]   cfg.transitions: 1164
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([-1, 4, 6]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 65 --(2)-> 66 --(2)-> 67 --(3)-> 68 --(3)-> 69 --(-1)-> 70 --(-2)-> 75 --(2)-> 76 --(2)-> 77 --(3)-> 78 --(3)-> 79 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 23
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 65 --(2)-> 66 --(2)-> 67 --(3)-> 68 --(3)-> 69 --(-1)-> 70 --(-2)-> 75 --(2)-> 76 --(2)-> 77 --(3)-> 78 --(3)-> 79 --(-1)-> 37"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 81.843722ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 99
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 194
[INFO] [stdout]   cfg.transitions: 1164
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 65 --(2)-> 66 --(2)-> 67 --(3)-> 68 --(3)-> 69 --(1)-> 43 --(1)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(-1)-> 16 --(-2)-> 65 --(2)-> 66 --(2)-> 67 --(3)-> 68 --(3)-> 69 --(1)-> 43 --(1)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 90.85196ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 100
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 200
[INFO] [stdout]   cfg.transitions: 1200
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([6, 3, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(1)-> 15 --(1)-> 97 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 18
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(1)-> 15 --(1)-> 97 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 89.074571ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 101
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 202
[INFO] [stdout]   cfg.transitions: 1212
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(1)-> 15 --(1)-> 97 --(-3)-> 55 --(-3)-> 56 --(1)-> 57 --(1)-> 58 --(2)-> 48 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(1)-> 15 --(1)-> 97 --(-3)-> 55 --(-3)-> 56 --(1)-> 57 --(1)-> 58 --(2)-> 48 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 96.011139ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 102
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 206
[INFO] [stdout]   cfg.transitions: 1236
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(1)-> 15 --(1)-> 97 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(-1)-> 9 --(-2)-> 10 --(2)-> 11 --(2)-> 12 --(3)-> 13 --(3)-> 14 --(1)-> 15 --(1)-> 97 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 101.122908ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 103
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 211
[INFO] [stdout]   cfg.transitions: 1266
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([6, 3, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 109 --(-1)-> 111 --(-2)-> 112 --(2)-> 113 --(2)-> 114 --(3)-> 115 --(3)-> 108 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 18
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 109 --(-1)-> 111 --(-2)-> 112 --(2)-> 113 --(2)-> 114 --(3)-> 115 --(3)-> 108 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 94.49556ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 104
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 212
[INFO] [stdout]   cfg.transitions: 1272
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 109 --(-1)-> 111 --(-2)-> 112 --(2)-> 113 --(2)-> 114 --(3)-> 115 --(3)-> 116 --(-3)-> 55 --(-3)-> 56 --(1)-> 57 --(1)-> 58 --(2)-> 48 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 109 --(-1)-> 111 --(-2)-> 112 --(2)-> 113 --(2)-> 114 --(3)-> 115 --(3)-> 116 --(-3)-> 55 --(-3)-> 56 --(1)-> 57 --(1)-> 58 --(2)-> 48 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 102.519697ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 105
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 212
[INFO] [stdout]   cfg.transitions: 1272
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 109 --(-1)-> 111 --(-2)-> 112 --(2)-> 113 --(2)-> 114 --(3)-> 115 --(3)-> 116 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 109 --(-1)-> 111 --(-2)-> 112 --(2)-> 113 --(2)-> 114 --(3)-> 115 --(3)-> 116 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 103.274138ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 106
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 211
[INFO] [stdout]   cfg.transitions: 1266
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([25, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 109 --(1)-> 110 --(1)-> 116 --(1)-> 117 --(1)-> 124 --(1)-> 125 --(1)-> 133 --(1)-> 134 --(1)-> 135 --(1)-> 136 --(1)-> 137 --(1)-> 138 --(1)-> 139 --(1)-> 140 --(1)-> 141 --(1)-> 142 --(1)-> 143 --(1)-> 144 --(1)-> 145 --(1)-> 98 --(1)-> 108 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(1)-> 43 --(1)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 27
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 109 --(1)-> 110 --(1)-> 116 --(1)-> 117 --(1)-> 124 --(1)-> 125 --(1)-> 133 --(1)-> 134 --(1)-> 135 --(1)-> 136 --(1)-> 137 --(1)-> 138 --(1)-> 139 --(1)-> 140 --(1)-> 141 --(1)-> 142 --(1)-> 143 --(1)-> 144 --(1)-> 145 --(1)-> 98 --(1)-> 108 --(-3)-> 44"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 92.37662ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 107
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 213
[INFO] [stdout]   cfg.transitions: 1278
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([27, 1, -1]): "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 109 --(1)-> 110 --(1)-> 116 --(1)-> 117 --(1)-> 124 --(1)-> 125 --(1)-> 133 --(1)-> 134 --(1)-> 135 --(1)-> 136 --(1)-> 137 --(1)-> 138 --(1)-> 139 --(1)-> 140 --(1)-> 141 --(1)-> 142 --(1)-> 143 --(1)-> 144 --(1)-> 145 --(1)-> 146 --(1)-> 147 --(1)-> 98 --(1)-> 108 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(-3)-> 3 --(-3)-> 4 --(1)-> 5 --(1)-> 6 --(2)-> 7 --(1)-> 8 --(1)-> 109 --(1)-> 110 --(1)-> 116 --(1)-> 117 --(1)-> 124 --(1)-> 125 --(1)-> 133 --(1)-> 134 --(1)-> 135 --(1)-> 136 --(1)-> 137 --(1)-> 138 --(1)-> 139 --(1)-> 140 --(1)-> 141 --(1)-> 142 --(1)-> 143 --(1)-> 144 --(1)-> 145 --(1)-> 146 --(1)-> 147 --(1)-> 98 --(1)-> 108 --(-3)-> 44"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 91.86782ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 108
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 215
[INFO] [stdout]   cfg.transitions: 1290
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([6, 3, -1]): "0 --(1)-> 1 --(1)-> 150 --(-3)-> 152 --(-3)-> 153 --(1)-> 154 --(1)-> 155 --(2)-> 156 --(-1)-> 86 --(-2)-> 87 --(2)-> 88 --(2)-> 89 --(3)-> 90 --(3)-> 91 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 18
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 150 --(-3)-> 152 --(-3)-> 153 --(1)-> 154 --(1)-> 155 --(2)-> 156 --(-1)-> 86 --(-2)-> 87 --(2)-> 88 --(2)-> 89 --(3)-> 90 --(3)-> 91 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 100.576308ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 109
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 221
[INFO] [stdout]   cfg.transitions: 1326
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(1)-> 1 --(1)-> 150 --(-3)-> 152 --(-3)-> 153 --(1)-> 154 --(1)-> 155 --(2)-> 156 --(-1)-> 158 --(-2)-> 159 --(2)-> 160 --(2)-> 161 --(3)-> 162 --(3)-> 163 --(-3)-> 55 --(-3)-> 56 --(1)-> 57 --(1)-> 58 --(2)-> 48 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 150 --(-3)-> 152 --(-3)-> 153 --(1)-> 154 --(1)-> 155 --(2)-> 156 --(-1)-> 158 --(-2)-> 159 --(2)-> 160 --(2)-> 161 --(3)-> 162 --(3)-> 163 --(-3)-> 55 --(-3)-> 56 --(1)-> 57 --(1)-> 58 --(2)-> 48 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 111.896356ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 110
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 221
[INFO] [stdout]   cfg.transitions: 1326
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([7, 5, -1]): "0 --(1)-> 1 --(1)-> 150 --(-3)-> 152 --(-3)-> 153 --(1)-> 154 --(1)-> 155 --(2)-> 156 --(-1)-> 158 --(-2)-> 159 --(2)-> 160 --(2)-> 161 --(3)-> 162 --(3)-> 163 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 150 --(-3)-> 152 --(-3)-> 153 --(1)-> 154 --(1)-> 155 --(2)-> 156 --(-1)-> 158 --(-2)-> 159 --(2)-> 160 --(2)-> 161 --(3)-> 162 --(3)-> 163 --(-1)-> 37 --(-2)-> 38 --(2)-> 39 --(2)-> 40 --(3)-> 41 --(3)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(-3)-> 44"
[INFO] [stdout] [WAR] VASS Reach Solver: Cut path has loop
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 108.847336ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 111
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 221
[INFO] [stdout]   cfg.transitions: 1326
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([25, 1, -1]): "0 --(1)-> 1 --(1)-> 150 --(-3)-> 152 --(-3)-> 153 --(1)-> 154 --(1)-> 155 --(2)-> 156 --(1)-> 157 --(1)-> 164 --(1)-> 165 --(1)-> 166 --(1)-> 167 --(1)-> 168 --(1)-> 169 --(1)-> 170 --(1)-> 171 --(1)-> 172 --(1)-> 173 --(1)-> 174 --(1)-> 175 --(1)-> 176 --(1)-> 177 --(1)-> 35 --(1)-> 36 --(1)-> 48 --(1)-> 43 --(1)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(1)-> 43 --(1)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 27
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 150 --(-3)-> 152 --(-3)-> 153 --(1)-> 154 --(1)-> 155 --(2)-> 156 --(1)-> 157 --(1)-> 164 --(1)-> 165 --(1)-> 166 --(1)-> 167 --(1)-> 168 --(1)-> 169 --(1)-> 170 --(1)-> 171 --(1)-> 172 --(1)-> 173 --(1)-> 174 --(1)-> 175 --(1)-> 176 --(1)-> 177 --(1)-> 35 --(1)-> 36 --(1)-> 48 --(1)-> 43 --(1)-> 42 --(-3)-> 44"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 115.140135ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 112
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 223
[INFO] [stdout]   cfg.transitions: 1338
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([27, 1, -1]): "0 --(1)-> 1 --(1)-> 150 --(-3)-> 152 --(-3)-> 153 --(1)-> 154 --(1)-> 155 --(2)-> 156 --(1)-> 157 --(1)-> 164 --(1)-> 165 --(1)-> 166 --(1)-> 167 --(1)-> 168 --(1)-> 169 --(1)-> 170 --(1)-> 171 --(1)-> 172 --(1)-> 173 --(1)-> 174 --(1)-> 175 --(1)-> 176 --(1)-> 177 --(1)-> 178 --(1)-> 179 --(1)-> 35 --(1)-> 36 --(1)-> 48 --(1)-> 43 --(1)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 150 --(-3)-> 152 --(-3)-> 153 --(1)-> 154 --(1)-> 155 --(2)-> 156 --(1)-> 157 --(1)-> 164 --(1)-> 165 --(1)-> 166 --(1)-> 167 --(1)-> 168 --(1)-> 169 --(1)-> 170 --(1)-> 171 --(1)-> 172 --(1)-> 173 --(1)-> 174 --(1)-> 175 --(1)-> 176 --(1)-> 177 --(1)-> 178 --(1)-> 179 --(1)-> 35 --(1)-> 36 --(1)-> 48 --(1)-> 43 --(1)-> 42 --(-3)-> 44"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 125.998942ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 113
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 225
[INFO] [stdout]   cfg.transitions: 1350
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([25, 1, -1]): "0 --(1)-> 1 --(1)-> 150 --(1)-> 151 --(1)-> 182 --(-3)-> 184 --(-3)-> 185 --(1)-> 186 --(1)-> 187 --(2)-> 168 --(1)-> 169 --(1)-> 170 --(1)-> 171 --(1)-> 172 --(1)-> 173 --(1)-> 174 --(1)-> 175 --(1)-> 176 --(1)-> 177 --(1)-> 178 --(1)-> 179 --(1)-> 180 --(1)-> 181 --(1)-> 35 --(1)-> 36 --(1)-> 48 --(1)-> 43 --(1)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42 --(1)-> 43 --(1)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 27
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 150 --(1)-> 151 --(1)-> 182 --(-3)-> 184 --(-3)-> 185 --(1)-> 186 --(1)-> 187 --(2)-> 168 --(1)-> 169 --(1)-> 170 --(1)-> 171 --(1)-> 172 --(1)-> 173 --(1)-> 174 --(1)-> 175 --(1)-> 176 --(1)-> 177 --(1)-> 178 --(1)-> 179 --(1)-> 180 --(1)-> 181 --(1)-> 35 --(1)-> 36 --(1)-> 48 --(1)-> 43 --(1)-> 42 --(-3)-> 44"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 122.425094ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 114
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 225
[INFO] [stdout]   cfg.transitions: 1350
[INFO] [stdout] }
[INFO] [stdout] [DBG] VASS Reach Solver: Not reaching ([27, 1, -1]): "0 --(1)-> 1 --(1)-> 150 --(1)-> 151 --(1)-> 182 --(-3)-> 184 --(-3)-> 185 --(1)-> 186 --(1)-> 187 --(2)-> 166 --(1)-> 167 --(1)-> 168 --(1)-> 169 --(1)-> 170 --(1)-> 171 --(1)-> 172 --(1)-> 173 --(1)-> 174 --(1)-> 175 --(1)-> 176 --(1)-> 177 --(1)-> 178 --(1)-> 179 --(1)-> 180 --(1)-> 181 --(1)-> 35 --(1)-> 36 --(1)-> 48 --(1)-> 43 --(1)-> 42 --(-3)-> 44 --(-3)-> 45 --(1)-> 46 --(1)-> 47 --(2)-> 42"
[INFO] [stdout] [DBG] VASS Reach Solver: Path does not stay positive at index 29
[INFO] [stdout] [DBG] VASS Reach Solver: Cut path "0 --(1)-> 1 --(1)-> 150 --(1)-> 151 --(1)-> 182 --(-3)-> 184 --(-3)-> 185 --(1)-> 186 --(1)-> 187 --(2)-> 166 --(1)-> 167 --(1)-> 168 --(1)-> 169 --(1)-> 170 --(1)-> 171 --(1)-> 172 --(1)-> 173 --(1)-> 174 --(1)-> 175 --(1)-> 176 --(1)-> 177 --(1)-> 178 --(1)-> 179 --(1)-> 180 --(1)-> 181 --(1)-> 35 --(1)-> 36 --(1)-> 48 --(1)-> 43 --(1)-> 42 --(-3)-> 44"
[INFO] [stdout] [DBG] VASS Reach Solver: Step time: 129.165312ms
[INFO] [stdout] 
[INFO] [stdout] [INF] VASS Reach Solver: Step Info {
[INFO] [stdout]   step: 115
[INFO] [stdout]   mu: 4
[INFO] [stdout]   cfg.states: 225
[INFO] [stdout]   cfg.transitions: 1350
[INFO] [stdout] }
[INFO] [stdout] 
[INFO] [stdout] thread 'test_vass_reach_7' panicked at /opt/rustwide/workdir/src/lib/threading/thread_pool.rs:85:43:
[INFO] [stdout] called `Result::unwrap()` on an `Err` value: SendError { .. }
[INFO] [stdout] stack backtrace:
[INFO] [stdout]    0:     0x609b92f37d9a - std::backtrace_rs::backtrace::libunwind::trace::hb059275cfc8d6126
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/../../backtrace/src/backtrace/libunwind.rs:116:5
[INFO] [stdout]    1:     0x609b92f37d9a - std::backtrace_rs::backtrace::trace_unsynchronized::h2da071e4327ce3ee
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stdout]    2:     0x609b92f37d9a - std::sys::backtrace::_print_fmt::h842a1474e6f8d23f
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:66:9
[INFO] [stdout]    3:     0x609b92f37d9a - <std::sys::backtrace::BacktraceLock::print::DisplayBacktrace as core::fmt::Display>::fmt::h71a62eb3b9696b12
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:39:26
[INFO] [stdout]    4:     0x609b92f5fb73 - core::fmt::rt::Argument::fmt::hdb6b616786b41dc1
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/fmt/rt.rs:177:76
[INFO] [stdout]    5:     0x609b92f5fb73 - core::fmt::write::h2cc1698af7e2d686
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/fmt/mod.rs:1440:21
[INFO] [stdout]    6:     0x609b92f348f3 - std::io::Write::write_fmt::hab1b4cd059a79022
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/io/mod.rs:1887:15
[INFO] [stdout]    7:     0x609b92f37be2 - std::sys::backtrace::BacktraceLock::print::h147fe35b4ea13b08
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:42:9
[INFO] [stdout]    8:     0x609b92f391bf - std::panicking::default_hook::{{closure}}::hbd44223dbdc0d208
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:298:22
[INFO] [stdout]    9:     0x609b92f38fd8 - std::panicking::default_hook::h20f81eb0576efcec
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:322:9
[INFO] [stdout]   10:     0x609b92e976a3 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::hdb53814c496a4d34
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2027:9
[INFO] [stdout]   11:     0x609b92e976a3 - test::test_main::{{closure}}::hc0a4963c59427c24
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:134:21
[INFO] [stdout]   12:     0x609b92f39cb3 - <alloc::boxed::Box<F,A> as core::ops::function::Fn<Args>>::call::h591b2225413a77e9
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2027:9
[INFO] [stdout]   13:     0x609b92f39cb3 - std::panicking::rust_panic_with_hook::h625eea43051b2edc
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:839:13
[INFO] [stdout]   14:     0x609b92f3996a - std::panicking::begin_panic_handler::{{closure}}::h4f9159cfbc3f6bd3
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:704:13
[INFO] [stdout]   15:     0x609b92f38299 - std::sys::backtrace::__rust_end_short_backtrace::h0390abce48353151
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:168:18
[INFO] [stdout]   16:     0x609b92f395fd - rust_begin_unwind
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:695:5
[INFO] [stdout]   17:     0x609b92f5e550 - core::panicking::panic_fmt::h9e7c637e9e5f29c9
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panicking.rs:75:14
[INFO] [stdout]   18:     0x609b92f5e9c6 - core::result::unwrap_failed::h7979f09313fe1849
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/result.rs:1704:5
[INFO] [stdout]   19:     0x609b92e0619b - core::result::Result<T,E>::unwrap::h00dab8fdac492b2c
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/result.rs:1109:23
[INFO] [stdout]   20:     0x609b92e0619b - vass_reachability::threading::thread_pool::ThreadPool<T>::join::h4620576f8a3959c7
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib/threading/thread_pool.rs:85:17
[INFO] [stdout]   21:     0x609b92e03bfc - <vass_reachability::threading::thread_pool::ThreadPool<T> as core::ops::drop::Drop>::drop::h58a93a999339c5a4
[INFO] [stdout]                                at /opt/rustwide/workdir/src/lib/threading/thread_pool.rs:136:9
[INFO] [stdout]   22:     0x609b92e56fa3 - core::ptr::drop_in_place<vass_reachability::threading::thread_pool::ThreadPool<vass_reachability::automaton::ltc::LTCSolverResult>>::h753d9ddc7f291712
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ptr/mod.rs:523:1
[INFO] [stdout]   23:     0x609b92e5abfd - core::ptr::drop_in_place<vass_reachability::solver::vass_reach::VASSReachSolver<usize,usize>>::h15a8a1c9efde28f8
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ptr/mod.rs:523:1
[INFO] [stdout]   24:     0x609b92e4d181 - vass::test_vass_reach_7::h682d704a8ff4be1d
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/vass.rs:220:19
[INFO] [stdout]   25:     0x609b92e4ca37 - vass::test_vass_reach_7::{{closure}}::hbe356510cd960b4c
[INFO] [stdout]                                at /opt/rustwide/workdir/tests/vass.rs:204:23
[INFO] [stdout]   26:     0x609b92e55b66 - core::ops::function::FnOnce::call_once::h2fd71094c4fa2590
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   27:     0x609b92e9cdfb - core::ops::function::FnOnce::call_once::he27718dfdd183f43
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   28:     0x609b92e9cdfb - test::__rust_begin_short_backtrace::h4e84902998457a5d
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:632:18
[INFO] [stdout]   29:     0x609b92e9bd33 - test::run_test_in_process::{{closure}}::h7176fd18fc1feca0
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:655:60
[INFO] [stdout]   30:     0x609b92e9bd33 - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf79cff2a624d8cf7
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   31:     0x609b92e9bd33 - std::panicking::try::do_call::h3da0561d9ab99c25
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:587:40
[INFO] [stdout]   32:     0x609b92e9bd33 - std::panicking::try::h41c9fa508bc61df6
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:550:19
[INFO] [stdout]   33:     0x609b92e9bd33 - std::panic::catch_unwind::h6b3ff07bb5afad93
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panic.rs:358:14
[INFO] [stdout]   34:     0x609b92e9bd33 - test::run_test_in_process::hc7253dd11b39b9f4
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:655:27
[INFO] [stdout]   35:     0x609b92e9bd33 - test::run_test::{{closure}}::hfb2007f8649c30bb
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:576:43
[INFO] [stdout]   36:     0x609b92e5ee15 - test::run_test::{{closure}}::h56a17aa7a282a9f4
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/test/src/lib.rs:606:41
[INFO] [stdout]   37:     0x609b92e5ee15 - std::sys::backtrace::__rust_begin_short_backtrace::hd2d2d2fb8e8c6aac
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/backtrace.rs:152:18
[INFO] [stdout]   38:     0x609b92e626fa - std::thread::Builder::spawn_unchecked_::{{closure}}::{{closure}}::h4faa3f9db6133423
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/thread/mod.rs:559:17
[INFO] [stdout]   39:     0x609b92e626fa - <core::panic::unwind_safe::AssertUnwindSafe<F> as core::ops::function::FnOnce<()>>::call_once::hf2e855a36a4ea846
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/panic/unwind_safe.rs:272:9
[INFO] [stdout]   40:     0x609b92e626fa - std::panicking::try::do_call::h2f73af3616c35465
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:587:40
[INFO] [stdout]   41:     0x609b92e626fa - std::panicking::try::hd1660ce9efadef5a
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panicking.rs:550:19
[INFO] [stdout]   42:     0x609b92e626fa - std::panic::catch_unwind::h5ee8d7823b8ca744
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/panic.rs:358:14
[INFO] [stdout]   43:     0x609b92e626fa - std::thread::Builder::spawn_unchecked_::{{closure}}::h53c3a1894dce8407
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/thread/mod.rs:557:30
[INFO] [stdout]   44:     0x609b92e626fa - core::ops::function::FnOnce::call_once{{vtable.shim}}::h048ce291ad4f62bf
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/core/src/ops/function.rs:250:5
[INFO] [stdout]   45:     0x609b92f3dbeb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::ha52bedf99a3b4981
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2013:9
[INFO] [stdout]   46:     0x609b92f3dbeb - <alloc::boxed::Box<F,A> as core::ops::function::FnOnce<Args>>::call_once::h567748934d80ccf8
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/alloc/src/boxed.rs:2013:9
[INFO] [stdout]   47:     0x609b92f3dbeb - std::sys::pal::unix::thread::Thread::new::thread_start::h2d970728ae887adc
[INFO] [stdout]                                at /rustc/6067b36314ab5eb2eb47cecc464545ba58e1ad24/library/std/src/sys/pal/unix/thread.rs:106:17
[INFO] [stdout]   48:     0x7301595a5ac3 - <unknown>
[INFO] [stdout]   49:     0x730159636a04 - clone
[INFO] [stdout]   50:                0x0 - <unknown>
[INFO] [stdout] 
[INFO] [stdout] 
[INFO] [stdout] failures:
[INFO] [stdout]     test_vass_reach_7
[INFO] [stdout]     test_vass_reach_random
[INFO] [stdout] 
[INFO] [stdout] test result: FAILED. 8 passed; 2 failed; 0 ignored; 0 measured; 0 filtered out; finished in 5.13s
[INFO] [stdout] 
[INFO] [stderr] error: test failed, to rerun pass `--test vass`
[INFO] running `Command { std: "docker" "inspect" "97dd8d2da3a77156d3195f1786a273d7b076f579bbcfb08b7d02ca77fa065932", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "97dd8d2da3a77156d3195f1786a273d7b076f579bbcfb08b7d02ca77fa065932", kill_on_drop: false }`
[INFO] [stdout] 97dd8d2da3a77156d3195f1786a273d7b076f579bbcfb08b7d02ca77fa065932
