lustrec/tcm_benchmarks/remarks.txt @ 4174a469
| 1 |
alt1 5 inductive |
|---|---|
| 2 |
alt2 3 inductive |
| 3 |
alt3 2 inductive |
| 4 |
fpa1 2 inductive |
| 5 |
guide100 3 induc |
| 6 |
guide150 error |
| 7 |
|
- « Previous
- 1
- …
- 26
- 27
- 28
- Next »