ramsey4
Number of instances: 8 (0 processed, 0 partially processed, 8 failed)
Processing completed
Partially processed
Processing failed
normalized-ramsey-25-4
normalized-ramsey-30-4
normalized-ramsey-32-4
normalized-ramsey-33-4
normalized-ramsey-34-4
normalized-ramsey-35-4
normalized-ramsey-38-4
normalized-ramsey-45-4