Difference between revisions of "CoCoA:Example c7"
From ApCoCoAWiki
(add results for c7) |
m (CoCoABench:Example c7 moved to CoCoA:Example c7: tidying up the wiki....) |
||
(4 intermediate revisions by 2 users not shown) | |||
Line 5: | Line 5: | ||
==c7_h== | ==c7_h== | ||
− | Computed in 0.95 seconds on hilbert | + | Computed in 1.023 seconds on hilbert with 0.95CVS-2006-04-27. Statistics: |
+ | |||
+ | Poly in Basis 121 | ||
+ | Pairs Reduced 449 = (442+7 Gens) of which 121 useful and 328 useless | ||
+ | Pairs Inserted 7260 + 7 generators of which 449 survived | ||
+ | of which GMKilled 6575 | ||
+ | of which CopKilled 239 | ||
+ | of which BKilled 4 | ||
+ | GM considered pairs 27052 | ||
+ | Back considered pairs 9843 | ||
+ | |||
+ | Older benchmarks: | ||
+ | |||
+ | * 0.95CVS-2006-04-25: 0.910 seconds on hilbert. | ||
+ | * 0.95CVS-2006-04-08: 1.269 seconds on hilbert. | ||
+ | * 0.95CVS-2006-03-15: 0.95 seconds on hilbert. | ||
+ | * 0.95CVS-2006-03-14: 0.988 seconds on hilbert. | ||
+ | * 0.95CVS-2005-12-31: 1.05607 seconds on hilbert. | ||
==c7_hQ== | ==c7_hQ== | ||
Line 13: | Line 30: | ||
==c7_hL== | ==c7_hL== | ||
− | Computed in 56.78 seconds on hilbert | + | Computed in 53.1833 seconds on hilbert with 0.96. Statistics: |
+ | |||
+ | Poly in Basis 728 | ||
+ | Pairs Reduced 3370 = (3363+7 Gens) of which 728 useful and 2642 useless | ||
+ | Pairs Inserted 264628 + 7 generators of which 3370 survived | ||
+ | of which GMKilled 259803 | ||
+ | of which CopKilled 1453 | ||
+ | of which BKilled 9 | ||
+ | GM considered pairs 1212702 | ||
+ | Back considered pairs 161163 | ||
+ | |||
+ | Older benchmarks: | ||
+ | |||
+ | * 0.95CVS-2006-04-27: 55.638 seconds on hilbert. | ||
+ | * 0.95CVS-2006-04-25: 55.754 seconds on hilbert. | ||
+ | * 0.95CVS-2006-04-08: 58.715 seconds on hilbert. | ||
+ | * 0.95CVS-2006-03-15: 56.78 seconds on hilbert. | ||
+ | * 0.95CVS-2006-03-14: 52.925 seconds on hilbert. | ||
+ | * 0.95CVS-2005-12-31: 55.1074 seconds on hilbert. | ||
==c7_hQL== | ==c7_hQL== | ||
− | Computed in | + | Computed in 3495 seconds on hilbert with 0.96. Statistics: |
Poly in Basis 728 | Poly in Basis 728 | ||
Line 30: | Line 65: | ||
Older benchmarks: | Older benchmarks: | ||
+ | * 0.95CVS-2006-04-14: 5785 seconds on hilbert. | ||
* 0.95CVS-2006-04-10: 5765 seconds on hilbert. | * 0.95CVS-2006-04-10: 5765 seconds on hilbert. | ||
+ | |||
+ | |||
+ | [[Category:Benchmark]] |
Latest revision as of 17:56, 17 October 2007
Description
homogenized cyclic 7
c7_h
Computed in 1.023 seconds on hilbert with 0.95CVS-2006-04-27. Statistics:
Poly in Basis 121 Pairs Reduced 449 = (442+7 Gens) of which 121 useful and 328 useless Pairs Inserted 7260 + 7 generators of which 449 survived of which GMKilled 6575 of which CopKilled 239 of which BKilled 4 GM considered pairs 27052 Back considered pairs 9843
Older benchmarks:
- 0.95CVS-2006-04-25: 0.910 seconds on hilbert.
- 0.95CVS-2006-04-08: 1.269 seconds on hilbert.
- 0.95CVS-2006-03-15: 0.95 seconds on hilbert.
- 0.95CVS-2006-03-14: 0.988 seconds on hilbert.
- 0.95CVS-2005-12-31: 1.05607 seconds on hilbert.
c7_hQ
Computed in 5.64 seconds on hilbert with 0.95CVS-2006-03-15.
c7_hL
Computed in 53.1833 seconds on hilbert with 0.96. Statistics:
Poly in Basis 728 Pairs Reduced 3370 = (3363+7 Gens) of which 728 useful and 2642 useless Pairs Inserted 264628 + 7 generators of which 3370 survived of which GMKilled 259803 of which CopKilled 1453 of which BKilled 9 GM considered pairs 1212702 Back considered pairs 161163
Older benchmarks:
- 0.95CVS-2006-04-27: 55.638 seconds on hilbert.
- 0.95CVS-2006-04-25: 55.754 seconds on hilbert.
- 0.95CVS-2006-04-08: 58.715 seconds on hilbert.
- 0.95CVS-2006-03-15: 56.78 seconds on hilbert.
- 0.95CVS-2006-03-14: 52.925 seconds on hilbert.
- 0.95CVS-2005-12-31: 55.1074 seconds on hilbert.
c7_hQL
Computed in 3495 seconds on hilbert with 0.96. Statistics:
Poly in Basis 728 Pairs Reduced 3370 = (3363+7 Gens) of which 728 useful and 2642 useless Pairs Inserted 264628 + 7 generators of which 3370 survived of which GMKilled 259803 of which CopKilled 1453 of which BKilled 9 GM considered pairs 1212702 Back considered pairs 161163
Older benchmarks:
- 0.95CVS-2006-04-14: 5785 seconds on hilbert.
- 0.95CVS-2006-04-10: 5765 seconds on hilbert.