AIGSolve results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction702514860.52
Adder936311279.55
blackbox-01X-QBF68424461.04
blackbox_design7610240.88
Blocks883516810.23
BMC774317375
bomb483118099.52
C432733561.27
C4997635245.4
C5315802223443.74
C62887746183.18
C88078246542.08
Chain82100.96
circuits69328964.48
conformant_planning794222121.11
Connect464424914.42
Counter5210741.77
Debug8249177.71
DFlipFlop73101123.49
dungeon5594993.85
evader-pursuer-4x4-logarithmic59131604.63
evader-pursuer-4x4-standard64136024.86
evader-pursuer-6x6-logarithmic6740189.87
evader-pursuer-6x6-standard6639585.62
evader-pursuer-8x8-logarithmic72138531.98
FPGA_PLB_FIT_FAST38319508.96
FPGA_PLB_FIT_SLOW2524340.88
fpu4710109.67
Generalized-Tic-Tac-Toe481514953.43
HardwareFixpoint56274790.53
Impl74100
incrementer-encoder5219437.62
irqlkeapclte81101330.76
ISCAS8932416142.6
ITC9942122190.54
jmc_quant_squaring954412476.66
k_branch_n7597149.39
k_branch_p82810767.06
k_d4_n731057.86
k_d4_p721018.75
k_dum_n66107.19
k_dum_p74108.78
k_grz_n681078.08
k_grz_p701040.11
k_lin_n64102605.88
k_lin_p65101.93
k_path_n671014.45
k_path_p671020.07
k_ph_n7295828.66
k_ph_p70428263.13
k_poly_n681037.91
k_poly_p641020.11
k_t4p_n711045.86
k_t4p_p761036.42
LinearBitvectorRankingFunction6036233.57
Logn2948.42
mqm752135545.3
MutexP78713.69
Planning-CTE38251115.2
QBF-Hardness51227324.89
qbfeval1227142999.62
Qshifter6158140.7
RankingFunctions5510694.98
Reduction-finding54226602.85
Rewriting45100.32
s11964426389.99
s12697041983.43
s2736130.29
s298707118639.12
s33307228314.6
s386695511791.22
s499627313189.59
s51059326895.78
s64155323422.67
s71373329940.38
s82070236454.01
Sorting_networks86147985.43
SzymanskiP93534203.27
term1694410.13
terminator70192612.44
tipdiam68636441.35
tipfixpoint69539346.02
ToiletA48363718.39
ToiletC48194.39
ToiletG4370.14
trafficlight-controller4510506.37
Tree74280
uclid3018147.68
VonNeumann7510197.19
wmiforward70104.26
z4ml61440