Quotient of sum of exps
Time bar (total: 8.3min)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
| 50% | 50% | 50% | 0.1% | 0% | 0% | 0% | 2 |
| 75% | 74.9% | 25% | 0.1% | 0% | 0% | 0% | 3 |
| 87.5% | 87.4% | 12.5% | 0.1% | 0% | 0% | 0% | 4 |
| 93.8% | 93.7% | 6.2% | 0.1% | 0% | 0% | 0% | 5 |
| 93.8% | 93.7% | 6.2% | 0.1% | 0% | 0% | 0% | 6 |
| 95.2% | 93.7% | 4.7% | 0.1% | 0% | 0% | 1.6% | 7 |
| 96% | 93.7% | 3.9% | 0.1% | 0% | 0% | 2.3% | 8 |
| 97.2% | 93.7% | 2.7% | 0.1% | 0% | 0% | 3.5% | 9 |
| 97.8% | 93.7% | 2.1% | 0.1% | 0% | 0% | 4.1% | 10 |
| 98.5% | 93.7% | 1.5% | 0.1% | 0% | 0% | 4.8% | 11 |
| 98.8% | 93.7% | 1.1% | 0.1% | 0% | 0% | 5.1% | 12 |
Compiled 11 to 7 computations (36.4% saved)
| 234.0ms | 1937× | 0 | valid |
| 2.7s | 1929× | 0 | valid-sollya |
| 68.0ms | 634× | 0 | unsamplable |
| 60.0ms | 634× | 0 | invalid-sollya |
| 3.5s | 7× | 0 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (-340696504.82993686 2.2693017219000133e-301) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 500.0 | #f |
| (1.856814300285287e-171 88263319.75922073) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 500.0 | #f |
| (-0.3537813207860616 240504131.45193365) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 500.0 | #f |
| (-1.802927852427575e-205 233255151.47547296) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 500.0 | #f |
| (-162819478.57406926 -1.3889756650090532e-157) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 500.0 | #f |
| (-21189267.52157329 -1.3249853092414136e-40) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 500.0 | #f |
| (-1.072225827150256e-115 742637863.0632764) | 0.0 | (+nan.0 +nan.0) | +nan.0 | valid | exit | 0 | 500.0 | #f |
Loading profile data...