Difference between revisions of "CoCoA:Example 4x4"
From ApCoCoAWiki
(add details for 4x4) |
m (CoCoABench:Example 4x4 moved to CoCoA:Example 4x4: tidying up the wiki....) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 31: | Line 31: | ||
==4x4_hL== | ==4x4_hL== | ||
| − | Computed in | + | Computed in 324.756 seconds on hilbert with 0.95CVS-2006-04-27. Statistics: |
Poly in Basis 451 | Poly in Basis 451 | ||
| Line 44: | Line 44: | ||
Older benchmarks: | Older benchmarks: | ||
| − | * 0.95CVS-2006-03-16: 490.35 on hilbert | + | * 0.95CVS-2006-04-25: 356.781 seconds on hilbert |
| − | + | * 0.95CVS-2006-04-09: 356.662 seconds on hilbert | |
| + | * 0.95CVS-2006-03-16: 490.35 seconds on hilbert | ||
| + | |||
==4x4_hQL== | ==4x4_hQL== | ||
| − | Computed in | + | Computed in 583.448 seconds on hilbert with 0.95CVS-2006-04-27. Statistics: |
Poly in Basis 451 | Poly in Basis 451 | ||
| Line 61: | Line 63: | ||
Older benchmarks: | Older benchmarks: | ||
| − | * 0.95CVS-2006-04-10: 648.517 on hilbert | + | * 0.95CVS-2006-04-15: 586.185 seconds on hilbert |
| − | * 0.95CVS-2006-04-09: 669.33 on hilbert | + | * 0.95CVS-2006-04-10: 648.517 seconds on hilbert |
| − | * 0.95CVS-2006-04-08: 712.629 on hilbert | + | * 0.95CVS-2006-04-09: 669.33 seconds on hilbert |
| − | * 0.95CVS-2006-03-21: 796.202 on hilbert | + | * 0.95CVS-2006-04-08: 712.629 seconds on hilbert |
| − | * 0.95CVS-2006-03-16: 856.98 on hilbert | + | * 0.95CVS-2006-03-21: 796.202 seconds on hilbert |
| − | * 0.95CVS-2006-03-14: 881.411 on hilbert | + | * 0.95CVS-2006-03-16: 856.98 seconds on hilbert |
| − | * 0.95CVS-2005-12-31: 708.228 on hilbert | + | * 0.95CVS-2006-03-14: 881.411 seconds on hilbert |
| − | * 0.95CVS-2005-12-18: 711.496 on hilbert | + | * 0.95CVS-2005-12-31: 708.228 seconds on hilbert |
| − | * 0.95CVS-2005-11-23: 718.485 on hilbert | + | * 0.95CVS-2005-12-18: 711.496 seconds on hilbert |
| + | * 0.95CVS-2005-11-23: 718.485 seconds on hilbert | ||
| + | |||
| + | [[Category:Benchmark]] | ||
Latest revision as of 17:52, 17 October 2007
Description
FIXME
4x4_h
Computed in 19115.9 seconds on hilbert with 0.95CVS-2006-04-09. Statistics:
Poly in Basis 563 Pairs Reduced 5921 = (5905+16 Gens) of which 563 useful and 5358 useless Pairs Inserted 158203 + 16 generators of which 5921 survived of which GMKilled 151379 of which CopKilled 377 of which BKilled 542 GM considered pairs 1038441 Back considered pairs 490805
4x4_hQ
Computed in 256340 seconds on hilbert with 0.95CVS-2006-04-09. Statistics:
Poly in Basis 563 Pairs Reduced 5921 = (5905+16 Gens) of which 563 useful and 5358 useless Pairs Inserted 158203 + 16 generators of which 5921 survived of which GMKilled 151379 of which CopKilled 377 of which BKilled 542 GM considered pairs 1038441 Back considered pairs 490805
4x4_hL
Computed in 324.756 seconds on hilbert with 0.95CVS-2006-04-27. Statistics:
Poly in Basis 451 Pairs Reduced 4673 = (4657+16 Gens) of which 451 useful and 4222 useless Pairs Inserted 101475 + 16 generators of which 4673 survived of which GMKilled 95652 of which CopKilled 487 of which BKilled 679 GM considered pairs 728589 Back considered pairs 400686
Older benchmarks:
- 0.95CVS-2006-04-25: 356.781 seconds on hilbert
- 0.95CVS-2006-04-09: 356.662 seconds on hilbert
- 0.95CVS-2006-03-16: 490.35 seconds on hilbert
4x4_hQL
Computed in 583.448 seconds on hilbert with 0.95CVS-2006-04-27. Statistics:
Poly in Basis 451 Pairs Reduced 4673 = (4657+16 Gens) of which 451 useful and 4222 useless Pairs Inserted 101475 + 16 generators of which 4673 survived of which GMKilled 95652 of which CopKilled 487 of which BKilled 679 GM considered pairs 728589 Back considered pairs 400686
Older benchmarks:
- 0.95CVS-2006-04-15: 586.185 seconds on hilbert
- 0.95CVS-2006-04-10: 648.517 seconds on hilbert
- 0.95CVS-2006-04-09: 669.33 seconds on hilbert
- 0.95CVS-2006-04-08: 712.629 seconds on hilbert
- 0.95CVS-2006-03-21: 796.202 seconds on hilbert
- 0.95CVS-2006-03-16: 856.98 seconds on hilbert
- 0.95CVS-2006-03-14: 881.411 seconds on hilbert
- 0.95CVS-2005-12-31: 708.228 seconds on hilbert
- 0.95CVS-2005-12-18: 711.496 seconds on hilbert
- 0.95CVS-2005-11-23: 718.485 seconds on hilbert
