xb-bid-qsts results solving families

xb-bid-qsts results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	39	1	3	6488.69
Adder	63		4	12711.91
blackbox-01X-QBF	35	1	4	43.05
blackbox_design	41	5		41.23
Blocks	48	3	2	345.88
BMC	46	1	1	19206.35
bomb	31	1	2	11986.43
C432	40	4		259.1
C499	42	4		3.78
C5315	46	3		6003.02
C6288	47	3		7210.54
C880	42	2	2	4515.9
Chain	48	5		35.28
circuits	41	3		14259.59
conformant_planning	47	3	1	10602.53
Connect4	36	1	3	9002.4
Counter	32	4		4812.25
Debug	58			34787.24
DFlipFlop	39	1	2	9624.31
dungeon	40		2	18960
evader-pursuer-4x4-logarithmic	36	4		930.85
evader-pursuer-4x4-standard	41			24574.01
evader-pursuer-6x6-logarithmic	44		2	14833.22
evader-pursuer-6x6-standard	43			25787.96
evader-pursuer-8x8-logarithmic	43		2	18961.95
FPGA_PLB_FIT_FAST	24	2	1	508.64
FPGA_PLB_FIT_SLOW	18	1	1	306.24
fpu	27	1	1	10530.74
Generalized-Tic-Tac-Toe	28	3		8106.56
HardwareFixpoint	43	2	3	647.2
Impl	39	5		2.73
incrementer-encoder	43	1		22788.18
irqlkeapclte	66	2		24734.73
ISCAS89	16	3		378.91
ITC99	45	1		20168.8
jmc_quant_squaring	64		1	31282.48
k_branch_n	45	5		92.04
k_branch_p	52		5	218.8
k_d4_n	38	5		52.48
k_d4_p	39		5	17.01
k_dum_n	36	5		8
k_dum_p	39		5	6.27
k_grz_n	39	5		12.69
k_grz_p	34		5	9.7
k_lin_n	34	5		29.39
k_lin_p	32		5	5.71
k_path_n	38	5		13.26
k_path_p	38		5	11.32
k_ph_n	39	5		518.92
k_ph_p	44		4	7920.03
k_poly_n	36	5		13.19
k_poly_p	36		5	9.86
k_t4p_n	35	5		56.07
k_t4p_p	46		5	32.28
LinearBitvectorRankingFunction	53			31772.23
Logn	19		1	7415.33
mqm	483	133	3	3853.18
MutexP	47	4		77.05
NuSMV_diam	275	92		13.89
Planning-CTE	27	1		13207.29
QBF-Hardness	35		2	15028.05
qbfeval12	10		2	15.45
QLTL_safety	300	250		29.82
Qshifter	34	2		7550.6
RankingFunctions	36	5		25.62
Reduction-finding	37		3	13221.03
Rewriting	25		5	3.1
s1196	25	3		15.26
s1269	40	5		357.8
s27	21	2		1.26
s298	34	5		56.29
s3330	42	1		20404.49
s386	38	5		26.65
s499	33	5		93.28
s510	33	5		233.86
s641	35	5		24.36
s713	42	5		30.49
s820	38	5		133.65
Sorting_networks	66	2	1	15973.28
SzymanskiP	48		4	12133.69
term1	38	4		7.02
terminator	41		5	47.23
tipdiam	49	2	1	15831.55
tipfixpoint	47	1	1	19843.49
ToiletA	27		5	42.61
ToiletC	26	1	4	60.21
ToiletG	27	4		2.02
trafficlight-controller	25	1	4	356.25
Tree	39	1	4	2.42
uclid	22	2		2.64
VonNeumann	40		3	16155.09
wmiforward	39	5		9.83
z4ml	32	4		1.92

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

xb-bid-qsts results solving families - 2016