depqbf-cert-v1 results solving families

depqbf-cert-v1 results solving families - 2016

Family	# Total	# Unsat	Time
Abduction	71	5	9640.99
Adder	115	2	65320.91
blackbox-01X-QBF	77	7	19246.39
blackbox_design	76		41102.53
Blocks	88	4	12125.77
BMC	91	3	28589.9
bomb	51	1	15587.63
C432	73	1	13810.6
C499	76	1	26735.72
C5315	86		41458.81
C6288	86		46699.68
C880	78		37511.69
Chain	82		27810.17
circuits	75		44188.8
conformant_planning	88	1	23728.3
Connect4	68	6	20949.69
Counter	54		14965.18
Debug	103		60443.87
DFlipFlop	73	10	129.99
dungeon	73	3	37589.51
evader-pursuer-4x4-logarithmic	61		13.07
evader-pursuer-4x4-standard	65		21418.13
evader-pursuer-6x6-logarithmic	74	4	22966.68
evader-pursuer-6x6-standard	77	1	9644.03
evader-pursuer-8x8-logarithmic	78	4	23572.8
FPGA_PLB_FIT_FAST	38	1	5.44
FPGA_PLB_FIT_SLOW	25		10832.53
fpu	47	10	2394.52
Generalized-Tic-Tac-Toe	54	6	6554.27
HardwareFixpoint	81		49149.37
Impl	74		422.83
incrementer-encoder	67	6	26175.84
irqlkeapclte	121		72501.91
ISCAS89	32	1	7.48
ITC99	56	1	23977.38
jmc_quant_squaring	118		60093.3
k_branch_n	88		41636.48
k_branch_p	103	1	60359.28
k_d4_n	73		35365.59
k_d4_p	72	10	9.39
k_dum_n	66		25198.29
k_dum_p	74	9	3089.24
k_grz_n	68		5849.12
k_grz_p	70	8	3564.92
k_lin_n	64		540.91
k_lin_p	65	10	31.61
k_path_n	67		25842.31
k_path_p	67	2	33680.14
k_ph_n	74		411.85
k_ph_p	85	3	41658.32
k_poly_n	68		38398.24
k_poly_p	64	10	6.26
k_t4p_n	71		40117.42
k_t4p_p	76	1	40858.54
LinearBitvectorRankingFunction	86		53313.72
Logn	29	1	6786.18
mqm	84	5	19572.03
MutexP	78		30122.67
Planning-CTE	55		29243.96
QBF-Hardness	63	6	20949.48
qbfeval12	27	4	3038.7
Qshifter	62		21219.47
RankingFunctions	61		19286.37
Reduction-finding	65	3	28633.04
Rewriting	45	4	11915.94
s1196	44		27270.78
s1269	76		28854.35
s27	36	3	18.81
s298	70		39073.33
s3330	76		18018.6
s386	69		43715.52
s499	62		38804.84
s510	59		18617.14
s641	55		34681.16
s713	73		45898.92
s820	72		44230.11
Sorting_networks	110	1	50397.8
SzymanskiP	99	2	51384.98
term1	69	3	8989.4
terminator	86	7	15431.93
tipdiam	86		38426.64
tipfixpoint	81	3	23675.9
ToiletA	48	7	157.92
ToiletC	48	8	3478.02
ToiletG	43		0.93
trafficlight-controller	45	6	8252.71
Tree	74	8	2.04
uclid	30		18327.41
VonNeumann	75	10	2414.05
wmiforward	74		28520.63
z4ml	61	4	3.4

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

depqbf-cert-v1 results solving families - 2016