Experiments for "Layer Systems for Confluence — Formalized"
- CSI-CERT
- CSI, old certified strategy
- CeTA
- CeTA results for CSI-CERT proofs (yes = correct proof, including "no" answers from CSI-CERT)
- CSI-PD
- CSI, with persistent decomposition added
- CeTA-PD
- CeTA results for CSI-PD proofs
- CSI
- CSI, full (uncertified) strategy
- colors
-
yes
no
maybe
error
| CSI-CERT | CeTA | CSI-PD | CeTA-PD | CSI |
#yes |
148 |
309 |
154 |
315 |
244 |
total time |
81.1 |
6.6 |
86.6 |
6.6 |
410.9 |
average time |
0.5 |
0.0 |
0.6 |
0.0 |
1.7 |
#no |
162 |
0 |
162 |
0 |
162 |
total time |
129.2 |
0.0 |
126.1 |
0.0 |
196.5 |
average time |
0.8 |
- |
0.8 |
- |
1.2 |
#maybe |
39 |
0 |
33 |
0 |
13 |
total time |
831.1 |
0.0 |
674.0 |
0.0 |
318.5 |
average time |
21.3 |
- |
20.4 |
- |
24.5 |
#timeout |
56 |
1 |
52 |
1 |
16 |
total time |
3360.0 |
10.0 |
3120.0 |
10.0 |
960.0 |
average time |
60.0 |
10.0 |
60.0 |
10.0 |
60.0 |
#error |
32 |
0 |
36 |
0 |
2 |
total time |
1189.1 |
0.0 |
1254.6 |
0.0 |
52.9 |
average time |
37.2 |
- |
34.9 |
- |
26.4 |
#total |
437 |
310 |
437 |
316 |
437 |
total time |
5590.5 |
16.6 |
5261.3 |
16.6 |
1938.8 |