Trigonometry A

Time bar (total: 2.1s)

analyze10.0ms (0.5%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
0%0%25%75%0%0%0%1
50%12.5%12.5%75%0%0%0%2
50%12.5%12.5%75%0%0%0%3
75%18.7%6.2%75%0%0%0%4
87.5%21.8%3.1%75%0%0%0%5
93.8%23.4%1.6%75%0%0%0%6
93.8%23.4%1.6%75%0%0%0%7
96.9%24.2%0.8%75%0%0%0%8
96.9%24.2%0.8%75%0%0%0%9
98.4%24.6%0.4%75%0%0%0%10
98.4%24.6%0.4%75%0%0%0%11
99.2%24.8%0.2%75%0%0%0%12
Compiler

Compiled 20 to 14 computations (30% saved)

sample2.1s (98.9%)

Results
900.0ms5166×body256valid
875.0ms2033×body1024valid
319.0ms1051×body512valid
4.0msbody2048valid
Bogosity

preprocess13.0ms (0.6%)

Algorithm
egg-herbie

end0.0ms (0%)

Profiling

Loading profile data...