- Integer Domains (Bound 1) .
Experiments comparing a solver based on SAT with ours.
Experiments done on a large subset of the termination data base 5.0, TRS category
- Integer Domains (Bound 2) .
Experiments comparing a solver based on SAT with ours.
Experiments done on a large subset of the termination data base 5.0, TRS category
- Integer Domains (Bound 4) .
Experiments comparing a solver based on SAT with ours.
Experiments done on a large subset of the termination data base 5.0, TRS category
- Integer Domains (Bound 7) .
Experiments comparing a solver based on SAT with ours.
Experiments done on a large subset of the termination data base 5.0, TRS category
- Integer Domains (Bound 15) .
Experiments comparing a solver based on SAT with ours.
Experiments done on a large subset of the termination data base 5.0, TRS category
- Rational Domains (Domain 0..16/4) .
Experiments comparing a solver based on SAT with ours.
Experiments done on a large subset of the termination data base 5.0, TRS category
- Rational Domains (Domain Q4 & Q4+8) .
Experiments using our solver with domain Q4= {0,1/2,1/4,1,2,4} and
Q4+8 with AProVE.
Experiments done on a large subset of the termination data base 5.0, TRS category