ghostq-plain results solving families

ghostq-plain results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	39	1	3	6210.18
Adder	63		1	33231.07
blackbox-01X-QBF	35		5	653.24
blackbox_design	41	5		12.55
Blocks	48	2	2	6049.65
BMC	46	1	1	13280.73
bomb	31	1		12754.87
C432	40	2	2	66.1
C499	42	1		20397.12
C5315	46	1	2	7837.65
C6288	47			28191.07
C880	42		3	17047.13
Chain	48	5		29.74
circuits	41	1		20989.54
conformant_planning	47	3	1	12183.59
Connect4	36		3	6259.26
Counter	32	3		9372.54
Debug	58			25663.31
DFlipFlop	39		5	380.53
dungeon	40		2	9266.9
evader-pursuer-4x4-logarithmic	36	4		258.08
evader-pursuer-4x4-standard	41			10300.82
evader-pursuer-6x6-logarithmic	44		1	12739.89
evader-pursuer-6x6-standard	43			5698.06
evader-pursuer-8x8-logarithmic	43		1	13305.7
FPGA_PLB_FIT_FAST	24	2	1	519.36
FPGA_PLB_FIT_SLOW	18			10797.58
fpu	27		5	927.09
Generalized-Tic-Tac-Toe	28	1	4	580.28
HardwareFixpoint	43			25794.73
Impl	39	5		2.89
incrementer-encoder	43		2	19804.95
irqlkeapclte	66			39587.56
ISCAS89	16	2		3661.81
ITC99	45	2		13115.75
jmc_quant_squaring	64			38395.44
k_branch_n	45	3		17736.97
k_branch_p	52		2	22808.35
k_d4_n	38	5		56.98
k_d4_p	39		5	20
k_dum_n	36	5		7.31
k_dum_p	39		5	6.58
k_grz_n	39	5		12.9
k_grz_p	34		5	15
k_lin_n	34	5		244.99
k_lin_p	32		5	4.9
k_path_n	38	5		10.4
k_path_p	38		5	9.06
k_ph_n	39	4		8372.22
k_ph_p	44		3	15818.39
k_poly_n	36	5		12.27
k_poly_p	36		5	9.51
k_t4p_n	35	5		58.38
k_t4p_p	46		5	40.63
LinearBitvectorRankingFunction	53			21424.58
Logn	19		2	367.68
mqm	483	1	132	24567.35
MutexP	47	1		22193.97
NuSMV_diam	275	92		1216.63
Planning-CTE	27	1		4137.7
QBF-Hardness	35		3	12078.25
qbfeval12	10		2	2.25
QLTL_safety	300		11	11189.44
Qshifter	34	1		8249.35
RankingFunctions	36			21594.06
Reduction-finding	37		3	13257.19
Rewriting	25		5	2.25
s1196	25	1	2	1042.83
s1269	40	2		15530.23
s27	21		2	1.47
s298	34	2	3	257.41
s3330	42	3		10272.47
s386	38	2	3	38.05
s499	33	3	2	220.8
s510	33	5		859.58
s641	35	3	2	384.29
s713	42	3	2	581.41
s820	38	2	3	222
Sorting_networks	66	1		34874.1
SzymanskiP	48			28779.2
term1	38	2	2	28.71
terminator	41		5	1115.19
tipdiam	49	3		14403.76
tipfixpoint	47	4	1	234.16
ToiletA	27		5	22.57
ToiletC	26	1	4	273.54
ToiletG	27	4		2.29
trafficlight-controller	25		5	70.05
Tree	39	1	4	2.5
uclid	22	1		10298.86
VonNeumann	40		4	1785.23
wmiforward	39	3		9626.06
z4ml	32	3	1	2.08

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

ghostq-plain results solving families - 2016