Rump's expression from Stadtherr's award speech

Time bar (total: 8.3min)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
100%0%0%100%0%0%0%1
Compiler

Compiled 10 to 8 computations (20% saved)

sample8.3min (100%)

Results
110.0ms939×0valid
133.0ms938×0valid-sollya
Sollya timings
Total time spent in Sollya 133.0ms

end0.0ms (0%)

Profiling

Loading profile data...