quabs-minisat results solving families

quabs-minisat results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	39	1	3	6055.35
Adder	63		1	32984.85
blackbox-01X-QBF	35		5	122.57
blackbox_design	41	5		24.24
Blocks	48	2	2	6251.97
BMC	46	1	1	19337.94
bomb	31		1	15635.41
C432	40	2	2	1395.36
C499	42	1		20390.22
C5315	46		2	13793.56
C6288	47			28186.37
C880	42		1	19399.52
Chain	48	2		21170.48
circuits	41	1		20990.71
conformant_planning	47	1	1	19205.95
Connect4	36		3	10916.4
Counter	32	3		9278.19
Debug	58			34783.18
DFlipFlop	39		5	1894.32
dungeon	40		2	18062.2
evader-pursuer-4x4-logarithmic	36	2		15989.99
evader-pursuer-4x4-standard	41			24588.11
evader-pursuer-6x6-logarithmic	44			26387.24
evader-pursuer-6x6-standard	43			25787.64
evader-pursuer-8x8-logarithmic	43			25787.53
FPGA_PLB_FIT_FAST	24	2	1	36.8
FPGA_PLB_FIT_SLOW	18		2	2296.2
fpu	27		3	830.81
Generalized-Tic-Tac-Toe	28	1	4	539.67
HardwareFixpoint	43			25787.53
Impl	39	5		1.89
incrementer-encoder	43		2	19821.63
irqlkeapclte	66			39580.86
ISCAS89	16			9595.41
ITC99	45			26987.45
jmc_quant_squaring	64			38381.57
k_branch_n	45	4		10626.28
k_branch_p	52		4	10732.58
k_d4_n	38	5		75.3
k_d4_p	39		5	38.16
k_dum_n	36	5		10.52
k_dum_p	39		5	5.77
k_grz_n	39	5		12.55
k_grz_p	34		5	8.36
k_lin_n	34	5		27.91
k_lin_p	32		5	2.06
k_path_n	38	5		8.77
k_path_p	38		5	6.78
k_ph_n	39	4		5998.8
k_ph_p	44		3	15283.8
k_poly_n	36	5		23.1
k_poly_p	36		5	22.83
k_t4p_n	35	5		141.33
k_t4p_p	46		5	83.27
LinearBitvectorRankingFunction	53			31785.63
Logn	19		2	1224.69
mqm	483	1	133	13637.68
MutexP	47	1		22189.67
NuSMV_diam	275	92		83.7
Planning-CTE	27	1		16171.23
QBF-Hardness	35	1	3	6554.95
qbfeval12	10		2	8.3
QLTL_safety	300		5	43201.84
Qshifter	34	1		14993.95
RankingFunctions	36			21589.56
Reduction-finding	37		3	13279.87
Rewriting	25		5	0.1
s1196	25	1	2	97.35
s1269	40	2		14996.86
s27	21		2	0
s298	34	2	3	24.95
s3330	42	3		10204.09
s386	38	2	3	4.45
s499	33	3	2	15.48
s510	33	5		61.16
s641	35	3	2	59.23
s713	42	3	2	92.12
s820	38	2	3	21.97
Sorting_networks	66	1		36736.06
SzymanskiP	48			28786.08
term1	38	2	2	131.65
terminator	41		5	6.33
tipdiam	49	3	1	9827.45
tipfixpoint	47	4	1	4.56
ToiletA	27		5	23.45
ToiletC	26	1	4	56.35
ToiletG	27	4		0.13
trafficlight-controller	25		5	223.7
Tree	39	1	4	2.44
uclid	22			13193.62
VonNeumann	40		3	10678.02
wmiforward	39	3		12343.34
z4ml	32	3	1	0.08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

quabs-minisat results solving families - 2016