qsts results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455731.27
Adder93243810.21
blackbox-01X-QBF68616211.44
blackbox_design7610162.18
Blocks88287.06
BMC7795692.25
bomb4836658.75
C432733124264.69
C49976616339.99
C5315803123402.51
C62887746179.57
C88078612051.98
Chain82103.03
circuits69133914.06
conformant_planning792134193.88
Connect464521121.3
Counter5295426.98
Debug8246673.65
DFlipFlop7310121.45
dungeon55222622.99
evader-pursuer-4x4-logarithmic59113970.13
evader-pursuer-4x4-standard6429071.84
evader-pursuer-6x6-logarithmic67116296.09
evader-pursuer-6x6-standard6639545.99
evader-pursuer-8x8-logarithmic7224967.5
FPGA_PLB_FIT_FAST38411291.58
FPGA_PLB_FIT_SLOW25119521.74
fpu47101440.17
Generalized-Tic-Tac-Toe4879061.35
HardwareFixpoint5627089.26
Impl74100.98
incrementer-encoder52363450.2
irqlkeapclte8148574.98
ISCAS893235993.8
ITC9942111092.85
jmc_quant_squaring9545594.99
k_branch_n75811032.56
k_branch_p82716918.53
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_n7210156.51
k_ph_p70429003.29
k_poly_n68104.12
k_poly_p64102.94
k_t4p_n71105.78
k_t4p_p76104.87
LinearBitvectorRankingFunction6035978.48
Logn2949.94
mqm7555886.6
MutexP7872.21
Planning-CTE382212330.17
QBF-Hardness51178775.66
qbfeval1227142029.21
Qshifter61227272.1
RankingFunctions5532933.95
Reduction-finding542321026.4
Rewriting45319045.74
s11964467.45
s126970522938.74
s2736130
s298706414.97
s3330724217665.91
s38669556.28
s499621016.67
s510599167.16
s6415594.38
s71373107.27
s820706422.06
Sorting_networks864130604.88
SzymanskiP93625950.43
term169615445.23
terminator70232568.09
tipdiam684310549.8
tipfixpoint69426997.75
ToiletA48356038.56
ToiletC48183013.72
ToiletG4370.07
trafficlight-controller4564376.91
Tree742826.07
uclid3017991.3
VonNeumann7510147.6
wmiforward70425789.11
z4ml61440.14