caqe_2017_v2 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2320700
Adder86542394.91
amba8122191.5
arithmetic531800.15
blackbox-01X-QBF781328113.59
BMC732243143.38
C43221214.79
C49931316563.39
C5315511126148.1
C628867152212.87
C88060235284.15
circuits73355933.96
conformant_planning58145297.36
Connect21137.38
Connect31900
Connect436131500.05
Connect522368.41
Connect621900.06
Connect721800
Connect8220.4
Counter19113137
cycle-sched815722.72
Debug9484600
disjunctive_decomposition513601.56
driver8121800.84
dungeon601251310.45
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard64342186.18
evader-pursuer-6x6-logarithmic44134243.1
evader-pursuer-6x6-standard66154009.92
evader-pursuer-8x8-logarithmic4641400
formula_add1266313.42
fpu202039.91
genbuf823697.88
Generalized-Tic-Tac-Toe20312233.96
genpatch54500
HardwareFixpoint5421122337.92
hwmcc8122313.26
hyperLTL4110.04
incrementer-encoder35211191.11
irqlkeapclte8172900
ISCAS894224.91
ITC99373124327.25
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n37411811.56
k_branch_p618554.26
k_ph_p58150852.25
LinearBitvectorRankingFunction734345105.17
ltl2aig-comp825120.72
LTL2DBA4114.52
LTL2DPA411800.64
mqm253405.91
mult-matrix823735.44
Planning-CTE532275987.51
QBF-Hardness301415989.86
qbfeval12721434.92
RankingFunctions222.92
Reduction-finding292214866.43
s119615111457.2
s12691517684.82
s29814111268.19
s33301919669.7
s49913112137.99
s51098100
s64116111075.6
s7131524107.54
s82014112406.88
sketch523634.06
Sorting_networks57245757.8
SzymanskiP1922096.71
terminator4218215.17
tipdiam55431518.61
tipfixpoint58910550.82
toy8121800.9
trafficlight-controller101045.75
uclid3027000