ghostq-cegar results solving families

ghostq-cegar results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26	1	0	19833.64
Adder	114	0	0	102600
amba	22	0	1	16307.24
arithmetic	22	0	0	19800
blackbox-01X-QBF	133	0	1	115213.45
BMC	98	1	0	77583.75
C432	21	0	2	75.54
C499	31	0	0	27900
C5315	57	1	1	31717.76
C6288	76	1	0	60326.37
C880	60	0	4	18927.21
circuits	84	1	0	70798
conformant_planning	60	1	3	30723.48
Connect2	1	1	0	203.33
Connect3	2	0	0	1800
Connect4	43	0	1	37808.37
Connect5	2	0	1	952.44
Connect6	3	0	1	1809.31
Connect7	4	0	0	3600
Connect8	2	0	2	306.6
Counter	22	0	0	19800
cycle-sched	24	0	0	21600
Debug	125	0	0	112406.02
disjunctive_decomposition	23	0	0	20700
driver	18	0	2	12617.94
dungeon	115	1	4	99997.99
evader-pursuer-4x4-logarithmic	10	1	0	68.3
evader-pursuer-4x4-standard	65	0	0	58500
evader-pursuer-6x6-logarithmic	50	0	0	45000
evader-pursuer-6x6-standard	77	0	0	69300
evader-pursuer-8x8-logarithmic	51	0	0	45900
formula_add	39	4	0	28739.52
fpu	20	0	20	1842.55
genbuf	22	0	2	12358.1
Generalized-Tic-Tac-Toe	32	1	3	21460.3
genpatch	20	3	2	2385.56
HardwareFixpoint	125	1	0	98221.17
hwmcc	16	0	1	6994.15
hyperLTL	4	1	1	0.36
incrementer-encoder	55	2	11	519.16
irqlkeapclte	121	10	0	14890.94
ISCAS89	7	1	2	3648.09
ITC99	57	4	1	29033.7
jmc_quant	6	0	0	5400
jmc_quant_squaring	98	0	0	88200
k_branch_n	56	0	0	50400
k_branch_p	85	0	0	76500
k_ph_p	80	0	1	67889.58
LinearBitvectorRankingFunction	119	0	0	107100
ltl2aig-comp	19	0	1	11174.99
LTL2DBA	9	0	1	6301.56
LTL2DPA	10	0	1	6306.75
mqm	34	0	0	30600
mult-matrix	24	0	0	21600
Planning-CTE	131	0	0	117900
QBF-Hardness	60	0	1	50407.64
qbfeval12	7	2	0	1374.65
RankingFunctions	2	0	0	1800
Reduction-finding	45	0	1	34996.95
s1196	15	0	2	1714.33
s1269	17	1	0	9307.51
s298	14	1	1	266.91
s3330	21	1	0	10353.3
s499	13	1	1	340.17
s510	9	2	0	1368.36
s641	16	1	1	176.8
s713	15	0	2	1467.66
s820	15	1	1	495.03
sketch	16	0	0	14400
Sorting_networks	81	1	0	64481.37
SzymanskiP	25	0	0	22500
terminator	78	0	3	51872.51
tipdiam	85	5	0	39843.15
tipfixpoint	93	8	0	21885.73
toy	14	0	2	9012.22
trafficlight-controller	10	0	9	60.85
uclid	30	1	1	10729.44

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

ghostq-cegar results solving families - 2017