dynQBF-bloqqer-hqspre results solving families

dynQBF-bloqqer-hqspre results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26			23400
Adder	114	4		72493.9
amba	22		1	16317.04
arithmetic	22	5		47.21
blackbox-01X-QBF	133		6	82190.95
BMC	98	2		69743.98
C432	21		2	1237.23
C499	31		3	3558.79
C5315	57		1	40538.04
C6288	76			68400
C880	60		2	42713.52
circuits	84	2		62223.17
conformant_planning	60		2	42708.72
Connect2	1			900
Connect3	2			1800
Connect4	43		1	37800.28
Connect5	2		1	902.88
Connect6	3		1	1800.22
Connect7	4			3600
Connect8	2		2	2.21
Counter	22	2		14411.18
cycle-sched	24		1	18649.04
Debug	125			112500
disjunctive_decomposition	23	3		7204.15
driver	18	2	2	23.84
dungeon	115	1	25	10956.52
evader-pursuer-4x4-logarithmic	10			9000
evader-pursuer-4x4-standard	65	1		51650.8
evader-pursuer-6x6-logarithmic	50			45000
evader-pursuer-6x6-standard	77			69300
evader-pursuer-8x8-logarithmic	51			45900
formula_add	39	3		29879.78
fpu	20		20	103.08
genbuf	22			19800
Generalized-Tic-Tac-Toe	32		1	27913.11
genpatch	20	1		14411.12
HardwareFixpoint	125	2	9	54661.34
hwmcc	16		2	11208.7
hyperLTL	4	1	1	0.12
incrementer-encoder	55	1	7	35038.8
irqlkeapclte	121	10		1436.05
ISCAS89	7	2	2	129.34
ITC99	57	5	1	25068.06
jmc_quant	6			5400
jmc_quant_squaring	98	1	2	60630.74
k_branch_n	56	5		11079.97
k_branch_p	85		6	14759.71
k_ph_p	80		5	40109.5
LinearBitvectorRankingFunction	119			107100
ltl2aig-comp	19		1	10901.15
LTL2DBA	9	1	1	10.71
LTL2DPA	10	1	1	35.78
mqm	34			30600
mult-matrix	24	2		9694.89
Planning-CTE	131	1	18	54069.01
QBF-Hardness	60		1	52782.16
qbfeval12	7	1		5400.07
RankingFunctions	2	2		1.12
Reduction-finding	45			40500
s1196	15			13500
s1269	17			15300
s298	14			12600
s3330	21			18900
s499	13			11700
s510	9			8100
s641	16			14400
s713	15			13500
s820	15			13500
sketch	16			14400
Sorting_networks	81	1	1	50758.08
SzymanskiP	25		1	16385.4
terminator	78	1	8	20176.21
tipdiam	85		3	59616.69
tipfixpoint	93	2	2	58836.43
toy	14	2	2	43.38
trafficlight-controller	10		10	156.34
uclid	30	1		17485.77

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

dynQBF-bloqqer-hqspre results solving families - 2017