ijtihad_v2 results solving families

ijtihad_v2 results solving families - 2017

Family	# Total	# Sat	# Unsat	Time
Abduction	26			23400
Adder	114		2	86416.89
amba	22		2	13029.5
arithmetic	22	4		4500.22
blackbox-01X-QBF	133		10	63963.82
BMC	98	4	2	42437.93
C432	21		2	48.12
C499	31			27900
C5315	57		1	40523.4
C6288	76			68400
C880	60		2	42694.11
circuits	84	1		69944.64
conformant_planning	60		5	25947.32
Connect2	1	1		13.85
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.47
cycle-sched	24	2		11921.38
Debug	125	2		101328.24
disjunctive_decomposition	23	3		7200.85
driver	18	2	2	2.02
dungeon	115	1	6	87872.19
evader-pursuer-4x4-logarithmic	10	1		837.4
evader-pursuer-4x4-standard	65	4		26248.28
evader-pursuer-6x6-logarithmic	50			45000
evader-pursuer-6x6-standard	77			69300
evader-pursuer-8x8-logarithmic	51			45900
formula_add	39	3		29871.08
fpu	20		20	23.7
genbuf	22		2	17166.26
Generalized-Tic-Tac-Toe	32		3	23815.64
genpatch	20	1	1	12137.36
HardwareFixpoint	125	2	3	97248.75
hwmcc	16		2	10824.36
hyperLTL	4	1	1	0
incrementer-encoder	55	2	11	244.46
irqlkeapclte	121			108900
ISCAS89	7	2	2	10.57
ITC99	57	2	1	46356.13
jmc_quant	6			5400
jmc_quant_squaring	98			88200
k_branch_n	56	3		21934.05
k_branch_p	85		6	14979.28
k_ph_p	80			72000
LinearBitvectorRankingFunction	119		3	86418.71
ltl2aig-comp	19		2	5608.53
LTL2DBA	9	1	1	1.62
LTL2DPA	10	1	1	9.86
mqm	34			30600
mult-matrix	24	1		15301.82
Planning-CTE	131	2	27	25027.56
QBF-Hardness	60		2	46903.8
qbfeval12	7	1		5400.01
RankingFunctions	2	2		0.12
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	29130.92
SzymanskiP	25		2	1096.12
terminator	78		8	10014.43
tipdiam	85			76500
tipfixpoint	93			83700
toy	14	2	2	187.04
trafficlight-controller	10		10	19.68
uclid	30			27000

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

ijtihad_v2 results solving families - 2017