Statistics for Non-Duplicating TRSs and SRSs
| problem | pm | bpm | bprm | ||||
|---|---|---|---|---|---|---|---|
| #yes | 170 | 268 | 274 | ||||
| #linear | 38 | 171 | 180 | ||||
| #quadratic | 110 | 83 | 82 | ||||
| #cubic | 22 | 14 | 12 | ||||
| total time | 87.384 | 626.777 | 1128.808 | ||||
| average time | 0.514 | 2.339 | 4.12 | ||||
| #no | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | ||||
| #maybe | 1002 | 904 | 898 | ||||
| total time | 1466.177 | 5867.532 | 10333.02 | ||||
| average time | 1.463 | 6.491 | 11.507 | ||||
| #timeout | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | ||||
| total time | 1553.561 | 6494.31 | 11461.828 | ||||
|
|||||||