caqe-portfolio results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70454833.58
Adder9326371.66
blackbox-01X-QBF6877220.23
blackbox_design7610115.86
Blocks8837711.66
BMC772117214.58
bomb48310514.7
C43273329157.31
C49976329332.09
C5315802115384.59
C628877218451.13
C88078217998.82
Chain821013.74
circuits69118889
conformant_planning882119796.79
Connect46469187.01
Counter5283632.57
Debug8224633.96
DFlipFlop7385663.3
dungeon55312694.31
evader-pursuer-4x4-logarithmic59798.74
evader-pursuer-4x4-standard6438400.38
evader-pursuer-6x6-logarithmic67315261.44
evader-pursuer-6x6-standard6616400.59
evader-pursuer-8x8-logarithmic72215259.57
FPGA_PLB_FIT_FAST384137.4
FPGA_PLB_FIT_SLOW2512280.56
fpu4710299.07
Generalized-Tic-Tac-Toe48182800.24
HardwareFixpoint56238777.3
Impl74108.88
incrementer-encoder5268083.97
irqlkeapclte8124289.82
ISCAS893261319.87
ITC9942119933.87
jmc_quant_squaring952121512
k_branch_n759312.61
k_branch_p829431.03
k_d4_n731052.39
k_d4_p721019.54
k_dum_n661010.17
k_dum_p741012.98
k_grz_n681023.16
k_grz_p701018.2
k_lin_n6410121.18
k_lin_p651014.36
k_path_n671013.69
k_path_p671016.44
k_ph_n7210804.78
k_ph_p70414832.88
k_poly_n681012.32
k_poly_p641010.26
k_t4p_n711034.72
k_t4p_p761027.73
LinearBitvectorRankingFunction6017988.46
Logn294221.47
mqm75159150.76
MutexP787111.67
Planning-CTE38217517.26
QBF-Hardness51173933.41
qbfeval1227141591.18
Qshifter616159.76
RankingFunctions551033.53
Reduction-finding54256384.97
Rewriting45105.4
s119644147495.64
s126970315895.03
s2736138.62
s2987069726.45
s333072218071.31
s38669554083.62
s49962611762.55
s51059313251.18
s64155534996.65
s71373539236.22
s82070514358.22
Sorting_networks864215060.39
SzymanskiP93613568.33
term169442095.43
terminator70610673.42
tipdiam68413205.2
tipfixpoint693210545.47
ToiletA483725.16
ToiletC481952.41
ToiletG4375.65
trafficlight-controller4573098.13
Tree74288.95
uclid308995.38
VonNeumann7510205.01
wmiforward701017.58
z4ml61447.32