benchmarks.txt

rabin: tests/domains/rabin.heyvl
unif_gen1_wlp: pgcl/examples-heyvl/unif_gen1_wlp.heyvl
unif_gen2_wlp: pgcl/examples-heyvl/unif_gen2_wlp.heyvl
unif_gen3_wlp: pgcl/examples-heyvl/unif_gen3_wlp.heyvl
unif_gen4_wlp: pgcl/examples-heyvl/unif_gen4_wlp.heyvl
rabin1_wlp: pgcl/examples-heyvl/rabin1_wlp.heyvl
rabin2_wlp: pgcl/examples-heyvl/rabin2_wlp.heyvl
rabin3_wlp: pgcl/examples-heyvl/rabin3_wlp.heyvl
chain: tests/domains/chain.heyvl
ohfive: tests/domains/ohfive.heyvl
brp1: pgcl/examples-heyvl/brp1.heyvl
brp2: pgcl/examples-heyvl/brp2.heyvl
brp3: pgcl/examples-heyvl/brp3.heyvl
coupon: tests/coupon-collector.heyvl --no-simplify
geo1: pgcl/examples-heyvl/geo1.heyvl
geo-recursive: tests/geo-recursive.heyvl
rabin1: pgcl/examples-heyvl/rabin1.heyvl
rabin2: pgcl/examples-heyvl/rabin2.heyvl
unif_gen1_wp: pgcl/examples-heyvl/unif_gen1.heyvl
unif_gen2_wp: pgcl/examples-heyvl/unif_gen2.heyvl
unif_gen3_wp: pgcl/examples-heyvl/unif_gen3.heyvl
unif_gen4_wp: pgcl/examples-heyvl/unif_gen4.heyvl
zeroconf: tests/zeroconf.heyvl
ost: tests/loop-rules/optional-stopping-theorem.heyvl
die: tests/six-sided-die.heyvl
2drwalk: pgcl/examples-heyvl/2drwalk.heyvl
bayesian_network: pgcl/examples-heyvl/bayesian_network.heyvl
C4B_t303: pgcl/examples-heyvl/C4B_t303.heyvl
condand: pgcl/examples-heyvl/condand.heyvl
fcall: pgcl/examples-heyvl/fcall.heyvl
hyper: pgcl/examples-heyvl/hyper.heyvl
linear01: pgcl/examples-heyvl/linear01.heyvl
prdwalk: pgcl/examples-heyvl/prdwalk.heyvl
prspeed: pgcl/examples-heyvl/prspeed.heyvl
rdspeed: pgcl/examples-heyvl/rdspeed.heyvl
rdwalk: pgcl/examples-heyvl/rdwalk.heyvl
sprdwalk: pgcl/examples-heyvl/sprdwalk.heyvl
omega: tests/loop-rules/simple-omega-invariant.heyvl
ast1: tests/loop-rules/ast-rule.heyvl
ast2: tests/loop-rules/ast-rule2.heyvl
ast3: tests/loop-rules/ast-rule3.heyvl
ast4: tests/loop-rules/ast-rule4.heyvl
past: tests/loop-rules/past.heyvl