ramsey3
Number of instances: 8 (0 processed, 0 partially processed, 8 failed)
Processing completed
Partially processed
Processing failed
normalized-ramsey-10-3
normalized-ramsey-13-3
normalized-ramsey-15-3
normalized-ramsey-16-3
normalized-ramsey-17-3
normalized-ramsey-18-3
normalized-ramsey-20-3
normalized-ramsey-25-3