aqua-s3o results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70456724.72
Adder93247386.57
blackbox-01X-QBF6888545.01
blackbox_design76109.37
Blocks88365553.07
BMC773227097.58
bomb48223976.34
C432733313396.22
C499763125913.77
C5315802130815.86
C628877234796
C880782131761.1
Chain82102.5
circuits69137792.48
conformant_planning794223972.93
Connect46467429.81
Counter52712433.5
Debug8249198.74
DFlipFlop7310102.4
dungeon55129980.19
evader-pursuer-4x4-logarithmic5967363.02
evader-pursuer-4x4-standard6438383.94
evader-pursuer-6x6-logarithmic67511105.92
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72518965.4
FPGA_PLB_FIT_FAST38417.28
FPGA_PLB_FIT_SLOW25121988.11
fpu4710671.55
Generalized-Tic-Tac-Toe48155934.49
HardwareFixpoint562221421.87
Impl74100
incrementer-encoder52615619.1
irqlkeapclte8148577.38
ISCAS8932314248.71
ITC99421113837.56
jmc_quant_squaring951145455.61
k_branch_n75323585.58
k_branch_p82130662.94
k_d4_n73333598.37
k_d4_p72102.01
k_dum_n66618867.79
k_dum_p74811233.78
k_grz_n68715010.4
k_grz_p7087677.38
k_lin_n641044.45
k_lin_p65102.82
k_path_n67424609.38
k_path_p67232390.26
k_ph_n7210373.39
k_ph_p70331188.9
k_poly_n68101.57
k_poly_p64101.03
k_t4p_n71138402.08
k_t4p_p76139002.84
LinearBitvectorRankingFunction6035984.6
Logn29443
mqm752519018.43
MutexP7873.96
Planning-CTE38217401.84
QBF-Hardness51614759.49
qbfeval1227143000.09
Qshifter6157523.92
RankingFunctions55109.45
Reduction-finding542515831.89
Rewriting451027.39
s119644121651.64
s12697042000
s2736130.4
s29870231994.36
s333072138481.36
s386691230619.19
s4996237200
s51059132333.88
s64155419757.06
s71373521725.54
s82070426794.26
Sorting_networks862329158.53
SzymanskiP93101151.96
term16944327.7
terminator7094261.91
tipdiam684125820.05
tipfixpoint693318661.29
ToiletA483746.43
ToiletC48182999.8
ToiletG4370.07
trafficlight-controller4584943.63
Tree74280
uclid3017993.5
VonNeumann7510525.48
wmiforward70713214.28
z4ml61440