qesto results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456863.98
Adder1091250607.79
blackbox-01X-QBF74525789.39
blackbox_design76713823.37
Blocks88366144.5
BMC872330787.92
bomb51320985.99
C432733217996.16
C499763218614.26
C5315832133040.47
C628881237991.91
C88078235984.62
Chain82100.87
circuits75141380.05
conformant_planning792134190.81
Connect46855064.42
Counter5487818.55
Debug9654025.07
DFlipFlop731021
dungeon72237777.4
evader-pursuer-4x4-logarithmic61324053.21
evader-pursuer-4x4-standard6538980.26
evader-pursuer-6x6-logarithmic72333617.17
evader-pursuer-6x6-standard7223302.16
evader-pursuer-8x8-logarithmic75236609.31
FPGA_PLB_FIT_FAST38418.72
FPGA_PLB_FIT_SLOW25122496.21
fpu471066.82
Generalized-Tic-Tac-Toe54189060.26
HardwareFixpoint752230599.75
Impl74100
incrementer-encoder63432054.85
irqlkeapclte11166567.81
ISCAS893261119.29
ITC99511122270.16
jmc_quant_squaring113165125.58
k_branch_n8591885.91
k_branch_p9986628.48
k_d4_n73106.61
k_d4_p72102.01
k_dum_n66100.63
k_dum_p74100.8
k_grz_n68102.73
k_grz_p70101.74
k_lin_n641047.14
k_lin_p65101.45
k_path_n67101.26
k_path_p67101.58
k_ph_n7310508.08
k_ph_p81434871.27
k_poly_n68100.52
k_poly_p64100.51
k_t4p_n71103.49
k_t4p_p76102.97
LinearBitvectorRankingFunction8048020.54
Logn2936102.76
mqm812524361.03
MutexP7874.15
Planning-CTE50215728.87
QBF-Hardness591710083.43
qbfeval1227143012.99
Qshifter62672.26
RankingFunctions60101.93
Reduction-finding652518051.93
Rewriting45100.14
s119644154050.65
s126971335382.7
s2736134.91
s29870736729.75
s333073332467.12
s38669552117.42
s499627212112.66
s51059425413.3
s64155543316.91
s71373557885.98
s820705223400.71
Sorting_networks1041249373.59
SzymanskiP97101302.76
term169444141.1
terminator82913974.17
tipdiam82434785.41
tipfixpoint772326993.02
ToiletA48378.16
ToiletC4819135.96
ToiletG4370
trafficlight-controller4572538.25
Tree74280
uclid3017991.41
VonNeumann751047.88
wmiforward73101.44
z4ml61440.46