expq3 (problem 3.4.2)

Time bar (total: 2.7min)

analyze777.0ms (0.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25.4%74.6%0%0%0%0
0%0%25.4%74.6%0%0%0%1
0%0%25.4%74.6%0%0%0%2
0%0%25.4%74.6%0%0%0%3
0%0%22.2%77.8%0%0%0%4
0%0%20.6%79.4%0%0%0%5
0%0%18.3%81.7%0%0%0%6
0%0%10.7%89.3%0%0%0%7
0%0%9.3%90.7%0%0%0%8
0%0%8.2%91.8%0%0%0%9
0%0%5.7%94.3%0%0%0%10
0%0%5%95%0%0%0%11
0%0%4.4%95.6%0%0%0%12
Compiler

Compiled 54 to 33 computations (38.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 518.0ms
ival-mult: 110.0ms (21.3% of total)
ival-<=: 91.0ms (17.6% of total)
ival-exp: 88.0ms (17% of total)
ival-sub: 86.0ms (16.6% of total)
ival-fabs: 73.0ms (14.1% of total)
ival-add: 25.0ms (4.8% of total)
const: 21.0ms (4.1% of total)
ival-fmin: 10.0ms (1.9% of total)
ival-div: 6.0ms (1.2% of total)
ival-and: 5.0ms (1% of total)
backward-pass: 1.0ms (0.2% of total)

sample2.7min (99.5%)

Results
1.9min56155×0precondition
12.9s5299×0valid
13.3s2198×1valid
4.0ms2×2valid
Precisions
Click to see histograms. Total time spent on operations: 2.2min
ival-exp: 1.3min (61.2% of total)
ival-mult: 18.1s (13.9% of total)
ival-<=: 8.8s (6.8% of total)
ival-sub: 7.1s (5.5% of total)
ival-fabs: 4.9s (3.8% of total)
ival-div: 3.8s (2.9% of total)
ival-fmin: 2.2s (1.7% of total)
ival-add: 2.2s (1.7% of total)
backward-pass: 1.2s (1% of total)
const: 1.1s (0.9% of total)
ival-and: 897.0ms (0.7% of total)

end0.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 11.6s
ival-mult: 11.6s (100% of total)

Profiling

Loading profile data...