Problem blackbox_design_gq.ts blackbox_design_gqc.ts blackbox_design_nq72.ts blackbox_design_quantor.ts blackbox_design_rareqsuuh3pb.ts blackbox_design_znenofex.ts
biu.mv.xl_ao.bb-b001-p005-IPF02-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 1 (1+0)
s cnf 0 (s cnf 0)
1 (1+0)
s cnf 0 (s cnf 0)
0 (0+0)
s cnf 0 (s cnf 0)
11 (9+2) 0 (0+0)
s cnf 0 (s cnf 0)
9 (7+2)
biu.mv.xl_ao.bb-b001-p005-OPF03-c09.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
35 (33+2)
biu.mv.xl_ao.bb-b001-p005-OPF04-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 1 (1+0)
s cnf 1 (s cnf 1)
13 (11+2)
biu.mv.xl_ao.bb-b001-p005-OPF05-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 0 (0+0)
s cnf 1 (s cnf 1)
9 (7+2)
biu.mv.xl_ao.bb-b001-p005-OPF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (799+1) 11 (9+2) 0 (0+0)
s cnf 1 (s cnf 1)
44 (42+2)
biu.mv.xl_ao.bb-b001-p005-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (799+1) 11 (9+2) 0 (0+0)
s cnf 1 (s cnf 1)
44 (43+2)
biu.mv.xl_ao.bb-b001-p010-IPF02-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
11 (9+2) 0 (0+0)
s cnf 1 (s cnf 1)
45 (44+2)
biu.mv.xl_ao.bb-b001-p010-IPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
106 (105+1)
biu.mv.xl_ao.bb-b001-p010-IPF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003.qdimacs.gz 0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 0 (0+0)
s cnf 1 (s cnf 1)
67 (65+2)
biu.mv.xl_ao.bb-b001-p010-IPF05-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
11 (9+2) 0 (0+0)
s cnf 1 (s cnf 1)
134 (133+2)
biu.mv.xl_ao.bb-b001-p010-MIF01-c01.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 0 (0+0)
s cnf 1 (s cnf 1)
131 (129+2)
biu.mv.xl_ao.bb-b001-p010-MIF01-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 0 (0+0)
s cnf 1 (s cnf 1)
10 (8+2)
biu.mv.xl_ao.bb-b001-p010-MIF01-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
2 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
81 (80+2)
biu.mv.xl_ao.bb-b001-p010-MIF01-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
108 (106+2)
biu.mv.xl_ao.bb-b001-p010-MIF03-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005.qdimacs.gz 13 (13+0)
s cnf 1 (s cnf 1)
48 (48+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 1 (1+0)
s cnf 1 (s cnf 1)
9 (8+2)
biu.mv.xl_ao.bb-b001-p010-MIF03-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005.qdimacs.gz 9 (8+0)
s cnf 1 (s cnf 1)
78 (78+0)
s cnf 1 (s cnf 1)
800 (799+1) 12 (10+2) 2 (2+0)
s cnf 1 (s cnf 1)
11 (9+2)
biu.mv.xl_ao.bb-b001-p010-MIF04-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005.qdimacs.gz 18 (18+0)
s cnf 1 (s cnf 1)
80 (80+0)
s cnf 1 (s cnf 1)
800 (797+3) 11 (9+2) 7 (7+0)
s cnf 1 (s cnf 1)
16 (15+2)
biu.mv.xl_ao.bb-b001-p010-MIF04-c06.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-005.qdimacs.gz 18 (18+0)
s cnf 1 (s cnf 1)
50 (50+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
13 (11+2) 1 (1+0)
s cnf 1 (s cnf 1)
14 (12+2)
biu.mv.xl_ao.bb-b001-p010-MIF05-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
4 (4+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 0 (0+0)
s cnf 1 (s cnf 1)
90 (88+2)
biu.mv.xl_ao.bb-b001-p010-MIF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 0 (0+0)
s cnf 1 (s cnf 1)
90 (88+2)
biu.mv.xl_ao.bb-b001-p010-MIF05-c05.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
12 (10+2) 0 (0+0)
s cnf 1 (s cnf 1)
90 (88+2)
biu.mv.xl_ao.bb-b001-p010-MIF05-c07.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (798+2) 12 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
95 (93+2)
biu.mv.xl_ao.bb-b001-p010-OPF02-c08.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
11 (9+2) 0 (0+0)
s cnf 1 (s cnf 1)
80 (78+2)
biu.mv.xl_ao.bb-b001-p010-OPF02-c10.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-003.qdimacs.gz 1 (1+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
0 (0+0)
s cnf 1 (s cnf 1)
11 (9+2) 0 (0+0)
s cnf 1 (s cnf 1)
80 (78+2)
biu.mv.xl_ao.bb-b001-p010-OPF03-c03.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
1 (1+0)
s cnf 1 (s cnf 1)
800 (798+2) 13 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
67 (65+2)
biu.mv.xl_ao.bb-b001-p010-OPF04-c02.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
3 (3+0)
s cnf 1 (s cnf 1)
800 (798+2) 13 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
10 (8+2)
biu.mv.xl_ao.bb-b001-p010-OPF05-c04.blif-biu.inv1.prop.bb-bmc.with-IOC.unfold-004.qdimacs.gz 2 (2+0)
s cnf 1 (s cnf 1)
2 (2+0)
s cnf 1 (s cnf 1)
800 (798+2) 13 (11+2) 0 (0+0)
s cnf 1 (s cnf 1)
67 (65+2)
TOTAL solved: 27
wins: 3
solved: 27
wins: 3
solved: 18
wins: 18
solved: 0
wins: 0
solved: 27
wins: 24
solved: 0
wins: 0
blackbox_design_gq.ts blackbox_design_gqc.ts blackbox_design_nq72.ts blackbox_design_quantor.ts blackbox_design_rareqsuuh3pb.ts blackbox_design_znenofex.ts