Difference between revisions of "CoCoA:Example codex1"

From ApCoCoAWiki
m (CoCoABench:Example codex1 moved to CoCoA:Example codex1: tidying up the wiki....)
(tidying up the wiki....)
 
Line 59: Line 59:
 
  GM considered pairs  4025565
 
  GM considered pairs  4025565
 
  Back considered pairs 1080414
 
  Back considered pairs 1080414
 +
 +
[[Category:Benchmark]]

Latest revision as of 07:27, 18 October 2007

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