aqua-s3o results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71457324.54
Adder115260582.66
blackbox-01X-QBF77812189.11
blackbox_design76109.37
Blocks88365553.07
BMC913233855.67
bomb51225773.18
C432733313396.22
C499763125913.77
C5315862134414.6
C628886240194.09
C880782131761.1
Chain82102.5
circuits75141391.75
conformant_planning794223972.93
Connect46868470.06
Counter54713633.58
Debug10361798.2
DFlipFlop7310102.4
dungeon73140770.82
evader-pursuer-4x4-logarithmic6167394.16
evader-pursuer-4x4-standard6538983.57
evader-pursuer-6x6-logarithmic74512792.48
evader-pursuer-6x6-standard7746200
evader-pursuer-8x8-logarithmic78521474.95
FPGA_PLB_FIT_FAST38417.28
FPGA_PLB_FIT_SLOW25121988.11
fpu4710671.55
Generalized-Tic-Tac-Toe54157600.31
HardwareFixpoint812235217.19
Impl74100
incrementer-encoder67624618.53
irqlkeapclte12172566.22
ISCAS8932314248.71
ITC99561119681.04
jmc_quant_squaring1181157827.79
k_branch_n88328907.21
k_branch_p103137838.17
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_n7410409.17
k_ph_p85340185.88
k_poly_n68101.57
k_poly_p64101.03
k_t4p_n71138402.08
k_t4p_p76139002.84
LinearBitvectorRankingFunction8651578.12
Logn29443
mqm842524214.19
MutexP7873.96
Planning-CTE55227600.49
QBF-Hardness63621958.08
qbfeval1227143000.09
Qshifter6257549.54
RankingFunctions611010.97
Reduction-finding652522225.52
Rewriting451027.39
s119644121651.64
s12697645600
s2736130.4
s29870231994.36
s333076140881.36
s386691230619.19
s4996237200
s51059132333.88
s64155419757.06
s71373521725.54
s82072427994.26
Sorting_networks1102338450.3
SzymanskiP99101418.18
term16944327.7
terminator8696689.59
tipdiam864136361.98
tipfixpoint813325859.25
ToiletA483746.43
ToiletC48182999.8
ToiletG4370.07
trafficlight-controller4584943.63
Tree74280
uclid3017993.5
VonNeumann7510525.48
wmiforward74715613.16
z4ml61440