qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456330.98
Adder109252752.07
blackbox-01X-QBF74616216.1
blackbox_design7610162.18
Blocks88287.06
BMC8796938.4
bomb5137154.24
C432733124264.69
C49976616339.99
C5315833125201.65
C62888148578.51
C88078612051.98
Chain82103.03
circuits75136931.32
conformant_planning792134193.88
Connect468523519.71
Counter5496219.75
Debug9654728.97
DFlipFlop7310121.45
dungeon72231320.4
evader-pursuer-4x4-logarithmic61114504.48
evader-pursuer-4x4-standard6529391.07
evader-pursuer-6x6-logarithmic72117606.41
evader-pursuer-6x6-standard7243140.46
evader-pursuer-8x8-logarithmic7526339.48
FPGA_PLB_FIT_FAST38411291.58
FPGA_PLB_FIT_SLOW25119521.74
fpu47101440.17
Generalized-Tic-Tac-Toe54711460.37
HardwareFixpoint7535686.24
Impl74100.98
incrementer-encoder63364702.21
irqlkeapclte11166565.71
ISCAS893235993.8
ITC9951113706.12
jmc_quant_squaring11353886.81
k_branch_n85812707.73
k_branch_p99721750.28
k_d4_n73104.68
k_d4_p72102.8
k_dum_n66101.81
k_dum_p74101.81
k_grz_n68101.86
k_grz_p70102.01
k_lin_n641024.21
k_lin_p65101.67
k_path_n67101.73
k_path_p67102.12
k_ph_n7310171.66
k_ph_p81435599.33
k_poly_n68104.12
k_poly_p64102.94
k_t4p_n71105.78
k_t4p_p76104.87
LinearBitvectorRankingFunction8047971.44
Logn2949.94
mqm81551034.9
MutexP7872.21
Planning-CTE502217499.42
QBF-Hardness591711629.1
qbfeval1227142029.21
Qshifter62227871.81
RankingFunctions6035932.35
Reduction-finding652326304.56
Rewriting45319045.74
s11964467.45
s126971523538.46
s2736130
s298706414.97
s3330734218265.52
s38669556.28
s499621016.67
s510599167.16
s6415594.38
s71373107.27
s820706422.06
Sorting_networks1044140369.92
SzymanskiP97628348.09
term169615445.23
terminator82237965.9
tipdiam824314220.06
tipfixpoint77431795.43
ToiletA48356038.56
ToiletC48183013.72
ToiletG4370.07
trafficlight-controller4564376.91
Tree742826.07
uclid3017991.3
VonNeumann7510147.6
wmiforward73427588.54
z4ml61440.14