
Time bar (total: 12.7s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 0% | 100% | 0% | 0% | 0% | 0 |
| 50% | 0% | 0% | 100% | 0% | 0% | 0% | 1 |
| 50% | 0% | 0% | 100% | 0% | 0% | 0% | 2 |
| 50% | 0% | 0% | 100% | 0% | 0% | 0% | 3 |
| 50% | 0% | 0% | 100% | 0% | 0% | 0% | 4 |
| 50% | 0% | 0% | 100% | 0% | 0% | 0% | 5 |
| 50% | 0% | 0% | 100% | 0% | 0% | 0% | 6 |
| 50% | 0% | 0% | 100% | 0% | 0% | 0% | 7 |
| 50% | 0% | 0% | 100% | 0% | 0% | 0% | 8 |
| 50% | 0% | 0% | 100% | 0% | 0% | 0% | 9 |
| 50% | 0% | 0% | 100% | 0% | 0% | 0% | 10 |
| 53.1% | 0% | 0% | 100% | 0% | 0% | 0% | 11 |
| 54.7% | 0% | 0% | 100% | 0% | 0% | 0% | 12 |
Compiled 660 to 80 computations (87.9% saved)
ival-mult, time spent: 1.2s, 26.0% of total-timeival-<=, time spent: 1.0s, 21.0% of total-timeival-fabs, time spent: 371.0ms, 8.0% of total-timeival-<, time spent: 326.0ms, 7.0% of total-timeival-floor, time spent: 326.0ms, 7.0% of total-timeival-div, time spent: 301.0ms, 6.0% of total-timeival-sqrt, time spent: 225.0ms, 5.0% of total-timeival-if, time spent: 183.0ms, 4.0% of total-timeival-and, time spent: 178.0ms, 4.0% of total-timeival-add, time spent: 161.0ms, 3.0% of total-timeconst, time spent: 104.0ms, 2.0% of total-timeival-fmax, time spent: 97.0ms, 2.0% of total-timeival-==, time spent: 87.0ms, 2.0% of total-timeival-sub, time spent: 83.0ms, 2.0% of total-timeival->, time spent: 70.0ms, 1.0% of total-time| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 2.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 3.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 2.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 2.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 0.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
| 1.0ms | 1× | 0 | valid |
ival-mult, time spent: 11.0ms, 25.0% of total-timeival-<=, time spent: 8.0ms, 18.0% of total-timeival-add, time spent: 5.0ms, 11.0% of total-timeival-div, time spent: 3.0ms, 7.0% of total-timeival-fabs, time spent: 3.0ms, 7.0% of total-timeival-floor, time spent: 2.0ms, 5.0% of total-timeival-sub, time spent: 2.0ms, 5.0% of total-timeival-and, time spent: 2.0ms, 5.0% of total-timeconst, time spent: 2.0ms, 5.0% of total-timeival-sqrt, time spent: 2.0ms, 5.0% of total-timeival->, time spent: 1.0ms, 2.0% of total-timeival-fmax, time spent: 1.0ms, 2.0% of total-timeival-==, time spent: 1.0ms, 2.0% of total-timeival-if, time spent: 1.0ms, 2.0% of total-timeival-<, time spent: 1.0ms, 2.0% of total-timeLoading profile data...