| examples
without theory |
|
AProVE |
CiME 2.02 |
| Plus on natural numbers |
| samples/peanoSimple.maude.TRS - MYNAT_complete-noand |
32.21 | 60.38 |
| samples/peanoSimple.maude.TRS - MYNAT_complete |
15.87 | 0.41 |
| samples/peanoSimple.maude.TRS - MYNAT_nokinds-noand |
4.23 | 0.03 |
| samples/peanoSimple.maude.TRS - MYNAT_nokinds |
3.16 | 0.03 |
| samples/peanoSimple.maude.TRS - MYNAT_nosorts-noand |
1.73 | 0.02 |
| samples/peanoSimple.maude.TRS - MYNAT_nosorts |
1.63 | 0.02 |
| plus and mult on natural numbers |
| samples/my-nat.fm.TRS - MYNAT_complete-noand |
81.11 | (timeout) |
| samples/my-nat.fm.TRS - MYNAT_complete |
25.72 | 218.62 |
| samples/my-nat.fm.TRS - MYNAT_nokinds-noand |
16.47 | 60.08 |
| samples/my-nat.fm.TRS - MYNAT_nokinds |
10.18 | 1.74 |
| samples/my-nat.fm.TRS - MYNAT_nosorts-noand |
2.45 | 0.05 |
| samples/my-nat.fm.TRS - MYNAT_nosorts |
2.04 | 0.02 |
| Lazy lists |
| samples/lazy-nat-list.fm.TRS - OvConsOS_complete-noand |
(timeout) | 0.03 |
| samples/lazy-nat-list.fm.TRS - OvConsOS_complete |
(timeout) | 0.03 |
| samples/lazy-nat-list.fm.TRS - OvConsOS_nokinds-noand |
(timeout) | 0.02 |
| samples/lazy-nat-list.fm.TRS - OvConsOS_nokinds |
(timeout) | 0.02 |
| samples/lazy-nat-list.fm.TRS - OvConsOS_nosorts-noand |
(timeout) | 0.03 |
| samples/lazy-nat-list.fm.TRS - OvConsOS_nosorts |
(timeout) | 0.03 |
| Length of lazy lists |
| samples/length-lazy-list.maude.TRS - LengthOfFiniteLists_complete-noand |
(timeout) | 0.02 |
| samples/length-lazy-list.maude.TRS - LengthOfFiniteLists_complete |
(timeout) | 0.02 |
| samples/length-lazy-list.maude.TRS - LengthOfFiniteLists_nokinds-noand |
21.23 | 0.03 |
| samples/length-lazy-list.maude.TRS - LengthOfFiniteLists_nokinds |
5.15 | 0.03 |
| samples/length-lazy-list.maude.TRS - LengthOfFiniteLists_nosorts-noand |
(timeout) | 0.02 |
| samples/length-lazy-list.maude.TRS - LengthOfFiniteLists_nosorts |
(timeout) | 0.02 |
| Palindromes |
| samples/palindrome.maude.TRS - PALINDROME_complete-noand |
(timeout) | 33.76 |
| samples/palindrome.maude.TRS - PALINDROME_complete |
58.26 | 0.06 |
| samples/palindrome.maude.TRS - PALINDROME_nokinds-noand |
10.56 | 0.04 |
| samples/palindrome.maude.TRS - PALINDROME_nokinds |
2.70 | 0.04 |
| samples/palindrome.maude.TRS - PALINDROME_nosorts-noand |
1.62 | 0.02 |
| samples/palindrome.maude.TRS - PALINDROME_nosorts |
1.51 | 0.02 |
| Various list functions |
| samples/pepm.fm.TRS - LISTUTILITIES_complete-noand |
(timeout) | 240.17 |
| samples/pepm.fm.TRS - LISTUTILITIES_complete |
(timeout) | (timeout) |
| samples/pepm.fm.TRS - LISTUTILITIES_nokinds-noand |
(timeout) | 120.10 |
| samples/pepm.fm.TRS - LISTUTILITIES_nokinds |
(timeout) | 90.70 |
| samples/pepm.fm.TRS - LISTUTILITIES_nosorts-noand |
47.23 | 0.03 |
| samples/pepm.fm.TRS - LISTUTILITIES_nosorts |
4.30 | 0.02 |
| number of problems: 36 (22 YES, 0 NO, 14 UNKNOWN) |
| Examples modulo Theory |
|
AProVE |
CiME 2.02 |
| Bags of natural numbers |
| samples/bag-sum-prod.maude.TRS - BAG_complete-noand |
(timeout) | (timeout) |
| samples/bag-sum-prod.maude.TRS - BAG_complete |
(timeout) | (timeout) |
| samples/bag-sum-prod.maude.TRS - BAG_nokinds-noand |
(timeout) | 211.71 |
| samples/bag-sum-prod.maude.TRS - BAG_nokinds |
29.52 | 70.74 |
| samples/bag-sum-prod.maude.TRS - BAG_nosorts-noand |
(timeout) | 95.13 |
| samples/bag-sum-prod.maude.TRS - BAG_nosorts |
2.49 | 0.15 |
| Theory of Booleans |
| samples/bool.fm.TRS - RENAMED-BOOL_complete-noand |
(timeout) | (timeout) |
| samples/bool.fm.TRS - RENAMED-BOOL_complete |
(timeout) | 242.34 |
| samples/bool.fm.TRS - RENAMED-BOOL_nokinds-noand |
(timeout) | 210.27 |
| samples/bool.fm.TRS - RENAMED-BOOL_nokinds |
70.00 | 183.35 |
| samples/bool.fm.TRS - RENAMED-BOOL_nosorts-noand |
(timeout) | (timeout) |
| samples/bool.fm.TRS - RENAMED-BOOL_nosorts |
18.69 | 130.81 |
| Peano arithmetic extended (quotient, gcd) |
| samples/peano.maude.TRS - PEANO-NAT_complete-noand |
(timeout) | 180.71 |
| samples/peano.maude.TRS - PEANO-NAT_complete |
(timeout) | 90.45 |
| samples/peano.maude.TRS - PEANO-NAT_nokinds-noand |
(timeout) | 120.28 |
| samples/peano.maude.TRS - PEANO-NAT_nokinds |
(timeout) | 61.34 |
| samples/peano.maude.TRS - PEANO-NAT_nosorts-noand |
(timeout) | 210.88 |
| samples/peano.maude.TRS - PEANO-NAT_nosorts |
(timeout) | 124.22 |
| number of problems: 18 (5 YES, 0 NO, 13 UNKNOWN) |