Examples.Basics.BasicTests:f1 from sbv-4.4

Time bar (total: 725.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

analyze0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample566.0ms (78.1%)

Memory
8.4MiB live, 719.3MiB allocated; 90ms collecting garbage
Samples
344.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 163.0ms
ival-add: 59.0ms (36.2% of total)
ival-mult: 57.0ms (34.9% of total)
ival-sub: 42.0ms (25.7% of total)
ival-assert: 3.0ms (1.8% of total)
adjust: 2.0ms (1.2% of total)
Bogosity

explain53.0ms (7.3%)

Memory
25.0MiB live, 76.1MiB allocated; 9ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-y
00-0-(*.f64 (+.f64 x y) (-.f64 x y))
00-0-(+.f64 x y)
00-0-(-.f64 x y)
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
22.0ms512×0valid
Compiler

Compiled 41 to 19 computations (53.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-sub: 3.0ms (31.5% of total)
ival-add: 3.0ms (31.5% of total)
ival-mult: 3.0ms (31.5% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess106.0ms (14.6%)

Memory
-18.2MiB live, 73.5MiB allocated; 7ms collecting garbage
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01851
14145
210642
336742
460342
5113042
6205242
7301942
8332542
9340342
10340342
11358742
057
087
1137
2317
31027
42547
54407
68687
714047
820887
929047
1032147
1132767
1232767
1333547
033547
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...