Subject: MORE timings on bad examples

From: Chen Li <[email-masked]>
Date: Mon, 6 Dec 1999 02:26:28 -0500 (EST)

==========================================================================

SGI R10000

1) Pappus Bad

riemann.acf.nyu.edu{cql9826}5% time prover inputs/pappusBad 10
m = 7, n = 7, steps = 4
The parameters are randomly chosen in [ -4096, 4096 ]
Value of the polynomial thesis: 9491.47899
The geometric conjecture is FALSE 
0.011u 0.013s 0:00.02 100.0% 0+0k 0+0io 0pf+0w

2) Pappus Point Bad

riemann.acf.nyu.edu{cql9826}6% time prover inputs/pappus_point_bad 10
m = 7, n = 15, steps = 8
The parameters are randomly chosen in [ -16777216, 16777216 ]
Value of the polynomial thesis: 6098287.423
The geometric conjecture is FALSE 
0.026u 0.013s 0:00.04 75.0% 0+0k 0+0io 0pf+0w

3) Nehring Bad

riemann.acf.nyu.edu{cql9826}7% time prover inputs/nehringBad 10
m = 6, n = 14, steps = 8
The parameters are randomly chosen in [ -16777216, 16777216 ]
Value of the polynomial thesis: 117144642.
The geometric conjecture is FALSE 
0.038u 0.013s 0:00.05 80.0% 0+0k 0+0io 0pf+0w

4) Simson Bad

riemann.acf.nyu.edu{cql9826}8% time prover inputs/simsonBad 10
m = 4, n = 7, steps = 5
The parameters are randomly chosen in [ -32768, 32768 ]
Value of the polynomial thesis: 29409049.34
The geometric conjecture is FALSE 
0.017u 0.014s 0:00.03 66.6% 0+0k 0+0io 0pf+0w

5) Pascal Bad

riemann.acf.nyu.edu{cql9826}10% time prover inputs/pascalBad 10
m = 6, n = 11, steps = 8
The parameters are randomly chosen in [ -16777216, 16777216 ]
Value of the polynomial thesis: 934415815.8
The geometric conjecture is FALSE 
0.032u 0.013s 0:00.04 100.0% 0+0k 0+0io 0pf+0w

--------------------------------------------------------------------------

Intel P150

1) Pappus Bad
[chenli@localhost prover]$ time prover inputs/pappusBad 10
m = 7, n = 7, steps = 4
The parameters are randomly chosen in [ -4096, 4096 ]
Value of the polynomial thesis: -1799.925858
The geometric conjecture is FALSE 
0.030u 0.020s 0:00.10 50.0%     0+0k 0+0io 188pf+0w

2) Pappus Point Bad
[chenli@localhost prover]$ time prover inputs/pappus_point_bad 10
m = 7, n = 15, steps = 8
The parameters are randomly chosen in [ -16777216, 16777216 ]
Value of the polynomial thesis: 5.568674328e+12
The geometric conjecture is FALSE 
0.060u 0.030s 0:00.09 100.0%    0+0k 0+0io 188pf+0w

3) Nehring Bad
[chenli@localhost prover]$ time prover inputs/nehringBad 10
m = 6, n = 14, steps = 8
The parameters are randomly chosen in [ -16777216, 16777216 ]
Value of the polynomial thesis: -3.066506432e+14
The geometric conjecture is FALSE 
0.090u 0.020s 0:00.15 73.3%     0+0k 0+0io 186pf+0w

4) Simson Bad

[chenli@localhost prover]$ time prover inputs/simsonBad 10
m = 4, n = 7, steps = 5
The parameters are randomly chosen in [ -32768, 32768 ]
Value of the polynomial thesis: 29750975.98
The geometric conjecture is FALSE 
0.050u 0.010s 0:00.10 60.0%     0+0k 0+0io 189pf+0w

5) Pascal Bad

[chenli@localhost prover]$ time prover inputs/pascalBad 10
m = 6, n = 11, steps = 8
The parameters are randomly chosen in [ -16777216, 16777216 ]
Value of the polynomial thesis: -1.454610865e+13
The geometric conjecture is FALSE 
0.170u 0.000s 0:00.23 73.9%     0+0k 0+0io 189pf+0w