cheq results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70435607.37
Adder9348156.83
blackbox-01X-QBF68614222.17
blackbox_design7646695.18
Blocks88228982.93
BMC772134825.99
bomb4868.8
C432733126541.83
C49976326246.86
C531580140903.94
C62887747525.37
C88078142535.27
Chain82435885.85
circuits69138619.06
conformant_planning883136881.77
Connect464414280.07
Counter52418997.13
Debug8249811.03
DFlipFlop7311714.1
dungeon5533588.88
evader-pursuer-4x4-logarithmic59418315.23
evader-pursuer-4x4-standard6439081.28
evader-pursuer-6x6-logarithmic67127468.98
evader-pursuer-6x6-standard6640275.77
evader-pursuer-8x8-logarithmic72131280.71
FPGA_PLB_FIT_FAST38314878.12
FPGA_PLB_FIT_SLOW25116825.22
fpu47322253.2
Generalized-Tic-Tac-Toe48128750.23
HardwareFixpoint5634612.41
Impl74100.74
incrementer-encoder52615941.71
irqlkeapclte8150299.11
ISCAS893217235.59
ITC994221801.34
jmc_quant_squaring9558045.82
k_branch_n75239109.38
k_branch_p8249252.74
k_d4_n73334489.08
k_d4_p7237414.27
k_dum_n66425896.01
k_dum_p7430109.14
k_grz_n68332944.76
k_grz_p7037413.15
k_lin_n64620367.72
k_lin_p65299.27
k_path_n67232986.47
k_path_p67233060.66
k_ph_n72105741.05
k_ph_p70131894.58
k_poly_n68138009.84
k_poly_p64135606.66
k_t4p_n7143520.74
k_t4p_p7646420.44
LinearBitvectorRankingFunction6036798.95
Logn29270.37
mqm752420884.13
MutexP78329876.98
Planning-CTE38217711.87
QBF-Hardness51319798.77
qbfeval1227123426.25
Qshifter61131537.81
RankingFunctions5533629.94
Reduction-finding54122105.91
Rewriting45102.14
s11964424181.67
s12697041343.86
s2736117626.18
s2987041945.96
s33307240998.08
s3866941122.72
s4996236887.5
s5105935723.79
s6415528234.71
s7137338014.74
s8207042003.74
Sorting_networks86144595.82
SzymanskiP93910299.43
term169412332.54
terminator7043240.02
tipdiam68427511.46
tipfixpoint69331235.23
ToiletA483710.37
ToiletC4813021.47
ToiletG4370.72
trafficlight-controller4585923.68
Tree742854.01
uclid3018225.29
VonNeumann75720922.21
wmiforward70330724.16
z4ml6141.13