caqe-minisat results solving families

caqe-minisat results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	2	3	22403.94
Adder	115		2	15805.74
blackbox-01X-QBF	77		3	33593.54
blackbox_design	76	9		4675.15
Blocks	88	3	7	2568.19
BMC	91	2	1	42759.07
bomb	51	2		25786.82
C432	73	3	3	18357.22
C499	76	3	2	18634.41
C5315	86	2	1	34310.2
C6288	86	2		44359.99
C880	78	2		35992.53
Chain	82	10		8.15
circuits	75	1		41381.16
conformant_planning	88	3	1	39007.76
Connect4	68		6	19734.99
Counter	54	8		7891.22
Debug	103			61751.81
DFlipFlop	73		9	7509.72
dungeon	73		3	35820.53
evader-pursuer-4x4-logarithmic	61	7		95.66
evader-pursuer-4x4-standard	65	3		22455.72
evader-pursuer-6x6-logarithmic	74		3	32847.73
evader-pursuer-6x6-standard	77			28605.48
evader-pursuer-8x8-logarithmic	78		2	36583.62
FPGA_PLB_FIT_FAST	38	4	1	78.36
FPGA_PLB_FIT_SLOW	25	1	2	249.28
fpu	47		10	296.96
Generalized-Tic-Tac-Toe	54	1	8	6442.99
HardwareFixpoint	81	2	3	28906.41
Impl	74	10		0.54
incrementer-encoder	67		6	24873.83
irqlkeapclte	121			72569.16
ISCAS89	32	6	1	418.69
ITC99	56	1	1	28225.54
jmc_quant_squaring	118	2	1	52456.91
k_branch_n	88	9		7382.41
k_branch_p	103		9	1510.16
k_d4_n	73	10		46.94
k_d4_p	72		10	14.96
k_dum_n	66	10		6.16
k_dum_p	74		10	7.08
k_grz_n	68	10		18.17
k_grz_p	70		10	14.53
k_lin_n	64	10		115.7
k_lin_p	65		10	10.07
k_path_n	67	10		9.89
k_path_p	67		10	12.11
k_ph_n	74	10		857.15
k_ph_p	85		4	37630.52
k_poly_n	68	10		7.15
k_poly_p	64		10	5.29
k_t4p_n	71	10		35.8
k_t4p_p	76		10	24.02
LinearBitvectorRankingFunction	86			51576.64
Logn	29		4	212.4
mqm	84	1	5	30098.99
MutexP	78	7		99.69
Planning-CTE	55	2	1	23247.05
QBF-Hardness	63	1	8	11832.66
qbfeval12	27	1	4	3090.43
Qshifter	62	6		191.62
RankingFunctions	61	10		38.19
Reduction-finding	65	2	5	17502.3
Rewriting	45		10	0.68
s1196	44	1	3	12896.91
s1269	76	3		33813.38
s27	36	1	3	6.79
s298	70	6	2	16231.87
s3330	76	2		37678.62
s386	69	5	3	9666.65
s499	62	7	1	15123.99
s510	59	3		25780.39
s641	55	5	4	6421.28
s713	73	5	3	14645
s820	72	5		26472.52
Sorting_networks	110	3	1	47340.15
SzymanskiP	99		8	23083.45
term1	69	4	4	2018.4
terminator	86		4	40130.76
tipdiam	86	4		37193.57
tipfixpoint	81	3	2	26450.68
ToiletA	48	3	7	21.34
ToiletC	48	1	9	47.68
ToiletG	43	7		0.2
trafficlight-controller	45		9	3620.91
Tree	74	2	8	0.22
uclid	30			17991.43
VonNeumann	75		10	198.93
wmiforward	74	10		13.62
z4ml	61	4	4	1.9

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

caqe-minisat results solving families - 2016