Problem irqlkeapclte_gq.ts irqlkeapclte_gqc.ts irqlkeapclte_nq72.ts irqlkeapclte_quantor.ts irqlkeapclte_rareqsuuh3pb.ts irqlkeapclte_znenofex.ts
stmt17_62_78.qdimacs.gz 800 (798+2) 134 (134+0)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 195 (193+1)
stmt17_62_98.qdimacs.gz 800 (798+2) 787 (787+1)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 208 (206+1)
stmt17_63_70.qdimacs.gz 800 (798+2) 83 (82+0)
s cnf 1 (s cnf 1)
800 (800+0) 14 (13+1) 800 (798+2) 296 (295+1)
stmt17_63_78.qdimacs.gz 800 (798+2) 119 (119+0)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 369 (367+2)
stmt17_63_82.qdimacs.gz 800 (798+2) 144 (143+0)
s cnf 1 (s cnf 1)
800 (800+0) 10 (8+1) 800 (798+2) 240 (239+1)
stmt17_70_78.qdimacs.gz 800 (798+2) 120 (120+0)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 217 (216+1)
stmt17_70_82.qdimacs.gz 800 (798+2) 159 (159+0)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 185 (184+1)
stmt17_70_86.qdimacs.gz 800 (798+2) 190 (189+0)
s cnf 1 (s cnf 1)
800 (800+0) 10 (9+1) 800 (798+2) 316 (315+2)
stmt17_70_90.qdimacs.gz 800 (798+2) 261 (260+0)
s cnf 1 (s cnf 1)
800 (800+0) 12 (11+1) 800 (798+2) 220 (218+1)
stmt17_70_98.qdimacs.gz 800 (798+2) 741 (740+1)
s cnf 1 (s cnf 1)
800 (800+0) 10 (9+1) 800 (798+2) 205 (203+1)
stmt17_74_78.qdimacs.gz 800 (798+2) 138 (138+0)
s cnf 1 (s cnf 1)
800 (800+0) 12 (11+1) 800 (798+2) 277 (275+2)
stmt17_74_90.qdimacs.gz 800 (798+2) 163 (162+0)
s cnf 1 (s cnf 1)
800 (800+0) 9 (8+1) 800 (798+2) 197 (196+1)
stmt17_78_90.qdimacs.gz 800 (798+2) 204 (204+0)
s cnf 1 (s cnf 1)
800 (800+0) 10 (9+1) 800 (798+2) 280 (278+2)
stmt17_78_94.qdimacs.gz 800 (798+2) 334 (334+1)
s cnf 1 (s cnf 1)
800 (800+0) 10 (9+1) 800 (798+2) 344 (342+2)
stmt17_78_98.qdimacs.gz 800 (798+2) 569 (568+1)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 183 (182+1)
stmt17_82_86.qdimacs.gz 800 (798+2) 215 (215+0)
s cnf 1 (s cnf 1)
800 (800+0) 10 (9+1) 800 (798+2) 196 (195+1)
stmt17_82_94.qdimacs.gz 752 (750+2) 354 (353+1)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 203 (201+1)
stmt17_82_98.qdimacs.gz 800 (798+2) 243 (243+1)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 209 (207+1)
stmt17_86_98.qdimacs.gz 784 (780+4) 303 (303+1)
s cnf 1 (s cnf 1)
800 (800+0) 12 (11+1) 800 (798+2) 226 (224+1)
stmt17_94_98.qdimacs.gz 800 (798+2) 800 (799+1) 800 (800+0) 13 (11+1) 800 (798+2) 220 (218+1)
stmt19_64_87.qdimacs.gz 800 (798+2) 159 (158+0)
s cnf 1 (s cnf 1)
800 (800+0) 10 (9+1) 800 (798+2) 660 (658+3)
stmt19_64_91.qdimacs.gz 800 (798+2) 149 (149+0)
s cnf 1 (s cnf 1)
800 (800+0) 10 (8+1) 800 (798+2) 325 (323+2)
stmt19_64_99.qdimacs.gz 800 (798+2) 619 (618+1)
s cnf 1 (s cnf 1)
800 (800+0) 11 (9+1) 800 (798+2) 231 (230+1)
stmt19_65_87.qdimacs.gz 800 (798+2) 233 (233+0)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 246 (244+1)
stmt19_65_95.qdimacs.gz 800 (798+2) 284 (284+0)
s cnf 1 (s cnf 1)
800 (800+0) 12 (10+1) 800 (798+2) 227 (226+1)
stmt19_71_95.qdimacs.gz 800 (798+2) 361 (360+1)
s cnf 1 (s cnf 1)
800 (800+0) 10 (8+1) 800 (798+2) 200 (198+1)
stmt19_75_83.qdimacs.gz 800 (798+2) 161 (161+0)
s cnf 1 (s cnf 1)
800 (800+0) 13 (11+1) 800 (798+2) 488 (486+2)
stmt19_75_95.qdimacs.gz 800 (798+2) 335 (334+0)
s cnf 1 (s cnf 1)
800 (800+0) 10 (9+1) 800 (798+2) 210 (209+1)
stmt19_79_83.qdimacs.gz 800 (798+2) 147 (146+0)
s cnf 1 (s cnf 1)
800 (800+0) 12 (11+1) 800 (798+2) 425 (423+2)
stmt19_79_87.qdimacs.gz 800 (798+2) 279 (278+0)
s cnf 1 (s cnf 1)
800 (800+0) 13 (11+1) 800 (797+3) 348 (346+2)
stmt19_83_91.qdimacs.gz 800 (798+2) 263 (262+0)
s cnf 1 (s cnf 1)
800 (800+0) 10 (9+1) 800 (798+2) 259 (257+2)
stmt19_87_95.qdimacs.gz 800 (798+2) 233 (232+0)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 190 (189+1)
stmt23_66_67.qdimacs.gz 800 (798+2) 69 (68+0)
s cnf 1 (s cnf 1)
800 (800+0) 18 (17+1) 800 (798+2) 245 (243+2)
stmt23_66_76.qdimacs.gz 800 (798+2) 87 (87+0)
s cnf 1 (s cnf 1)
800 (800+0) 18 (17+1) 800 (798+3) 333 (331+1)
stmt23_66_96.qdimacs.gz 800 (798+2) 265 (265+0)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 206 (205+1)
stmt23_67_92.qdimacs.gz 740 (737+2) 274 (274+0)
s cnf 1 (s cnf 1)
800 (800+0) 12 (10+1) 800 (798+2) 324 (322+1)
stmt23_72_76.qdimacs.gz 800 (798+2) 112 (112+0)
s cnf 1 (s cnf 1)
800 (800+0) 12 (11+1) 800 (798+3) 295 (294+2)
stmt23_88_92.qdimacs.gz 800 (798+2) 220 (220+0)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 221 (219+2)
stmt23_92_96.qdimacs.gz 781 (779+2) 330 (330+1)
s cnf 1 (s cnf 1)
800 (800+0) 12 (10+1) 800 (798+2) 193 (192+1)
stmt28_68_69.qdimacs.gz 800 (798+2) 84 (83+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (11+1) 800 (798+2) 234 (233+2)
stmt28_68_73.qdimacs.gz 800 (798+2) 114 (114+0)
s cnf 1 (s cnf 1)
800 (800+0) 13 (11+1) 800 (798+2) 319 (318+2)
stmt28_68_81.qdimacs.gz 800 (798+2) 143 (143+0)
s cnf 1 (s cnf 1)
800 (800+0) 11 (10+1) 800 (798+2) 202 (201+1)
stmt28_73_85.qdimacs.gz 800 (798+2) 245 (245+0)
s cnf 1 (s cnf 1)
800 (800+0) 9 (8+1) 800 (798+2) 329 (327+2)
stmt28_73_97.qdimacs.gz 800 (798+2) 406 (406+1)
s cnf 1 (s cnf 1)
800 (800+0) 10 (9+1) 800 (798+3) 200 (199+2)
stmt28_89_97.qdimacs.gz 800 (798+2) 291 (290+1)
s cnf 1 (s cnf 1)
800 (800+0) 12 (11+1) 800 (798+2) 324 (322+2)
TOTAL solved: 0
wins: 0
solved: 44
wins: 44
solved: 0
wins: 0
solved: 0
wins: 0
solved: 0
wins: 0
solved: 0
wins: 0
irqlkeapclte_gq.ts irqlkeapclte_gqc.ts irqlkeapclte_nq72.ts irqlkeapclte_quantor.ts irqlkeapclte_rareqsuuh3pb.ts irqlkeapclte_znenofex.ts