GhostQ-PG_cegar results solving families

GhostQ-PG_cegar results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26	1		19838.84
Adder	114			102600
amba	22		1	16307.8
arithmetic	22			19800
blackbox-01X-QBF	133		1	115214.55
BMC	98	2		73263.8
C432	21		2	69.69
C499	31			27900
C5315	57	1	1	31570.3
C6288	76	1		60320.43
C880	60		4	19068.29
circuits	84	1		72452.4
conformant_planning	60	1	3	30820.16
Connect2	1	1		385
Connect3	2			1800
Connect4	43		1	37814.3
Connect5	2			1800
Connect6	3		1	1812
Connect7	4			3600
Connect8	2		2	421.64
Counter	22			19800
cycle-sched	24			21600
Debug	125			112409.07
disjunctive_decomposition	23			20700
driver	18		2	12618.34
dungeon	115	1	4	100112.52
evader-pursuer-4x4-logarithmic	10	1		71.1
evader-pursuer-4x4-standard	65			58500
evader-pursuer-6x6-logarithmic	50			45000
evader-pursuer-6x6-standard	77			69300
evader-pursuer-8x8-logarithmic	51			45900
formula_add	39	4		29519.24
fpu	20		18	5064.59
genbuf	22		2	12389.6
Generalized-Tic-Tac-Toe	32		1	27903.5
genpatch	20	3	2	2520.36
HardwareFixpoint	125	2	14	14716.63
hwmcc	16		2	10958.98
hyperLTL	4	1	1	0.4
incrementer-encoder	55	2	11	737.63
irqlkeapclte	121	10		13789.31
ISCAS89	7	1	2	3731.39
ITC99	57	5	1	27468.32
jmc_quant	6			5400
jmc_quant_squaring	98			88200
k_branch_n	56			50400
k_branch_p	85			76500
k_ph_p	80		1	67891.14
LinearBitvectorRankingFunction	119	3	3	74799.1
ltl2aig-comp	19		1	11132.5
LTL2DBA	9		1	6301.72
LTL2DPA	10		1	6307.05
mqm	34			30600
mult-matrix	24			21600
Planning-CTE	131			117900
QBF-Hardness	60		2	49373.28
qbfeval12	7	1		5400.49
RankingFunctions	2	2		2.78
Reduction-finding	45	2	3	4835.52
s1196	15		2	1624.76
s1269	17	1		9196
s298	14	1	1	115.71
s3330	21	1		10052
s499	13	1	1	103.81
s510	9	2		607.91
s641	16	1	1	118.16
s713	15		2	545.82
s820	15	1	1	170.32
sketch	16			14400
Sorting_networks	81	2	1	48115.2
SzymanskiP	25		2	2260.87
terminator	78		8	11432.88
tipdiam	85	5		39799.79
tipfixpoint	93	8		21843.92
toy	14		2	9004.3
trafficlight-controller	10		10	186.77
uclid	30	1	1	10736.05

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

GhostQ-PG_cegar results solving families - 2017