Henrywood and Agarwal, Equation (13)

Time bar (total: 5.6s)

analyze897.0ms (16.2%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
0%0%99.7%0.3%0%0%0%1
0%0%99.7%0.3%0%0%0%2
0%0%99.7%0.3%0%0%0%3
0%0%99.7%0.3%0%0%0%4
0%0%99.7%0.3%0%0%0%5
0%0%99.7%0.3%0%0%0%6
0%0%99.7%0.3%0%0%0%7
0%0%99.7%0.3%0%0%0%8
0%0%99.7%0.3%0%0%0%9
0%0%99.7%0.3%0%0%0%10
0%0%99.7%0.3%0%0%0%11
0%0%99.7%0.3%0%0%0%12
Compiler

Compiled 59 to 22 computations (62.7% saved)

sample4.6s (83.6%)

Results
1.3s8092×body256invalid
1.0s1442×body4096valid
693.0ms803×body8192valid
518.0ms2712×body256infinite
460.0ms810×body2048valid
322.0ms1738×body256valid
192.0ms446×body1024valid
67.0ms206×body512valid
17.0ms32×body2048infinite
16.0ms38×body1024infinite
7.0ms10×body4096infinite
6.0ms19×body512infinite
1.0ms1×body8192exit
Bogosity

preprocess14.0ms (0.2%)

Algorithm
1×egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...