Statistics for Non-Duplicating TRSs and SRSs
| problem | pm | bpm | bprm | ||||
|---|---|---|---|---|---|---|---|
| #yes | 170 | 270 | 276 | ||||
| #linear | 38 | 171 | 179 | ||||
| #quadratic | 110 | 85 | 84 | ||||
| #cubic | 22 | 14 | 13 | ||||
| total time | 87.384 | 632.96 | 1151.905 | ||||
| average time | 0.514 | 2.344 | 4.174 | ||||
| #no | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | ||||
| #maybe | 1002 | 902 | 896 | ||||
| total time | 1466.177 | 5856.414 | 10308.375 | ||||
| average time | 1.463 | 6.493 | 11.505 | ||||
| #timeout | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | ||||
| total time | 1553.561 | 6489.374 | 11460.281 | ||||
|
|||||||