caqe-minisat results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction702321804.18
Adder93211879.02
blackbox-01X-QBF68328196.36
blackbox_design7694675.15
Blocks88372568.19
BMC772134363.36
bomb48223988.16
C432733318357.22
C499763218634.41
C5315802130711.96
C628877238962.09
C88078235992.53
Chain82108.15
circuits69137782.88
conformant_planning883139007.76
Connect464617336.29
Counter5287291
Debug8249160.7
DFlipFlop7397509.72
dungeon55325026.01
evader-pursuer-4x4-logarithmic59792.54
evader-pursuer-4x4-standard64321855.9
evader-pursuer-6x6-logarithmic67328977.98
evader-pursuer-6x6-standard6624284.7
evader-pursuer-8x8-logarithmic72233479.84
FPGA_PLB_FIT_FAST384178.36
FPGA_PLB_FIT_SLOW2512249.28
fpu4710296.96
Generalized-Tic-Tac-Toe48184767.27
HardwareFixpoint562317471.01
Impl74100.54
incrementer-encoder52615877.65
irqlkeapclte8148579.44
ISCAS893261418.69
ITC99421119829.59
jmc_quant_squaring952141475.15
k_branch_n7595548.25
k_branch_p8291074.02
k_d4_n731046.94
k_d4_p721014.96
k_dum_n66106.16
k_dum_p74107.08
k_grz_n681018.17
k_grz_p701014.53
k_lin_n6410115.7
k_lin_p651010.07
k_path_n67109.89
k_path_p671012.11
k_ph_n7210775.17
k_ph_p70428634.67
k_poly_n68107.15
k_poly_p64105.29
k_t4p_n711035.8
k_t4p_p761024.02
LinearBitvectorRankingFunction6035983.67
Logn294212.4
mqm751524674.27
MutexP78799.69
Planning-CTE382114681.37
QBF-Hardness51188030.31
qbfeval1227143090.43
Qshifter616190.73
RankingFunctions551029.26
Reduction-finding542512679.83
Rewriting45100.68
s1196441312896.91
s126970330215.46
s2736136.79
s298706216231.87
s333072235279.79
s38669539666.65
s499627115123.99
s51059325780.39
s64155546421.28
s713735314645
s82070525643.61
Sorting_networks863134645.58
SzymanskiP93819485.04
term169442018.4
terminator70430534.8
tipdiam68426398.17
tipfixpoint693221039.13
ToiletA483721.34
ToiletC481947.68
ToiletG4370.2
trafficlight-controller4593620.91
Tree74280.22
uclid3017991.43
VonNeumann7510198.93
wmiforward701011.38
z4ml61441.9