aqua-f3v results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71458586.59
Adder109256988.2
blackbox-01X-QBF74811163.41
blackbox_design761011.17
Blocks88366105.26
BMC873231785.62
bomb51322806.89
C432733313882.26
C499763125811.31
C5315832132899.18
C628881237193.38
C880782130180.12
Chain82102.5
circuits75141393.54
conformant_planning795121040.95
Connect468610949.49
Counter54712922.03
Debug9657600
DFlipFlop7310102.35
dungeon7243162.16
evader-pursuer-4x4-logarithmic6167308.09
evader-pursuer-4x4-standard6538984.94
evader-pursuer-6x6-logarithmic72512894.3
evader-pursuer-6x6-standard7243198.56
evader-pursuer-8x8-logarithmic75520182.09
FPGA_PLB_FIT_FAST38416.08
FPGA_PLB_FIT_SLOW25121725.65
fpu4710673.12
Generalized-Tic-Tac-Toe54158320.63
HardwareFixpoint752233259.62
Impl74100
incrementer-encoder63622218.3
irqlkeapclte11166568.62
ISCAS8932412001.7
ITC99511121211.99
jmc_quant_squaring1131156394.07
k_branch_n85326122.18
k_branch_p99135288.84
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_n7310403.98
k_ph_p81337786.65
k_poly_n68101.57
k_poly_p64101.03
k_t4p_n71138395.73
k_t4p_p76139059.91
LinearBitvectorRankingFunction8047978.9
Logn29443.09
mqm811523230.15
MutexP7873.96
Planning-CTE502123253.7
QBF-Hardness59619572.97
qbfeval1227142999.84
Qshifter6257549.83
RankingFunctions601010.57
Reduction-finding652521885.14
Rewriting451027.05
s119644121647.79
s12697142600
s2736130.4
s29870231993.56
s333073139081.28
s386691230741.06
s4996237198.98
s51059132309.94
s64155419848.64
s71373521624.03
s82070428358.18
Sorting_networks1043334370.93
SzymanskiP97101936.61
term16944386.93
terminator8296074.89
tipdiam825129219.75
tipfixpoint773323487.91
ToiletA483746.81
ToiletC48182999.9
ToiletG4370.07
trafficlight-controller4585089.79
Tree74280
uclid3017994.57
VonNeumann7510525.12
wmiforward73715019.46
z4ml61440