qfun0.1 results solving families

Family	# Total	# Sat	# Unsat	Time
Abduction	10	0	0	9000
Adder	55	0	0	49500
amba	22	0	1	16260.84
Blocks	10	0	1	10.3
BMC	32	1	0	19283.76
bomb	21	1	1	8185.73
BoundedSynthesisPetriGames	106	9	8	58723.18
C499	34	0	3	33.38
C5315	13	0	0	11700
C6288	47	0	0	42300
C880	22	0	1	9926.84
Chain	32	3	0	45.32
circuits	35	1	0	27180.96
CombinationalEquivalence	179	15	15	92.83
conformant_planning	24	2	0	6560.32
Connect4	18	0	0	16200
Counter	15	0	0	13500
cycle-sched	24	0	1	20978.88
Debug	58	0	0	51861.27
driver	18	1	2	7762.66
dungeon	30	0	1	21084.6
evader-pursuer-4x4-logarithmic	21	0	0	18900
evader-pursuer-4x4-standard	41	0	0	36900
evader-pursuer-6x6-logarithmic	44	0	0	39600
evader-pursuer-6x6-standard	43	0	0	38620.25
evader-pursuer-8x8-logarithmic	43	0	1	30007.8
fpu	12	0	2	995.1
genbuf	22	0	2	10473.02
HardwareFixpoint	43	0	0	38700
hwmcc	16	0	2	10832
hyperLTL	4	1	1	0.24
incrementer-encoder	33	1	2	64.24
irqlkeapclte	66	5	0	3581.11
ISCAS89	6	0	0	5400
ITC99	40	4	0	2498.7
jmc_quant_squaring	64	0	0	57600
k_branch_n	24	0	0	21600
k_branch_p	38	0	0	34200
k_ph_n	10	1	0	970.7
k_ph_p	25	0	1	11210.67
LinearBitvectorRankingFunction	53	0	1	37910.55
ltl2aig-comp	19	0	2	6102.89
LTL2DBA	9	0	1	6300.54
LTL2DPA	10	0	1	6301.92
Model_instances	117	2	0	99427.57
mqm	20	0	0	18000
mult-matrix	24	0	0	21600
MutexP	37	3	0	18.91
Planning-CTE	22	0	1	15004.55
QBF-Hardness	20	0	0	18000
QLTL_safety	100	0	1	7458.16
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	1	1	25676.62
SzymanskiP	48	0	4	19178.18
terminator	13	0	0	11700
tipdiam	24	0	1	14811.66
toy	14	2	2	814.38
uclid	22	1	0	10309.86
VonNeumann	9	0	1	2223.54
wmiforward	16	2	0	3.6

QBF Solver Evaluation Portal