caqe-portfolio results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71455133.42
Adder10927780.74
blackbox-01X-QBF7478649.93
blackbox_design7610115.86
Blocks8837711.66
BMC872120212.51
bomb51311414.18
C43273329157.31
C49976329332.09
C5315832116284.12
C628881219650.48
C88078217998.82
Chain821013.74
circuits75120687.86
conformant_planning882119796.79
Connect468610386.2
Counter5483932.93
Debug9628838.22
DFlipFlop7385663.3
dungeon72317791.09
evader-pursuer-4x4-logarithmic617102.09
evader-pursuer-4x4-standard6538453.42
evader-pursuer-6x6-logarithmic72316676.5
evader-pursuer-6x6-standard7217975.12
evader-pursuer-8x8-logarithmic75215941.38
FPGA_PLB_FIT_FAST384137.4
FPGA_PLB_FIT_SLOW2512280.56
fpu4710299.07
Generalized-Tic-Tac-Toe54183842.14
HardwareFixpoint752313007.78
Impl74108.88
incrementer-encoder63611381.95
irqlkeapclte11133285.98
ISCAS893261319.87
ITC99511112632.21
jmc_quant_squaring1132126118.31
k_branch_n859375.13
k_branch_p999548.51
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_n7310889.34
k_ph_p81418131.14
k_poly_n681012.32
k_poly_p641010.26
k_t4p_n711034.72
k_t4p_p761027.73
LinearBitvectorRankingFunction8023984.66
Logn294221.47
mqm811510949.5
MutexP787111.67
Planning-CTE502110641.6
QBF-Hardness59175226.17
qbfeval1227141591.18
Qshifter626160.98
RankingFunctions601040.15
Reduction-finding65258808.36
Rewriting45105.4
s119644147495.64
s126971316194.76
s2736138.62
s2987069726.45
s333073218371.07
s38669554083.62
s49962611762.55
s51059313251.18
s64155534996.65
s71373539236.22
s82070514358.22
Sorting_networks1044219888.57
SzymanskiP97614767.53
term169442095.43
terminator82614271.41
tipdiam82417403.23
tipfixpoint773212354.09
ToiletA483725.16
ToiletC481952.41
ToiletG4375.65
trafficlight-controller4573098.13
Tree74288.95
uclid308995.38
VonNeumann7510205.01
wmiforward731019.44
z4ml61447.32