cqesto results solving families

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

QBF Solver Evaluation Portal