
Time bar (total: 156.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.6% | 0.4% | 0% | 0% | 0% | 0 |
| 100% | 99.6% | 0% | 0.4% | 0% | 0% | 0% | 1 |
Compiled 31 to 25 computations (19.4% saved)
| 98.0ms | 260× | 0 | valid |
ival-mult: 84.0ms (94.3% of total)ival-sub: 4.0ms (4.5% of total)ival-add: 1.0ms (1.1% of total)ival-true: 0.0ms (0% of total)adjust: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)| Predicted + | Predicted - | |
|---|---|---|
| + | 19 | 54 |
| - | 99 | 84 |
| 28.0ms | 257× | 0 | valid |
Compiled 178 to 142 computations (20.2% saved)
ival-mult: 13.0ms (70.6% of total)ival-sub: 4.0ms (21.7% of total)ival-add: 1.0ms (5.4% of total)ival-true: 0.0ms (0% of total)adjust: 0.0ms (0% of total)ival-assert: 0.0ms (0% of total)Loading profile data...