QELL_unit results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23117189.84
Adder86266602.28
amba815439.72
arithmetic513600.01
blackbox-01X-QBF78264938.96
BMC73251897.68
C4322122.94
C49931210269.2
C531551135121.84
C628867152582.23
C88060419537.79
circuits73162036.24
conformant_planning583514537.7
Connect21900
Connect31900
Connect436131500.24
Connect521904.53
Connect621900.35
Connect721800
Connect8223.57
Counter19112726.55
cycle-sched87200
Debug94180563.59
disjunctive_decomposition54500
driver815402.1
dungeon601449510.02
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic44137218.1
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic46138966.8
formula_add1266362.41
fpu202080.24
genbuf87200
Generalized-Tic-Tac-Toe20117216.76
genpatch532248.44
HardwareFixpoint541240502.99
hwmcc823606.94
hyperLTL4110.06
incrementer-encoder3521169.96
irqlkeapclte8172900
ISCAS894111802.05
ITC9937132400.64
jmc_quant43600
jmc_quant_squaring77166308.8
k_branch_n3733300
k_branch_p6154900
k_ph_p5852200
LinearBitvectorRankingFunction732247797.68
ltl2aig-comp823822.88
LTL2DBA411800.12
LTL2DPA411800.66
mqm2522500
mult-matrix87200
Planning-CTE532271220.19
QBF-Hardness30225209.02
qbfeval1276300
RankingFunctions21800
Reduction-finding292216119.92
s11961528160.36
s12691518247.48
s298141168.32
s33301918129.2
s499131114.63
s51092170.79
s6411611237.2
s7131521694.97
s820141125.83
sketch54500
Sorting_networks572224631.65
SzymanskiP19113111.83
terminator42325797.41
tipdiam55433331.39
tipfixpoint58811720.04
toy8121948.88
trafficlight-controller101052.69
uclid3027000