
Time bar (total: 1.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 1.4% | 98.6% | 0% | 0% | 0% | 0 |
| 0% | 0% | 2.5% | 97.5% | 0% | 0% | 0% | 1 |
| 0% | 0% | 4.4% | 95.6% | 0% | 0% | 0% | 2 |
| 0% | 0% | 7.9% | 92.1% | 0% | 0% | 0% | 3 |
| 0% | 0% | 13.8% | 86.2% | 0% | 0% | 0% | 4 |
| 0% | 0% | 13.8% | 86.2% | 0% | 0% | 0% | 5 |
| 0% | 0% | 13.9% | 86.1% | 0% | 0% | 0% | 6 |
| 0% | 0% | 24.6% | 75.4% | 0% | 0% | 0% | 7 |
| 0% | 0% | 43.4% | 56.6% | 0% | 0% | 0% | 8 |
| 0% | 0% | 76.8% | 23.2% | 0% | 0% | 0% | 9 |
| 0% | 0% | 133.4% | -33.4% | 0% | 0% | 0% | 10 |
| 0% | 0% | 133.2% | -33.2% | 0% | 0% | 0% | 11 |
| 0% | 0% | 130.2% | -30.2% | 0% | 0% | 0% | 12 |
Compiled 118 to 85 computations (28% saved)
| 42.0ms | 108× | body | 256 | precondition |
| 0.0ms | 1× | body | 256 | valid |
Loading profile data...