source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/bounded_rw_multi_step.pgcl --post "[x=200000] + [not (x=200000)]*0" --prop "[x=1]*0.4" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/bounded_rw_multi_step.pgcl --post "[x=200000] + [not (x=200000)]*0" --prop "[x=1]*0.4" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/bounded_rw_multi_step.pgcl --post "[x=200000] + [not (x=200000)]*0" --prop "[x=1]*0.4" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/bounded_rw_multi_step.pgcl --post "[x=200000] + [not (x=200000)]*0" --prop "[x=1]*0.3" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/bounded_rw_multi_step.pgcl --post "[x=200000] + [not (x=200000)]*0" --prop "[x=1]*0.3" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/bounded_rw_multi_step.pgcl --post "[x=200000] + [not (x=200000)]*0" --prop "[x=1]*0.3" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/bounded_rw_multi_step.pgcl --post "[x=200000] + [not (x=200000)]*0" --prop "[x=1]*0.2" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/bounded_rw_multi_step.pgcl --post "[x=200000] + [not (x=200000)]*0" --prop "[x=1]*0.2" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/bounded_rw_multi_step.pgcl --post "[x=200000] + [not (x=200000)]*0" --prop "[x=1]*0.2" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp.pgcl --post "[failed=10] + [not (failed=10)]*0" --prop "[failed<=0 & sent<=0]*0.001" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp.pgcl --post "[failed=10] + [not (failed=10)]*0" --prop "[failed<=0 & sent<=0]*0.001" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp.pgcl --post "[failed=10] + [not (failed=10)]*0" --prop "[failed<=0 & sent<=0]*0.001" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp.pgcl --post "[failed=10] + [not (failed=10)]*0" --prop "[failed<=0 & sent<=0]*0.0001" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp.pgcl --post "[failed=10] + [not (failed=10)]*0" --prop "[failed<=0 & sent<=0]*0.0001" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp.pgcl --post "[failed=10] + [not (failed=10)]*0" --prop "[failed<=0 & sent<=0]*0.0001" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp.pgcl --post "[failed=10] + [not (failed=10)]*0" --prop "[failed<=0 & sent<=0]*0.00001" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp.pgcl --post "[failed=10] + [not (failed=10)]*0" --prop "[failed<=0 & sent<=0]*0.00001" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp.pgcl --post "[failed=10] + [not (failed=10)]*0" --prop "[failed<=0 & sent<=0]*0.00001" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp_finite_family.pgcl --post "[failed=5] + [not (failed=5)]*0" --prop "[failed<=0 & sent<=0]*0.05" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp_finite_family.pgcl --post "[failed=5] + [not (failed=5)]*0" --prop "[failed<=0 & sent<=0]*0.05" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp_finite_family.pgcl --post "[failed=5] + [not (failed=5)]*0" --prop "[failed<=0 & sent<=0]*0.05" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp_finite_family.pgcl --post "[failed=5] + [not (failed=5)]*0" --prop "[failed<=0 & sent<=0]*0.01" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp_finite_family.pgcl --post "[failed=5] + [not (failed=5)]*0" --prop "[failed<=0 & sent<=0]*0.01" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp_finite_family.pgcl --post "[failed=5] + [not (failed=5)]*0" --prop "[failed<=0 & sent<=0]*0.01" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp_finite_family.pgcl --post "[failed=5] + [not (failed=5)]*0" --prop "[failed<=0 & sent<=0]*0.005" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp_finite_family.pgcl --post "[failed=5] + [not (failed=5)]*0" --prop "[failed<=0 & sent<=0]*0.005" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/brp_finite_family.pgcl --post "[failed=5] + [not (failed=5)]*0" --prop "[failed<=0 & sent<=0]*0.005" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain.pgcl --post "[c=1] + [not (c=1)]*0" --prop "[c=0 & x=0]*0.8" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain.pgcl --post "[c=1] + [not (c=1)]*0" --prop "[c=0 & x=0]*0.8" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain.pgcl --post "[c=1] + [not (c=1)]*0" --prop "[c=0 & x=0]*0.8" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain.pgcl --post "[c=1] + [not (c=1)]*0" --prop "[c=0 & x=0]*0.7" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain.pgcl --post "[c=1] + [not (c=1)]*0" --prop "[c=0 & x=0]*0.7" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain.pgcl --post "[c=1] + [not (c=1)]*0" --prop "[c=0 & x=0]*0.7" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain.pgcl --post "[c=1] + [not (c=1)]*0" --prop "[c=0 & x=0]*0.641" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain.pgcl --post "[c=1] + [not (c=1)]*0" --prop "[c=0 & x=0]*0.641" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain.pgcl --post "[c=1] + [not (c=1)]*0" --prop "[c=0 & x=0]*0.641" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain_select_stepsize.pgcl --post "[1<=c] + [c<1]*0" --prop "[c<=0 & x<=0 & step<=0]*0.7" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain_select_stepsize.pgcl --post "[1<=c] + [c<1]*0" --prop "[c<=0 & x<=0 & step<=0]*0.7" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain_select_stepsize.pgcl --post "[1<=c] + [c<1]*0" --prop "[c<=0 & x<=0 & step<=0]*0.7" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain_select_stepsize.pgcl --post "[1<=c] + [c<1]*0" --prop "[c<=0 & x<=0 & step<=0]*0.6" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain_select_stepsize.pgcl --post "[1<=c] + [c<1]*0" --prop "[c<=0 & x<=0 & step<=0]*0.6" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain_select_stepsize.pgcl --post "[1<=c] + [c<1]*0" --prop "[c<=0 & x<=0 & step<=0]*0.6" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain_select_stepsize.pgcl --post "[1<=c] + [c<1]*0" --prop "[c<=0 & x<=0 & step<=0]*0.55" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain_select_stepsize.pgcl --post "[1<=c] + [c<1]*0" --prop "[c<=0 & x<=0 & step<=0]*0.55" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/chain_select_stepsize.pgcl --post "[1<=c] + [c<1]*0" --prop "[c<=0 & x<=0 & step<=0]*0.55" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/grid_big.pgcl --post "[a<1000 & 1000<=b] + [not (a<1000 & 1000<=b)]*0" --prop "[a<=0 & b<=0]*0.99" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/grid_big.pgcl --post "[a<1000 & 1000<=b] + [not (a<1000 & 1000<=b)]*0" --prop "[a<=0 & b<=0]*0.99" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/grid_big.pgcl --post "[a<1000 & 1000<=b] + [not (a<1000 & 1000<=b)]*0" --prop "[a<=0 & b<=0]*0.99" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/grid_small.pgcl --post "[a<10 & 10<=b] + [not (a<10 & 10<=b)]*0" --prop "[a<=0 & b<=0]*0.8" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/grid_small.pgcl --post "[a<10 & 10<=b] + [not (a<10 & 10<=b)]*0" --prop "[a<=0 & b<=0]*0.8" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/grid_small.pgcl --post "[a<10 & 10<=b] + [not (a<10 & 10<=b)]*0" --prop "[a<=0 & b<=0]*0.8" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/grid_small.pgcl --post "[a<10 & 10<=b] + [not (a<10 & 10<=b)]*0" --prop "[a<=0 & b<=0]*0.7" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/grid_small.pgcl --post "[a<10 & 10<=b] + [not (a<10 & 10<=b)]*0" --prop "[a<=0 & b<=0]*0.7" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/grid_small.pgcl --post "[a<10 & 10<=b] + [not (a<10 & 10<=b)]*0" --prop "[a<=0 & b<=0]*0.7" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.53" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.53" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.53" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.526" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.526" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.526" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.5251" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.5251" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.5251" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf_family.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.6" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf_family.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.6" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf_family.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.6" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf_family.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.555" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf_family.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.555" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf_family.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.555" --templaterefiner variable --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf_family.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.553" --templaterefiner inductivity --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf_family.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.553" --templaterefiner fixed --nousemotzkin
source $(poetry env info --path)/bin/activate && python3 -m cegispro2.cmd cegispro2/benchmarks/TACAS23/zero_conf_family.pgcl --post "[established=1] + [not (established=1)]*0" --prop "[start=1 & established=0 & curprobe=0]*0.553" --templaterefiner variable --nousemotzkin
