cheq results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71436215.19
Adder10957913.79
blackbox-01X-QBF74617890.89
blackbox_design7646695.18
Blocks88228982.93
BMC872140876.31
bomb5179.65
C432733126541.83
C49976326246.86
C531583142780.86
C62888150014.7
C88078142535.27
Chain82435885.85
circuits75142285.81
conformant_planning883136881.77
Connect468416234.64
Counter54420220.81
Debug9658302.33
DFlipFlop7311714.1
dungeon7243950.41
evader-pursuer-4x4-logarithmic61419073.67
evader-pursuer-4x4-standard6539686.64
evader-pursuer-6x6-logarithmic72130042.44
evader-pursuer-6x6-standard7243928.78
evader-pursuer-8x8-logarithmic75132600.68
FPGA_PLB_FIT_FAST38314878.12
FPGA_PLB_FIT_SLOW25116825.22
fpu47322253.2
Generalized-Tic-Tac-Toe541211196.33
HardwareFixpoint7546407.57
Impl74100.74
incrementer-encoder63622653.65
irqlkeapclte11168916.75
ISCAS893217235.59
ITC995126878.44
jmc_quant_squaring11369033.09
k_branch_n85245359.83
k_branch_p9959412.9
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_n73106195.94
k_ph_p81138627.88
k_poly_n68138009.84
k_poly_p64135606.66
k_t4p_n7143520.74
k_t4p_p7646420.44
LinearBitvectorRankingFunction8049066.34
Logn29270.37
mqm812424644.05
MutexP78329876.98
Planning-CTE50225013.84
QBF-Hardness59324650.65
qbfeval1227123426.25
Qshifter62132147.45
RankingFunctions6036667.18
Reduction-finding65128833.06
Rewriting45102.14
s11964424181.67
s12697141948.88
s2736117626.18
s2987041945.96
s33307341587.98
s3866941122.72
s4996236887.5
s5105935723.79
s6415528234.71
s7137338014.74
s8207042003.74
Sorting_networks104155748.15
SzymanskiP97911955.13
term169412332.54
terminator8250691.93
tipdiam82436159.57
tipfixpoint77336139.85
ToiletA483710.37
ToiletC4813021.47
ToiletG4370.72
trafficlight-controller4585923.68
Tree742854.01
uclid3018225.29
VonNeumann75720922.21
wmiforward73332535.14
z4ml6141.13