Qute_opt617 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction98100
Adder4439600
amba8114969.82
Blocks1014.7
BMC2724300
bomb1816200
BoundedSynthesisPetriGames421534040.32
C4993430600
C5315119900
C62884136900
C8802219800
Chain3233.78
circuits3228800
CombinationalEquivalence60842021.08
conformant_planning2421600
Connect41614400
Counter1311700
cycle-sched87200
Debug4641400
driver8113607.84
dungeon2118900
evader-pursuer-4x4-logarithmic1923577.73
evader-pursuer-4x4-standard4036000
evader-pursuer-6x6-logarithmic3733300
evader-pursuer-6x6-standard3632400
evader-pursuer-8x8-logarithmic39130652.1
fpu12286.52
genbuf87200
HardwareFixpoint3228800
hwmcc823606.08
hyperLTL4110
incrementer-encoder21112645.85
irqlkeapclte4641400
ISCAS89611742.46
ITC9928212678.82
jmc_quant_squaring5145900
k_branch_n1715300
k_branch_p28120975.04
k_ph_n913.6
k_ph_p1917100
LinearBitvectorRankingFunction35125274.13
ltl2aig-comp87200
LTL2DBA411914
LTL2DPA43600
Model_instances55147768.48
mqm1718108.48
mult-matrix87200
MutexP3732.97
Planning-CTE1412600
QBF-Hardness1412600
QLTL_safety10017849392.58
Qshifter2421600
RankingFunctions3329700
Reduction-finding1614400
s12692219800
s33301614400
Sorting_networks4136900
SzymanskiP485458.95
terminator98100
tipdiam1715300
toy8221.78
uclid2221220.45
VonNeumann91206.28
wmiforward1614400