qfun0.1 results solving families

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

QBF Solver Evaluation Portal