caqe-portfolio results solving families

caqe-portfolio results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	5133.42
Adder	115	0	2	8470.83
blackbox-01X-QBF	77	0	7	9364.78
blackbox_design	76	10	0	115.86
Blocks	88	3	7	711.66
BMC	91	2	1	21411.68
bomb	51	3	0	11414.18
C432	73	3	2	9157.31
C499	76	3	2	9332.09
C5315	86	2	1	17183.65
C6288	86	2	0	21149.55
C880	78	2	0	17998.82
Chain	82	10	0	13.74
circuits	75	1	0	20687.86
conformant_planning	88	2	1	19796.79
Connect4	68	0	6	10386.2
Counter	54	8	0	3932.93
Debug	103	0	0	30936.65
DFlipFlop	73	0	8	5663.3
dungeon	73	0	3	18090.91
evader-pursuer-4x4-logarithmic	61	7	0	102.09
evader-pursuer-4x4-standard	65	3	0	8453.42
evader-pursuer-6x6-logarithmic	74	0	3	17272.98
evader-pursuer-6x6-standard	77	0	0	19397.38
evader-pursuer-8x8-logarithmic	78	0	2	16837.05
FPGA_PLB_FIT_FAST	38	4	1	37.4
FPGA_PLB_FIT_SLOW	25	1	2	280.56
fpu	47	0	10	299.07
Generalized-Tic-Tac-Toe	54	1	8	3842.14
HardwareFixpoint	81	2	3	14516.46
Impl	74	10	0	8.88
incrementer-encoder	67	0	6	12581.22
irqlkeapclte	121	0	0	36284.7
ISCAS89	32	6	1	319.87
ITC99	56	1	1	14131.3
jmc_quant_squaring	118	2	1	27114.31
k_branch_n	88	9	0	400.33
k_branch_p	103	0	9	590.63
k_d4_n	73	10	0	52.39
k_d4_p	72	0	10	19.54
k_dum_n	66	10	0	10.17
k_dum_p	74	0	10	12.98
k_grz_n	68	10	0	23.16
k_grz_p	70	0	10	18.2
k_lin_n	64	10	0	121.18
k_lin_p	65	0	10	14.36
k_path_n	67	10	0	13.69
k_path_p	67	0	10	16.44
k_ph_n	74	10	0	889.76
k_ph_p	85	0	4	19330.47
k_poly_n	68	10	0	12.32
k_poly_p	64	0	10	10.26
k_t4p_n	71	10	0	34.72
k_t4p_p	76	0	10	27.73
LinearBitvectorRankingFunction	86	0	0	25783.54
Logn	29	0	4	221.47
mqm	84	1	5	11848.87
MutexP	78	7	0	111.67
Planning-CTE	55	2	1	11903.9
QBF-Hardness	63	1	7	5872.55
qbfeval12	27	1	4	1591.18
Qshifter	62	6	0	160.98
RankingFunctions	61	10	0	42.88
Reduction-finding	65	2	5	8808.36
Rewriting	45	0	10	5.4
s1196	44	1	4	7495.64
s1269	76	3	0	17693.6
s27	36	1	3	8.62
s298	70	6	0	9726.45
s3330	76	2	0	19270.44
s386	69	5	5	4083.62
s499	62	6	0	11762.55
s510	59	3	0	13251.18
s641	55	5	3	4996.65
s713	73	5	3	9236.22
s820	72	5	0	14924.09
Sorting_networks	110	4	2	21414.05
SzymanskiP	99	0	6	15367.13
term1	69	4	4	2095.43
terminator	86	0	6	15470.74
tipdiam	86	4	0	18602.69
tipfixpoint	81	3	2	13258.4
ToiletA	48	3	7	25.16
ToiletC	48	1	9	52.41
ToiletG	43	7	0	5.65
trafficlight-controller	45	0	7	3098.13
Tree	74	2	8	8.95
uclid	30	0	0	8995.38
VonNeumann	75	0	10	205.01
wmiforward	74	10	0	20.06
z4ml	61	4	4	7.32

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

caqe-portfolio results solving families - 2016