-
Notifications
You must be signed in to change notification settings - Fork 3
/
results-best.tex
15 lines (15 loc) · 1.4 KB
/
results-best.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
-v0 --no-assertions
Filename & SC time & Reduce-stops & SC-stops & Compile time & Run time & Heap size & Term size \\
append & 3.003835678100586e-3 & 0 & 0 & 1.2648401260375977 & 0.5979609489440918 & 1680087828 & 73 \\
factorial & 2.393007278442383e-3 & 0 & 0 & 1.2449939250946045 & 1.7401933670043945e-2 & 8380144 & 44 \\
raytracer & 6.006002426147461e-3 & 0 & 0 & 1.248607873916626 & 0.7600340843200684 & 1792087288 & 120 \\
sumtree & 1.701807975769043e-2 & 0 & 3 & 1.2465691566467285 & 4.087686538696289e-2 & 88820 & 138 \\
treeflip & 1.6650915145874023e-2 & 0 & 3 & 1.244128942489624 & 4.513692855834961e-2 & 88824 & 120 \\
sumsquare & 6.510186195373535e-2 & 1 & 4 & 1.2764887809753418 & 0.10755801200866699 & 88436 & 263 \\
bernouilli & 0.14804911613464355 & 0 & 3 & 1.8596839904785156 & 0.40811586380004883 & 224606128 & 1050 \\
digitsofe2 & 1.8016819953918457 & 3 & 20 & 3.756718873977661 & 0.269711971282959 & 222996384 & 3725 \\
exp3\_8 & 4.01310920715332e-2 & 4 & 16 & 1.3389220237731934 & 2.2099530696868896 & 3461905392 & 206 \\
primes & 5.027413368225098e-2 & 0 & 3 & 1.3047659397125244 & 0.5296838283538818 & 751651524 & 212 \\
rfib & 4.987001419067383e-3 & 0 & 0 & 1.259765863418579 & 0.3370950222015381 & 96628 & 63 \\
tak & 3.173184394836426e-2 & 2 & 2 & 1.2762961387634277 & 0.9304239749908447 & 120512 & 207 \\
x2n1 & 1.373910903930664e-2 & 0 & 1 & 1.3488800525665283 & 5.007600784301758e-2 & 2248672 & 126 \\