iprover-QBF results solving families

iprover-QBF results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	71	0	0	41856.12
Adder	115	0	3	36680
blackbox-01X-QBF	77	0	6	15186.2
blackbox_design	76	0	0	26312.13
Blocks	88	3	7	717.43
BMC	91	3	1	23583.34
bomb	51	0	0	72.2
C432	73	2	2	20155.16
C499	76	2	2	21611.3
C5315	86	2	2	28239.05
C6288	86	0	0	51532.02
C880	78	0	0	38934.27
Chain	82	10	0	132.13
circuits	75	4	0	19155.03
conformant_planning	79	3	1	18838.04
Connect4	68	0	4	25245.58
Counter	54	7	0	6189.16
Debug	103	0	0	21564.45
DFlipFlop	73	0	10	1120.2
dungeon	73	0	4	31039.73
evader-pursuer-4x4-logarithmic	61	2	0	18149.3
evader-pursuer-4x4-standard	65	0	0	33250.62
evader-pursuer-6x6-logarithmic	74	0	0	37284.58
evader-pursuer-6x6-standard	77	0	0	14999.64
evader-pursuer-8x8-logarithmic	78	0	0	41919.14
FPGA_PLB_FIT_FAST	38	3	1	5521.26
FPGA_PLB_FIT_SLOW	25	1	2	400.81
fpu	47	0	0	1309.68
Generalized-Tic-Tac-Toe	54	0	1	29578.78
HardwareFixpoint	81	0	0	10.57
Impl	74	10	0	5.26
incrementer-encoder	67	0	7	24836.32
irqlkeapclte	121	0	0	62676.08
ISCAS89	32	2	1	12430.38
ITC99	56	1	1	23013.49
jmc_quant_squaring	118	0	0	46876.18
k_branch_n	88	3	0	34239.58
k_branch_p	103	0	3	44446.16
k_d4_n	73	3	0	21240.77
k_d4_p	72	0	7	14193.68
k_dum_n	66	10	0	971.48
k_dum_p	74	0	10	1075.99
k_grz_n	68	10	0	3703.9
k_grz_p	70	0	10	3040.25
k_lin_n	64	7	0	17188.09
k_lin_p	65	0	10	396.04
k_path_n	67	4	0	12127.9
k_path_p	67	0	3	15368.91
k_ph_n	74	8	0	10394.28
k_ph_p	85	0	4	32103.86
k_poly_n	68	10	0	6887.88
k_poly_p	64	0	10	2261.27
k_t4p_n	71	1	0	26776.7
k_t4p_p	76	0	1	24077.52
LinearBitvectorRankingFunction	86	0	0	51531.82
Logn	29	0	4	1272.23
mqm	84	0	0	35483.63
MutexP	78	6	0	4731.69
Planning-CTE	55	2	2	5012.82
QBF-Hardness	63	0	2	29879.7
qbfeval12	27	1	4	2496.34
Qshifter	62	4	0	2888.53
RankingFunctions	61	1	0	23375.14
Reduction-finding	65	1	5	20098.97
Rewriting	45	0	10	43.31
s1196	44	0	0	11870.87
s1269	76	0	0	9054.14
s27	36	1	3	2177.36
s298	70	1	0	17676.65
s3330	76	0	0	4460.15
s386	69	0	0	33406.11
s499	62	0	0	11578.54
s510	59	0	0	6954.01
s641	55	0	0	16403.97
s713	73	0	0	20160.01
s820	72	0	0	10786.59
Sorting_networks	110	1	1	46920.97
SzymanskiP	99	0	1	14052.51
term1	69	4	2	12449.52
terminator	86	0	0	41871.65
tipdiam	86	4	0	30186.45
tipfixpoint	81	1	3	31590.56
ToiletA	48	3	7	219.17
ToiletC	48	1	9	402.58
ToiletG	43	7	0	2.22
trafficlight-controller	45	0	8	8471.24
Tree	74	2	8	4.45
uclid	30	0	0	15743.05
VonNeumann	75	0	4	3398.43
wmiforward	74	3	0	19868.95
z4ml	61	4	4	15.55

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

iprover-QBF results solving families - 2016