caqe-minisat-par results solving families

caqe-minisat-par results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	2	3	22330.66
Adder	115		2	60600.3
blackbox-01X-QBF	77		3	33605.67
blackbox_design	76	10		3296.86
Blocks	88	3	7	1751.49
BMC	91	2	1	42798.23
bomb	51	2		25801.08
C432	73	3	3	16237.47
C499	76	3	2	18627.92
C5315	86	2	1	34274.5
C6288	86	2		42736.01
C880	78	2		36003.68
Chain	82	10		4.67
circuits	75	1		41400.18
conformant_planning	79	2	1	34204.69
Connect4	68		6	19743.33
Counter	54	8		7857.93
Debug	103	1		61800
DFlipFlop	73		9	6462.7
dungeon	73	1	3	36020.81
evader-pursuer-4x4-logarithmic	61	7		53.92
evader-pursuer-4x4-standard	65	3		22360.72
evader-pursuer-6x6-logarithmic	74		3	31859.62
evader-pursuer-6x6-standard	77			46200
evader-pursuer-8x8-logarithmic	78		2	36176.52
FPGA_PLB_FIT_FAST	38	4	1	21.34
FPGA_PLB_FIT_SLOW	25	1	2	183.01
fpu	47		10	150.37
Generalized-Tic-Tac-Toe	54	1	7	13909.25
HardwareFixpoint	81	2	3	28869.61
Impl	74	10		0.16
incrementer-encoder	67		6	24754.76
irqlkeapclte	121			72600
ISCAS89	32	5	1	3284.98
ITC99	56	1	1	28221.01
jmc_quant_squaring	118	2		58922.18
k_branch_n	88	9		7302.58
k_branch_p	103		9	6212.49
k_d4_n	73	10		25.04
k_d4_p	72		10	8.03
k_dum_n	66	10		3.46
k_dum_p	74		10	4.04
k_grz_n	68	10		9.82
k_grz_p	70		10	7.55
k_lin_n	64	10		64.22
k_lin_p	65		10	5.38
k_path_n	67	10		5.42
k_path_p	67		10	6.73
k_ph_n	74	10		560.86
k_ph_p	85		4	37269.01
k_poly_n	68	10		4.07
k_poly_p	64		10	3.08
k_t4p_n	71	10		15.79
k_t4p_p	76		10	12.44
LinearBitvectorRankingFunction	86			51600
Logn	29		4	113.05
mqm	84		1	47975.6
MutexP	78	7		53.5
Planning-CTE	55	2	1	23105.86
QBF-Hardness	63	1	8	9113.54
qbfeval12	27	1	4	3049.11
Qshifter	62	6		93.52
RankingFunctions	61	10		21.21
Reduction-finding	65	2	4	19841.57
Rewriting	45		10	0.54
s1196	44	1	3	11403.24
s1269	76	3		33353.75
s27	36	1	3	3.83
s298	70	6	2	14021.62
s3330	76	3		36488.49
s386	69	5	3	8799.27
s499	62	7	1	12963.9
s510	59	3		25593.41
s641	55	5	4	4284.04
s713	73	5	3	12255.25
s820	72	5		24653.67
Sorting_networks	110	3	1	48632.93
SzymanskiP	99		8	22105.81
term1	69	4	4	1689.06
terminator	86		4	39097.31
tipdiam	86	4		37204.88
tipfixpoint	81	3	2	26434
ToiletA	48	3	7	11.44
ToiletC	48	1	9	30.03
ToiletG	43	7		0.07
trafficlight-controller	45		9	3168.15
Tree	74	2	8	0
uclid	30			18000
VonNeumann	75		10	101.54
wmiforward	74	10		7.1
z4ml	61	4	4	1.3

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

caqe-minisat-par results solving families - 2016