caqe-minisat-par results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction712322330.66
Adder109257000.3
blackbox-01X-QBF74331805.67
blackbox_design76103296.86
Blocks88371751.49
BMC872140398.23
bomb51225801.08
C432733316237.47
C499763218627.92
C5315832132474.5
C628881239736.01
C88078236003.68
Chain82104.67
circuits75141400.18
conformant_planning792134204.69
Connect468619743.33
Counter5487857.93
Debug96157600
DFlipFlop7396462.7
dungeon721335420.81
evader-pursuer-4x4-logarithmic61753.92
evader-pursuer-4x4-standard65322360.72
evader-pursuer-6x6-logarithmic72330659.62
evader-pursuer-6x6-standard7243200
evader-pursuer-8x8-logarithmic75234376.52
FPGA_PLB_FIT_FAST384121.34
FPGA_PLB_FIT_SLOW2512183.01
fpu4710150.37
Generalized-Tic-Tac-Toe541713909.25
HardwareFixpoint752325864.22
Impl74100.16
incrementer-encoder63622354.76
irqlkeapclte11166600
ISCAS8932513284.98
ITC99511125221.01
jmc_quant_squaring113256491.84
k_branch_n8596698.36
k_branch_p9995600.15
k_d4_n731025.04
k_d4_p72108.03
k_dum_n66103.46
k_dum_p74104.04
k_grz_n68109.82
k_grz_p70107.55
k_lin_n641064.22
k_lin_p65105.38
k_path_n67105.42
k_path_p67106.73
k_ph_n7310560.67
k_ph_p81434869.01
k_poly_n68104.07
k_poly_p64103.08
k_t4p_n711015.79
k_t4p_p761012.44
LinearBitvectorRankingFunction8048000
Logn294113.05
mqm81146175.6
MutexP78753.5
Planning-CTE502120668.04
QBF-Hardness59188157.72
qbfeval1227143049.11
Qshifter62693.52
RankingFunctions601019.67
Reduction-finding652419841.57
Rewriting45100.54
s1196441311403.24
s126971330353.75
s2736133.83
s298706214021.62
s333073334688.49
s38669538799.27
s499627112963.9
s51059325593.41
s64155544284.04
s713735312255.25
s82070523900.73
Sorting_networks1043145480.52
SzymanskiP97820905.81
term169441689.06
terminator82436697.31
tipdiam82434804.88
tipfixpoint773224631.44
ToiletA483711.44
ToiletC481930.03
ToiletG4370.07
trafficlight-controller4593168.15
Tree74280
uclid3018000
VonNeumann7510101.54
wmiforward73106.81
z4ml61441.3