QELL_default results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23117617.24
Adder86266602.48
amba815439.44
arithmetic513600.01
blackbox-01X-QBF78363739.64
BMC73251877.6
C4322123.42
C49931210141.49
C531551135116.68
C628867152574.04
C88060419723.46
circuits73163680.16
conformant_planning583513719.06
Connect21900
Connect31900
Connect436131500.24
Connect521904.6
Connect621900.35
Connect721800
Connect8223.56
Counter19112721.8
cycle-sched87200
Debug94180787.42
disjunctive_decomposition54500
driver815404
dungeon601547743.9
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic44133529.6
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic46137606.4
formula_add1256783.97
fpu202080.11
genbuf87200
Generalized-Tic-Tac-Toe20117181.33
genpatch532144.54
HardwareFixpoint541240502.99
hwmcc823634.46
hyperLTL4110.06
incrementer-encoder3521157.88
irqlkeapclte8172900
ISCAS894111802.04
ITC9937132400.64
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n3733300
k_branch_p6154900
k_ph_p5852200
LinearBitvectorRankingFunction732249169.58
ltl2aig-comp823799.26
LTL2DBA411800.12
LTL2DPA411800.7
mqm2522500
mult-matrix87200
Planning-CTE532271179.15
QBF-Hardness30126100.11
qbfeval1276300
RankingFunctions21800
Reduction-finding292215837.65
s11961528343.52
s12691517471.53
s298141188.76
s33301918164.8
s499131120.68
s51092148.08
s6411611241.6
s7131521717.47
s820141123.8
sketch54500
Sorting_networks572416588.84
SzymanskiP19113057.65
terminator42325841.64
tipdiam55433327.38
tipfixpoint58811717.71
toy8121947.86
trafficlight-controller109943.07
uclid3027000