ghostq-cegar results solving families

ghostq-cegar results solving families - 2016

Family	# Total	# Sat	# Unsat	Time
Abduction	39	1	3	6140.26
Adder	63		1	32985.17
blackbox-01X-QBF	35		4	4212.18
blackbox_design	41	5		18.06
Blocks	48	2	3	48.59
BMC	46	1	1	13221.41
bomb	31	1	1	9795.41
C432	40	2	2	349.82
C499	42	1	1	13204.96
C5315	46	1	2	7823.97
C6288	47			28188.77
C880	42		2	18875.12
Chain	48	2		16992.08
circuits	41	1		20993.11
conformant_planning	47	3	1	12022.88
Connect4	36		3	5987.19
Counter	32	3		11152.86
Debug	58			25678.6
DFlipFlop	39		5	383.55
dungeon	40		2	10507.5
evader-pursuer-4x4-logarithmic	36	3		11085.75
evader-pursuer-4x4-standard	41			11332.12
evader-pursuer-6x6-logarithmic	44			25947
evader-pursuer-6x6-standard	43			5964.07
evader-pursuer-8x8-logarithmic	43			16888.95
FPGA_PLB_FIT_FAST	24	2	1	1461.52
FPGA_PLB_FIT_SLOW	18		2	115
fpu	27		5	922.09
Generalized-Tic-Tac-Toe	28	1	2	7974.13
HardwareFixpoint	43			25791.53
Impl	39	5		3.05
incrementer-encoder	43	1	4	2674.24
irqlkeapclte	66	4		28856.36
ISCAS89	16	2		3647.26
ITC99	45	3		6773.55
jmc_quant_squaring	64			38393.07
k_branch_n	45	2		19799.35
k_branch_p	52		2	24279.21
k_d4_n	38	5		59.58
k_d4_p	39		5	25.26
k_dum_n	36	5		8.68
k_dum_p	39		5	7.89
k_grz_n	39	5		14.94
k_grz_p	34		5	14.86
k_lin_n	34	5		4425.43
k_lin_p	32		5	235
k_path_n	38	5		26.26
k_path_p	38		5	18.93
k_ph_n	39	4		8111.73
k_ph_p	44		3	16010.04
k_poly_n	36	5		13.75
k_poly_p	36		5	12
k_t4p_n	35	5		73.99
k_t4p_p	46		5	56.67
LinearBitvectorRankingFunction	53			31778.95
Logn	19		2	366.06
mqm	483	1	133	14043.4
MutexP	47	1		22191.67
NuSMV_diam	275	92		405.59
Planning-CTE	27	1		6384.09
QBF-Hardness	35		3	12782.25
qbfeval12	10		2	2.4
QLTL_safety	300		11	10546.18
Qshifter	34	1		11230.92
RankingFunctions	36			21591.06
Reduction-finding	37		3	13208.34
Rewriting	25		5	2.45
s1196	25	1	2	1621.06
s1269	40	2		15079.43
s27	21		2	1.58
s298	34	2	3	379.07
s3330	42	3		10272.62
s386	38	2	3	44.83
s499	33	3	2	182.2
s510	33	5		835.84
s641	35	3	2	503.5
s713	42	3	2	1006.76
s820	38	2	3	261.03
Sorting_networks	66	1		36824.3
SzymanskiP	48			28777.18
term1	38	2	2	14.04
terminator	41		4	7851.67
tipdiam	49	3		14497.95
tipfixpoint	47	4	1	221.95
ToiletA	27		5	28.54
ToiletC	26	1	4	1337.7
ToiletG	27	4		2.36
trafficlight-controller	25		5	71.65
Tree	39	1	4	2.5
uclid	22			13194.72
VonNeumann	40		4	1784.57
wmiforward	39	5		8.07
z4ml	32	3	1	2.16

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

ghostq-cegar results solving families - 2016