caqe-minisat-par results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction702321730.66
Adder93247400.3
blackbox-01X-QBF68328205.67
blackbox_design76103296.86
Blocks88371751.49
BMC772134398.23
bomb48224001.08
C432733316237.47
C499763218627.92
C5315802130674.5
C628877237336.01
C88078236003.68
Chain82104.67
circuits69137800.18
conformant_planning792134204.69
Connect464617343.33
Counter5287257.66
Debug82149200
DFlipFlop7396462.7
dungeon551325220.81
evader-pursuer-4x4-logarithmic59752.16
evader-pursuer-4x4-standard64321760.72
evader-pursuer-6x6-logarithmic67328083.08
evader-pursuer-6x6-standard6639600
evader-pursuer-8x8-logarithmic72233108
FPGA_PLB_FIT_FAST384121.34
FPGA_PLB_FIT_SLOW2512183.01
fpu4710150.37
Generalized-Tic-Tac-Toe481710357.33
HardwareFixpoint562317445.71
Impl74100.16
incrementer-encoder52615754.76
irqlkeapclte8148600
ISCAS8932513284.98
ITC99421119821.01
jmc_quant_squaring95246831.16
k_branch_n7595483.6
k_branch_p8294357.79
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_n7210507.09
k_ph_p70428269.01
k_poly_n68104.07
k_poly_p64103.08
k_t4p_n711015.79
k_t4p_p761012.44
LinearBitvectorRankingFunction6036000
Logn294113.05
mqm75142575.6
MutexP78753.5
Planning-CTE382114592.4
QBF-Hardness51186246.08
qbfeval1227143049.11
Qshifter61693
RankingFunctions551016.1
Reduction-finding542415035.15
Rewriting45100.54
s1196441311403.24
s126970329753.75
s2736133.83
s298706214021.62
s333072334088.49
s38669538799.27
s499627112963.9
s51059325593.41
s64155544284.04
s713735312255.25
s82070523900.73
Sorting_networks863135575.7
SzymanskiP93818505.81
term169441689.06
terminator70429497.31
tipdiam68426404.88
tipfixpoint693221026.32
ToiletA483711.44
ToiletC481930.03
ToiletG4370.07
trafficlight-controller4593168.15
Tree74280
uclid3018000
VonNeumann7510101.54
wmiforward70105.94
z4ml61441.3