Kepler's Conjecture Benchmark

Kepler’s Conjecture Benchmark [Download] [Result]: We extracted them from the Flyspeck Project.