qesto results solving families

qesto results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	6863.98
Adder	115	1	2	53627.07
blackbox-01X-QBF	77		5	27588.42
blackbox_design	76	7		13823.37
Blocks	88	3	6	6144.5
BMC	91	2	3	32599.51
bomb	51	3		20985.99
C432	73	3	2	17996.16
C499	76	3	2	18614.26
C5315	86	2	1	34839.8
C6288	86	2		40990.46
C880	78	2		35984.62
Chain	82	10		0.87
circuits	75	1		41380.05
conformant_planning	79	2	1	34190.81
Connect4	68		5	5064.42
Counter	54	8		7818.55
Debug	103			58220.69
DFlipFlop	73		10	21
dungeon	73		2	38377.01
evader-pursuer-4x4-logarithmic	61	3		24053.21
evader-pursuer-4x4-standard	65			38980.26
evader-pursuer-6x6-logarithmic	74		3	34816.59
evader-pursuer-6x6-standard	77			24093.47
evader-pursuer-8x8-logarithmic	78		2	38408.24
FPGA_PLB_FIT_FAST	38	4	1	8.72
FPGA_PLB_FIT_SLOW	25	1	2	2496.21
fpu	47		10	66.82
Generalized-Tic-Tac-Toe	54	1	8	9060.26
HardwareFixpoint	81	2	2	34197.41
Impl	74	10		0
incrementer-encoder	67		4	34453.69
irqlkeapclte	121			72564.91
ISCAS89	32	6	1	119.29
ITC99	56	1	1	24944.04
jmc_quant_squaring	118		1	67883.88
k_branch_n	88	9		2042.69
k_branch_p	103		8	7364.41
k_d4_n	73	10		6.61
k_d4_p	72		10	2.01
k_dum_n	66	10		0.63
k_dum_p	74		10	0.8
k_grz_n	68	10		2.73
k_grz_p	70		10	1.74
k_lin_n	64	10		47.14
k_lin_p	65		10	1.45
k_path_n	67	10		1.26
k_path_p	67		10	1.58
k_ph_n	74	10		508.13
k_ph_p	85		4	37270.21
k_poly_n	68	10		0.52
k_poly_p	64		10	0.51
k_t4p_n	71	10		3.49
k_t4p_p	76		10	2.97
LinearBitvectorRankingFunction	86			51623.66
Logn	29		3	6102.76
mqm	84	2	5	26160.17
MutexP	78	7		4.15
Planning-CTE	55	2		17770.55
QBF-Hardness	63	1	7	11334.04
qbfeval12	27	1	4	3012.99
Qshifter	62	6		72.26
RankingFunctions	61	10		2.03
Reduction-finding	65	2	5	18051.93
Rewriting	45		10	0.14
s1196	44	1	5	4050.65
s1269	76	3		38381.15
s27	36	1	3	4.91
s298	70	7	3	6729.75
s3330	76	3		34266.16
s386	69	5	5	2117.42
s499	62	7	2	12112.66
s510	59	4		25413.3
s641	55	5	4	3316.91
s713	73	5	5	7885.98
s820	72	5	2	24386.01
Sorting_networks	110	1	2	52546.3
SzymanskiP	99		10	1389.05
term1	69	4	4	4141.1
terminator	86		9	15124.04
tipdiam	86	4		37184.25
tipfixpoint	81	2	3	29391.97
ToiletA	48	3	7	8.16
ToiletC	48	1	9	135.96
ToiletG	43	7		0
trafficlight-controller	45		7	2538.25
Tree	74	2	8	0
uclid	30			17991.41
VonNeumann	75		10	47.88
wmiforward	74	10		1.5
z4ml	61	4	4	0.46

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

qesto results solving families - 2016