caqe_2017_v3 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2320700
Adder86353345.58
amba8122195.14
arithmetic531800.16
blackbox-01X-QBF78839401.55
BMC732243173.78
C43221214.88
C49931221611.52
C531551135103.84
C628867152213.23
C88060235282.66
circuits73355929.7
conformant_planning58145296.88
Connect2119.65
Connect31900
Connect436131500.08
Connect522282.16
Connect621900.08
Connect721800
Connect8220.74
Counter19211890.42
cycle-sched815722.38
Debug94184570.6
disjunctive_decomposition513601.57
driver8121800.88
dungeon601251340.11
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard64150610.48
evader-pursuer-6x6-logarithmic44133212.5
evader-pursuer-6x6-standard66148199.79
evader-pursuer-8x8-logarithmic4641400
formula_add1266318.01
fpu202045.82
genbuf823697.76
Generalized-Tic-Tac-Toe20161564.75
genpatch54500
HardwareFixpoint5421122327.13
hwmcc8122289.38
hyperLTL4110.04
incrementer-encoder35211184.09
irqlkeapclte8172900
ISCAS894224.99
ITC99373124327.68
jmc_quant43600
jmc_quant_squaring77163048.6
k_branch_n37412064.38
k_branch_p618674.2
k_ph_p58150857.35
LinearBitvectorRankingFunction734345061.24
ltl2aig-comp825186.24
LTL2DBA4114.54
LTL2DPA411800.68
mqm25311780.99
mult-matrix823738.58
Planning-CTE5311431733.73
QBF-Hardness30176678.23
qbfeval12721436.82
RankingFunctions222.9
Reduction-finding292214864.4
s119615111467.6
s12691517686.64
s29814111271.62
s33301919652.4
s49913112109.19
s51098100
s64116111085.2
s7131524124.49
s82014112406.67
sketch523624.77
Sorting_networks57245837.09
SzymanskiP1922098.09
terminator4218216.21
tipdiam55431518.91
tipfixpoint58910556.26
toy8121800.96
trafficlight-controller101067.12
uclid3027000