AIGSolve results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2623400
Adder106729268.49
amba18116486.42
arithmetic175264.38
blackbox-01X-QBF1181101733.65
BMC924249050.95
C4322124.41
C499313327.21
C531554136521.62
C62887163514.3
C88060327955.59
circuits84263946.38
conformant_planning60246452.56
Connect21900
Connect321800
Connect443137668.89
Connect521900.59
Connect6311800.06
Connect743426.82
Connect8220.36
Counter2237689.07
cycle-sched1829118.64
Debug11574127.97
disjunctive_decomposition18215867.56
driver1422161.72
dungeon1051252856.63
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard65151550.08
evader-pursuer-6x6-logarithmic4843200
evader-pursuer-6x6-standard72164637.52
evader-pursuer-8x8-logarithmic4843200
formula_add2925635.56
fpu202044.05
genbuf18126814.3
Generalized-Tic-Tac-Toe32128103.41
genpatch15312751.33
HardwareFixpoint10921231172.39
hwmcc14125249.84
hyperLTL4110.02
incrementer-encoder502610690.71
irqlkeapclte111102147.6
ISCAS89622965.32
ITC99501143455.49
jmc_quant54500
jmc_quant_squaring943321802.93
k_branch_n51320942.84
k_branch_p80438191.77
k_ph_p75164228
LinearBitvectorRankingFunction11087893.84
ltl2aig-comp1525520.54
LTL2DBA711214.54
LTL2DPA814501.95
mqm3127900
mult-matrix1822242.85
Planning-CTE10722227433.39
QBF-Hardness5045000
qbfeval12715400.08
RankingFunctions223.37
Reduction-finding4540500
s11961513500
s12691614400
s29814110138.87
s33302018000
s4991311700
s51098100
s64116117525.84
s71315111737.26
s8201412600
sketch1412600
Sorting_networks7567099.73
SzymanskiP232478.77
terminator69179765.36
tipdiam773519443.81
tipfixpoint833342058.78
toy122270.38
trafficlight-controller101056.74
uclid3027685.76