Sebastian Limbach ca8969cfe8 Data files used for benchmarks.

2007-09-24 09:40:17 +00:00

..

0050_ext_polys_with_100_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0050_ext_polys_with_200_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0050_ext_polys_with_300_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0050_ext_polys_with_400_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0050_ext_polys_with_500_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0050_ext_polys_with_600_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0050_ext_polys_with_700_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0050_ext_polys_with_800_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0050_ext_polys_with_900_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0050_ext_polys_with_1000_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0100_int_polys_with_200_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0100_int_polys_with_400_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0100_int_polys_with_600_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0100_int_polys_with_800_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0100_int_polys_with_1000_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0100_int_polys_with_1200_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0100_int_polys_with_1400_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0100_int_polys_with_1600_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0100_int_polys_with_1800_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

0100_int_polys_with_2000_bits.nix

Data files used for benchmarks.

2007-09-24 09:20:34 +00:00

resultants_from_0010_quadrics_with_0010_bits.nix

Data for benchmarking.

2007-04-05 13:56:50 +00:00

resultants_from_0010_quadrics_with_0020_bits.nix

Data for benchmarking.

2007-04-05 13:56:50 +00:00

resultants_from_0010_quadrics_with_0030_bits.nix

Data for benchmarking.

2007-04-05 13:56:50 +00:00

resultants_from_0010_quadrics_with_0040_bits.nix

Data for benchmarking.

2007-04-05 13:56:50 +00:00

resultants_from_0010_quadrics_with_0050_bits.nix

Data for benchmarking.

2007-04-05 13:56:50 +00:00

resultants_from_0010_quadrics_with_0060_bits.nix

Data for benchmarking.

2007-04-05 13:56:50 +00:00

resultants_from_0010_quadrics_with_0070_bits.nix

Data for benchmarking.

2007-04-05 13:56:50 +00:00

resultants_from_0010_quadrics_with_0080_bits.nix

Data for benchmarking.

2007-04-05 13:56:50 +00:00

resultants_from_0010_quadrics_with_0090_bits.nix

Data for benchmarking.

2007-04-05 13:56:50 +00:00

resultants_from_0090_quadrics_with_0010_bits.nix

Data files used for benchmarks.

2007-09-24 09:40:17 +00:00

resultants_from_0090_quadrics_with_0020_bits.nix

Data files used for benchmarks.

2007-09-24 09:40:17 +00:00

resultants_from_0090_quadrics_with_0030_bits.nix

Data files used for benchmarks.

2007-09-24 09:40:17 +00:00

resultants_from_0090_quadrics_with_0040_bits.nix

Data files used for benchmarks.

2007-09-24 09:40:17 +00:00

resultants_from_0090_quadrics_with_0050_bits.nix

Data files used for benchmarks.

2007-09-24 09:40:17 +00:00

resultants_from_0090_quadrics_with_0060_bits.nix

Data files used for benchmarks.

2007-09-24 09:40:17 +00:00

resultants_from_0090_quadrics_with_0070_bits.nix

Data files used for benchmarks.

2007-09-24 09:40:17 +00:00

resultants_from_0090_quadrics_with_0080_bits.nix

Data files used for benchmarks.

2007-09-24 09:40:17 +00:00

resultants_from_0090_quadrics_with_0090_bits.nix

Data files used for benchmarks.

2007-09-24 09:40:17 +00:00