-
Notifications
You must be signed in to change notification settings - Fork 3
/
results-no-occurrence-generalisation.tex
15 lines (15 loc) · 1.43 KB
/
results-no-occurrence-generalisation.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
--no-occurrence-generalisation -v0 --no-assertions
Filename & SC time & Reduce-stops & SC-stops & Compile time & Run time & Heap size & Term size \\
append & 3.0410289764404297e-3 & 0 & 0 & 1.2684941291809082 & 0.5975639820098877 & 1680087516 & 73 \\
factorial & 2.4290084838867188e-3 & 0 & 0 & 1.2515370845794678 & 1.7387866973876953e-2 & 8379308 & 44 \\
raytracer & 6.011962890625e-3 & 0 & 0 & 1.2560031414031982 & 0.7572371959686279 & 1792087488 & 120 \\
sumtree & 1.691889762878418e-2 & 0 & 3 & 1.2485198974609375 & 4.091906547546387e-2 & 89452 & 138 \\
treeflip & 1.654791831970215e-2 & 0 & 3 & 1.2452571392059326 & 4.676508903503418e-2 & 88904 & 120 \\
sumsquare & 7.78810977935791e-2 & 1 & 5 & 1.270481824874878 & 9.798097610473633e-2 & 448512 & 364 \\
bernouilli & 0.14336109161376953 & 0 & 4 & 1.8577041625976563 & 0.41616177558898926 & 226663836 & 1076 \\
digitsofe2 & 0.7641911506652832 & 1 & 20 & 3.2753491401672363 & 0.45369601249694824 & 334325360 & 1599 \\
exp3\_8 & 4.001498222351074e-2 & 4 & 16 & 1.3280470371246338 & 2.212148904800415 & 3461903668 & 210 \\
primes & 4.9118995666503906e-2 & 0 & 5 & 1.3348488807678223 & 0.5348060131072998 & 755097172 & 303 \\
rfib & 5.070209503173828e-3 & 0 & 0 & 1.2813990116119385 & 0.33661913871765137 & 97424 & 63 \\
tak & 3.173518180847168e-2 & 2 & 2 & 1.286329984664917 & 0.9303979873657227 & 120640 & 207 \\
x2n1 & 2.0168066024780273e-2 & 0 & 4 & 1.3790819644927979 & 4.810285568237305e-2 & 13767980 & 230 \\