qestos results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction713512106.12
Adder115243791.31
blackbox-01X-QBF7798840.88
blackbox_design76714006.92
Blocks88377.91
BMC915314862.73
bomb51319217.73
C432733310865.12
C499763218611.63
C5315862225991.44
C62888636907.81
C88078235990.76
Chain82100.79
circuits75335381.6
conformant_planning79643132.65
Connect468513587.8
Counter5487798.97
Debug10358399.89
DFlipFlop731020.98
dungeon73335388.6
evader-pursuer-4x4-logarithmic61323434.01
evader-pursuer-4x4-standard6517311.38
evader-pursuer-6x6-logarithmic74314175.01
evader-pursuer-6x6-standard7716938.03
evader-pursuer-8x8-logarithmic78214191.45
FPGA_PLB_FIT_FAST38415.18
FPGA_PLB_FIT_SLOW25127.67
fpu471066.46
Generalized-Tic-Tac-Toe541613234.11
HardwareFixpoint812227532.13
Impl74100
incrementer-encoder6719471.1
irqlkeapclte12172284.57
ISCAS89326133.47
ITC99561115211.58
jmc_quant_squaring11869070.44
k_branch_n88629846.01
k_branch_p103438401.69
k_d4_n73106.61
k_d4_p72102.07
k_dum_n66100.63
k_dum_p74100.8
k_grz_n68102.66
k_grz_p70101.74
k_lin_n641047.17
k_lin_p65101.38
k_path_n67101.26
k_path_p67101.58
k_ph_n7410797.61
k_ph_p85432350.43
k_poly_n68100.52
k_poly_p64100.51
k_t4p_n71103.49
k_t4p_p76102.9
LinearBitvectorRankingFunction86214171.11
Logn29439.62
mqm84146180.4
MutexP7874.15
Planning-CTE55223341.71
QBF-Hardness63526320.87
qbfeval122724173.44
Qshifter62676.37
RankingFunctions61101.98
Reduction-finding651611522.94
Rewriting45100.09
s11964419197.58
s12697637402.98
s2736134.91
s29870222644.33
s333076140266.48
s38669225084.13
s4996221768.1
s5105932012.78
s64155125250.81
s71373130498.82
s82072124177.86
Sorting_networks1105133255.49
SzymanskiP99101388.96
term169444411.81
terminator86435413.06
tipdiam86433765.35
tipfixpoint812325637.67
ToiletA48378.18
ToiletC4819183.2
ToiletG4370
trafficlight-controller4510108.25
Tree74280
uclid3017994.3
VonNeumann751047.65
wmiforward74101.42
z4ml61440.46