Discrepancies tables
QBFEVAL'16 - Prenex CNF Track.


Instance # Sat # Unsat Minority Solver
Adder2-10-s 1 1 AIGSolve, xb-bid-qsts
Adder2-8-s 7 1 xb-bid-qsts
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-001 1 22 squeezebf+struqs
BLOCKS3iii.5 23 1 qsts
BLOCKS4i.6.4 1 18 xb-bid-qsts
BLOCKS4ii.7.2 1 18 xb-bid-qsts
c1_BMC_p1_k4 20 1 qsts
c3_BMC_p1_k256 12 1 qsts
C432.blif_0.10_0.20_0_0_inp_exact 1 15 xb-bid-qsts
C432.blif_0.10_0.20_0_1_out_exact 1 6 xb-bid-qsts
C499.blif_0.10_0.20_0_0_out_exact 1 1 AIGSolve, qsts
C499.blif_0.10_0.20_0_1_out_exact 1 1 AIGSolve, qsts
C499.blif_0.10_1.00_0_0_out_exact 1 12 qsts
c4_BMC_p1_k32 21 1 qsts
C5315.blif_0.10_1.00_0_0_out_exact 1 8 qsts
c5_BMC_p1_k32 6 1 qsts
c5_BMC_p2_k64 1 1 qsts, xb-bid-qsts
C880.blif_0.10_0.20_0_0_out_exact 1 3 qsts
C880.blif_0.10_0.20_0_1_out_exact 1 3 qsts
C880.blif_0.10_1.00_0_0_inp_exact 1 10 qsts
C880.blif_0.10_1.00_0_0_out_exact 1 3 qsts
CHAIN12v.13 23 1 qsts
CHAIN14v.15 23 1 qsts
CHAIN16v.17 23 1 qsts
CHAIN17v.18 23 1 qsts
CHAIN18v.19 23 1 qsts
CHAIN19v.20 23 1 qsts
CHAIN20v.21 23 1 qsts
CHAIN21v.22 23 1 qsts
CHAIN22v.23 23 1 qsts
CHAIN23v.24 23 1 qsts
connect_5x4_3_D 1 22 squeezebf+struqs
connect_5x4_3_R 1 18 xb-bid-qsts
connect_5x4_4_R 1 18 xb-bid-qsts
connect_6x5_5_D 1 22 squeezebf+struqs
connect_7x6_4_W 1 22 squeezebf+struqs
connect_8x7_7_W 1 22 squeezebf+struqs
cube_c9_par--opt-11_ 15 2 hiqqer1, hiqqer3
dungeon_i15-m7-u4-v0.pddl_planlen=81 1 5 xb-bid-qsts
filesys_smbmrx_cvsndrcv.c 1 2 xb-bid-qsts
flipflop-3-c 1 22 squeezebf+struqs
fpu-10Xe-correct01-nonuniform-depth-24 1 21 squeezebf+struqs
fpu-10Xe-correct01-nonuniform-depth-6 1 21 squeezebf+struqs
fpu-10Xe-correct01-uniform-depth-22 1 21 squeezebf+struqs
fpu-10Xh-correct04-nonuniform-depth-18 1 21 squeezebf+struqs
fpu-10Xh-correct04-nonuniform-depth-27 1 21 squeezebf+struqs
fpu-10Xh-correct04-uniform-depth-14 1 21 squeezebf+struqs
fpu-10Xh-correct04-uniform-depth-15 1 21 squeezebf+struqs
fpu-10Xh-correct04-uniform-depth-16 1 21 squeezebf+struqs
fpu-10Xh-correct04-uniform-depth-8 1 21 squeezebf+struqs
fpu-10Xh-error01-uniform-depth-5 1 21 squeezebf+struqs
gttt_1_1_000111_3x3_torus_w 1 22 xb-bid-qsts
gttt_1_1_001020_3x3_w 1 21 xb-bid-qsts
gttt_2_1_00011020_4x4_b 1 11 xb-bid-qsts
gttt_2_1_000111_3x3_torus_b 22 1 qsts
gttt_2_1_0010_4x4_torus_b 1 20 xb-bid-qsts
incrementer-enc02-nonuniform-depth-31 1 20 qsts
incrementer-enc03-nonuniform-depth-13 1 21 qsts
incrementer-enc03-nonuniform-depth-24 1 21 qsts
incrementer-enc05-uniform-depth-2 1 22 squeezebf+struqs
incrementer-enc07-uniform-depth-25 1 8 xb-bid-qsts
incrementer-enc08-uniform-depth-33 7 1 qsts
ken.flash^10.C-f2 1 22 squeezebf+struqs
ken.flash^10.C-f3 1 22 squeezebf+struqs
lognBWLARGEA0 1 22 squeezebf+struqs
lognBWLARGEB0 1 22 squeezebf+struqs
nusmv.reactor^3.C-d4 6 1 qsts
nusmv.tcas-t^1.B-d2 3 1 qsts
s1196_d3_u 1 11 qsts
s1196_d4_u 1 8 qsts
s1196_d5_u 1 7 qsts
s1196_d6_u 1 5 qsts
s1196_d7_u 1 8 qsts
s298_d2_s 23 1 qsts
s3330_d2_s 18 1 qsts
s3330_d3_s 10 1 qsts
s499_d12_s 14 1 qsts
s499_d15_s 10 1 qsts
s499_d17_s 10 1 qsts
s499_d18_s 10 1 qsts
s499_d19_s 9 1 qsts
s499_d7_s 14 1 qsts
s499_d9_s 14 1 qsts
s510_d3_s 19 1 qsts
s641_d2_s 21 1 qsts
s641_d3_s 19 1 qsts
s641_d4_s 19 1 qsts
s641_d5_s 16 1 qsts
s641_d6_s 12 1 qsts
s713_d2_s 21 1 qsts
s713_d3_s 19 1 qsts
s713_d4_s 17 1 qsts
s713_d5_s 16 1 qsts
s713_d6_s 16 1 qsts
sortnetsort10.v.stepl.005 1 1 rareqs, xb-bid-qsts
sortnetsort9.v.stepl.005 1 1 rareqs, xb-bid-qsts
term1.blif_0.10_0.20_0_0_out_exact 1 22 qsts
term1.blif_0.10_1.00_0_0_out_exact 1 23 qsts
texas.PI_main^16.E-f2 20 1 qsts
tlc02-uniform-depth-114 1 19 qsts
tlc02-uniform-depth-241 1 14 qsts
tlc03-nonuniform-depth-17 1 23 qsts
tlc04-nonuniform-depth-56 1 20 qsts
tlc04-nonuniform-depth-98 1 17 qsts
tlc04-uniform-depth-36 1 13 qsts
vonNeumann-ripple-carry-10-c 1 21 squeezebf+struqs
vonNeumann-ripple-carry-11-c 1 21 squeezebf+struqs
vonNeumann-ripple-carry-12-c 1 19 squeezebf+struqs
vonNeumann-ripple-carry-13-c 1 19 squeezebf+struqs
vonNeumann-ripple-carry-15-c 1 19 squeezebf+struqs
vonNeumann-ripple-carry-5-c 1 22 squeezebf+struqs
vonNeumann-ripple-carry-6-c 1 22 squeezebf+struqs
vonNeumann-ripple-carry-7-c 1 22 squeezebf+struqs
vonNeumann-ripple-carry-8-c 1 22 squeezebf+struqs
vonNeumann-ripple-carry-9-c 1 21 squeezebf+struqs
Download table[csv, latex]