From f9ebf19ba3ca4c3ee67cc88bbea407d4dd734249 Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Wed, 17 Feb 2010 13:25:03 +0000
Subject: 3 more benchmarks

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1252 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 test/c/Results/bisect | 20 ++++++++++++++++++++
 test/c/Results/chomp  | 19 +++++++++++++++++++
 test/c/Results/perlin |  1 +
 3 files changed, 40 insertions(+)
 create mode 100644 test/c/Results/bisect
 create mode 100644 test/c/Results/chomp
 create mode 100644 test/c/Results/perlin

(limited to 'test/c/Results')

diff --git a/test/c/Results/bisect b/test/c/Results/bisect
new file mode 100644
index 00000000..de52da1a
--- /dev/null
+++ b/test/c/Results/bisect
@@ -0,0 +1,20 @@
+    2 1.60051e+01
+    3 8.10101e+01
+    4 2.56008e+02
+    5 6.25006e+02
+    6 1.29600e+03
+    7 2.40100e+03
+    8 4.09600e+03
+    9 6.56100e+03
+   10 1.00000e+04
+   11 1.46410e+04
+   12 2.07360e+04
+   13 2.85610e+04
+   14 3.84160e+04
+   15 5.06250e+04
+   16 6.55360e+04
+   17 8.35210e+04
+   18 1.04976e+05
+   19 1.30321e+05
+   20 1.60000e+05
+eps2 = 9.71445e-05,  k = 22965
diff --git a/test/c/Results/chomp b/test/c/Results/chomp
new file mode 100644
index 00000000..c2154208
--- /dev/null
+++ b/test/c/Results/chomp
@@ -0,0 +1,19 @@
+player 0 plays at (2,2)
+player 1 plays at (7,1)
+player 0 plays at (0,2)
+player 1 plays at (7,0)
+player 0 plays at (6,1)
+player 1 plays at (6,0)
+player 0 plays at (5,1)
+player 1 plays at (5,0)
+player 0 plays at (4,1)
+player 1 plays at (4,0)
+player 0 plays at (3,1)
+player 1 plays at (3,0)
+player 0 plays at (2,1)
+player 1 plays at (2,0)
+player 0 plays at (1,1)
+player 1 plays at (1,0)
+player 0 plays at (0,1)
+player 1 plays at (0,0)
+player 1 loses
diff --git a/test/c/Results/perlin b/test/c/Results/perlin
new file mode 100644
index 00000000..74e56554
--- /dev/null
+++ b/test/c/Results/perlin
@@ -0,0 +1 @@
+1.7556e+02
-- 
cgit