qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456330.98
Adder115256350.43
blackbox-01X-QBF77616218.43
blackbox_design7610162.18
Blocks88287.06
BMC9197559.75
bomb5137154.24
C432733124264.69
C49976616339.99
C5315863127000.79
C62888651577.16
C88078612051.98
Chain82103.03
circuits75136931.32
conformant_planning792134193.88
Connect468523519.71
Counter5496219.75
Debug10358842.27
DFlipFlop7310121.45
dungeon73231919.62
evader-pursuer-4x4-logarithmic61114504.48
evader-pursuer-4x4-standard6529391.07
evader-pursuer-6x6-logarithmic74118153.59
evader-pursuer-6x6-standard7746135.61
evader-pursuer-8x8-logarithmic7827720.06
FPGA_PLB_FIT_FAST38411291.58
FPGA_PLB_FIT_SLOW25119521.74
fpu47101440.17
Generalized-Tic-Tac-Toe54711460.37
HardwareFixpoint8138411.02
Impl74100.98
incrementer-encoder67365319.45
irqlkeapclte12172562.62
ISCAS893235993.8
ITC9956115145.47
jmc_quant_squaring11856136.31
k_branch_n88813467.78
k_branch_p103723812.94
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_n7410171.86
k_ph_p85437997.53
k_poly_n68104.12
k_poly_p64102.94
k_t4p_n71105.78
k_t4p_p76104.87
LinearBitvectorRankingFunction8651569.35
Logn2949.94
mqm84551109.05
MutexP7872.21
Planning-CTE552219486.42
QBF-Hardness631713055.82
qbfeval1227142029.21
Qshifter62227871.81
RankingFunctions6136531.98
Reduction-finding652326304.56
Rewriting45319045.74
s11964467.45
s126976526537.03
s2736130
s298706414.97
s3330764220064.35
s38669556.28
s499621016.67
s510599167.16
s6415594.38
s71373107.27
s820726422.78
Sorting_networks1104143453.31
SzymanskiP99629546.92
term169615445.23
terminator86239765.17
tipdiam864314820.22
tipfixpoint81434194.27
ToiletA48356038.56
ToiletC48183013.72
ToiletG4370.07
trafficlight-controller4564376.91
Tree742826.07
uclid3017991.3
VonNeumann7510147.6
wmiforward74428188.35
z4ml61440.14