Statistics for Non-Duplicating TRSs and SRSs
| problem | pm | bpm | bprm | ||||
|---|---|---|---|---|---|---|---|
| #yes | 170 | 921 | 928 | ||||
| #linear | 38 | 907 | 916 | ||||
| #quadratic | 110 | 13 | 11 | ||||
| #cubic | 22 | 1 | 1 | ||||
| total time | 87.384 | 254.133 | 361.477 | ||||
| average time | 0.514 | 0.276 | 0.39 | ||||
| #no | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | ||||
| #maybe | 1002 | 251 | 244 | ||||
| total time | 1466.177 | 1615.6 | 2793.266 | ||||
| average time | 1.463 | 6.437 | 11.448 | ||||
| #timeout | 0 | 0 | 0 | ||||
| total time | 0.0 | 0.0 | 0.0 | ||||
| average time | - | - | - | ||||
| total time | 1553.561 | 1869.734 | 3154.744 | ||||
|
|||||||