QuBE6.1 results solving families

QuBE6.1 results solving families - 2008

Family	# Total	# Sat	# Unsat	Time
Abduction	714	152	134	32551.82
Adder	201	2	3	107405.4
blackbox-01X-QBF	1084		283	268073.69
blackbox_design	131	27	1	66.9
Blocks	102	3	5	29527.97
BMC	380	24	34	144177.77
C432	73	3	1	24615.93
C499	76	3	1	26658.46
C5315	86	2	1	36232.83
C6288	86	1		45602.84
C880	78	1		42000.96
Chain	87	12		6.02
circuits	141	4		78292.91
comp	28	4	4	526.87
conformant_planning	124	4	1	60319.51
Counter	73	9		25066.84
Debug	182			109200
DFlipFlop	73		10	542.13
evader-pursuer-4x4-logarithmic	61	5		17863.95
evader-pursuer-4x4-standard	65	7		2484.98
evader-pursuer-6x6-logarithmic	74		4	29725.68
evader-pursuer-6x6-standard	77			46200
evader-pursuer-8x8-logarithmic	78		3	32378.57
FPGA_PLB_FIT_FAST	38	3	1	4808.77
FPGA_PLB_FIT_SLOW	25	1	1	7170.3
Impl	74	10		2.48
irqlkeapclte	269	1		159678.94
jmc_quant	49	2	1	18113.02
jmc_quant_squaring	118	2	1	51105.65
k_branch_n	116	5		52301.45
k_branch_p	127		4	67866.54
k_d4_n	101	5		48290.11
k_d4_p	95		6	47007.98
k_dum_n	92	7		36769.69
k_dum_p	92		11	33841.27
k_grz_n	93	13		21692.14
k_grz_p	93		17	24087.96
k_lin_n	94	21		640.96
k_lin_p	89		21	12.92
k_path_n	93	6		39403.47
k_path_p	94		7	43838.89
k_ph_n	97	21		825.1
k_ph_p	119		11	46681.47
k_poly_n	96	21		4.63
k_poly_p	85		21	3.8
k_t4p_n	96	2		52836.49
k_t4p_p	97		4	50127.81
Logn	19		2	119
MutexP	78	3		28855.94
Qshifter	62	5		7695.39
s1196	44	1		21606.34
s1269	84	1		48602.54
s27	36	1	3	1.54
s298	93	9		35464.47
s3330	81	3		34915.27
s386	71	7	4	10197.62
s499	92	14		27659.79
s510	117	11		50738.79
s713	73	3		28877.89
s820	80	5		35533.05
Sorting_networks	433	15	19	176236.17
SzymanskiP	107		12	1147.79
term1	69	4	4	2114.16
terminator	872		576	49800.37
tipdiam	422	139	12	82168.21
tipfixpoint	846	162	68	255531.73
Toilet	33	3	2	10511.66
Tree	87	5	9	0.38
uclid	30			18000
VonNeumann	75		10	840.52
wmiforward	262	50		55247.6
z4ml	61	4	4	2.22

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

QuBE6.1 results solving families - 2008