| Td | T0 | T1 | T2 | |
|---|---|---|---|---|
| #yes | 3 | 13 | 13 | 9 |
| total time | 34.7 | 13.1 | 57.0 | 15.5 |
| average time | 11.6 | 1.0 | 4.4 | 1.7 |
| #no | 1 | 1 | 1 | 2 |
| total time | 0.1 | 0.1 | 0.1 | 0.1 |
| average time | 0.1 | 0.1 | 0.1 | 0.1 |
| #maybe | 0 | 0 | 0 | 0 |
| total time | 0.0 | 0.0 | 0.0 | 0.0 |
| average time | - | - | - | - |
| #timeout | 11 | 1 | 1 | 4 |
| total time | 660.0 | 60.0 | 60.0 | 240.0 |
| average time | 60.0 | 60.0 | 60.0 | 60.0 |
| #total | 15 | 15 | 15 | 15 |
| total time | 694.8 | 73.2 | 117.0 | 255.7 |