AIGSolve results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2320700
Adder86726679.75
amba8113663.12
arithmetic5566.38
blackbox-01X-QBF78167520.19
BMC734239625.39
C4322124.41
C499313327.21
C531551133821.62
C62886759952.87
C88060327955.59
circuits73254046.38
conformant_planning58244652.56
Connect21900
Connect31900
Connect436131401.68
Connect521900.59
Connect621900.06
Connect721713.41
Connect8220.36
Counter1935835.2
cycle-sched823659.32
Debug9460482.16
disjunctive_decomposition5211916.89
driver82268.36
dungeon601251589.45
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard64150650.08
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard66159237.52
evader-pursuer-8x8-logarithmic4641400
formula_add1210485.84
fpu202044.05
genbuf8123586.08
Generalized-Tic-Tac-Toe20117303.41
genpatch531917.11
HardwareFixpoint5421212651.77
hwmcc8122138.3
hyperLTL4110.02
incrementer-encoder35267628.56
irqlkeapclte81101565.09
ISCAS89422329.26
ITC99371131755.49
jmc_quant43600
jmc_quant_squaring773318163.16
k_branch_n37314777.31
k_branch_p61428841.52
k_ph_p58150236.8
LinearBitvectorRankingFunction7357980.19
ltl2aig-comp823656.12
LTL2DBA41185.96
LTL2DPA411801.3
mqm2522500
mult-matrix822112.66
Planning-CTE5322211631.43
QBF-Hardness3027000
qbfeval12715400.08
RankingFunctions223.37
Reduction-finding2926100
s11961513500
s12691513500
s29814110138.87
s33301917100
s4991311700
s51098100
s64116117525.84
s71315111737.26
s8201412600
sketch54500
Sorting_networks5750992.1
SzymanskiP192394.01
terminator42174376.19
tipdiam553514765.45
tipfixpoint583329288.42
toy82224.82
trafficlight-controller101056.74
uclid3027685.76