cqesto results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	10			9000
Adder	55			49500
amba	22			19800
Blocks	10			9000
BMC	32			28800
bomb	21			18900
BoundedSynthesisPetriGames	106	8	12	46226.22
C499	34		3	66.27
C5315	13			11700
C6288	47			42300
C880	22		1	12268.96
Chain	32	3		5.6
circuits	35			31500
CombinationalEquivalence	179	15	15	4116.73
conformant_planning	24			21600
Connect4	18			16200
Counter	15			13500
cycle-sched	24			21600
Debug	58			52200
driver	18		1	14401.7
dungeon	30			27000
evader-pursuer-4x4-logarithmic	21	2		4623.86
evader-pursuer-4x4-standard	41			36900
evader-pursuer-6x6-logarithmic	44		1	34784.5
evader-pursuer-6x6-standard	43			38700
evader-pursuer-8x8-logarithmic	43		1	29009.55
fpu	12		2	536.94
genbuf	22			19800
HardwareFixpoint	43			38700
hwmcc	16		2	10804.28
hyperLTL	4	1	1	0
incrementer-encoder	33	1	2	9.68
irqlkeapclte	66	5		2378.98
ISCAS89	6			5400
ITC99	40			36000
jmc_quant_squaring	64			57600
k_branch_n	24			21600
k_branch_p	38		1	30376.18
k_ph_n	10	1		473.2
k_ph_p	25			22500
LinearBitvectorRankingFunction	53		1	37807.26
ltl2aig-comp	19			17100
LTL2DBA	9		1	6302.74
LTL2DPA	10			9000
Model_instances	117	8		79427.81
mqm	20		1	10800.4
mult-matrix	24			21600
MutexP	37	3		1.56
Planning-CTE	22			19800
QBF-Hardness	20	1		9063.3
QLTL_safety	100	6	3	31232.74
Qshifter	25			22500
RankingFunctions	36			32400
Reduction-finding	22			19800
s1269	25			22500
s3330	17			15300
Sorting_networks	58		1	37899.2
SzymanskiP	48		3	20140.55
terminator	13			11700
tipdiam	24			21600
toy	14		2	9000.12
uclid	22	1		9922.44
VonNeumann	9		1	122.67
wmiforward	16	2		0.32

QBF Solver Evaluation Portal