expq3 (problem 3.4.2)
Time bar (total: 3.1s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 25.4% | 74.6% | 0% | 0% | 0% | 0 |
| 0% | 0% | 25.4% | 74.6% | 0% | 0% | 0% | 1 |
| 0% | 0% | 25.4% | 74.6% | 0% | 0% | 0% | 2 |
| 0% | 0% | 25.4% | 74.6% | 0% | 0% | 0% | 3 |
| 0% | 0% | 22.2% | 77.8% | 0% | 0% | 0% | 4 |
| 0% | 0% | 20.6% | 79.4% | 0% | 0% | 0% | 5 |
| 0% | 0% | 18.3% | 81.7% | 0% | 0% | 0% | 6 |
| 0% | 0% | 10.7% | 89.3% | 0% | 0% | 0% | 7 |
| 0% | 0% | 9.3% | 90.7% | 0% | 0% | 0% | 8 |
| 0% | 0% | 8.2% | 91.8% | 0% | 0% | 0% | 9 |
| 0% | 0% | 5.7% | 94.3% | 0% | 0% | 0% | 10 |
| 0% | 0% | 5% | 95% | 0% | 0% | 0% | 11 |
| 0% | 0% | 4.4% | 95.6% | 0% | 0% | 0% | 12 |
Compiled 54 to 33 computations (38.9% saved)
ival-<=: 83.0ms (35.4% of total)ival-mult: 79.0ms (33.7% of total)ival-exp: 20.0ms (8.5% of total)ival-sub: 17.0ms (7.2% of total)ival-fabs: 13.0ms (5.5% of total)ival-fmin: 8.0ms (3.4% of total)ival-add: 5.0ms (2.1% of total)ival-div: 3.0ms (1.3% of total)ival-and: 3.0ms (1.3% of total)const: 3.0ms (1.3% of total)| 1.1s | 5972× | 0 | precondition |
| 753.0ms | 587× | 2 | valid |
| 227.0ms | 242× | 1 | valid |
| 0.0ms | 1× | 0 | valid |
ival-exp: 636.0ms (35.5% of total)ival-mult: 383.0ms (21.4% of total)ival-<=: 245.0ms (13.7% of total)ival-sub: 129.0ms (7.2% of total)ival-fabs: 111.0ms (6.2% of total)backward-pass: 83.0ms (4.6% of total)ival-fmin: 63.0ms (3.5% of total)ival-add: 58.0ms (3.2% of total)ival-div: 30.0ms (1.7% of total)ival-and: 28.0ms (1.6% of total)const: 24.0ms (1.3% of total)Loading profile data...