hiqqer1ldsq results solving families

hiqqer1ldsq results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	4	5	6261.43
Adder	115	1	2	58961.79
blackbox-01X-QBF	77		6	21742.33
blackbox_design	76	6		18011.75
Blocks	88	3	7	38.86
BMC	91	4	3	25706.67
bomb	51	4		19261.7
C432	73	3	3	3458.92
C499	76	3	2	21085.71
C5315	86	2	1	34238.62
C6288	86			51576.36
C880	78	2		21476.88
Chain	82	10		3.71
circuits	75	1		39953.61
conformant_planning	79	4	1	4134.36
Connect4	68		6	19734.58
Counter	54	8		7839.81
Debug	103			61788.35
DFlipFlop	73		10	20.03
dungeon	63		3	29361.78
evader-pursuer-4x4-logarithmic	61	7		91.09
evader-pursuer-4x4-standard	65	4		18139.21
evader-pursuer-6x6-logarithmic	74		5	20288.47
evader-pursuer-6x6-standard	77			46182.56
evader-pursuer-8x8-logarithmic	78		5	23893.42
FPGA_PLB_FIT_FAST	38	4	1	6.3
FPGA_PLB_FIT_SLOW	25	1	2	831.88
fpu	47		10	146.64
Generalized-Tic-Tac-Toe	54	1	8	4744.92
HardwareFixpoint	81	2	2	34199.17
Impl	74	10		1.48
incrementer-encoder	67		6	24642.23
irqlkeapclte	121	1		65380.57
ISCAS89	32	6	1	165.89
ITC99	56	1	1	28194.16
jmc_quant_squaring	118	2	1	51392.05
k_branch_n	88	9		7441.61
k_branch_p	103		10	557.05
k_d4_n	73	10		6.08
k_d4_p	72		10	3.83
k_dum_n	66	10		2.18
k_dum_p	74		10	2.28
k_grz_n	68	10		4.2
k_grz_p	70		10	3.65
k_lin_n	64	10		149.98
k_lin_p	65		10	3.22
k_path_n	67	10		2.37
k_path_p	67		10	3.06
k_ph_n	74	10		346.87
k_ph_p	85		3	40186.64
k_poly_n	68	10		2.2
k_poly_p	64		10	1.93
k_t4p_n	71	10		5.39
k_t4p_p	76		10	4.7
LinearBitvectorRankingFunction	86			51578.16
Logn	29		4	32.73
mqm	84	5	5	4528.8
MutexP	78	7		6.41
Planning-CTE	55	2		23440.66
QBF-Hardness	63		7	17003.06
qbfeval12	27	1	4	2999.99
Qshifter	62	6		76.43
RankingFunctions	61	10		3.76
Reduction-finding	65	1	4	20753.14
Rewriting	45		10	1.09
s1196	44	1	1	21497.01
s1269	76			45582.46
s27	36	1	3	16.87
s298	70	5		24410.21
s3330	76	2		38560.54
s386	69	5	5	15471.53
s499	62	3		29005.25
s510	59	3		28271.55
s641	55	5		17208.13
s713	73	5		23950.06
s820	72	4		32200.95
Sorting_networks	110	2	3	27811.36
SzymanskiP	99		10	409.54
term1	69	4	4	141.99
terminator	86		1	47384.97
tipdiam	86	4		37191.32
tipfixpoint	81	2	3	29393.49
ToiletA	48	3	7	9.23
ToiletC	48	1	9	2493.25
ToiletG	43	7		0.86
trafficlight-controller	45		10	360.24
Tree	74	2	8	1.56
uclid	30			17992.4
VonNeumann	75		10	113.55
wmiforward	74	10		3.32
z4ml	61	4	4	1.38

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

hiqqer1ldsq results solving families - 2016