hiqqer1 results solving families

hiqqer1 results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	6264.05
Adder	115	1	2	58946.47
blackbox-01X-QBF	77		6	23407.62
blackbox_design	76	6		18011.31
Blocks	88	3	7	43.02
BMC	91	4	3	25687.15
bomb	51	4		19263.18
C432	73	3	3	12774.57
C499	76	3	2	21553.75
C5315	86	2	1	34239.39
C6288	86			51579.46
C880	78	2		35991.36
Chain	82	10		4.69
circuits	75	1		41385.17
conformant_planning	79	3	3	22359.56
Connect4	68		6	19711.01
Counter	54	8		7838.19
Debug	103			61784.64
DFlipFlop	73		10	20.7
dungeon	73		4	32525.95
evader-pursuer-4x4-logarithmic	61	7		91.49
evader-pursuer-4x4-standard	65	4		18140.43
evader-pursuer-6x6-logarithmic	74		6	16135.39
evader-pursuer-6x6-standard	77			46181.58
evader-pursuer-8x8-logarithmic	78		5	23386.01
FPGA_PLB_FIT_FAST	38	4	1	7.56
FPGA_PLB_FIT_SLOW	25	1	2	598.52
fpu	47		10	145.89
Generalized-Tic-Tac-Toe	54	1	8	4782.63
HardwareFixpoint	81	2	2	34196.91
Impl	74	10		2.22
incrementer-encoder	67		6	24642.96
irqlkeapclte	121	1		65399.95
ISCAS89	32	6	1	166.62
ITC99	56	1	1	28196.17
jmc_quant_squaring	118	2	1	51396.76
k_branch_n	88	9		7441.89
k_branch_p	103		10	556.37
k_d4_n	73	10		6.86
k_d4_p	72		10	4.67
k_dum_n	66	10		2.87
k_dum_p	74		10	3.45
k_grz_n	68	10		4.97
k_grz_p	70		10	4.41
k_lin_n	64	10		151.64
k_lin_p	65		10	3.75
k_path_n	67	10		3.33
k_path_p	67		10	3.78
k_ph_n	74	10		350.96
k_ph_p	85		3	40187.87
k_poly_n	68	10		3.01
k_poly_p	64		10	2.69
k_t4p_n	71	10		6.38
k_t4p_p	76		10	5.46
LinearBitvectorRankingFunction	86			51580.36
Logn	29		4	33.15
mqm	84	5	5	4515.58
MutexP	78	7		7.28
Planning-CTE	55	2		27596.29
QBF-Hardness	63		7	16995.14
qbfeval12	27	1	4	3000.3
Qshifter	62	6		76.79
RankingFunctions	61	10		4.46
Reduction-finding	65	1	5	22870.8
Rewriting	45		10	1.53
s1196	44	1	1	20544.51
s1269	76			45584.16
s27	36	1	3	17.53
s298	70	4		25273.47
s3330	76	2		38557.98
s386	69	5	5	15250.32
s499	62	4		28213.94
s510	59	3		28263.01
s641	55	5		17176.7
s713	73	5	1	23407.31
s820	72	4		32088.36
Sorting_networks	110	2	3	37848.11
SzymanskiP	99		10	410.87
term1	69	4	4	52.58
terminator	86		1	47385.21
tipdiam	86	4		37192.11
tipfixpoint	81	2	3	29395.99
ToiletA	48	3	7	10.02
ToiletC	48	1	9	2444.06
ToiletG	43	7		1.35
trafficlight-controller	45		10	361.91
Tree	74	2	8	2.22
uclid	30			17993.2
VonNeumann	75		10	113.79
wmiforward	74	10		3.9
z4ml	61	4	4	2.36

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

hiqqer1 results solving families - 2016