Qute_hybrid results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction97700.58
Adder4438611.83
amba816149.72
Blocks1014.5
BMC2723689.71
bomb1815783
BoundedSynthesisPetriGames422632280.52
C4993429907.01
C5315119664.71
C628841129210.71
C8802219336.02
Chain3233.78
circuits3228087.76
CombinationalEquivalence60939679.18
conformant_planning2421099.24
Connect41614021.52
Counter1319825.04
cycle-sched87017.9
Debug4640314.18
driver8113519.08
dungeon21115977.15
evader-pursuer-4x4-logarithmic1922659.09
evader-pursuer-4x4-standard4035082
evader-pursuer-6x6-logarithmic3732429.15
evader-pursuer-6x6-standard3631545.99
evader-pursuer-8x8-logarithmic3934210.37
fpu12287.12
genbuf87026.74
HardwareFixpoint3228106.26
hwmcc823514.56
hyperLTL4110.02
incrementer-encoder21112366.48
irqlkeapclte4640359.05
ISCAS89613274.62
ITC9928212525.73
jmc_quant_squaring51143941.11
k_branch_n1714916.36
k_branch_p28220899.22
k_ph_n913.6
k_ph_p1916684.78
LinearBitvectorRankingFunction35124654.28
ltl2aig-comp87015.58
LTL2DBA411913.68
LTL2DPA43510.66
Model_instances552437426.5
mqm1717909.54
mult-matrix87022.58
MutexP3732.97
Planning-CTE1412271.35
QBF-Hardness1412284.51
QLTL_safety10019848136
Qshifter2421057.96
RankingFunctions3327994.01
Reduction-finding1614030.8
s12692219296.12
s33301614029.12
Sorting_networks4136011.51
SzymanskiP485712.61
terminator915380.11
tipdiam1714929.89
toy8221.16
uclid2221756.04
VonNeumann91205.47
wmiforward1614040.16