ijtihad_v1 results solving families

ijtihad_v1 results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26			23400
Adder	114		2	86416.89
amba	22		2	12735.36
arithmetic	22	4		4500.27
blackbox-01X-QBF	133		9	68495.17
BMC	98	4	2	42531.5
C432	21		2	50.01
C499	31			27900
C5315	57		1	40523.16
C6288	76			68400
C880	60		2	42052.29
circuits	84	1		69950.48
conformant_planning	60		5	25952.2
Connect2	1	1		13.79
Connect3	2			1800
Connect4	43		1	37800.06
Connect5	2		1	900.64
Connect6	3		1	1800.06
Connect7	4			3600
Connect8	2		2	0.5
Counter	22	2		14406.42
cycle-sched	24	2		12087.21
Debug	125	2		104195.1
disjunctive_decomposition	23	3		7200.85
driver	18	2	2	1.98
dungeon	115	1	6	87876.73
evader-pursuer-4x4-logarithmic	10	1		82.7
evader-pursuer-4x4-standard	65	4		26480.66
evader-pursuer-6x6-logarithmic	50			45000
evader-pursuer-6x6-standard	77			69300
evader-pursuer-8x8-logarithmic	51			45900
formula_add	39	3		29726.92
fpu	20		20	23.62
genbuf	22		2	18002.46
Generalized-Tic-Tac-Toe	32		3	22690.59
genpatch	20	1	1	12130.96
HardwareFixpoint	125	2	3	97254
hwmcc	16		2	10824.56
hyperLTL	4	1	1	0
incrementer-encoder	55	2	11	242.89
irqlkeapclte	121			108900
ISCAS89	7	2	2	10.57
ITC99	57	2	1	46574.13
jmc_quant	6			5400
jmc_quant_squaring	98			88200
k_branch_n	56	3		25083.9
k_branch_p	85		6	14478.19
k_ph_p	80			72000
LinearBitvectorRankingFunction	119		3	86418.39
ltl2aig-comp	19		2	5608.6
LTL2DBA	9	1	1	1.62
LTL2DPA	10	1	1	9.79
mqm	34			30600
mult-matrix	24	1		15301.82
Planning-CTE	131	2	27	25295.8
QBF-Hardness	60		2	47097.84
qbfeval12	7	1		5400.01
RankingFunctions	2	2		0.13
Reduction-finding	45		1	34203.15
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	2	2	28821.24
SzymanskiP	25		2	1101.42
terminator	78		8	10032.84
tipdiam	85			76500
tipfixpoint	93			83700
toy	14	1	2	7200.54
trafficlight-controller	10		10	19.58
uclid	30			27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

ijtihad_v1 results solving families - 2017