| .. | | - | - |
| nonplanar_K_3_3.dimacs | D | 12-May-2024 | 75 | 14 | 11 |
| nonplanar_K_3_3_1000_p0.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_1000_p1.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_1000_p2.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_1000_p3.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_1000_p4.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_1000_p5.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_1000_p6.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_1000_p7.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_1000_p8.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_1000_p9.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_e_10.dimacs | D | 12-May-2024 | 139 | 21 | 20 |
| nonplanar_K_3_3_e_100.dimacs | D | 12-May-2024 | 873 | 111 | 110 |
| nonplanar_K_3_3_e_1000.dimacs | D | 12-May-2024 | 9.7 KiB | 1,011 | 1,010 |
| nonplanar_K_3_3_e_100_p0.dimacs | D | 12-May-2024 | 879 | 111 | 110 |
| nonplanar_K_3_3_e_100_p1.dimacs | D | 12-May-2024 | 880 | 111 | 110 |
| nonplanar_K_3_3_e_100_p2.dimacs | D | 12-May-2024 | 877 | 111 | 110 |
| nonplanar_K_3_3_e_100_p3.dimacs | D | 12-May-2024 | 877 | 111 | 110 |
| nonplanar_K_3_3_e_100_p4.dimacs | D | 12-May-2024 | 879 | 111 | 110 |
| nonplanar_K_3_3_e_100_p5.dimacs | D | 12-May-2024 | 879 | 111 | 110 |
| nonplanar_K_3_3_e_100_p6.dimacs | D | 12-May-2024 | 877 | 111 | 110 |
| nonplanar_K_3_3_e_100_p7.dimacs | D | 12-May-2024 | 880 | 111 | 110 |
| nonplanar_K_3_3_e_100_p8.dimacs | D | 12-May-2024 | 880 | 111 | 110 |
| nonplanar_K_3_3_e_100_p9.dimacs | D | 12-May-2024 | 880 | 111 | 110 |
| nonplanar_K_3_3_e_10_p0.dimacs | D | 12-May-2024 | 141 | 21 | 20 |
| nonplanar_K_3_3_e_10_p1.dimacs | D | 12-May-2024 | 142 | 21 | 20 |
| nonplanar_K_3_3_e_10_p2.dimacs | D | 12-May-2024 | 141 | 21 | 20 |
| nonplanar_K_3_3_e_10_p3.dimacs | D | 12-May-2024 | 142 | 21 | 20 |
| nonplanar_K_3_3_e_10_p4.dimacs | D | 12-May-2024 | 142 | 21 | 20 |
| nonplanar_K_3_3_e_10_p5.dimacs | D | 12-May-2024 | 140 | 21 | 20 |
| nonplanar_K_3_3_e_10_p6.dimacs | D | 12-May-2024 | 143 | 21 | 20 |
| nonplanar_K_3_3_e_10_p7.dimacs | D | 12-May-2024 | 140 | 21 | 20 |
| nonplanar_K_3_3_e_10_p8.dimacs | D | 12-May-2024 | 142 | 21 | 20 |
| nonplanar_K_3_3_e_10_p9.dimacs | D | 12-May-2024 | 142 | 21 | 20 |
| nonplanar_K_3_3_e_11.dimacs | D | 12-May-2024 | 147 | 22 | 21 |
| nonplanar_K_3_3_e_11_p0.dimacs | D | 12-May-2024 | 151 | 22 | 21 |
| nonplanar_K_3_3_e_11_p1.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| nonplanar_K_3_3_e_11_p2.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| nonplanar_K_3_3_e_11_p3.dimacs | D | 12-May-2024 | 150 | 22 | 21 |
| nonplanar_K_3_3_e_11_p4.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| nonplanar_K_3_3_e_11_p5.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| nonplanar_K_3_3_e_11_p6.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| nonplanar_K_3_3_e_11_p7.dimacs | D | 12-May-2024 | 150 | 22 | 21 |
| nonplanar_K_3_3_e_11_p8.dimacs | D | 12-May-2024 | 152 | 22 | 21 |
| nonplanar_K_3_3_e_11_p9.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| nonplanar_K_3_3_e_12.dimacs | D | 12-May-2024 | 155 | 23 | 22 |
| nonplanar_K_3_3_e_12_p0.dimacs | D | 12-May-2024 | 158 | 23 | 22 |
| nonplanar_K_3_3_e_12_p1.dimacs | D | 12-May-2024 | 157 | 23 | 22 |
| nonplanar_K_3_3_e_12_p2.dimacs | D | 12-May-2024 | 158 | 23 | 22 |
| nonplanar_K_3_3_e_12_p3.dimacs | D | 12-May-2024 | 157 | 23 | 22 |
| nonplanar_K_3_3_e_12_p4.dimacs | D | 12-May-2024 | 158 | 23 | 22 |
| nonplanar_K_3_3_e_12_p5.dimacs | D | 12-May-2024 | 157 | 23 | 22 |
| nonplanar_K_3_3_e_12_p6.dimacs | D | 12-May-2024 | 158 | 23 | 22 |
| nonplanar_K_3_3_e_12_p7.dimacs | D | 12-May-2024 | 156 | 23 | 22 |
| nonplanar_K_3_3_e_12_p8.dimacs | D | 12-May-2024 | 157 | 23 | 22 |
| nonplanar_K_3_3_e_12_p9.dimacs | D | 12-May-2024 | 157 | 23 | 22 |
| nonplanar_K_3_3_e_13.dimacs | D | 12-May-2024 | 163 | 24 | 23 |
| nonplanar_K_3_3_e_13_p0.dimacs | D | 12-May-2024 | 166 | 24 | 23 |
| nonplanar_K_3_3_e_13_p1.dimacs | D | 12-May-2024 | 166 | 24 | 23 |
| nonplanar_K_3_3_e_13_p2.dimacs | D | 12-May-2024 | 165 | 24 | 23 |
| nonplanar_K_3_3_e_13_p3.dimacs | D | 12-May-2024 | 165 | 24 | 23 |
| nonplanar_K_3_3_e_13_p4.dimacs | D | 12-May-2024 | 166 | 24 | 23 |
| nonplanar_K_3_3_e_13_p5.dimacs | D | 12-May-2024 | 166 | 24 | 23 |
| nonplanar_K_3_3_e_13_p6.dimacs | D | 12-May-2024 | 164 | 24 | 23 |
| nonplanar_K_3_3_e_13_p7.dimacs | D | 12-May-2024 | 168 | 24 | 23 |
| nonplanar_K_3_3_e_13_p8.dimacs | D | 12-May-2024 | 165 | 24 | 23 |
| nonplanar_K_3_3_e_13_p9.dimacs | D | 12-May-2024 | 166 | 24 | 23 |
| nonplanar_K_3_3_e_14.dimacs | D | 12-May-2024 | 171 | 25 | 24 |
| nonplanar_K_3_3_e_14_p0.dimacs | D | 12-May-2024 | 175 | 25 | 24 |
| nonplanar_K_3_3_e_14_p1.dimacs | D | 12-May-2024 | 174 | 25 | 24 |
| nonplanar_K_3_3_e_14_p2.dimacs | D | 12-May-2024 | 175 | 25 | 24 |
| nonplanar_K_3_3_e_14_p3.dimacs | D | 12-May-2024 | 175 | 25 | 24 |
| nonplanar_K_3_3_e_14_p4.dimacs | D | 12-May-2024 | 175 | 25 | 24 |
| nonplanar_K_3_3_e_14_p5.dimacs | D | 12-May-2024 | 176 | 25 | 24 |
| nonplanar_K_3_3_e_14_p6.dimacs | D | 12-May-2024 | 173 | 25 | 24 |
| nonplanar_K_3_3_e_14_p7.dimacs | D | 12-May-2024 | 173 | 25 | 24 |
| nonplanar_K_3_3_e_14_p8.dimacs | D | 12-May-2024 | 175 | 25 | 24 |
| nonplanar_K_3_3_e_14_p9.dimacs | D | 12-May-2024 | 177 | 25 | 24 |
| nonplanar_K_3_3_e_15.dimacs | D | 12-May-2024 | 179 | 26 | 25 |
| nonplanar_K_3_3_e_15_p0.dimacs | D | 12-May-2024 | 183 | 26 | 25 |
| nonplanar_K_3_3_e_15_p1.dimacs | D | 12-May-2024 | 183 | 26 | 25 |
| nonplanar_K_3_3_e_15_p2.dimacs | D | 12-May-2024 | 180 | 26 | 25 |
| nonplanar_K_3_3_e_15_p3.dimacs | D | 12-May-2024 | 181 | 26 | 25 |
| nonplanar_K_3_3_e_15_p4.dimacs | D | 12-May-2024 | 184 | 26 | 25 |
| nonplanar_K_3_3_e_15_p5.dimacs | D | 12-May-2024 | 181 | 26 | 25 |
| nonplanar_K_3_3_e_15_p6.dimacs | D | 12-May-2024 | 183 | 26 | 25 |
| nonplanar_K_3_3_e_15_p7.dimacs | D | 12-May-2024 | 182 | 26 | 25 |
| nonplanar_K_3_3_e_15_p8.dimacs | D | 12-May-2024 | 184 | 26 | 25 |
| nonplanar_K_3_3_e_15_p9.dimacs | D | 12-May-2024 | 181 | 26 | 25 |
| nonplanar_K_3_3_e_16.dimacs | D | 12-May-2024 | 187 | 27 | 26 |
| nonplanar_K_3_3_e_16_p0.dimacs | D | 12-May-2024 | 189 | 27 | 26 |
| nonplanar_K_3_3_e_16_p1.dimacs | D | 12-May-2024 | 190 | 27 | 26 |
| nonplanar_K_3_3_e_16_p2.dimacs | D | 12-May-2024 | 192 | 27 | 26 |
| nonplanar_K_3_3_e_16_p3.dimacs | D | 12-May-2024 | 189 | 27 | 26 |
| nonplanar_K_3_3_e_16_p4.dimacs | D | 12-May-2024 | 190 | 27 | 26 |
| nonplanar_K_3_3_e_16_p5.dimacs | D | 12-May-2024 | 191 | 27 | 26 |
| nonplanar_K_3_3_e_16_p6.dimacs | D | 12-May-2024 | 191 | 27 | 26 |
| nonplanar_K_3_3_e_16_p7.dimacs | D | 12-May-2024 | 190 | 27 | 26 |
| nonplanar_K_3_3_e_16_p8.dimacs | D | 12-May-2024 | 192 | 27 | 26 |
| nonplanar_K_3_3_e_16_p9.dimacs | D | 12-May-2024 | 191 | 27 | 26 |
| nonplanar_K_3_3_e_17.dimacs | D | 12-May-2024 | 195 | 28 | 27 |
| nonplanar_K_3_3_e_17_p0.dimacs | D | 12-May-2024 | 197 | 28 | 27 |
| nonplanar_K_3_3_e_17_p1.dimacs | D | 12-May-2024 | 198 | 28 | 27 |
| nonplanar_K_3_3_e_17_p2.dimacs | D | 12-May-2024 | 197 | 28 | 27 |
| nonplanar_K_3_3_e_17_p3.dimacs | D | 12-May-2024 | 199 | 28 | 27 |
| nonplanar_K_3_3_e_17_p4.dimacs | D | 12-May-2024 | 198 | 28 | 27 |
| nonplanar_K_3_3_e_17_p5.dimacs | D | 12-May-2024 | 199 | 28 | 27 |
| nonplanar_K_3_3_e_17_p6.dimacs | D | 12-May-2024 | 198 | 28 | 27 |
| nonplanar_K_3_3_e_17_p7.dimacs | D | 12-May-2024 | 197 | 28 | 27 |
| nonplanar_K_3_3_e_17_p8.dimacs | D | 12-May-2024 | 199 | 28 | 27 |
| nonplanar_K_3_3_e_17_p9.dimacs | D | 12-May-2024 | 199 | 28 | 27 |
| nonplanar_K_3_3_e_18.dimacs | D | 12-May-2024 | 203 | 29 | 28 |
| nonplanar_K_3_3_e_18_p0.dimacs | D | 12-May-2024 | 206 | 29 | 28 |
| nonplanar_K_3_3_e_18_p1.dimacs | D | 12-May-2024 | 208 | 29 | 28 |
| nonplanar_K_3_3_e_18_p2.dimacs | D | 12-May-2024 | 207 | 29 | 28 |
| nonplanar_K_3_3_e_18_p3.dimacs | D | 12-May-2024 | 208 | 29 | 28 |
| nonplanar_K_3_3_e_18_p4.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| nonplanar_K_3_3_e_18_p5.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| nonplanar_K_3_3_e_18_p6.dimacs | D | 12-May-2024 | 207 | 29 | 28 |
| nonplanar_K_3_3_e_18_p7.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| nonplanar_K_3_3_e_18_p8.dimacs | D | 12-May-2024 | 206 | 29 | 28 |
| nonplanar_K_3_3_e_18_p9.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| nonplanar_K_3_3_e_19.dimacs | D | 12-May-2024 | 211 | 30 | 29 |
| nonplanar_K_3_3_e_19_p0.dimacs | D | 12-May-2024 | 214 | 30 | 29 |
| nonplanar_K_3_3_e_19_p1.dimacs | D | 12-May-2024 | 215 | 30 | 29 |
| nonplanar_K_3_3_e_19_p2.dimacs | D | 12-May-2024 | 214 | 30 | 29 |
| nonplanar_K_3_3_e_19_p3.dimacs | D | 12-May-2024 | 213 | 30 | 29 |
| nonplanar_K_3_3_e_19_p4.dimacs | D | 12-May-2024 | 216 | 30 | 29 |
| nonplanar_K_3_3_e_19_p5.dimacs | D | 12-May-2024 | 213 | 30 | 29 |
| nonplanar_K_3_3_e_19_p6.dimacs | D | 12-May-2024 | 214 | 30 | 29 |
| nonplanar_K_3_3_e_19_p7.dimacs | D | 12-May-2024 | 214 | 30 | 29 |
| nonplanar_K_3_3_e_19_p8.dimacs | D | 12-May-2024 | 215 | 30 | 29 |
| nonplanar_K_3_3_e_19_p9.dimacs | D | 12-May-2024 | 215 | 30 | 29 |
| nonplanar_K_3_3_e_20.dimacs | D | 12-May-2024 | 219 | 31 | 30 |
| nonplanar_K_3_3_e_20_p0.dimacs | D | 12-May-2024 | 222 | 31 | 30 |
| nonplanar_K_3_3_e_20_p1.dimacs | D | 12-May-2024 | 222 | 31 | 30 |
| nonplanar_K_3_3_e_20_p2.dimacs | D | 12-May-2024 | 223 | 31 | 30 |
| nonplanar_K_3_3_e_20_p3.dimacs | D | 12-May-2024 | 223 | 31 | 30 |
| nonplanar_K_3_3_e_20_p4.dimacs | D | 12-May-2024 | 220 | 31 | 30 |
| nonplanar_K_3_3_e_20_p5.dimacs | D | 12-May-2024 | 222 | 31 | 30 |
| nonplanar_K_3_3_e_20_p6.dimacs | D | 12-May-2024 | 224 | 31 | 30 |
| nonplanar_K_3_3_e_20_p7.dimacs | D | 12-May-2024 | 223 | 31 | 30 |
| nonplanar_K_3_3_e_20_p8.dimacs | D | 12-May-2024 | 223 | 31 | 30 |
| nonplanar_K_3_3_e_20_p9.dimacs | D | 12-May-2024 | 223 | 31 | 30 |
| nonplanar_K_3_3_e_30.dimacs | D | 12-May-2024 | 299 | 41 | 40 |
| nonplanar_K_3_3_e_30_p0.dimacs | D | 12-May-2024 | 303 | 41 | 40 |
| nonplanar_K_3_3_e_30_p1.dimacs | D | 12-May-2024 | 304 | 41 | 40 |
| nonplanar_K_3_3_e_30_p2.dimacs | D | 12-May-2024 | 304 | 41 | 40 |
| nonplanar_K_3_3_e_30_p3.dimacs | D | 12-May-2024 | 304 | 41 | 40 |
| nonplanar_K_3_3_e_30_p4.dimacs | D | 12-May-2024 | 305 | 41 | 40 |
| nonplanar_K_3_3_e_30_p5.dimacs | D | 12-May-2024 | 302 | 41 | 40 |
| nonplanar_K_3_3_e_30_p6.dimacs | D | 12-May-2024 | 303 | 41 | 40 |
| nonplanar_K_3_3_e_30_p7.dimacs | D | 12-May-2024 | 303 | 41 | 40 |
| nonplanar_K_3_3_e_30_p8.dimacs | D | 12-May-2024 | 302 | 41 | 40 |
| nonplanar_K_3_3_e_30_p9.dimacs | D | 12-May-2024 | 302 | 41 | 40 |
| nonplanar_K_3_3_e_40.dimacs | D | 12-May-2024 | 379 | 51 | 50 |
| nonplanar_K_3_3_e_40_p0.dimacs | D | 12-May-2024 | 383 | 51 | 50 |
| nonplanar_K_3_3_e_40_p1.dimacs | D | 12-May-2024 | 384 | 51 | 50 |
| nonplanar_K_3_3_e_40_p2.dimacs | D | 12-May-2024 | 382 | 51 | 50 |
| nonplanar_K_3_3_e_40_p3.dimacs | D | 12-May-2024 | 382 | 51 | 50 |
| nonplanar_K_3_3_e_40_p4.dimacs | D | 12-May-2024 | 384 | 51 | 50 |
| nonplanar_K_3_3_e_40_p5.dimacs | D | 12-May-2024 | 385 | 51 | 50 |
| nonplanar_K_3_3_e_40_p6.dimacs | D | 12-May-2024 | 384 | 51 | 50 |
| nonplanar_K_3_3_e_40_p7.dimacs | D | 12-May-2024 | 383 | 51 | 50 |
| nonplanar_K_3_3_e_40_p8.dimacs | D | 12-May-2024 | 384 | 51 | 50 |
| nonplanar_K_3_3_e_40_p9.dimacs | D | 12-May-2024 | 383 | 51 | 50 |
| nonplanar_K_3_3_e_50.dimacs | D | 12-May-2024 | 459 | 61 | 60 |
| nonplanar_K_3_3_e_50_p0.dimacs | D | 12-May-2024 | 464 | 61 | 60 |
| nonplanar_K_3_3_e_50_p1.dimacs | D | 12-May-2024 | 465 | 61 | 60 |
| nonplanar_K_3_3_e_50_p2.dimacs | D | 12-May-2024 | 463 | 61 | 60 |
| nonplanar_K_3_3_e_50_p3.dimacs | D | 12-May-2024 | 463 | 61 | 60 |
| nonplanar_K_3_3_e_50_p4.dimacs | D | 12-May-2024 | 464 | 61 | 60 |
| nonplanar_K_3_3_e_50_p5.dimacs | D | 12-May-2024 | 464 | 61 | 60 |
| nonplanar_K_3_3_e_50_p6.dimacs | D | 12-May-2024 | 464 | 61 | 60 |
| nonplanar_K_3_3_e_50_p7.dimacs | D | 12-May-2024 | 464 | 61 | 60 |
| nonplanar_K_3_3_e_50_p8.dimacs | D | 12-May-2024 | 465 | 61 | 60 |
| nonplanar_K_3_3_e_50_p9.dimacs | D | 12-May-2024 | 462 | 61 | 60 |
| nonplanar_K_3_3_e_7.dimacs | D | 12-May-2024 | 115 | 18 | 17 |
| nonplanar_K_3_3_e_7_p0.dimacs | D | 12-May-2024 | 117 | 18 | 17 |
| nonplanar_K_3_3_e_7_p1.dimacs | D | 12-May-2024 | 116 | 18 | 17 |
| nonplanar_K_3_3_e_7_p2.dimacs | D | 12-May-2024 | 116 | 18 | 17 |
| nonplanar_K_3_3_e_7_p3.dimacs | D | 12-May-2024 | 116 | 18 | 17 |
| nonplanar_K_3_3_e_7_p4.dimacs | D | 12-May-2024 | 117 | 18 | 17 |
| nonplanar_K_3_3_e_7_p5.dimacs | D | 12-May-2024 | 116 | 18 | 17 |
| nonplanar_K_3_3_e_7_p6.dimacs | D | 12-May-2024 | 117 | 18 | 17 |
| nonplanar_K_3_3_e_7_p7.dimacs | D | 12-May-2024 | 116 | 18 | 17 |
| nonplanar_K_3_3_e_7_p8.dimacs | D | 12-May-2024 | 116 | 18 | 17 |
| nonplanar_K_3_3_e_7_p9.dimacs | D | 12-May-2024 | 117 | 18 | 17 |
| nonplanar_K_3_3_e_8.dimacs | D | 12-May-2024 | 123 | 19 | 18 |
| nonplanar_K_3_3_e_8_p0.dimacs | D | 12-May-2024 | 123 | 19 | 18 |
| nonplanar_K_3_3_e_8_p1.dimacs | D | 12-May-2024 | 126 | 19 | 18 |
| nonplanar_K_3_3_e_8_p2.dimacs | D | 12-May-2024 | 124 | 19 | 18 |
| nonplanar_K_3_3_e_8_p3.dimacs | D | 12-May-2024 | 125 | 19 | 18 |
| nonplanar_K_3_3_e_8_p4.dimacs | D | 12-May-2024 | 125 | 19 | 18 |
| nonplanar_K_3_3_e_8_p5.dimacs | D | 12-May-2024 | 125 | 19 | 18 |
| nonplanar_K_3_3_e_8_p6.dimacs | D | 12-May-2024 | 125 | 19 | 18 |
| nonplanar_K_3_3_e_8_p7.dimacs | D | 12-May-2024 | 125 | 19 | 18 |
| nonplanar_K_3_3_e_8_p8.dimacs | D | 12-May-2024 | 124 | 19 | 18 |
| nonplanar_K_3_3_e_8_p9.dimacs | D | 12-May-2024 | 124 | 19 | 18 |
| nonplanar_K_3_3_e_9.dimacs | D | 12-May-2024 | 131 | 20 | 19 |
| nonplanar_K_3_3_e_9_p0.dimacs | D | 12-May-2024 | 132 | 20 | 19 |
| nonplanar_K_3_3_e_9_p1.dimacs | D | 12-May-2024 | 132 | 20 | 19 |
| nonplanar_K_3_3_e_9_p2.dimacs | D | 12-May-2024 | 132 | 20 | 19 |
| nonplanar_K_3_3_e_9_p3.dimacs | D | 12-May-2024 | 134 | 20 | 19 |
| nonplanar_K_3_3_e_9_p4.dimacs | D | 12-May-2024 | 131 | 20 | 19 |
| nonplanar_K_3_3_e_9_p5.dimacs | D | 12-May-2024 | 132 | 20 | 19 |
| nonplanar_K_3_3_e_9_p6.dimacs | D | 12-May-2024 | 133 | 20 | 19 |
| nonplanar_K_3_3_e_9_p7.dimacs | D | 12-May-2024 | 133 | 20 | 19 |
| nonplanar_K_3_3_e_9_p8.dimacs | D | 12-May-2024 | 132 | 20 | 19 |
| nonplanar_K_3_3_e_9_p9.dimacs | D | 12-May-2024 | 132 | 20 | 19 |
| nonplanar_K_3_3_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| nonplanar_K_3_3_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| nonplanar_K_3_3_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| nonplanar_K_3_3_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| nonplanar_K_3_3_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| nonplanar_K_3_3_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| nonplanar_K_3_3_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| nonplanar_K_3_3_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| nonplanar_K_3_3_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| nonplanar_K_3_3_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| nonplanar_K_5.dimacs | D | 12-May-2024 | 93 | 15 | 12 |
| nonplanar_K_5_e_10.dimacs | D | 12-May-2024 | 143 | 22 | 21 |
| nonplanar_K_5_e_100.dimacs | D | 12-May-2024 | 875 | 112 | 111 |
| nonplanar_K_5_e_100_p0.dimacs | D | 12-May-2024 | 887 | 112 | 111 |
| nonplanar_K_5_e_100_p1.dimacs | D | 12-May-2024 | 887 | 112 | 111 |
| nonplanar_K_5_e_100_p2.dimacs | D | 12-May-2024 | 885 | 112 | 111 |
| nonplanar_K_5_e_100_p3.dimacs | D | 12-May-2024 | 885 | 112 | 111 |
| nonplanar_K_5_e_100_p4.dimacs | D | 12-May-2024 | 885 | 112 | 111 |
| nonplanar_K_5_e_100_p5.dimacs | D | 12-May-2024 | 883 | 112 | 111 |
| nonplanar_K_5_e_100_p6.dimacs | D | 12-May-2024 | 885 | 112 | 111 |
| nonplanar_K_5_e_100_p7.dimacs | D | 12-May-2024 | 885 | 112 | 111 |
| nonplanar_K_5_e_100_p8.dimacs | D | 12-May-2024 | 881 | 112 | 111 |
| nonplanar_K_5_e_100_p9.dimacs | D | 12-May-2024 | 883 | 112 | 111 |
| nonplanar_K_5_e_10_p0.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| nonplanar_K_5_e_10_p1.dimacs | D | 12-May-2024 | 147 | 22 | 21 |
| nonplanar_K_5_e_10_p2.dimacs | D | 12-May-2024 | 151 | 22 | 21 |
| nonplanar_K_5_e_10_p3.dimacs | D | 12-May-2024 | 145 | 22 | 21 |
| nonplanar_K_5_e_10_p4.dimacs | D | 12-May-2024 | 147 | 22 | 21 |
| nonplanar_K_5_e_10_p5.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| nonplanar_K_5_e_10_p6.dimacs | D | 12-May-2024 | 145 | 22 | 21 |
| nonplanar_K_5_e_10_p7.dimacs | D | 12-May-2024 | 145 | 22 | 21 |
| nonplanar_K_5_e_10_p8.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| nonplanar_K_5_e_10_p9.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| nonplanar_K_5_e_11.dimacs | D | 12-May-2024 | 151 | 23 | 22 |
| nonplanar_K_5_e_11_p0.dimacs | D | 12-May-2024 | 155 | 23 | 22 |
| nonplanar_K_5_e_11_p1.dimacs | D | 12-May-2024 | 157 | 23 | 22 |
| nonplanar_K_5_e_11_p2.dimacs | D | 12-May-2024 | 151 | 23 | 22 |
| nonplanar_K_5_e_11_p3.dimacs | D | 12-May-2024 | 157 | 23 | 22 |
| nonplanar_K_5_e_11_p4.dimacs | D | 12-May-2024 | 155 | 23 | 22 |
| nonplanar_K_5_e_11_p5.dimacs | D | 12-May-2024 | 155 | 23 | 22 |
| nonplanar_K_5_e_11_p6.dimacs | D | 12-May-2024 | 155 | 23 | 22 |
| nonplanar_K_5_e_11_p7.dimacs | D | 12-May-2024 | 155 | 23 | 22 |
| nonplanar_K_5_e_11_p8.dimacs | D | 12-May-2024 | 153 | 23 | 22 |
| nonplanar_K_5_e_11_p9.dimacs | D | 12-May-2024 | 155 | 23 | 22 |
| nonplanar_K_5_e_12.dimacs | D | 12-May-2024 | 159 | 24 | 23 |
| nonplanar_K_5_e_12_p0.dimacs | D | 12-May-2024 | 163 | 24 | 23 |
| nonplanar_K_5_e_12_p1.dimacs | D | 12-May-2024 | 163 | 24 | 23 |
| nonplanar_K_5_e_12_p2.dimacs | D | 12-May-2024 | 163 | 24 | 23 |
| nonplanar_K_5_e_12_p3.dimacs | D | 12-May-2024 | 161 | 24 | 23 |
| nonplanar_K_5_e_12_p4.dimacs | D | 12-May-2024 | 161 | 24 | 23 |
| nonplanar_K_5_e_12_p5.dimacs | D | 12-May-2024 | 163 | 24 | 23 |
| nonplanar_K_5_e_12_p6.dimacs | D | 12-May-2024 | 161 | 24 | 23 |
| nonplanar_K_5_e_12_p7.dimacs | D | 12-May-2024 | 165 | 24 | 23 |
| nonplanar_K_5_e_12_p8.dimacs | D | 12-May-2024 | 167 | 24 | 23 |
| nonplanar_K_5_e_12_p9.dimacs | D | 12-May-2024 | 163 | 24 | 23 |
| nonplanar_K_5_e_13.dimacs | D | 12-May-2024 | 167 | 25 | 24 |
| nonplanar_K_5_e_13_p0.dimacs | D | 12-May-2024 | 171 | 25 | 24 |
| nonplanar_K_5_e_13_p1.dimacs | D | 12-May-2024 | 171 | 25 | 24 |
| nonplanar_K_5_e_13_p2.dimacs | D | 12-May-2024 | 171 | 25 | 24 |
| nonplanar_K_5_e_13_p3.dimacs | D | 12-May-2024 | 171 | 25 | 24 |
| nonplanar_K_5_e_13_p4.dimacs | D | 12-May-2024 | 169 | 25 | 24 |
| nonplanar_K_5_e_13_p5.dimacs | D | 12-May-2024 | 171 | 25 | 24 |
| nonplanar_K_5_e_13_p6.dimacs | D | 12-May-2024 | 169 | 25 | 24 |
| nonplanar_K_5_e_13_p7.dimacs | D | 12-May-2024 | 173 | 25 | 24 |
| nonplanar_K_5_e_13_p8.dimacs | D | 12-May-2024 | 175 | 25 | 24 |
| nonplanar_K_5_e_13_p9.dimacs | D | 12-May-2024 | 173 | 25 | 24 |
| nonplanar_K_5_e_14.dimacs | D | 12-May-2024 | 175 | 26 | 25 |
| nonplanar_K_5_e_14_p0.dimacs | D | 12-May-2024 | 177 | 26 | 25 |
| nonplanar_K_5_e_14_p1.dimacs | D | 12-May-2024 | 179 | 26 | 25 |
| nonplanar_K_5_e_14_p2.dimacs | D | 12-May-2024 | 179 | 26 | 25 |
| nonplanar_K_5_e_14_p3.dimacs | D | 12-May-2024 | 183 | 26 | 25 |
| nonplanar_K_5_e_14_p4.dimacs | D | 12-May-2024 | 179 | 26 | 25 |
| nonplanar_K_5_e_14_p5.dimacs | D | 12-May-2024 | 181 | 26 | 25 |
| nonplanar_K_5_e_14_p6.dimacs | D | 12-May-2024 | 181 | 26 | 25 |
| nonplanar_K_5_e_14_p7.dimacs | D | 12-May-2024 | 181 | 26 | 25 |
| nonplanar_K_5_e_14_p8.dimacs | D | 12-May-2024 | 181 | 26 | 25 |
| nonplanar_K_5_e_14_p9.dimacs | D | 12-May-2024 | 179 | 26 | 25 |
| nonplanar_K_5_e_15.dimacs | D | 12-May-2024 | 183 | 27 | 26 |
| nonplanar_K_5_e_15_p0.dimacs | D | 12-May-2024 | 187 | 27 | 26 |
| nonplanar_K_5_e_15_p1.dimacs | D | 12-May-2024 | 189 | 27 | 26 |
| nonplanar_K_5_e_15_p2.dimacs | D | 12-May-2024 | 189 | 27 | 26 |
| nonplanar_K_5_e_15_p3.dimacs | D | 12-May-2024 | 191 | 27 | 26 |
| nonplanar_K_5_e_15_p4.dimacs | D | 12-May-2024 | 189 | 27 | 26 |
| nonplanar_K_5_e_15_p5.dimacs | D | 12-May-2024 | 189 | 27 | 26 |
| nonplanar_K_5_e_15_p6.dimacs | D | 12-May-2024 | 193 | 27 | 26 |
| nonplanar_K_5_e_15_p7.dimacs | D | 12-May-2024 | 187 | 27 | 26 |
| nonplanar_K_5_e_15_p8.dimacs | D | 12-May-2024 | 189 | 27 | 26 |
| nonplanar_K_5_e_15_p9.dimacs | D | 12-May-2024 | 185 | 27 | 26 |
| nonplanar_K_5_e_16.dimacs | D | 12-May-2024 | 191 | 28 | 27 |
| nonplanar_K_5_e_16_p0.dimacs | D | 12-May-2024 | 195 | 28 | 27 |
| nonplanar_K_5_e_16_p1.dimacs | D | 12-May-2024 | 199 | 28 | 27 |
| nonplanar_K_5_e_16_p2.dimacs | D | 12-May-2024 | 197 | 28 | 27 |
| nonplanar_K_5_e_16_p3.dimacs | D | 12-May-2024 | 195 | 28 | 27 |
| nonplanar_K_5_e_16_p4.dimacs | D | 12-May-2024 | 195 | 28 | 27 |
| nonplanar_K_5_e_16_p5.dimacs | D | 12-May-2024 | 197 | 28 | 27 |
| nonplanar_K_5_e_16_p6.dimacs | D | 12-May-2024 | 195 | 28 | 27 |
| nonplanar_K_5_e_16_p7.dimacs | D | 12-May-2024 | 195 | 28 | 27 |
| nonplanar_K_5_e_16_p8.dimacs | D | 12-May-2024 | 197 | 28 | 27 |
| nonplanar_K_5_e_16_p9.dimacs | D | 12-May-2024 | 197 | 28 | 27 |
| nonplanar_K_5_e_17.dimacs | D | 12-May-2024 | 199 | 29 | 28 |
| nonplanar_K_5_e_17_p0.dimacs | D | 12-May-2024 | 207 | 29 | 28 |
| nonplanar_K_5_e_17_p1.dimacs | D | 12-May-2024 | 207 | 29 | 28 |
| nonplanar_K_5_e_17_p2.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| nonplanar_K_5_e_17_p3.dimacs | D | 12-May-2024 | 201 | 29 | 28 |
| nonplanar_K_5_e_17_p4.dimacs | D | 12-May-2024 | 207 | 29 | 28 |
| nonplanar_K_5_e_17_p5.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| nonplanar_K_5_e_17_p6.dimacs | D | 12-May-2024 | 203 | 29 | 28 |
| nonplanar_K_5_e_17_p7.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| nonplanar_K_5_e_17_p8.dimacs | D | 12-May-2024 | 201 | 29 | 28 |
| nonplanar_K_5_e_17_p9.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| nonplanar_K_5_e_18.dimacs | D | 12-May-2024 | 207 | 30 | 29 |
| nonplanar_K_5_e_18_p0.dimacs | D | 12-May-2024 | 213 | 30 | 29 |
| nonplanar_K_5_e_18_p1.dimacs | D | 12-May-2024 | 213 | 30 | 29 |
| nonplanar_K_5_e_18_p2.dimacs | D | 12-May-2024 | 211 | 30 | 29 |
| nonplanar_K_5_e_18_p3.dimacs | D | 12-May-2024 | 215 | 30 | 29 |
| nonplanar_K_5_e_18_p4.dimacs | D | 12-May-2024 | 213 | 30 | 29 |
| nonplanar_K_5_e_18_p5.dimacs | D | 12-May-2024 | 215 | 30 | 29 |
| nonplanar_K_5_e_18_p6.dimacs | D | 12-May-2024 | 215 | 30 | 29 |
| nonplanar_K_5_e_18_p7.dimacs | D | 12-May-2024 | 211 | 30 | 29 |
| nonplanar_K_5_e_18_p8.dimacs | D | 12-May-2024 | 209 | 30 | 29 |
| nonplanar_K_5_e_18_p9.dimacs | D | 12-May-2024 | 211 | 30 | 29 |
| nonplanar_K_5_e_19.dimacs | D | 12-May-2024 | 215 | 31 | 30 |
| nonplanar_K_5_e_19_p0.dimacs | D | 12-May-2024 | 223 | 31 | 30 |
| nonplanar_K_5_e_19_p1.dimacs | D | 12-May-2024 | 223 | 31 | 30 |
| nonplanar_K_5_e_19_p2.dimacs | D | 12-May-2024 | 221 | 31 | 30 |
| nonplanar_K_5_e_19_p3.dimacs | D | 12-May-2024 | 221 | 31 | 30 |
| nonplanar_K_5_e_19_p4.dimacs | D | 12-May-2024 | 221 | 31 | 30 |
| nonplanar_K_5_e_19_p5.dimacs | D | 12-May-2024 | 225 | 31 | 30 |
| nonplanar_K_5_e_19_p6.dimacs | D | 12-May-2024 | 219 | 31 | 30 |
| nonplanar_K_5_e_19_p7.dimacs | D | 12-May-2024 | 217 | 31 | 30 |
| nonplanar_K_5_e_19_p8.dimacs | D | 12-May-2024 | 219 | 31 | 30 |
| nonplanar_K_5_e_19_p9.dimacs | D | 12-May-2024 | 219 | 31 | 30 |
| nonplanar_K_5_e_20.dimacs | D | 12-May-2024 | 223 | 32 | 31 |
| nonplanar_K_5_e_20_p0.dimacs | D | 12-May-2024 | 225 | 32 | 31 |
| nonplanar_K_5_e_20_p1.dimacs | D | 12-May-2024 | 225 | 32 | 31 |
| nonplanar_K_5_e_20_p2.dimacs | D | 12-May-2024 | 229 | 32 | 31 |
| nonplanar_K_5_e_20_p3.dimacs | D | 12-May-2024 | 227 | 32 | 31 |
| nonplanar_K_5_e_20_p4.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| nonplanar_K_5_e_20_p5.dimacs | D | 12-May-2024 | 227 | 32 | 31 |
| nonplanar_K_5_e_20_p6.dimacs | D | 12-May-2024 | 229 | 32 | 31 |
| nonplanar_K_5_e_20_p7.dimacs | D | 12-May-2024 | 227 | 32 | 31 |
| nonplanar_K_5_e_20_p8.dimacs | D | 12-May-2024 | 227 | 32 | 31 |
| nonplanar_K_5_e_20_p9.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| nonplanar_K_5_e_30.dimacs | D | 12-May-2024 | 303 | 42 | 41 |
| nonplanar_K_5_e_30_p0.dimacs | D | 12-May-2024 | 309 | 42 | 41 |
| nonplanar_K_5_e_30_p1.dimacs | D | 12-May-2024 | 309 | 42 | 41 |
| nonplanar_K_5_e_30_p2.dimacs | D | 12-May-2024 | 311 | 42 | 41 |
| nonplanar_K_5_e_30_p3.dimacs | D | 12-May-2024 | 309 | 42 | 41 |
| nonplanar_K_5_e_30_p4.dimacs | D | 12-May-2024 | 311 | 42 | 41 |
| nonplanar_K_5_e_30_p5.dimacs | D | 12-May-2024 | 313 | 42 | 41 |
| nonplanar_K_5_e_30_p6.dimacs | D | 12-May-2024 | 309 | 42 | 41 |
| nonplanar_K_5_e_30_p7.dimacs | D | 12-May-2024 | 311 | 42 | 41 |
| nonplanar_K_5_e_30_p8.dimacs | D | 12-May-2024 | 311 | 42 | 41 |
| nonplanar_K_5_e_30_p9.dimacs | D | 12-May-2024 | 307 | 42 | 41 |
| nonplanar_K_5_e_40.dimacs | D | 12-May-2024 | 383 | 52 | 51 |
| nonplanar_K_5_e_40_p0.dimacs | D | 12-May-2024 | 391 | 52 | 51 |
| nonplanar_K_5_e_40_p1.dimacs | D | 12-May-2024 | 389 | 52 | 51 |
| nonplanar_K_5_e_40_p2.dimacs | D | 12-May-2024 | 389 | 52 | 51 |
| nonplanar_K_5_e_40_p3.dimacs | D | 12-May-2024 | 391 | 52 | 51 |
| nonplanar_K_5_e_40_p4.dimacs | D | 12-May-2024 | 391 | 52 | 51 |
| nonplanar_K_5_e_40_p5.dimacs | D | 12-May-2024 | 393 | 52 | 51 |
| nonplanar_K_5_e_40_p6.dimacs | D | 12-May-2024 | 393 | 52 | 51 |
| nonplanar_K_5_e_40_p7.dimacs | D | 12-May-2024 | 391 | 52 | 51 |
| nonplanar_K_5_e_40_p8.dimacs | D | 12-May-2024 | 393 | 52 | 51 |
| nonplanar_K_5_e_40_p9.dimacs | D | 12-May-2024 | 391 | 52 | 51 |
| nonplanar_K_5_e_50.dimacs | D | 12-May-2024 | 463 | 62 | 61 |
| nonplanar_K_5_e_50_p0.dimacs | D | 12-May-2024 | 471 | 62 | 61 |
| nonplanar_K_5_e_50_p1.dimacs | D | 12-May-2024 | 473 | 62 | 61 |
| nonplanar_K_5_e_50_p2.dimacs | D | 12-May-2024 | 471 | 62 | 61 |
| nonplanar_K_5_e_50_p3.dimacs | D | 12-May-2024 | 469 | 62 | 61 |
| nonplanar_K_5_e_50_p4.dimacs | D | 12-May-2024 | 469 | 62 | 61 |
| nonplanar_K_5_e_50_p5.dimacs | D | 12-May-2024 | 469 | 62 | 61 |
| nonplanar_K_5_e_50_p6.dimacs | D | 12-May-2024 | 473 | 62 | 61 |
| nonplanar_K_5_e_50_p7.dimacs | D | 12-May-2024 | 471 | 62 | 61 |
| nonplanar_K_5_e_50_p8.dimacs | D | 12-May-2024 | 469 | 62 | 61 |
| nonplanar_K_5_e_50_p9.dimacs | D | 12-May-2024 | 469 | 62 | 61 |
| nonplanar_K_5_e_6.dimacs | D | 12-May-2024 | 111 | 18 | 17 |
| nonplanar_K_5_e_6_p0.dimacs | D | 12-May-2024 | 111 | 18 | 17 |
| nonplanar_K_5_e_6_p1.dimacs | D | 12-May-2024 | 111 | 18 | 17 |
| nonplanar_K_5_e_6_p2.dimacs | D | 12-May-2024 | 113 | 18 | 17 |
| nonplanar_K_5_e_6_p3.dimacs | D | 12-May-2024 | 111 | 18 | 17 |
| nonplanar_K_5_e_6_p4.dimacs | D | 12-May-2024 | 111 | 18 | 17 |
| nonplanar_K_5_e_6_p5.dimacs | D | 12-May-2024 | 111 | 18 | 17 |
| nonplanar_K_5_e_6_p6.dimacs | D | 12-May-2024 | 113 | 18 | 17 |
| nonplanar_K_5_e_6_p7.dimacs | D | 12-May-2024 | 113 | 18 | 17 |
| nonplanar_K_5_e_6_p8.dimacs | D | 12-May-2024 | 111 | 18 | 17 |
| nonplanar_K_5_e_6_p9.dimacs | D | 12-May-2024 | 111 | 18 | 17 |
| nonplanar_K_5_e_7.dimacs | D | 12-May-2024 | 119 | 19 | 18 |
| nonplanar_K_5_e_7_p0.dimacs | D | 12-May-2024 | 123 | 19 | 18 |
| nonplanar_K_5_e_7_p1.dimacs | D | 12-May-2024 | 123 | 19 | 18 |
| nonplanar_K_5_e_7_p2.dimacs | D | 12-May-2024 | 123 | 19 | 18 |
| nonplanar_K_5_e_7_p3.dimacs | D | 12-May-2024 | 119 | 19 | 18 |
| nonplanar_K_5_e_7_p4.dimacs | D | 12-May-2024 | 121 | 19 | 18 |
| nonplanar_K_5_e_7_p5.dimacs | D | 12-May-2024 | 121 | 19 | 18 |
| nonplanar_K_5_e_7_p6.dimacs | D | 12-May-2024 | 121 | 19 | 18 |
| nonplanar_K_5_e_7_p7.dimacs | D | 12-May-2024 | 121 | 19 | 18 |
| nonplanar_K_5_e_7_p8.dimacs | D | 12-May-2024 | 121 | 19 | 18 |
| nonplanar_K_5_e_7_p9.dimacs | D | 12-May-2024 | 121 | 19 | 18 |
| nonplanar_K_5_e_8.dimacs | D | 12-May-2024 | 127 | 20 | 19 |
| nonplanar_K_5_e_8_p0.dimacs | D | 12-May-2024 | 131 | 20 | 19 |
| nonplanar_K_5_e_8_p1.dimacs | D | 12-May-2024 | 129 | 20 | 19 |
| nonplanar_K_5_e_8_p2.dimacs | D | 12-May-2024 | 131 | 20 | 19 |
| nonplanar_K_5_e_8_p3.dimacs | D | 12-May-2024 | 131 | 20 | 19 |
| nonplanar_K_5_e_8_p4.dimacs | D | 12-May-2024 | 127 | 20 | 19 |
| nonplanar_K_5_e_8_p5.dimacs | D | 12-May-2024 | 127 | 20 | 19 |
| nonplanar_K_5_e_8_p6.dimacs | D | 12-May-2024 | 129 | 20 | 19 |
| nonplanar_K_5_e_8_p7.dimacs | D | 12-May-2024 | 129 | 20 | 19 |
| nonplanar_K_5_e_8_p8.dimacs | D | 12-May-2024 | 131 | 20 | 19 |
| nonplanar_K_5_e_8_p9.dimacs | D | 12-May-2024 | 131 | 20 | 19 |
| nonplanar_K_5_e_9.dimacs | D | 12-May-2024 | 135 | 21 | 20 |
| nonplanar_K_5_e_9_p0.dimacs | D | 12-May-2024 | 137 | 21 | 20 |
| nonplanar_K_5_e_9_p1.dimacs | D | 12-May-2024 | 139 | 21 | 20 |
| nonplanar_K_5_e_9_p2.dimacs | D | 12-May-2024 | 139 | 21 | 20 |
| nonplanar_K_5_e_9_p3.dimacs | D | 12-May-2024 | 137 | 21 | 20 |
| nonplanar_K_5_e_9_p4.dimacs | D | 12-May-2024 | 137 | 21 | 20 |
| nonplanar_K_5_e_9_p5.dimacs | D | 12-May-2024 | 137 | 21 | 20 |
| nonplanar_K_5_e_9_p6.dimacs | D | 12-May-2024 | 139 | 21 | 20 |
| nonplanar_K_5_e_9_p7.dimacs | D | 12-May-2024 | 137 | 21 | 20 |
| nonplanar_K_5_e_9_p8.dimacs | D | 12-May-2024 | 139 | 21 | 20 |
| nonplanar_K_5_e_9_p9.dimacs | D | 12-May-2024 | 137 | 21 | 20 |
| nonplanar_K_5_p0.dimacs | D | 12-May-2024 | 72 | 12 | 11 |
| nonplanar_K_5_p1.dimacs | D | 12-May-2024 | 72 | 12 | 11 |
| nonplanar_K_5_p2.dimacs | D | 12-May-2024 | 72 | 12 | 11 |
| nonplanar_K_5_p3.dimacs | D | 12-May-2024 | 72 | 12 | 11 |
| nonplanar_K_5_p4.dimacs | D | 12-May-2024 | 72 | 12 | 11 |
| nonplanar_K_5_p5.dimacs | D | 12-May-2024 | 72 | 12 | 11 |
| nonplanar_K_5_p6.dimacs | D | 12-May-2024 | 72 | 12 | 11 |
| nonplanar_K_5_p7.dimacs | D | 12-May-2024 | 72 | 12 | 11 |
| nonplanar_K_5_p8.dimacs | D | 12-May-2024 | 72 | 12 | 11 |
| nonplanar_K_5_p9.dimacs | D | 12-May-2024 | 72 | 12 | 11 |
| nonplanar_case_A_1.dimacs | D | 12-May-2024 | 435 | 58 | 56 |
| nonplanar_case_B_1.dimacs | D | 12-May-2024 | 226 | 33 | 31 |
| nonplanar_case_B_2.dimacs | D | 12-May-2024 | 438 | 58 | 56 |
| nonplanar_case_B_sc.dimacs | D | 12-May-2024 | 122 | 21 | 19 |
| nonplanar_case_B_scl.dimacs | D | 12-May-2024 | 9.6 KiB | 1,003 | 1,001 |
| nonplanar_case_B_z_w.dimacs | D | 12-May-2024 | 434 | 58 | 56 |
| nonplanar_case_C_1.dimacs | D | 12-May-2024 | 104 | 18 | 16 |
| nonplanar_case_C_10.dimacs | D | 12-May-2024 | 430 | 58 | 56 |
| nonplanar_case_C_11.dimacs | D | 12-May-2024 | 428 | 58 | 56 |
| nonplanar_case_C_2.dimacs | D | 12-May-2024 | 104 | 18 | 16 |
| nonplanar_case_C_3.dimacs | D | 12-May-2024 | 104 | 18 | 16 |
| nonplanar_case_C_4.dimacs | D | 12-May-2024 | 104 | 18 | 16 |
| nonplanar_case_C_5.dimacs | D | 12-May-2024 | 104 | 18 | 16 |
| nonplanar_case_C_6.dimacs | D | 12-May-2024 | 104 | 18 | 16 |
| nonplanar_case_C_7.dimacs | D | 12-May-2024 | 227 | 33 | 31 |
| nonplanar_case_C_8.dimacs | D | 12-May-2024 | 230 | 33 | 31 |
| nonplanar_case_C_9.dimacs | D | 12-May-2024 | 216 | 33 | 31 |
| nonplanar_case_D_1.dimacs | D | 12-May-2024 | 401 | 53 | 51 |
| nonplanar_case_D_2.dimacs | D | 12-May-2024 | 104 | 18 | 16 |
| nonplanar_case_D_3.dimacs | D | 12-May-2024 | 435 | 58 | 56 |
| nonplanar_case_D_4.dimacs | D | 12-May-2024 | 426 | 58 | 56 |
| nonplanar_case_D_5.dimacs | D | 12-May-2024 | 438 | 58 | 56 |
| nonplanar_case_E_1.dimacs | D | 12-May-2024 | 220 | 33 | 31 |
| nonplanar_case_E_2.dimacs | D | 12-May-2024 | 224 | 33 | 31 |
| nonplanar_case_E_3.dimacs | D | 12-May-2024 | 229 | 33 | 31 |
| nonplanar_case_E_4.dimacs | D | 12-May-2024 | 215 | 33 | 31 |
| nonplanar_case_E_5.dimacs | D | 12-May-2024 | 228 | 33 | 31 |
| nonplanar_case_E_6.dimacs | D | 12-May-2024 | 594 | 78 | 76 |
| nonplanar_case_E_7.dimacs | D | 12-May-2024 | 424 | 58 | 56 |
| nonplanar_mpo_10.dimacs | D | 12-May-2024 | 162 | 26 | 26 |
| nonplanar_mpo_100.dimacs | D | 12-May-2024 | 2.2 KiB | 296 | 296 |
| nonplanar_mpo_100_p0.dimacs | D | 12-May-2024 | 2.3 KiB | 297 | 296 |
| nonplanar_mpo_100_p1.dimacs | D | 12-May-2024 | 2.3 KiB | 297 | 296 |
| nonplanar_mpo_100_p2.dimacs | D | 12-May-2024 | 2.2 KiB | 297 | 296 |
| nonplanar_mpo_100_p3.dimacs | D | 12-May-2024 | 2.3 KiB | 297 | 296 |
| nonplanar_mpo_100_p4.dimacs | D | 12-May-2024 | 2.3 KiB | 297 | 296 |
| nonplanar_mpo_100_p5.dimacs | D | 12-May-2024 | 2.3 KiB | 297 | 296 |
| nonplanar_mpo_100_p6.dimacs | D | 12-May-2024 | 2.3 KiB | 297 | 296 |
| nonplanar_mpo_100_p7.dimacs | D | 12-May-2024 | 2.3 KiB | 297 | 296 |
| nonplanar_mpo_100_p8.dimacs | D | 12-May-2024 | 2.3 KiB | 297 | 296 |
| nonplanar_mpo_100_p9.dimacs | D | 12-May-2024 | 2.3 KiB | 297 | 296 |
| nonplanar_mpo_10_p0.dimacs | D | 12-May-2024 | 163 | 27 | 26 |
| nonplanar_mpo_10_p1.dimacs | D | 12-May-2024 | 163 | 27 | 26 |
| nonplanar_mpo_10_p2.dimacs | D | 12-May-2024 | 163 | 27 | 26 |
| nonplanar_mpo_10_p3.dimacs | D | 12-May-2024 | 163 | 27 | 26 |
| nonplanar_mpo_10_p4.dimacs | D | 12-May-2024 | 163 | 27 | 26 |
| nonplanar_mpo_10_p5.dimacs | D | 12-May-2024 | 163 | 27 | 26 |
| nonplanar_mpo_10_p6.dimacs | D | 12-May-2024 | 163 | 27 | 26 |
| nonplanar_mpo_10_p7.dimacs | D | 12-May-2024 | 163 | 27 | 26 |
| nonplanar_mpo_10_p8.dimacs | D | 12-May-2024 | 163 | 27 | 26 |
| nonplanar_mpo_10_p9.dimacs | D | 12-May-2024 | 163 | 27 | 26 |
| nonplanar_mpo_30.dimacs | D | 12-May-2024 | 627 | 86 | 86 |
| nonplanar_mpo_30_p0.dimacs | D | 12-May-2024 | 628 | 87 | 86 |
| nonplanar_mpo_30_p1.dimacs | D | 12-May-2024 | 628 | 87 | 86 |
| nonplanar_mpo_30_p2.dimacs | D | 12-May-2024 | 654 | 87 | 86 |
| nonplanar_mpo_30_p3.dimacs | D | 12-May-2024 | 628 | 87 | 86 |
| nonplanar_mpo_30_p4.dimacs | D | 12-May-2024 | 654 | 87 | 86 |
| nonplanar_mpo_30_p5.dimacs | D | 12-May-2024 | 652 | 87 | 86 |
| nonplanar_mpo_30_p6.dimacs | D | 12-May-2024 | 654 | 87 | 86 |
| nonplanar_mpo_30_p7.dimacs | D | 12-May-2024 | 627 | 87 | 86 |
| nonplanar_mpo_30_p8.dimacs | D | 12-May-2024 | 627 | 87 | 86 |
| nonplanar_mpo_30_p9.dimacs | D | 12-May-2024 | 652 | 87 | 86 |
| nonplanar_mpo_50.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 146 |
| nonplanar_mpo_50_p0.dimacs | D | 12-May-2024 | 1.1 KiB | 147 | 146 |
| nonplanar_mpo_50_p1.dimacs | D | 12-May-2024 | 1.1 KiB | 147 | 146 |
| nonplanar_mpo_50_p2.dimacs | D | 12-May-2024 | 1.1 KiB | 147 | 146 |
| nonplanar_mpo_50_p3.dimacs | D | 12-May-2024 | 1 KiB | 147 | 146 |
| nonplanar_mpo_50_p4.dimacs | D | 12-May-2024 | 1.1 KiB | 147 | 146 |
| nonplanar_mpo_50_p5.dimacs | D | 12-May-2024 | 1.1 KiB | 147 | 146 |
| nonplanar_mpo_50_p6.dimacs | D | 12-May-2024 | 1.1 KiB | 147 | 146 |
| nonplanar_mpo_50_p7.dimacs | D | 12-May-2024 | 1.1 KiB | 147 | 146 |
| nonplanar_mpo_50_p8.dimacs | D | 12-May-2024 | 1.1 KiB | 147 | 146 |
| nonplanar_mpo_50_p9.dimacs | D | 12-May-2024 | 1.1 KiB | 147 | 146 |
| nonplanar_peterson.dimacs | D | 12-May-2024 | 113 | 20 | 17 |
| nonplanar_peterson_p0.dimacs | D | 12-May-2024 | 103 | 17 | 16 |
| nonplanar_peterson_p1.dimacs | D | 12-May-2024 | 103 | 17 | 16 |
| nonplanar_peterson_p2.dimacs | D | 12-May-2024 | 103 | 17 | 16 |
| nonplanar_peterson_p3.dimacs | D | 12-May-2024 | 103 | 17 | 16 |
| nonplanar_peterson_p4.dimacs | D | 12-May-2024 | 103 | 17 | 16 |
| nonplanar_peterson_p5.dimacs | D | 12-May-2024 | 103 | 17 | 16 |
| nonplanar_peterson_p6.dimacs | D | 12-May-2024 | 103 | 17 | 16 |
| nonplanar_peterson_p7.dimacs | D | 12-May-2024 | 103 | 17 | 16 |
| nonplanar_peterson_p8.dimacs | D | 12-May-2024 | 103 | 17 | 16 |
| nonplanar_peterson_p9.dimacs | D | 12-May-2024 | 103 | 17 | 16 |
| nonplanar_rot_case_D.dimacs | D | 12-May-2024 | 224 | 33 | 31 |
| nonplanar_twisted_sc.dimacs | D | 12-May-2024 | 134 | 23 | 21 |
| planar_5_con_cycles_a.dimacs | D | 12-May-2024 | 299 | 40 | 32 |
| planar_5_con_cycles_a_p0.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_5_con_cycles_a_p1.dimacs | D | 12-May-2024 | 229 | 32 | 31 |
| planar_5_con_cycles_a_p2.dimacs | D | 12-May-2024 | 227 | 32 | 31 |
| planar_5_con_cycles_a_p3.dimacs | D | 12-May-2024 | 229 | 32 | 31 |
| planar_5_con_cycles_a_p4.dimacs | D | 12-May-2024 | 227 | 32 | 31 |
| planar_5_con_cycles_a_p5.dimacs | D | 12-May-2024 | 231 | 32 | 31 |
| planar_5_con_cycles_a_p6.dimacs | D | 12-May-2024 | 229 | 32 | 31 |
| planar_5_con_cycles_a_p7.dimacs | D | 12-May-2024 | 229 | 32 | 31 |
| planar_5_con_cycles_a_p8.dimacs | D | 12-May-2024 | 229 | 32 | 31 |
| planar_5_con_cycles_a_p9.dimacs | D | 12-May-2024 | 227 | 32 | 31 |
| planar_5_con_cycles_b.dimacs | D | 12-May-2024 | 307 | 42 | 33 |
| planar_5_con_cycles_b_p0.dimacs | D | 12-May-2024 | 235 | 33 | 32 |
| planar_5_con_cycles_b_p1.dimacs | D | 12-May-2024 | 238 | 33 | 32 |
| planar_5_con_cycles_b_p2.dimacs | D | 12-May-2024 | 233 | 33 | 32 |
| planar_5_con_cycles_b_p3.dimacs | D | 12-May-2024 | 231 | 33 | 32 |
| planar_5_con_cycles_b_p4.dimacs | D | 12-May-2024 | 235 | 33 | 32 |
| planar_5_con_cycles_b_p5.dimacs | D | 12-May-2024 | 236 | 33 | 32 |
| planar_5_con_cycles_b_p6.dimacs | D | 12-May-2024 | 241 | 33 | 32 |
| planar_5_con_cycles_b_p7.dimacs | D | 12-May-2024 | 236 | 33 | 32 |
| planar_5_con_cycles_b_p8.dimacs | D | 12-May-2024 | 239 | 33 | 32 |
| planar_5_con_cycles_b_p9.dimacs | D | 12-May-2024 | 235 | 33 | 32 |
| planar_5_con_cycles_c.dimacs | D | 12-May-2024 | 320 | 43 | 34 |
| planar_5_con_cycles_c_p0.dimacs | D | 12-May-2024 | 202 | 29 | 28 |
| planar_5_con_cycles_c_p1.dimacs | D | 12-May-2024 | 206 | 29 | 28 |
| planar_5_con_cycles_c_p2.dimacs | D | 12-May-2024 | 203 | 29 | 28 |
| planar_5_con_cycles_c_p3.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| planar_5_con_cycles_c_p4.dimacs | D | 12-May-2024 | 203 | 29 | 28 |
| planar_5_con_cycles_c_p5.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| planar_5_con_cycles_c_p6.dimacs | D | 12-May-2024 | 200 | 29 | 28 |
| planar_5_con_cycles_c_p7.dimacs | D | 12-May-2024 | 206 | 29 | 28 |
| planar_5_con_cycles_c_p8.dimacs | D | 12-May-2024 | 201 | 29 | 28 |
| planar_5_con_cycles_c_p9.dimacs | D | 12-May-2024 | 202 | 29 | 28 |
| planar_5_con_cycles_d.dimacs | D | 12-May-2024 | 323 | 44 | 35 |
| planar_5_con_cycles_d_p0.dimacs | D | 12-May-2024 | 250 | 35 | 34 |
| planar_5_con_cycles_d_p1.dimacs | D | 12-May-2024 | 253 | 35 | 34 |
| planar_5_con_cycles_d_p2.dimacs | D | 12-May-2024 | 249 | 35 | 34 |
| planar_5_con_cycles_d_p3.dimacs | D | 12-May-2024 | 252 | 35 | 34 |
| planar_5_con_cycles_d_p4.dimacs | D | 12-May-2024 | 251 | 35 | 34 |
| planar_5_con_cycles_d_p5.dimacs | D | 12-May-2024 | 246 | 35 | 34 |
| planar_5_con_cycles_d_p6.dimacs | D | 12-May-2024 | 253 | 35 | 34 |
| planar_5_con_cycles_d_p7.dimacs | D | 12-May-2024 | 249 | 35 | 34 |
| planar_5_con_cycles_d_p8.dimacs | D | 12-May-2024 | 250 | 35 | 34 |
| planar_5_con_cycles_d_p9.dimacs | D | 12-May-2024 | 249 | 35 | 34 |
| planar_5_con_cycles_e.dimacs | D | 12-May-2024 | 426 | 57 | 49 |
| planar_5_con_cycles_e_p0.dimacs | D | 12-May-2024 | 349 | 49 | 48 |
| planar_5_con_cycles_e_p1.dimacs | D | 12-May-2024 | 351 | 49 | 48 |
| planar_5_con_cycles_e_p2.dimacs | D | 12-May-2024 | 349 | 49 | 48 |
| planar_5_con_cycles_e_p3.dimacs | D | 12-May-2024 | 352 | 49 | 48 |
| planar_5_con_cycles_e_p4.dimacs | D | 12-May-2024 | 348 | 49 | 48 |
| planar_5_con_cycles_e_p5.dimacs | D | 12-May-2024 | 350 | 49 | 48 |
| planar_5_con_cycles_e_p6.dimacs | D | 12-May-2024 | 347 | 49 | 48 |
| planar_5_con_cycles_e_p7.dimacs | D | 12-May-2024 | 354 | 49 | 48 |
| planar_5_con_cycles_e_p8.dimacs | D | 12-May-2024 | 355 | 49 | 48 |
| planar_5_con_cycles_e_p9.dimacs | D | 12-May-2024 | 344 | 49 | 48 |
| planar_K_3_3_sub_1.dimacs | D | 12-May-2024 | 69 | 13 | 10 |
| planar_K_3_3_sub_1_p0.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_1_p1.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_1_p2.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_1_p3.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_1_p4.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_1_p5.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_1_p6.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_1_p7.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_1_p8.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_1_p9.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_2.dimacs | D | 12-May-2024 | 69 | 13 | 10 |
| planar_K_3_3_sub_2_p0.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_2_p1.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_2_p2.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_2_p3.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_2_p4.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_2_p5.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_2_p6.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_2_p7.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_2_p8.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_2_p9.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_3.dimacs | D | 12-May-2024 | 69 | 13 | 10 |
| planar_K_3_3_sub_3_p0.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_3_p1.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_3_p2.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_3_p3.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_3_p4.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_3_p5.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_3_p6.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_3_p7.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_3_p8.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_3_p9.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_4.dimacs | D | 12-May-2024 | 69 | 13 | 10 |
| planar_K_3_3_sub_4_p0.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_4_p1.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_4_p2.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_4_p3.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_4_p4.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_4_p5.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_4_p6.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_4_p7.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_4_p8.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_4_p9.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_5.dimacs | D | 12-May-2024 | 69 | 13 | 10 |
| planar_K_3_3_sub_5_p0.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_5_p1.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_5_p2.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_5_p3.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_5_p4.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_5_p5.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_5_p6.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_5_p7.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_5_p8.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_5_p9.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_6.dimacs | D | 12-May-2024 | 69 | 13 | 10 |
| planar_K_3_3_sub_6_p0.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_6_p1.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_6_p2.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_6_p3.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_6_p4.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_6_p5.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_6_p6.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_6_p7.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_6_p8.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_6_p9.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_7.dimacs | D | 12-May-2024 | 69 | 13 | 10 |
| planar_K_3_3_sub_7_p0.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_7_p1.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_7_p2.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_7_p3.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_7_p4.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_7_p5.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_7_p6.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_7_p7.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_7_p8.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_7_p9.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_8.dimacs | D | 12-May-2024 | 69 | 13 | 10 |
| planar_K_3_3_sub_8_p0.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_8_p1.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_8_p2.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_8_p3.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_8_p4.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_8_p5.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_8_p6.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_8_p7.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_8_p8.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_8_p9.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_9.dimacs | D | 12-May-2024 | 69 | 13 | 10 |
| planar_K_3_3_sub_9_p0.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_9_p1.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_9_p2.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_9_p3.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_9_p4.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_9_p5.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_9_p6.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_9_p7.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_9_p8.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_3_3_sub_9_p9.dimacs | D | 12-May-2024 | 59 | 10 | 9 |
| planar_K_4.dimacs | D | 12-May-2024 | 55 | 11 | 8 |
| planar_K_4_e_10.dimacs | D | 12-May-2024 | 117 | 18 | 17 |
| planar_K_4_e_100.dimacs | D | 12-May-2024 | 847 | 108 | 107 |
| planar_K_4_e_100_p0.dimacs | D | 12-May-2024 | 852 | 108 | 107 |
| planar_K_4_e_100_p1.dimacs | D | 12-May-2024 | 851 | 108 | 107 |
| planar_K_4_e_100_p2.dimacs | D | 12-May-2024 | 851 | 108 | 107 |
| planar_K_4_e_100_p3.dimacs | D | 12-May-2024 | 851 | 108 | 107 |
| planar_K_4_e_100_p4.dimacs | D | 12-May-2024 | 851 | 108 | 107 |
| planar_K_4_e_100_p5.dimacs | D | 12-May-2024 | 850 | 108 | 107 |
| planar_K_4_e_100_p6.dimacs | D | 12-May-2024 | 851 | 108 | 107 |
| planar_K_4_e_100_p7.dimacs | D | 12-May-2024 | 851 | 108 | 107 |
| planar_K_4_e_100_p8.dimacs | D | 12-May-2024 | 850 | 108 | 107 |
| planar_K_4_e_100_p9.dimacs | D | 12-May-2024 | 851 | 108 | 107 |
| planar_K_4_e_10_p0.dimacs | D | 12-May-2024 | 120 | 18 | 17 |
| planar_K_4_e_10_p1.dimacs | D | 12-May-2024 | 118 | 18 | 17 |
| planar_K_4_e_10_p2.dimacs | D | 12-May-2024 | 117 | 18 | 17 |
| planar_K_4_e_10_p3.dimacs | D | 12-May-2024 | 119 | 18 | 17 |
| planar_K_4_e_10_p4.dimacs | D | 12-May-2024 | 118 | 18 | 17 |
| planar_K_4_e_10_p5.dimacs | D | 12-May-2024 | 119 | 18 | 17 |
| planar_K_4_e_10_p6.dimacs | D | 12-May-2024 | 118 | 18 | 17 |
| planar_K_4_e_10_p7.dimacs | D | 12-May-2024 | 117 | 18 | 17 |
| planar_K_4_e_10_p8.dimacs | D | 12-May-2024 | 117 | 18 | 17 |
| planar_K_4_e_10_p9.dimacs | D | 12-May-2024 | 118 | 18 | 17 |
| planar_K_4_e_11.dimacs | D | 12-May-2024 | 125 | 19 | 18 |
| planar_K_4_e_11_p0.dimacs | D | 12-May-2024 | 126 | 19 | 18 |
| planar_K_4_e_11_p1.dimacs | D | 12-May-2024 | 128 | 19 | 18 |
| planar_K_4_e_11_p2.dimacs | D | 12-May-2024 | 126 | 19 | 18 |
| planar_K_4_e_11_p3.dimacs | D | 12-May-2024 | 126 | 19 | 18 |
| planar_K_4_e_11_p4.dimacs | D | 12-May-2024 | 127 | 19 | 18 |
| planar_K_4_e_11_p5.dimacs | D | 12-May-2024 | 126 | 19 | 18 |
| planar_K_4_e_11_p6.dimacs | D | 12-May-2024 | 127 | 19 | 18 |
| planar_K_4_e_11_p7.dimacs | D | 12-May-2024 | 126 | 19 | 18 |
| planar_K_4_e_11_p8.dimacs | D | 12-May-2024 | 128 | 19 | 18 |
| planar_K_4_e_11_p9.dimacs | D | 12-May-2024 | 127 | 19 | 18 |
| planar_K_4_e_12.dimacs | D | 12-May-2024 | 133 | 20 | 19 |
| planar_K_4_e_12_p0.dimacs | D | 12-May-2024 | 135 | 20 | 19 |
| planar_K_4_e_12_p1.dimacs | D | 12-May-2024 | 134 | 20 | 19 |
| planar_K_4_e_12_p2.dimacs | D | 12-May-2024 | 135 | 20 | 19 |
| planar_K_4_e_12_p3.dimacs | D | 12-May-2024 | 134 | 20 | 19 |
| planar_K_4_e_12_p4.dimacs | D | 12-May-2024 | 135 | 20 | 19 |
| planar_K_4_e_12_p5.dimacs | D | 12-May-2024 | 134 | 20 | 19 |
| planar_K_4_e_12_p6.dimacs | D | 12-May-2024 | 133 | 20 | 19 |
| planar_K_4_e_12_p7.dimacs | D | 12-May-2024 | 134 | 20 | 19 |
| planar_K_4_e_12_p8.dimacs | D | 12-May-2024 | 134 | 20 | 19 |
| planar_K_4_e_12_p9.dimacs | D | 12-May-2024 | 135 | 20 | 19 |
| planar_K_4_e_13.dimacs | D | 12-May-2024 | 141 | 21 | 20 |
| planar_K_4_e_13_p0.dimacs | D | 12-May-2024 | 142 | 21 | 20 |
| planar_K_4_e_13_p1.dimacs | D | 12-May-2024 | 142 | 21 | 20 |
| planar_K_4_e_13_p2.dimacs | D | 12-May-2024 | 144 | 21 | 20 |
| planar_K_4_e_13_p3.dimacs | D | 12-May-2024 | 144 | 21 | 20 |
| planar_K_4_e_13_p4.dimacs | D | 12-May-2024 | 143 | 21 | 20 |
| planar_K_4_e_13_p5.dimacs | D | 12-May-2024 | 143 | 21 | 20 |
| planar_K_4_e_13_p6.dimacs | D | 12-May-2024 | 141 | 21 | 20 |
| planar_K_4_e_13_p7.dimacs | D | 12-May-2024 | 144 | 21 | 20 |
| planar_K_4_e_13_p8.dimacs | D | 12-May-2024 | 144 | 21 | 20 |
| planar_K_4_e_13_p9.dimacs | D | 12-May-2024 | 142 | 21 | 20 |
| planar_K_4_e_14.dimacs | D | 12-May-2024 | 149 | 22 | 21 |
| planar_K_4_e_14_p0.dimacs | D | 12-May-2024 | 150 | 22 | 21 |
| planar_K_4_e_14_p1.dimacs | D | 12-May-2024 | 150 | 22 | 21 |
| planar_K_4_e_14_p2.dimacs | D | 12-May-2024 | 151 | 22 | 21 |
| planar_K_4_e_14_p3.dimacs | D | 12-May-2024 | 151 | 22 | 21 |
| planar_K_4_e_14_p4.dimacs | D | 12-May-2024 | 151 | 22 | 21 |
| planar_K_4_e_14_p5.dimacs | D | 12-May-2024 | 150 | 22 | 21 |
| planar_K_4_e_14_p6.dimacs | D | 12-May-2024 | 151 | 22 | 21 |
| planar_K_4_e_14_p7.dimacs | D | 12-May-2024 | 152 | 22 | 21 |
| planar_K_4_e_14_p8.dimacs | D | 12-May-2024 | 152 | 22 | 21 |
| planar_K_4_e_14_p9.dimacs | D | 12-May-2024 | 151 | 22 | 21 |
| planar_K_4_e_15.dimacs | D | 12-May-2024 | 157 | 23 | 22 |
| planar_K_4_e_15_p0.dimacs | D | 12-May-2024 | 159 | 23 | 22 |
| planar_K_4_e_15_p1.dimacs | D | 12-May-2024 | 159 | 23 | 22 |
| planar_K_4_e_15_p2.dimacs | D | 12-May-2024 | 158 | 23 | 22 |
| planar_K_4_e_15_p3.dimacs | D | 12-May-2024 | 158 | 23 | 22 |
| planar_K_4_e_15_p4.dimacs | D | 12-May-2024 | 157 | 23 | 22 |
| planar_K_4_e_15_p5.dimacs | D | 12-May-2024 | 159 | 23 | 22 |
| planar_K_4_e_15_p6.dimacs | D | 12-May-2024 | 159 | 23 | 22 |
| planar_K_4_e_15_p7.dimacs | D | 12-May-2024 | 160 | 23 | 22 |
| planar_K_4_e_15_p8.dimacs | D | 12-May-2024 | 158 | 23 | 22 |
| planar_K_4_e_15_p9.dimacs | D | 12-May-2024 | 159 | 23 | 22 |
| planar_K_4_e_16.dimacs | D | 12-May-2024 | 165 | 24 | 23 |
| planar_K_4_e_16_p0.dimacs | D | 12-May-2024 | 166 | 24 | 23 |
| planar_K_4_e_16_p1.dimacs | D | 12-May-2024 | 169 | 24 | 23 |
| planar_K_4_e_16_p2.dimacs | D | 12-May-2024 | 168 | 24 | 23 |
| planar_K_4_e_16_p3.dimacs | D | 12-May-2024 | 169 | 24 | 23 |
| planar_K_4_e_16_p4.dimacs | D | 12-May-2024 | 167 | 24 | 23 |
| planar_K_4_e_16_p5.dimacs | D | 12-May-2024 | 167 | 24 | 23 |
| planar_K_4_e_16_p6.dimacs | D | 12-May-2024 | 166 | 24 | 23 |
| planar_K_4_e_16_p7.dimacs | D | 12-May-2024 | 166 | 24 | 23 |
| planar_K_4_e_16_p8.dimacs | D | 12-May-2024 | 167 | 24 | 23 |
| planar_K_4_e_16_p9.dimacs | D | 12-May-2024 | 166 | 24 | 23 |
| planar_K_4_e_17.dimacs | D | 12-May-2024 | 173 | 25 | 24 |
| planar_K_4_e_17_p0.dimacs | D | 12-May-2024 | 174 | 25 | 24 |
| planar_K_4_e_17_p1.dimacs | D | 12-May-2024 | 175 | 25 | 24 |
| planar_K_4_e_17_p2.dimacs | D | 12-May-2024 | 176 | 25 | 24 |
| planar_K_4_e_17_p3.dimacs | D | 12-May-2024 | 176 | 25 | 24 |
| planar_K_4_e_17_p4.dimacs | D | 12-May-2024 | 175 | 25 | 24 |
| planar_K_4_e_17_p5.dimacs | D | 12-May-2024 | 175 | 25 | 24 |
| planar_K_4_e_17_p6.dimacs | D | 12-May-2024 | 174 | 25 | 24 |
| planar_K_4_e_17_p7.dimacs | D | 12-May-2024 | 176 | 25 | 24 |
| planar_K_4_e_17_p8.dimacs | D | 12-May-2024 | 174 | 25 | 24 |
| planar_K_4_e_17_p9.dimacs | D | 12-May-2024 | 176 | 25 | 24 |
| planar_K_4_e_18.dimacs | D | 12-May-2024 | 181 | 26 | 25 |
| planar_K_4_e_18_p0.dimacs | D | 12-May-2024 | 184 | 26 | 25 |
| planar_K_4_e_18_p1.dimacs | D | 12-May-2024 | 183 | 26 | 25 |
| planar_K_4_e_18_p2.dimacs | D | 12-May-2024 | 184 | 26 | 25 |
| planar_K_4_e_18_p3.dimacs | D | 12-May-2024 | 185 | 26 | 25 |
| planar_K_4_e_18_p4.dimacs | D | 12-May-2024 | 185 | 26 | 25 |
| planar_K_4_e_18_p5.dimacs | D | 12-May-2024 | 183 | 26 | 25 |
| planar_K_4_e_18_p6.dimacs | D | 12-May-2024 | 181 | 26 | 25 |
| planar_K_4_e_18_p7.dimacs | D | 12-May-2024 | 184 | 26 | 25 |
| planar_K_4_e_18_p8.dimacs | D | 12-May-2024 | 184 | 26 | 25 |
| planar_K_4_e_18_p9.dimacs | D | 12-May-2024 | 184 | 26 | 25 |
| planar_K_4_e_19.dimacs | D | 12-May-2024 | 189 | 27 | 26 |
| planar_K_4_e_19_p0.dimacs | D | 12-May-2024 | 192 | 27 | 26 |
| planar_K_4_e_19_p1.dimacs | D | 12-May-2024 | 190 | 27 | 26 |
| planar_K_4_e_19_p2.dimacs | D | 12-May-2024 | 190 | 27 | 26 |
| planar_K_4_e_19_p3.dimacs | D | 12-May-2024 | 191 | 27 | 26 |
| planar_K_4_e_19_p4.dimacs | D | 12-May-2024 | 189 | 27 | 26 |
| planar_K_4_e_19_p5.dimacs | D | 12-May-2024 | 191 | 27 | 26 |
| planar_K_4_e_19_p6.dimacs | D | 12-May-2024 | 193 | 27 | 26 |
| planar_K_4_e_19_p7.dimacs | D | 12-May-2024 | 190 | 27 | 26 |
| planar_K_4_e_19_p8.dimacs | D | 12-May-2024 | 191 | 27 | 26 |
| planar_K_4_e_19_p9.dimacs | D | 12-May-2024 | 192 | 27 | 26 |
| planar_K_4_e_20.dimacs | D | 12-May-2024 | 197 | 28 | 27 |
| planar_K_4_e_20_p0.dimacs | D | 12-May-2024 | 200 | 28 | 27 |
| planar_K_4_e_20_p1.dimacs | D | 12-May-2024 | 200 | 28 | 27 |
| planar_K_4_e_20_p2.dimacs | D | 12-May-2024 | 199 | 28 | 27 |
| planar_K_4_e_20_p3.dimacs | D | 12-May-2024 | 200 | 28 | 27 |
| planar_K_4_e_20_p4.dimacs | D | 12-May-2024 | 200 | 28 | 27 |
| planar_K_4_e_20_p5.dimacs | D | 12-May-2024 | 198 | 28 | 27 |
| planar_K_4_e_20_p6.dimacs | D | 12-May-2024 | 200 | 28 | 27 |
| planar_K_4_e_20_p7.dimacs | D | 12-May-2024 | 199 | 28 | 27 |
| planar_K_4_e_20_p8.dimacs | D | 12-May-2024 | 199 | 28 | 27 |
| planar_K_4_e_20_p9.dimacs | D | 12-May-2024 | 199 | 28 | 27 |
| planar_K_4_e_21.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| planar_K_4_e_21_p0.dimacs | D | 12-May-2024 | 207 | 29 | 28 |
| planar_K_4_e_21_p1.dimacs | D | 12-May-2024 | 207 | 29 | 28 |
| planar_K_4_e_21_p2.dimacs | D | 12-May-2024 | 205 | 29 | 28 |
| planar_K_4_e_21_p3.dimacs | D | 12-May-2024 | 207 | 29 | 28 |
| planar_K_4_e_21_p4.dimacs | D | 12-May-2024 | 207 | 29 | 28 |
| planar_K_4_e_21_p5.dimacs | D | 12-May-2024 | 208 | 29 | 28 |
| planar_K_4_e_21_p6.dimacs | D | 12-May-2024 | 207 | 29 | 28 |
| planar_K_4_e_21_p7.dimacs | D | 12-May-2024 | 208 | 29 | 28 |
| planar_K_4_e_21_p8.dimacs | D | 12-May-2024 | 209 | 29 | 28 |
| planar_K_4_e_21_p9.dimacs | D | 12-May-2024 | 208 | 29 | 28 |
| planar_K_4_e_25.dimacs | D | 12-May-2024 | 237 | 33 | 32 |
| planar_K_4_e_25_p0.dimacs | D | 12-May-2024 | 240 | 33 | 32 |
| planar_K_4_e_25_p1.dimacs | D | 12-May-2024 | 240 | 33 | 32 |
| planar_K_4_e_25_p2.dimacs | D | 12-May-2024 | 241 | 33 | 32 |
| planar_K_4_e_25_p3.dimacs | D | 12-May-2024 | 239 | 33 | 32 |
| planar_K_4_e_25_p4.dimacs | D | 12-May-2024 | 240 | 33 | 32 |
| planar_K_4_e_25_p5.dimacs | D | 12-May-2024 | 239 | 33 | 32 |
| planar_K_4_e_25_p6.dimacs | D | 12-May-2024 | 240 | 33 | 32 |
| planar_K_4_e_25_p7.dimacs | D | 12-May-2024 | 239 | 33 | 32 |
| planar_K_4_e_25_p8.dimacs | D | 12-May-2024 | 239 | 33 | 32 |
| planar_K_4_e_25_p9.dimacs | D | 12-May-2024 | 240 | 33 | 32 |
| planar_K_4_e_30.dimacs | D | 12-May-2024 | 277 | 38 | 37 |
| planar_K_4_e_30_p0.dimacs | D | 12-May-2024 | 279 | 38 | 37 |
| planar_K_4_e_30_p1.dimacs | D | 12-May-2024 | 280 | 38 | 37 |
| planar_K_4_e_30_p2.dimacs | D | 12-May-2024 | 280 | 38 | 37 |
| planar_K_4_e_30_p3.dimacs | D | 12-May-2024 | 278 | 38 | 37 |
| planar_K_4_e_30_p4.dimacs | D | 12-May-2024 | 280 | 38 | 37 |
| planar_K_4_e_30_p5.dimacs | D | 12-May-2024 | 280 | 38 | 37 |
| planar_K_4_e_30_p6.dimacs | D | 12-May-2024 | 281 | 38 | 37 |
| planar_K_4_e_30_p7.dimacs | D | 12-May-2024 | 279 | 38 | 37 |
| planar_K_4_e_30_p8.dimacs | D | 12-May-2024 | 280 | 38 | 37 |
| planar_K_4_e_30_p9.dimacs | D | 12-May-2024 | 279 | 38 | 37 |
| planar_K_4_e_5.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_50.dimacs | D | 12-May-2024 | 437 | 58 | 57 |
| planar_K_4_e_50_p0.dimacs | D | 12-May-2024 | 440 | 58 | 57 |
| planar_K_4_e_50_p1.dimacs | D | 12-May-2024 | 441 | 58 | 57 |
| planar_K_4_e_50_p2.dimacs | D | 12-May-2024 | 440 | 58 | 57 |
| planar_K_4_e_50_p3.dimacs | D | 12-May-2024 | 440 | 58 | 57 |
| planar_K_4_e_50_p4.dimacs | D | 12-May-2024 | 440 | 58 | 57 |
| planar_K_4_e_50_p5.dimacs | D | 12-May-2024 | 441 | 58 | 57 |
| planar_K_4_e_50_p6.dimacs | D | 12-May-2024 | 441 | 58 | 57 |
| planar_K_4_e_50_p7.dimacs | D | 12-May-2024 | 441 | 58 | 57 |
| planar_K_4_e_50_p8.dimacs | D | 12-May-2024 | 440 | 58 | 57 |
| planar_K_4_e_50_p9.dimacs | D | 12-May-2024 | 440 | 58 | 57 |
| planar_K_4_e_5_p0.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_5_p1.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_5_p2.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_5_p3.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_5_p4.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_5_p5.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_5_p6.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_5_p7.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_5_p8.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_5_p9.dimacs | D | 12-May-2024 | 78 | 13 | 12 |
| planar_K_4_e_6.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_6_p0.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_6_p1.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_6_p2.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_6_p3.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_6_p4.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_6_p5.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_6_p6.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_6_p7.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_6_p8.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_6_p9.dimacs | D | 12-May-2024 | 85 | 14 | 13 |
| planar_K_4_e_7.dimacs | D | 12-May-2024 | 93 | 15 | 14 |
| planar_K_4_e_7_p0.dimacs | D | 12-May-2024 | 94 | 15 | 14 |
| planar_K_4_e_7_p1.dimacs | D | 12-May-2024 | 93 | 15 | 14 |
| planar_K_4_e_7_p2.dimacs | D | 12-May-2024 | 93 | 15 | 14 |
| planar_K_4_e_7_p3.dimacs | D | 12-May-2024 | 94 | 15 | 14 |
| planar_K_4_e_7_p4.dimacs | D | 12-May-2024 | 93 | 15 | 14 |
| planar_K_4_e_7_p5.dimacs | D | 12-May-2024 | 94 | 15 | 14 |
| planar_K_4_e_7_p6.dimacs | D | 12-May-2024 | 94 | 15 | 14 |
| planar_K_4_e_7_p7.dimacs | D | 12-May-2024 | 93 | 15 | 14 |
| planar_K_4_e_7_p8.dimacs | D | 12-May-2024 | 94 | 15 | 14 |
| planar_K_4_e_7_p9.dimacs | D | 12-May-2024 | 94 | 15 | 14 |
| planar_K_4_e_8.dimacs | D | 12-May-2024 | 101 | 16 | 15 |
| planar_K_4_e_8_p0.dimacs | D | 12-May-2024 | 102 | 16 | 15 |
| planar_K_4_e_8_p1.dimacs | D | 12-May-2024 | 101 | 16 | 15 |
| planar_K_4_e_8_p2.dimacs | D | 12-May-2024 | 101 | 16 | 15 |
| planar_K_4_e_8_p3.dimacs | D | 12-May-2024 | 102 | 16 | 15 |
| planar_K_4_e_8_p4.dimacs | D | 12-May-2024 | 102 | 16 | 15 |
| planar_K_4_e_8_p5.dimacs | D | 12-May-2024 | 101 | 16 | 15 |
| planar_K_4_e_8_p6.dimacs | D | 12-May-2024 | 102 | 16 | 15 |
| planar_K_4_e_8_p7.dimacs | D | 12-May-2024 | 102 | 16 | 15 |
| planar_K_4_e_8_p8.dimacs | D | 12-May-2024 | 102 | 16 | 15 |
| planar_K_4_e_8_p9.dimacs | D | 12-May-2024 | 102 | 16 | 15 |
| planar_K_4_e_9.dimacs | D | 12-May-2024 | 109 | 17 | 16 |
| planar_K_4_e_9_p0.dimacs | D | 12-May-2024 | 111 | 17 | 16 |
| planar_K_4_e_9_p1.dimacs | D | 12-May-2024 | 111 | 17 | 16 |
| planar_K_4_e_9_p2.dimacs | D | 12-May-2024 | 110 | 17 | 16 |
| planar_K_4_e_9_p3.dimacs | D | 12-May-2024 | 110 | 17 | 16 |
| planar_K_4_e_9_p4.dimacs | D | 12-May-2024 | 110 | 17 | 16 |
| planar_K_4_e_9_p5.dimacs | D | 12-May-2024 | 109 | 17 | 16 |
| planar_K_4_e_9_p6.dimacs | D | 12-May-2024 | 110 | 17 | 16 |
| planar_K_4_e_9_p7.dimacs | D | 12-May-2024 | 110 | 17 | 16 |
| planar_K_4_e_9_p8.dimacs | D | 12-May-2024 | 110 | 17 | 16 |
| planar_K_4_e_9_p9.dimacs | D | 12-May-2024 | 110 | 17 | 16 |
| planar_K_4_p0.dimacs | D | 12-May-2024 | 47 | 8 | 7 |
| planar_K_4_p1.dimacs | D | 12-May-2024 | 47 | 8 | 7 |
| planar_K_4_p2.dimacs | D | 12-May-2024 | 47 | 8 | 7 |
| planar_K_4_p3.dimacs | D | 12-May-2024 | 47 | 8 | 7 |
| planar_K_4_p4.dimacs | D | 12-May-2024 | 47 | 8 | 7 |
| planar_K_4_p5.dimacs | D | 12-May-2024 | 47 | 8 | 7 |
| planar_K_4_p6.dimacs | D | 12-May-2024 | 47 | 8 | 7 |
| planar_K_4_p7.dimacs | D | 12-May-2024 | 47 | 8 | 7 |
| planar_K_4_p8.dimacs | D | 12-May-2024 | 47 | 8 | 7 |
| planar_K_4_p9.dimacs | D | 12-May-2024 | 47 | 8 | 7 |
| planar_K_5_sub_1.dimacs | D | 12-May-2024 | 87 | 14 | 11 |
| planar_K_5_sub_10.dimacs | D | 12-May-2024 | 87 | 14 | 11 |
| planar_K_5_sub_10_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_10_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_10_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_10_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_10_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_10_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_10_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_10_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_10_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_10_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_1_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_1_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_1_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_1_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_1_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_1_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_1_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_1_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_1_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_1_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_2.dimacs | D | 12-May-2024 | 87 | 14 | 11 |
| planar_K_5_sub_2_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_2_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_2_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_2_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_2_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_2_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_2_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_2_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_2_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_2_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_3.dimacs | D | 12-May-2024 | 87 | 14 | 11 |
| planar_K_5_sub_3_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_3_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_3_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_3_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_3_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_3_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_3_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_3_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_3_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_3_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_4.dimacs | D | 12-May-2024 | 87 | 14 | 11 |
| planar_K_5_sub_4_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_4_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_4_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_4_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_4_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_4_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_4_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_4_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_4_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_4_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_5.dimacs | D | 12-May-2024 | 87 | 14 | 11 |
| planar_K_5_sub_5_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_5_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_5_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_5_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_5_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_5_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_5_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_5_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_5_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_5_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_6.dimacs | D | 12-May-2024 | 87 | 14 | 11 |
| planar_K_5_sub_6_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_6_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_6_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_6_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_6_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_6_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_6_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_6_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_6_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_6_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_7.dimacs | D | 12-May-2024 | 87 | 14 | 11 |
| planar_K_5_sub_7_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_7_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_7_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_7_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_7_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_7_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_7_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_7_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_7_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_7_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_8.dimacs | D | 12-May-2024 | 87 | 14 | 11 |
| planar_K_5_sub_8_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_8_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_8_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_8_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_8_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_8_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_8_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_8_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_8_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_8_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_9.dimacs | D | 12-May-2024 | 87 | 14 | 11 |
| planar_K_5_sub_9_p0.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_9_p1.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_9_p2.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_9_p3.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_9_p4.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_9_p5.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_9_p6.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_9_p7.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_9_p8.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_K_5_sub_9_p9.dimacs | D | 12-May-2024 | 65 | 11 | 10 |
| planar_cycle_1.dimacs | D | 12-May-2024 | 244 | 35 | 32 |
| planar_cycle_1_p0.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_cycle_1_p1.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_cycle_1_p2.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_cycle_1_p3.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_cycle_1_p4.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_cycle_1_p5.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_cycle_1_p6.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_cycle_1_p7.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_cycle_1_p8.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_cycle_1_p9.dimacs | D | 12-May-2024 | 233 | 32 | 31 |
| planar_grid_graph.dimacs | D | 12-May-2024 | 398 | 64 | 51 |
| planar_grid_graph_p0.dimacs | D | 12-May-2024 | 372 | 51 | 50 |
| planar_grid_graph_p1.dimacs | D | 12-May-2024 | 372 | 51 | 50 |
| planar_grid_graph_p2.dimacs | D | 12-May-2024 | 371 | 51 | 50 |
| planar_grid_graph_p3.dimacs | D | 12-May-2024 | 371 | 51 | 50 |
| planar_grid_graph_p4.dimacs | D | 12-May-2024 | 372 | 51 | 50 |
| planar_grid_graph_p5.dimacs | D | 12-May-2024 | 370 | 51 | 50 |
| planar_grid_graph_p6.dimacs | D | 12-May-2024 | 369 | 51 | 50 |
| planar_grid_graph_p7.dimacs | D | 12-May-2024 | 374 | 51 | 50 |
| planar_grid_graph_p8.dimacs | D | 12-May-2024 | 371 | 51 | 50 |
| planar_grid_graph_p9.dimacs | D | 12-May-2024 | 373 | 51 | 50 |
| planar_line_1.dimacs | D | 12-May-2024 | 93 | 16 | 13 |
| planar_line_1_p0.dimacs | D | 12-May-2024 | 82 | 13 | 12 |
| planar_line_1_p1.dimacs | D | 12-May-2024 | 83 | 13 | 12 |
| planar_line_1_p2.dimacs | D | 12-May-2024 | 83 | 13 | 12 |
| planar_line_1_p3.dimacs | D | 12-May-2024 | 83 | 13 | 12 |
| planar_line_1_p4.dimacs | D | 12-May-2024 | 83 | 13 | 12 |
| planar_line_1_p5.dimacs | D | 12-May-2024 | 82 | 13 | 12 |
| planar_line_1_p6.dimacs | D | 12-May-2024 | 83 | 13 | 12 |
| planar_line_1_p7.dimacs | D | 12-May-2024 | 83 | 13 | 12 |
| planar_line_1_p8.dimacs | D | 12-May-2024 | 83 | 13 | 12 |
| planar_line_1_p9.dimacs | D | 12-May-2024 | 82 | 13 | 12 |
| planar_line_2.dimacs | D | 12-May-2024 | 237 | 34 | 31 |
| planar_line_2_p0.dimacs | D | 12-May-2024 | 227 | 31 | 30 |
| planar_line_2_p1.dimacs | D | 12-May-2024 | 225 | 31 | 30 |
| planar_line_2_p2.dimacs | D | 12-May-2024 | 226 | 31 | 30 |
| planar_line_2_p3.dimacs | D | 12-May-2024 | 225 | 31 | 30 |
| planar_line_2_p4.dimacs | D | 12-May-2024 | 225 | 31 | 30 |
| planar_line_2_p5.dimacs | D | 12-May-2024 | 226 | 31 | 30 |
| planar_line_2_p6.dimacs | D | 12-May-2024 | 225 | 31 | 30 |
| planar_line_2_p7.dimacs | D | 12-May-2024 | 225 | 31 | 30 |
| planar_line_2_p8.dimacs | D | 12-May-2024 | 225 | 31 | 30 |
| planar_line_2_p9.dimacs | D | 12-May-2024 | 226 | 31 | 30 |
| planar_maximal_10.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_100.dimacs | D | 12-May-2024 | 2.2 KiB | 296 | 295 |
| planar_maximal_100_p0.dimacs | D | 12-May-2024 | 2.3 KiB | 296 | 295 |
| planar_maximal_100_p1.dimacs | D | 12-May-2024 | 2.3 KiB | 296 | 295 |
| planar_maximal_100_p2.dimacs | D | 12-May-2024 | 2.3 KiB | 296 | 295 |
| planar_maximal_100_p3.dimacs | D | 12-May-2024 | 2.3 KiB | 296 | 295 |
| planar_maximal_100_p4.dimacs | D | 12-May-2024 | 2.3 KiB | 296 | 295 |
| planar_maximal_100_p5.dimacs | D | 12-May-2024 | 2.2 KiB | 296 | 295 |
| planar_maximal_100_p6.dimacs | D | 12-May-2024 | 2.3 KiB | 296 | 295 |
| planar_maximal_100_p7.dimacs | D | 12-May-2024 | 2.3 KiB | 296 | 295 |
| planar_maximal_100_p8.dimacs | D | 12-May-2024 | 2.3 KiB | 296 | 295 |
| planar_maximal_100_p9.dimacs | D | 12-May-2024 | 2.3 KiB | 296 | 295 |
| planar_maximal_10_p0.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_10_p1.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_10_p2.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_10_p3.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_10_p4.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_10_p5.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_10_p6.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_10_p7.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_10_p8.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_10_p9.dimacs | D | 12-May-2024 | 157 | 26 | 25 |
| planar_maximal_3.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_30.dimacs | D | 12-May-2024 | 621 | 86 | 85 |
| planar_maximal_30_p0.dimacs | D | 12-May-2024 | 595 | 86 | 85 |
| planar_maximal_30_p1.dimacs | D | 12-May-2024 | 646 | 86 | 85 |
| planar_maximal_30_p2.dimacs | D | 12-May-2024 | 621 | 86 | 85 |
| planar_maximal_30_p3.dimacs | D | 12-May-2024 | 647 | 86 | 85 |
| planar_maximal_30_p4.dimacs | D | 12-May-2024 | 620 | 86 | 85 |
| planar_maximal_30_p5.dimacs | D | 12-May-2024 | 620 | 86 | 85 |
| planar_maximal_30_p6.dimacs | D | 12-May-2024 | 620 | 86 | 85 |
| planar_maximal_30_p7.dimacs | D | 12-May-2024 | 621 | 86 | 85 |
| planar_maximal_30_p8.dimacs | D | 12-May-2024 | 620 | 86 | 85 |
| planar_maximal_30_p9.dimacs | D | 12-May-2024 | 595 | 86 | 85 |
| planar_maximal_3_p0.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_3_p1.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_3_p2.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_3_p3.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_3_p4.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_3_p5.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_3_p6.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_3_p7.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_3_p8.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_3_p9.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_maximal_50.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 145 |
| planar_maximal_50_p0.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 145 |
| planar_maximal_50_p1.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 145 |
| planar_maximal_50_p2.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 145 |
| planar_maximal_50_p3.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 145 |
| planar_maximal_50_p4.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 145 |
| planar_maximal_50_p5.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 145 |
| planar_maximal_50_p6.dimacs | D | 12-May-2024 | 1 KiB | 146 | 145 |
| planar_maximal_50_p7.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 145 |
| planar_maximal_50_p8.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 145 |
| planar_maximal_50_p9.dimacs | D | 12-May-2024 | 1.1 KiB | 146 | 145 |
| planar_non_bicon_1.dimacs | D | 12-May-2024 | 83 | 14 | 13 |
| planar_non_bicon_2.dimacs | D | 12-May-2024 | 89 | 15 | 14 |
| planar_non_con.dimacs | D | 12-May-2024 | 34 | 7 | 4 |
| planar_non_con_p0.dimacs | D | 12-May-2024 | 23 | 4 | 3 |
| planar_non_con_p1.dimacs | D | 12-May-2024 | 23 | 4 | 3 |
| planar_non_con_p2.dimacs | D | 12-May-2024 | 23 | 4 | 3 |
| planar_non_con_p3.dimacs | D | 12-May-2024 | 23 | 4 | 3 |
| planar_non_con_p4.dimacs | D | 12-May-2024 | 23 | 4 | 3 |
| planar_non_con_p5.dimacs | D | 12-May-2024 | 23 | 4 | 3 |
| planar_non_con_p6.dimacs | D | 12-May-2024 | 23 | 4 | 3 |
| planar_non_con_p7.dimacs | D | 12-May-2024 | 23 | 4 | 3 |
| planar_non_con_p8.dimacs | D | 12-May-2024 | 23 | 4 | 3 |
| planar_non_con_p9.dimacs | D | 12-May-2024 | 23 | 4 | 3 |
| planar_tree_1.dimacs | D | 12-May-2024 | 40 | 8 | 5 |
| planar_tree_1_p0.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_tree_1_p1.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_tree_1_p2.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_tree_1_p3.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_tree_1_p4.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_tree_1_p5.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_tree_1_p6.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_tree_1_p7.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_tree_1_p8.dimacs | D | 12-May-2024 | 29 | 5 | 4 |
| planar_tree_1_p9.dimacs | D | 12-May-2024 | 29 | 5 | 4 |