AIGSolve results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction712515460.23
Adder1096313694.89
blackbox-01X-QBF74428059.84
blackbox_design7610240.88
Blocks883516810.23
BMC874320054.16
bomb513119898.98
C432733561.27
C4997635245.4
C5315832225243.15
C62888148582.28
C88078246542.08
Chain82100.96
circuits75332563.37
conformant_planning794222121.11
Connect468427313.32
Counter5410838.95
Debug9657573.84
DFlipFlop73101123.49
dungeon7297034.53
evader-pursuer-4x4-logarithmic61132804.34
evader-pursuer-4x4-standard65136624.61
evader-pursuer-6x6-logarithmic7243189.29
evader-pursuer-6x6-standard7243184.42
evader-pursuer-8x8-logarithmic75140323.91
FPGA_PLB_FIT_FAST38319508.96
FPGA_PLB_FIT_SLOW2524340.88
fpu4710109.67
Generalized-Tic-Tac-Toe541518463.25
HardwareFixpoint75276415.51
Impl74100
incrementer-encoder6319610.6
irqlkeapclte111101829.09
ISCAS8932416142.6
ITC9951127588.13
jmc_quant_squaring1134414988.33
k_branch_n8598589.48
k_branch_p99813949.3
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_n7396428.4
k_ph_p81434861.21
k_poly_n681037.91
k_poly_p641020.11
k_t4p_n711045.86
k_t4p_p761036.42
LinearBitvectorRankingFunction8048335.18
Logn2948.42
mqm812139144.56
MutexP78713.69
Planning-CTE50251581.39
QBF-Hardness59232123.45
qbfeval1227142999.62
Qshifter6258215.56
RankingFunctions6010780.37
Reduction-finding65233200.3
Rewriting45100.32
s11964426389.99
s12697142583.17
s2736130.29
s298707118639.12
s33307328497.81
s386695511791.22
s499627313189.59
s51059326895.78
s64155323422.67
s71373329940.38
s82070236454.01
Sorting_networks104158781.91
SzymanskiP97536602.13
term1694410.13
terminator82193544.24
tipdiam82638377.77
tipfixpoint775311821.92
ToiletA48363718.39
ToiletC48194.39
ToiletG4370.14
trafficlight-controller4510506.37
Tree74280
uclid3018147.68
VonNeumann7510197.19
wmiforward73105.1
z4ml61440