hiqqer3 results solving families

hiqqer3 results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	6358.12
Adder	115	1	2	59068.15
blackbox-01X-QBF	77		6	23550.27
blackbox_design	76	6		18029.3
Blocks	88	3	7	52.17
BMC	91	3	3	30526.05
bomb	51	4		19808.4
C432	73	3	3	12775.91
C499	76	3	2	21561.25
C5315	86	2	1	34251.6
C6288	86			51578.46
C880	78	2		35996.16
Chain	82	10		4.63
circuits	75	1		41384.53
conformant_planning	79	3	3	22424.26
Connect4	68		6	20028.61
Counter	54	9		6978.81
Debug	103			61777.96
DFlipFlop	73		10	20.83
dungeon	73		4	33834.36
evader-pursuer-4x4-logarithmic	61	7		224.1
evader-pursuer-4x4-standard	65	5		13354.99
evader-pursuer-6x6-logarithmic	74		6	17483.16
evader-pursuer-6x6-standard	77			46187.6
evader-pursuer-8x8-logarithmic	78		5	25236.12
FPGA_PLB_FIT_FAST	38	4	1	11.5
FPGA_PLB_FIT_SLOW	25	1	2	601.95
fpu	47		10	147.23
Generalized-Tic-Tac-Toe	54	1	8	4862.72
HardwareFixpoint	81	2	2	34198.18
Impl	74	10		2.29
incrementer-encoder	67		6	24655.44
irqlkeapclte	121	2		58289.44
ISCAS89	32	6	1	286.09
ITC99	56	1	1	28195.26
jmc_quant_squaring	118	2	1	51427.94
k_branch_n	88	9		7325.2
k_branch_p	103		8	11615.72
k_d4_n	73	10		7.03
k_d4_p	72		10	4.69
k_dum_n	66	10		2.83
k_dum_p	74		10	3.18
k_grz_n	68	10		5.03
k_grz_p	70		10	4.47
k_lin_n	64	10		150.74
k_lin_p	65		10	3.74
k_path_n	67	10		3.22
k_path_p	67		10	3.59
k_ph_n	74	10		421.75
k_ph_p	85		3	40187.94
k_poly_n	68	10		2.98
k_poly_p	64		10	2.68
k_t4p_n	71	10		6.31
k_t4p_p	76		10	5.57
LinearBitvectorRankingFunction	86			51580.76
Logn	29		4	32.57
mqm	84	5	5	5359.26
MutexP	78	7		7.3
Planning-CTE	55	2		27596.99
QBF-Hardness	63		7	17011.92
qbfeval12	27	1	4	3000.3
Qshifter	62	6		76.19
RankingFunctions	61	10		4.49
Reduction-finding	65	1	5	22874.87
Rewriting	45		10	1.53
s1196	44	1	1	20833.43
s1269	76			45586.17
s27	36	1	3	17.67
s298	70	4		27354.37
s3330	76	2		39221.45
s386	69	5	4	22842.77
s499	62	3		30749.02
s510	59	2		29264
s641	55	5		18653.53
s713	73	5		25713.94
s820	72	3		34374.55
Sorting_networks	110	2	2	45419.18
SzymanskiP	99		10	411.38
term1	69	4	4	55.3
terminator	86		1	47384.14
tipdiam	86	4		37203.39
tipfixpoint	81	2	3	29393.89
ToiletA	48	3	7	10.61
ToiletC	48	1	8	3002.1
ToiletG	43	7		1.34
trafficlight-controller	45		10	388.84
Tree	74	2	8	2.3
uclid	30			17993.2
VonNeumann	75		10	113.81
wmiforward	74	10		4.07
z4ml	61	4	4	2.14

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

hiqqer3 results solving families - 2016