Problem Debug_gq.ts Debug_gqc.ts Debug_nq72.ts Debug_quantor.ts Debug_rareqsuuh3pb.ts Debug_znenofex.ts
c2_Debug_s3_f2_e1_v3.qdimacs.gz 481 (478+2) 481 (479+2) 800 (800+0) 72 (71+2) 621 (611+10)
s cnf 1 (s cnf 1)
800 (799+1)
c4_Debug_s3_f1_e2_v1.qdimacs.gz 473 (471+2) 473 (471+2) 800 (800+0) 71 (65+6)
s cnf 1 (s TRUE)
658 (656+2) 490 (489+2)
s cnf 1 (s cnf 1 68586 574443)
c4_Debug_s3_f1_e1_v1.qdimacs.gz 474 (472+2) 475 (473+2) 800 (800+0) 64 (62+2)
s cnf 1 (s TRUE)
649 (648+2) 415 (413+2)
s cnf 1 (s cnf 1 68586 574443)
c4_Debug_s3_f2_e2_v3.qdimacs.gz 251 (249+2) 251 (249+2) 800 (800+0) 220 (213+7)
s cnf 1 (s TRUE)
800 (737+63) 800 (799+1)
c1_Debug_s5_f1_e1_v2.qdimacs.gz 412 (410+2) 414 (412+2) 800 (800+0) 52 (43+9)
s cnf 1 (s TRUE)
800 (792+8) 373 (371+2)
c1_Debug_s5_f1_e1_v3.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 43 (41+2) 471 (468+3) 535 (533+2)
c4_Debug_s3_f2_e1_v1.qdimacs.gz 254 (252+2) 254 (253+2) 800 (800+0) 243 (241+2)
s cnf 1 (s TRUE)
800 (732+68) 800 (799+1)
c4_Debug_s3_f2_e2_v1.qdimacs.gz 254 (253+2) 254 (252+2) 800 (800+0) 241 (233+9)
s cnf 1 (s TRUE)
800 (728+72) 800 (799+1)
c2_Debug_s5_f1_e1_v3.qdimacs.gz 461 (460+2) 154 (152+2) 800 (800+0) 23 (21+2) 460 (458+2) 419 (417+2)
c4_Debug_s5_f2_e1_v2.qdimacs.gz 359 (357+2) 359 (357+2) 800 (800+0) 65 (55+11)
s cnf 1 (s TRUE)
800 (798+2) 432 (430+2)
c1_Debug_s3_f2_e1_v2.qdimacs.gz 800 (799+2) 800 (799+1) 800 (800+0) 800 (800+0) 214 (208+6)
s cnf 1 (s cnf 1)
800 (799+1)
c3_Debug_s3_f2_e2_v2.qdimacs.gz 800 (800+0) 800 (800+0) 800 (799+1) 336 (334+2) 800 (698+102) 7 (5+2)
c2_Debug_s3_f2_e1_v1.qdimacs.gz 500 (498+2) 501 (498+2) 800 (800+0) 76 (75+2) 800 (788+12) 800 (799+1)
c1_Debug_s5_f1_e1_v1.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 43 (42+2) 287 (285+3) 549 (547+2)
c2_Debug_s5_f1_e1_v2.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 53 (47+6)
s cnf 1 (s TRUE)
196 (195+2) 236 (235+1)
c1_Debug_s3_f1_e1_v3.qdimacs.gz 501 (499+2) 500 (498+2) 800 (799+1) 30 (28+2) 107 (104+3) 9 (7+2)
c4_Debug_s3_f1_e2_v3.qdimacs.gz 466 (464+2) 470 (468+2) 800 (800+0) 77 (72+5)
s cnf 1 (s TRUE)
319 (318+1) 438 (436+2)
s cnf 1 (s cnf 1 50326 574443)
c4_Debug_s3_f2_e2_v2.qdimacs.gz 257 (255+2) 256 (255+2) 800 (800+0) 215 (205+10)
s cnf 1 (s TRUE)
800 (743+57) 800 (799+1)
c1_Debug_s3_f1_e1_v1.qdimacs.gz 462 (460+2) 463 (461+2) 800 (800+0) 18 (16+2) 104 (101+3) 8 (6+2)
c4_Debug_s3_f2_e1_v2.qdimacs.gz 256 (255+2) 256 (255+2) 800 (800+0) 218 (216+2)
s cnf 1 (s TRUE)
800 (730+70) 800 (799+1)
c4_Debug_s5_f2_e1_v1.qdimacs.gz 359 (357+2) 359 (357+2) 800 (800+0) 61 (51+10)
s cnf 1 (s TRUE)
488 (486+2) 399 (397+2)
c4_Debug_s5_f2_e2_v1.qdimacs.gz 359 (357+2) 360 (358+2) 800 (800+0) 58 (48+10)
s cnf 1 (s TRUE)
446 (445+2) 407 (405+2)
c2_Debug_s3_f1_e1_v2.qdimacs.gz 270 (268+2) 270 (268+2) 800 (800+0) 47 (42+5)
s cnf 1 (s TRUE)
800 (798+2) 800 (798+2)
c4_Debug_s5_f2_e1_v3.qdimacs.gz 359 (357+2) 359 (358+2) 800 (800+0) 62 (51+11)
s cnf 1 (s TRUE)
441 (440+2) 369 (367+2)
c2_Debug_s3_f2_e1_v2.qdimacs.gz 800 (798+2) 800 (798+2) 800 (800+0) 33 (31+2) 345 (344+1)
s cnf 1 (s cnf 1)
181 (179+2)
c4_Debug_s3_f1_e2_v2.qdimacs.gz 473 (471+2) 474 (471+2) 800 (800+0) 69 (62+7)
s cnf 1 (s TRUE)
617 (615+2) 472 (470+2)
s cnf 1 (s cnf 1 74768 574443)
c1_Debug_s3_f2_e1_v3.qdimacs.gz 800 (798+2) 800 (798+2) 800 (800+0) 800 (799+1) 800 (775+25) 5 (3+2)
c4_Debug_s5_f2_e2_v2.qdimacs.gz 359 (357+2) 359 (357+2) 800 (800+0) 63 (53+10)
s cnf 1 (s TRUE)
543 (541+2) 425 (423+2)
c4_Debug_s3_f1_e1_v3.qdimacs.gz 466 (464+2) 468 (466+2) 800 (800+0) 71 (70+2)
s cnf 1 (s TRUE)
586 (584+2) 325 (323+2)
s cnf 1 (s cnf 1 50326 574443)
c4_Debug_s3_f1_e1_v2.qdimacs.gz 473 (471+2) 473 (471+2) 800 (800+0) 60 (59+1)
s cnf 1 (s TRUE)
562 (560+2) 446 (445+2)
s cnf 1 (s cnf 1 74768 574443)
c2_Debug_s5_f1_e1_v1.qdimacs.gz 503 (501+2) 154 (152+2) 800 (800+0) 23 (21+2) 474 (472+2) 423 (421+2)
c2_Debug_s3_f1_e1_v3.qdimacs.gz 735 (733+2) 735 (733+2) 800 (800+0) 97 (89+8)
s cnf 1 (s TRUE)
800 (798+2) 557 (555+2)
c1_Debug_s3_f2_e1_v1.qdimacs.gz 800 (798+2) 800 (798+2) 800 (800+0) 800 (799+1) 598 (575+24) 5 (3+2)
c4_Debug_s5_f2_e2_v3.qdimacs.gz 360 (358+2) 360 (358+2) 800 (800+0) 59 (49+9)
s cnf 1 (s TRUE)
474 (472+2) 382 (380+2)
c2_Debug_s3_f1_e1_v1.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 109 (100+9)
s cnf 1 (s TRUE)
285 (283+2) 455 (453+2)
c4_Debug_s3_f2_e1_v3.qdimacs.gz 251 (249+2) 251 (249+2) 800 (800+0) 211 (210+1)
s cnf 1 (s TRUE)
800 (738+62) 800 (799+1)
c1_Debug_s3_f1_e1_v2.qdimacs.gz 800 (799+1) 800 (799+1) 800 (800+0) 52 (47+6)
s cnf 1 (s TRUE)
199 (197+2) 657 (655+2)
c3_Debug_s3_f2_e2_v3.qdimacs.gz 644 (642+2) 643 (641+2) 800 (799+1) 517 (515+2) 800 (699+101) 7 (5+2)
TOTAL solved: 0
wins: 0
solved: 0
wins: 0
solved: 0
wins: 0
solved: 24
wins: 24
solved: 3
wins: 3
solved: 6
wins: 0
Debug_gq.ts Debug_gqc.ts Debug_nq72.ts Debug_quantor.ts Debug_rareqsuuh3pb.ts Debug_znenofex.ts