qesto results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70456264.27
Adder931242170.59
blackbox-01X-QBF68522191.33
blackbox_design76713823.37
Blocks88366144.5
BMC772325965.51
bomb48319446.75
C432733217996.16
C499763218614.26
C5315802131241.14
C628877235593.07
C88078235984.62
Chain82100.87
circuits69137781.79
conformant_planning792134190.81
Connect46455027.23
Counter5287218.76
Debug8245953.73
DFlipFlop731021
dungeon55227585.36
evader-pursuer-4x4-logarithmic59322848.07
evader-pursuer-4x4-standard6438380.54
evader-pursuer-6x6-logarithmic67330764.47
evader-pursuer-6x6-standard6621911.14
evader-pursuer-8x8-logarithmic72235136.7
FPGA_PLB_FIT_FAST38418.72
FPGA_PLB_FIT_SLOW25122496.21
fpu471066.82
Generalized-Tic-Tac-Toe48186550.2
HardwareFixpoint562220402.96
Impl74100
incrementer-encoder52425458.04
irqlkeapclte8148576.51
ISCAS893261119.29
ITC99421117522.11
jmc_quant_squaring95154570.85
k_branch_n7591424.08
k_branch_p8285056.62
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_n7210457.95
k_ph_p70428274.06
k_poly_n68100.52
k_poly_p64100.51
k_t4p_n71103.49
k_t4p_p76102.97
LinearBitvectorRankingFunction6036016.62
Logn2936102.76
mqm752520762.75
MutexP7874.15
Planning-CTE38211167.47
QBF-Hardness51177582.21
qbfeval1227143012.99
Qshifter61671.9
RankingFunctions55101.67
Reduction-finding542513119.91
Rewriting45100.14
s119644154050.65
s126970334782.99
s2736134.91
s29870736729.75
s333072331867.5
s38669552117.42
s499627212112.66
s51059425413.3
s64155543316.91
s71373557885.98
s820705223400.71
Sorting_networks861239855.56
SzymanskiP93101130.18
term169444141.1
terminator70910524.56
tipdiam68426389.47
tipfixpoint692322195.12
ToiletA48378.16
ToiletC4819135.96
ToiletG4370
trafficlight-controller4572538.25
Tree74280
uclid3017991.41
VonNeumann751047.88
wmiforward70101.26
z4ml61440.46