ijtihad results solving families

Family	# Total	# Sat	# Unsat	Time
Adder	114		2	86421.09
amba	15		1	10116.48
arithmetic	20	3		4500.35
blackbox-01X-QBF	133		9	68497.61
BMC	79	7	3	7154.44
CombinationalEquivalence	141		10	61506.92
cycle-sched	24	2		12118.32
Debug	76	2		60606.5
disjunctive_decomposition	20	3		4500.45
driver	14	2		0
dungeon	110		2	87871.82
formula_add	27	1		21606.22
fpu	22		10	31.76
genbuf	19		1	15483.4
Generalized-Tic-Tac-Toe	39	2	4	23011.66
genpatch	20	1	1	12139.44
HardwareFixpoint	100	1	2	76555.02
hwmcc	12			10800.26
incrementer-encoder	56	1	9	106.51
irqlkeapclte	121			108905.58
ISCAS89	22	6	4	14.74
ITC99	58	2	3	40727.3
jmc_quant_squaring	72			64801.94
k_branch_n	56	3		25214.47
k_branch_p	85		6	14474.56
k_ph_p	42			37802.29
LinearBitvectorRankingFunction	77		3	48614.76
ltl2aig-comp	13		2	226.55
LTL2DBA	7	1		0
LTL2DPA	7	1		7.49
Model_instances	47			42303.82
mqm	76			68404.59
mult-matrix	24	1		15300.62
Planning-CTE	128	2	24	26492.73
PositionalGames_gttt	45	4	1	27038.61
PositionalGames_hex	48	1		40501.92
QBF-Hardness	60		2	47104.3
Q_2_3	98		8	55143.51
RankingFunctions	53	15		0
Reduction-finding	60		1	47705.37
Selection-hard	30			27001.8
sketch	47			42302.78
Sorting_networks	113	2	2	57719.54
SzymanskiP	25		2	1109.75
terminator	85		9	10040.31
tipdiam	85			76504.13
tipfixpoint	90			81004.27
toy	8			7200.72
trafficlight-controller	30		10	40.59
wgrowing	36			32401.92
wmiforward	70	10		38.99

QBF Solver Evaluation Portal