expq3 (problem 3.4.2)

Time bar (total: 8.7s)

analyze44.0ms (0.5%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%56.5%43.5%0%0%0%0
0%0%56.5%43.5%0%0%0%1
0%0%56.5%43.5%0%0%0%2
0%0%42.4%57.6%0%0%0%3
0%0%35.3%64.7%0%0%0%4
0%0%17.7%82.3%0%0%0%5
0%0%14.1%85.9%0%0%0%6
0%0%10.6%89.4%0%0%0%7
0%0%7.9%92.1%0%0%0%8
0%0%7.1%92.9%0%0%0%9
0%0%4.3%95.7%0%0%0%10
0%0%2.9%97.1%0%0%0%11
0%0%2.6%97.4%0%0%0%12
Compiler

Compiled 50 to 33 computations (34% saved)

sample8.7s (99.5%)

Results
5.5s27467×body256precondition
2.6s2022×body2048valid
460.0ms771×body1024valid
65.0ms172×body512valid
23.0ms20×body4096valid
6.0ms31×body256valid

end0.0ms (0%)

Profiling

Loading profile data...