aqua-s2v results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction703510507.91
Adder93247390.8
blackbox-01X-QBF68712642.98
blackbox_design76109.3
Blocks88374748.61
BMC773226039.48
bomb48320981.99
C432733314299.89
C499763125810.86
C5315802130847.22
C628877234795.91
C880782130606.48
Chain82102.5
circuits69137791.62
conformant_planning794224747.07
Connect46468721.92
Counter52712180.83
Debug8249200
DFlipFlop7310102.42
dungeon55131583.33
evader-pursuer-4x4-logarithmic5967112.51
evader-pursuer-4x4-standard6438385.38
evader-pursuer-6x6-logarithmic67510811.22
evader-pursuer-6x6-standard6639596.78
evader-pursuer-8x8-logarithmic72518982.72
FPGA_PLB_FIT_FAST38413.68
FPGA_PLB_FIT_SLOW25121152.94
fpu4710671.16
Generalized-Tic-Tac-Toe48155883.25
HardwareFixpoint562221267.24
Impl74100
incrementer-encoder521612160.28
irqlkeapclte8148578.69
ISCAS8932412282.73
ITC99421113688.37
jmc_quant_squaring951145442.78
k_branch_n75322472.11
k_branch_p82129659.74
k_d4_n73333596.21
k_d4_p72102.01
k_dum_n66619456.4
k_dum_p74811311.18
k_grz_n68715007.54
k_grz_p7087722.1
k_lin_n641043.3
k_lin_p65102.76
k_path_n67424610
k_path_p67232385.69
k_ph_n7210375.49
k_ph_p70331189.33
k_poly_n68101.57
k_poly_p64101.03
k_t4p_n71138398.86
k_t4p_p76139016.62
LinearBitvectorRankingFunction6035983.41
Logn29443
mqm753512144.86
MutexP7873.96
Planning-CTE382115706.12
QBF-Hardness51614835.64
qbfeval1227142999.44
Qshifter6157524.18
RankingFunctions55109.41
Reduction-finding542515670.83
Rewriting451027.11
s119644121647.42
s12697042000
s2736130.4
s29870231992.52
s333072138481.2
s386691230708.08
s49962136683.7
s51059132318.04
s641554117359.95
s71373521507.76
s82070428218.45
Sorting_networks862328250.74
SzymanskiP93101668.75
term16944402.06
terminator7094246.01
tipdiam68426391.74
tipfixpoint693318623.51
ToiletA483746.95
ToiletC48183000.16
ToiletG4370.07
trafficlight-controller4585083.29
Tree74280
uclid3017994.82
VonNeumann7510525.03
wmiforward70713218.87
z4ml61440.07