hiqqerfork results solving families

hiqqerfork results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	6169.87
Adder	115	1	2	54272.98
blackbox-01X-QBF	77		7	18850.29
blackbox_design	76	6		18013.58
Blocks	88	3	7	34.69
BMC	91	5	3	23365.65
bomb	51	4		19279.3
C432	73	3	5	7580.5
C499	76	3	2	23792.9
C5315	86	2	1	34237.15
C6288	86			51600
C880	78	2	1	31893.47
Chain	82	10		2.09
circuits	75	1		41400.38
conformant_planning	79	5	1	20566.96
Connect4	68		6	19576.78
Counter	54	8		7848.79
Debug	103			61800
DFlipFlop	73		10	9.69
dungeon	73		4	30128.96
evader-pursuer-4x4-logarithmic	61	7		63.29
evader-pursuer-4x4-standard	65	7		1948.9
evader-pursuer-6x6-logarithmic	74		6	19441.66
evader-pursuer-6x6-standard	77			46200
evader-pursuer-8x8-logarithmic	78		5	23989.94
FPGA_PLB_FIT_FAST	38	4	1	4.73
FPGA_PLB_FIT_SLOW	25	1	2	415.78
fpu	47		10	58.34
Generalized-Tic-Tac-Toe	54	1	9	4053.95
HardwareFixpoint	81	2	2	34208.44
Impl	74	10		1.27
incrementer-encoder	67	1	6	21638.12
irqlkeapclte	121	2		59080.96
ISCAS89	32	6	1	125.09
ITC99	56	1	1	28203.55
jmc_quant_squaring	118	2	1	51375.74
k_branch_n	88	9		7290.34
k_branch_p	103		10	402.47
k_d4_n	73	10		4.3
k_d4_p	72		10	2.89
k_dum_n	66	10		1.84
k_dum_p	74		10	2.02
k_grz_n	68	10		3.11
k_grz_p	70		10	2.73
k_lin_n	64	10		50.05
k_lin_p	65		10	2.29
k_path_n	67	10		2
k_path_p	67		10	2.19
k_ph_n	74	10		259.28
k_ph_p	85		3	40200.34
k_poly_n	68	10		1.74
k_poly_p	64		10	1.55
k_t4p_n	71	10		3.77
k_t4p_p	76		10	3.41
LinearBitvectorRankingFunction	86			51600
Logn	29		4	38.91
mqm	84	5	5	3683.24
MutexP	78	7		4.54
Planning-CTE	55	2	1	24155.77
QBF-Hardness	63	1	7	16736.94
qbfeval12	27	2	4	180.15
Qshifter	62	6		66.2
RankingFunctions	61	10		2.52
Reduction-finding	65	2	5	20227.46
Rewriting	45		10	0.9
s1196	44	1	2	17843.88
s1269	76			45600
s27	36	1	3	11.86
s298	70	5		23097.43
s3330	76	3		36454.27
s386	69	5	5	9859.63
s499	62	4		28099.48
s510	59	4		25867.88
s641	55	5		16699.27
s713	73	5	2	20128.13
s820	72	3		32724.83
Sorting_networks	110	1	3	41501.72
SzymanskiP	99		10	266.27
term1	69	4	4	51.22
terminator	86		1	47403.23
tipdiam	86	4		37205.07
tipfixpoint	81	3	3	27376.67
ToiletA	48	3	7	7.76
ToiletC	48	1	9	2186.79
ToiletG	43	7		0.73
trafficlight-controller	45		10	210.86
Tree	74	2	8	1.28
uclid	30			18000
VonNeumann	75		10	41.11
wmiforward	74	10		2.48
z4ml	61	4	4	1.26

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

hiqqerfork results solving families - 2016