~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/bounded_rw_multi_step_1.pm --prop "P<=0.4 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/bounded_rw_multi_step_1.pm --prop "P<=0.4 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/bounded_rw_multi_step_2.pm --prop "P<=0.3 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/bounded_rw_multi_step_2.pm --prop "P<=0.3 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/bounded_rw_multi_step_3.pm --prop "P<=0.2 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/bounded_rw_multi_step_3.pm --prop "P<=0.2 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_1.pm --prop "P<=0.001 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_1.pm --prop "P<=0.001 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_2.pm --prop "P<=0.0001 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_2.pm --prop "P<=0.0001 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_3.pm --prop "P<=0.00001 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_3.pm --prop "P<=0.00001 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_finite_family_1.pm --prop "P<=0.05 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_finite_family_1.pm --prop "P<=0.05 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_finite_family_2.pm --prop "P<=0.01 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_finite_family_2.pm --prop "P<=0.01 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_finite_family_3.pm --prop "P<=0.005 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/brp_finite_family_3.pm --prop "P<=0.005 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_1.pm --prop "P<=0.8 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_1.pm --prop "P<=0.8 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_2.pm --prop "P<=0.7 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_2.pm --prop "P<=0.7 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_3.pm --prop "P<=0.641 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_3.pm --prop "P<=0.641 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_select_stepsize_1.pm --prop "P<=0.7 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_select_stepsize_1.pm --prop "P<=0.7 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_select_stepsize_2.pm --prop "P<=0.6 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_select_stepsize_2.pm --prop "P<=0.6 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_select_stepsize_3.pm --prop "P<=0.55 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/chain_select_stepsize_3.pm --prop "P<=0.55 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/grid_big_1.pm --prop "P<=0.99 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/grid_big_1.pm --prop "P<=0.99 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/grid_small_1.pm --prop "P<=0.8 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/grid_small_1.pm --prop "P<=0.8 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/grid_small_2.pm --prop "P<=0.7 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/grid_small_2.pm --prop "P<=0.7 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_1.pm --prop "P<=0.53 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_1.pm --prop "P<=0.53 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_2.pm --prop "P<=0.526 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_2.pm --prop "P<=0.526 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_3.pm --prop "P<=0.5251 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_3.pm --prop "P<=0.5251 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_family_1.pm --prop "P<=0.56 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_family_1.pm --prop "P<=0.56 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_family_2.pm --prop "P<=0.555 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_family_2.pm --prop "P<=0.555 [F \"goal\"]" --exact --engine dd
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_family_3.pm --prop "P<=0.553 [F \"goal\"]" --exact
~/storm/storm/build/bin/storm --prism ./cegispro2/benchmarks/TACAS23_storm/zero_conf_family_3.pm --prop "P<=0.553 [F \"goal\"]" --exact --engine dd