The experiments were generated using this test file
and this TTT2 configuration file together with version
1.07 of the termination prover TTT2
by Korp, Sternagel, Zankl, and Middeldorp.
The testbed can be downloaded from here.
problem | COMP | MREC | DG | DP | UR | TOTAL | |||||
---|---|---|---|---|---|---|---|---|---|---|---|
#yes | 1402 | 1041 | 691 | 564 | 605 | 1250 | |||||
total time | 5977.024 | 3355.57 | 1938.015 | 1276.996 | 1291.207 | 5506.746 | |||||
average time | 4.263 | 3.223 | 2.805 | 2.264 | 2.134 | 4.405 | |||||
#no | 137 | 60 | 60 | 60 | 60 | 60 | |||||
total time | 810.534 | 24.572 | 24.771 | 24.625 | 25.007 | 30.776 | |||||
average time | 5.916 | 0.41 | 0.413 | 0.41 | 0.417 | 0.513 | |||||
#maybe | 1062 | 1473 | 1850 | 1978 | 1937 | 1264 | |||||
total time | 43676.62 | 58655.437 | 70115.662 | 71926.117 | 71434.505 | 49956.436 | |||||
average time | 41.127 | 39.82 | 37.9 | 36.363 | 36.879 | 39.522 | |||||
#timeout | 1 | 28 | 1 | 0 | 0 | 28 | |||||
total time | 80.0 | 2240.0 | 80.0 | 0.0 | 0.0 | 2240.0 | |||||
average time | 80.0 | 80.0 | 80.0 | - | - | 80.0 | |||||
#error | 468 | 468 | 468 | 468 | 468 | 468 | |||||
total time | 302.094 | 190.025 | 191.509 | 190.705 | 192.106 | 236.005 | |||||
average time | 0.645 | 0.406 | 0.409 | 0.407 | 0.41 | 0.504 | |||||
total time | 50846.272 | 64465.605 | 72349.958 | 73418.443 | 72942.825 | 57969.964 | |||||
|