aqua-f3v results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70457986.77
Adder93247390.2
blackbox-01X-QBF6888694.29
blackbox_design761011.17
Blocks88366105.26
BMC773226923.13
bomb48321010.07
C432733313882.26
C499763125811.31
C5315802131099.61
C628877234794.3
C880782130180.12
Chain82102.5
circuits69137794.18
conformant_planning795121040.95
Connect46469610.8
Counter52711721.77
Debug8249200
DFlipFlop7310102.35
dungeon5532972.11
evader-pursuer-4x4-logarithmic5967282.21
evader-pursuer-4x4-standard6438385.22
evader-pursuer-6x6-logarithmic67511754.77
evader-pursuer-6x6-standard6639598.74
evader-pursuer-8x8-logarithmic72519138.86
FPGA_PLB_FIT_FAST38416.08
FPGA_PLB_FIT_SLOW25121725.65
fpu4710673.12
Generalized-Tic-Tac-Toe48156476.21
HardwareFixpoint562223063.06
Impl74100
incrementer-encoder52615618.96
irqlkeapclte8148577.11
ISCAS8932412001.7
ITC99421116698.81
jmc_quant_squaring951146262
k_branch_n75322304
k_branch_p82129473.29
k_d4_n73333595.03
k_d4_p72102.01
k_dum_n66620389.96
k_dum_p74812294.48
k_grz_n68715012.37
k_grz_p7087721.68
k_lin_n641042.37
k_lin_p65102.74
k_path_n67424611.76
k_path_p67232391.74
k_ph_n7210369.08
k_ph_p70331188.89
k_poly_n68101.57
k_poly_p64101.03
k_t4p_n71138395.73
k_t4p_p76139059.91
LinearBitvectorRankingFunction6035984.04
Logn29443.09
mqm751519631.01
MutexP7873.96
Planning-CTE382116439.14
QBF-Hardness51614773.71
qbfeval1227142999.84
Qshifter6157524.18
RankingFunctions55109.45
Reduction-finding542515619.48
Rewriting451027.05
s119644121647.79
s12697042000
s2736130.4
s29870231993.56
s333072138481.28
s386691230741.06
s4996237198.98
s51059132309.94
s64155419848.64
s71373521624.03
s82070428358.18
Sorting_networks863327550.24
SzymanskiP93101676.13
term16944386.93
terminator7094255.39
tipdiam685122149.08
tipfixpoint693318689.49
ToiletA483746.81
ToiletC48182999.9
ToiletG4370.07
trafficlight-controller4585089.79
Tree74280
uclid3017994.57
VonNeumann7510525.12
wmiforward70713220.3
z4ml61440