Statistics for Non-Duplicating TRSs and SRSs
| problem | pm | bpm | bprm | ||||
|---|---|---|---|---|---|---|---|
| #yes | 170 | 919 | 925 | ||||
| #linear | 38 | 905 | 913 | ||||
| #quadratic | 110 | 13 | 11 | ||||
| #cubic | 22 | 1 | 1 | ||||
| total time | 87.384 | 253.966 | 355.685 | ||||
| average time | 0.514 | 0.276 | 0.385 | ||||
| #no | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | ||||
| #maybe | 1002 | 253 | 247 | ||||
| total time | 1466.177 | 1633.851 | 2851.229 | ||||
| average time | 1.463 | 6.458 | 11.543 | ||||
| #timeout | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | ||||
| total time | 1553.561 | 1887.817 | 3206.915 | ||||
|
|||||||