ghostq-cegar results solving families

ghostq-cegar results solving families - 2016

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

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

ghostq-cegar results solving families - 2016