GhostQ-PG_plain results solving families

GhostQ-PG_plain results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26		1	21093.6
Adder	114			102600
amba	22		1	17691.72
arithmetic	22			19800
blackbox-01X-QBF	133		1	115208.85
BMC	98			84195.16
C432	21		2	78.69
C499	31		1	20048.76
C5315	57	1	1	31548.38
C6288	76	2		58576.41
C880	60		6	5837.07
circuits	84			75600
conformant_planning	60			54000
Connect2	1	1		387.68
Connect3	2			1800
Connect4	43		1	37814.16
Connect5	2			1800
Connect6	3		1	1812.04
Connect7	4			3600
Connect8	2		2	420.5
Counter	22			19800
cycle-sched	24			21600
Debug	125			112404.94
disjunctive_decomposition	23			20700
driver	18		2	12613.48
dungeon	115	1	2	101055.39
evader-pursuer-4x4-logarithmic	10	1		114.7
evader-pursuer-4x4-standard	65			58500
evader-pursuer-6x6-logarithmic	50		1	43278.06
evader-pursuer-6x6-standard	77			69300
evader-pursuer-8x8-logarithmic	51			45900
formula_add	39	2		32865.6
fpu	20		18	5093.49
genbuf	22			19800
Generalized-Tic-Tac-Toe	32		1	27900.86
genpatch	20	3	1	4888.08
HardwareFixpoint	125	2	14	16879.08
hwmcc	16		2	10940.98
hyperLTL	4	1	1	0.4
incrementer-encoder	55	1	7	40569.54
irqlkeapclte	121			108900
ISCAS89	7	1	2	3604.78
ITC99	57	5	1	27117.62
jmc_quant	6			5400
jmc_quant_squaring	98			88200
k_branch_n	56			50400
k_branch_p	85			76500
k_ph_p	80		1	68173.8
LinearBitvectorRankingFunction	119	3		91091.55
ltl2aig-comp	19			17100
LTL2DBA	9		1	6422.58
LTL2DPA	10			9000
mqm	34			30600
mult-matrix	24			21600
Planning-CTE	131		1	117531.02
QBF-Hardness	60		2	46926.8
qbfeval12	7	1		5400.47
RankingFunctions	2	2		2.93
Reduction-finding	45	1	1	34234.22
s1196	15		2	1077.46
s1269	17	1		9023.31
s298	14	1	1	93.52
s3330	21	1		10045.1
s499	13	1	1	92.38
s510	9	2		493.62
s641	16	1	1	83.92
s713	15		2	356.04
s820	15	1	1	148.29
sketch	16			14400
Sorting_networks	81		1	59264.8
SzymanskiP	25		2	2190.49
terminator	78	1	8	1589.5
tipdiam	85	5	1	35426.93
tipfixpoint	93	9	1	13891.7
toy	14	2	2	1205.48
trafficlight-controller	10		10	183.6
uclid	30	1	1	9927.35

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

GhostQ-PG_plain results solving families - 2017