ssolveB results solving families

ssolveB results solving families - 2008

Family	# Total	# Sat	# Unsat	Time
Abduction	714	36	15	361567.78
Adder	201	6	2	97693.39
blackbox-01X-QBF	1084	0	204	378789.56
blackbox_design	131	0	0	78600
Blocks	102	2	2	41402.84
BMC	380	26	50	111964.13
C432	73	3	1	24026.6
C499	76	3	1	25813.83
C5315	86	2	1	36109.33
C6288	86	2	0	40335.1
C880	78	2	0	36244.35
Chain	87	12	0	18.2
circuits	141	1	0	81682.63
comp	28	4	4	1554.52
conformant_planning	124	4	1	58265.73
Counter	73	7	0	32434.58
Debug	182	0	0	103379.38
DFlipFlop	73	0	10	167.02
evader-pursuer-4x4-logarithmic	61	7	0	3037.99
evader-pursuer-4x4-standard	65	0	0	39000
evader-pursuer-6x6-logarithmic	74	0	4	28898.06
evader-pursuer-6x6-standard	77	0	0	46200
evader-pursuer-8x8-logarithmic	78	0	4	31012.62
FPGA_PLB_FIT_FAST	38	2	1	9601.17
FPGA_PLB_FIT_SLOW	25	1	2	1966.27
Impl	74	10	0	0.62
irqlkeapclte	269	1	0	159680
jmc_quant	49	0	0	29400
jmc_quant_squaring	118	0	0	70800
k_branch_n	116	5	0	54669.5
k_branch_p	127	0	4	71839.05
k_d4_n	101	13	0	31853.12
k_d4_p	95	0	21	120.51
k_dum_n	92	21	0	23.94
k_dum_p	92	0	21	50.46
k_grz_n	93	6	0	41143.08
k_grz_p	93	0	6	45522.28
k_lin_n	94	21	0	1891.84
k_lin_p	89	0	15	15526.3
k_path_n	93	21	0	65.81
k_path_p	94	0	21	81.84
k_ph_n	97	8	0	34321.07
k_ph_p	119	0	7	56470.36
k_poly_n	96	21	0	35.64
k_poly_p	85	0	21	24.58
k_t4p_n	96	21	0	3484.65
k_t4p_p	97	0	21	1152.46
Logn	19	0	2	133.98
MutexP	78	7	0	8.4
Qshifter	62	5	0	9745.3
s1196	44	0	0	26400
s1269	84	0	0	50400
s27	36	1	3	5825.27
s298	93	0	0	55800
s3330	81	0	0	48600
s386	71	0	0	42600
s499	92	0	0	55200
s510	117	0	0	70200
s713	73	0	0	43800
s820	80	0	0	48000
Sorting_networks	433	7	9	233086.28
SzymanskiP	107	0	7	33784.6
term1	69	4	3	11143.79
terminator	872	0	4	519291.09
tipdiam	422	104	2	131229.63
tipfixpoint	846	16	15	469369.73
Toilet	33	5	3	39.57
Tree	87	5	9	0.67
uclid	30	0	0	18000
VonNeumann	75	0	10	1267.45
wmiforward	262	24	0	106777.68
z4ml	61	4	4	0.58

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

ssolveB results solving families - 2008