aqua-s2v results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction713511107.72
Adder109256988.82
blackbox-01X-QBF74716241.98
blackbox_design76109.3
Blocks88374748.61
BMC873230806.1
bomb51322778.69
C432733314299.89
C499763125810.86
C5315832132646.68
C628881237195.07
C880782130606.48
Chain82102.5
circuits75141390.73
conformant_planning794224747.07
Connect46869951.31
Counter54713381.05
Debug9657600
DFlipFlop7310102.42
dungeon72141774.15
evader-pursuer-4x4-logarithmic6167141.46
evader-pursuer-4x4-standard6538985.1
evader-pursuer-6x6-logarithmic72511869.03
evader-pursuer-6x6-standard7243196.32
evader-pursuer-8x8-logarithmic75520065.8
FPGA_PLB_FIT_FAST38413.68
FPGA_PLB_FIT_SLOW25121152.94
fpu4710671.16
Generalized-Tic-Tac-Toe54157532.51
HardwareFixpoint752231463.98
Impl74100
incrementer-encoder631617277.19
irqlkeapclte11166570.8
ISCAS8932412282.73
ITC99511117341.37
jmc_quant_squaring1131155487.31
k_branch_n85326391.07
k_branch_p99135545.77
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_n7310411.11
k_ph_p81337786.69
k_poly_n68101.57
k_poly_p64101.03
k_t4p_n71138398.86
k_t4p_p76139016.62
LinearBitvectorRankingFunction8047978.01
Logn29443
mqm813514973.16
MutexP7873.96
Planning-CTE502122227.16
QBF-Hardness59619634.64
qbfeval1227142999.44
Qshifter6257549.83
RankingFunctions601010.53
Reduction-finding652521985.14
Rewriting451027.11
s119644121647.42
s12697142600
s2736130.4
s29870231992.52
s333073139081.2
s386691230708.08
s49962136683.7
s51059132318.04
s641554117359.95
s71373521507.76
s82070428218.45
Sorting_networks1042335083.67
SzymanskiP97101927.65
term16944402.06
terminator8296061.37
tipdiam82434788.87
tipfixpoint773323421.69
ToiletA483746.95
ToiletC48183000.16
ToiletG4370.07
trafficlight-controller4585083.29
Tree74280
uclid3017994.82
VonNeumann7510525.03
wmiforward73715018.33
z4ml61440.07