Difference between revisions of "CoCoA:Example codex1"
From ApCoCoAWiki
(add initial set of benchmarks) |
(add timings for codex1_h, codex1_hL for 0.95-CVS2005-12-31, 0.95-CVS2006-03-15, 0.95-CVS2006-04-25, 0.95-CVS2006-04-27) |
||
| Line 5: | Line 5: | ||
==codex1_h== | ==codex1_h== | ||
| − | Computed in | + | Computed in 73.5766 seconds on hilbert with 0.95CVS-2006-04-27. |
| + | |||
| + | Poly in Basis 1162 | ||
| + | Pairs Reduced 5682 = (5673+9 Gens) of which 1162 useful and 4520 useless | ||
| + | Pairs Inserted 674541 + 9 generators of which 5682 survived | ||
| + | of which GMKilled 666012 | ||
| + | of which CopKilled 1338 | ||
| + | of which BKilled 1518 | ||
| + | GM considered pairs 7674431 | ||
| + | Back considered pairs 1227317 | ||
| + | |||
| + | Older benchmarks: | ||
| + | |||
| + | * 0.95CVS-2006-04-15: 81.176 seconds on hilbert. | ||
| + | * 0.95CVS-2006-04-15: 83.9412 seconds on hilbert. | ||
| + | * 0.95CVS-2006-03-15: 87.7 seconds on hilbert. | ||
| + | * 0.95CVS-2005-12-31: 85.331 seconds on hilbert. | ||
==codex1_hQ== | ==codex1_hQ== | ||
| Line 13: | Line 29: | ||
==codex1_hL== | ==codex1_hL== | ||
| − | Computed in | + | Computed in 122.936 seconds on hilbert with 0.95CVS-2006-04-27. |
| + | |||
| + | Poly in Basis 1025 | ||
| + | Pairs Reduced 5127 = (5118+9 Gens) of which 1025 useful and 4102 useless | ||
| + | Pairs Inserted 524800 + 9 generators of which 5127 survived | ||
| + | of which GMKilled 517312 | ||
| + | of which CopKilled 1115 | ||
| + | of which BKilled 1255 | ||
| + | GM considered pairs 4025565 | ||
| + | Back considered pairs 1080414 | ||
| + | |||
| + | Older benchmarks: | ||
| + | |||
| + | * 0.95CVS-2006-04-25: 129.99 seconds on hilbert. | ||
| + | * 0.95CVS-2006-04-15: 121.96 seconds on hilbert. | ||
| + | * 0.95CVS-2006-03-15: 145.41 seconds on hilbert. | ||
| + | * 0.95CVS-2005-12-31: 138.456 seconds on hilbert. | ||
==codex1_hQL== | ==codex1_hQL== | ||
Revision as of 21:41, 27 April 2006
Description
FIXME
codex1_h
Computed in 73.5766 seconds on hilbert with 0.95CVS-2006-04-27.
Poly in Basis 1162 Pairs Reduced 5682 = (5673+9 Gens) of which 1162 useful and 4520 useless Pairs Inserted 674541 + 9 generators of which 5682 survived of which GMKilled 666012 of which CopKilled 1338 of which BKilled 1518 GM considered pairs 7674431 Back considered pairs 1227317
Older benchmarks:
- 0.95CVS-2006-04-15: 81.176 seconds on hilbert.
- 0.95CVS-2006-04-15: 83.9412 seconds on hilbert.
- 0.95CVS-2006-03-15: 87.7 seconds on hilbert.
- 0.95CVS-2005-12-31: 85.331 seconds on hilbert.
codex1_hQ
No results yet.
codex1_hL
Computed in 122.936 seconds on hilbert with 0.95CVS-2006-04-27.
Poly in Basis 1025 Pairs Reduced 5127 = (5118+9 Gens) of which 1025 useful and 4102 useless Pairs Inserted 524800 + 9 generators of which 5127 survived of which GMKilled 517312 of which CopKilled 1115 of which BKilled 1255 GM considered pairs 4025565 Back considered pairs 1080414
Older benchmarks:
- 0.95CVS-2006-04-25: 129.99 seconds on hilbert.
- 0.95CVS-2006-04-15: 121.96 seconds on hilbert.
- 0.95CVS-2006-03-15: 145.41 seconds on hilbert.
- 0.95CVS-2005-12-31: 138.456 seconds on hilbert.
codex1_hQL
Computed in 311705 seconds on hilbert with 0.95CVS-2006-04-15. Statistics:
Poly in Basis 1025 Pairs Reduced 5127 = (5118+9 Gens) of which 1025 useful and 4102 useless Pairs Inserted 524800 + 9 generators of which 5127 survived of which GMKilled 517312 of which CopKilled 1115 of which BKilled 1255 GM considered pairs 4025565 Back considered pairs 1080414
