caqe_2017_v3 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2623400
Adder106366418.28
amba18123722.81
arithmetic1737200.58
blackbox-01X-QBF118861372.47
BMC922253651.2
C43221214.88
C49931221611.52
C531554137803.84
C628871155813.23
C88060235282.66
circuits84365829.7
conformant_planning60147096.88
Connect2119.65
Connect321800
Connect443137800.08
Connect522282.16
Connect6311800.08
Connect743600
Connect8220.74
Counter22214590.42
cycle-sched18113244.76
Debug1151103451
disjunctive_decomposition18112606.28
driver14124501.24
dungeon1051252478.29
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard65151510.48
evader-pursuer-6x6-logarithmic48136173.75
evader-pursuer-6x6-standard72153130.3
evader-pursuer-8x8-logarithmic4843200
formula_add29615773.49
fpu202045.82
genbuf1827439.2
Generalized-Tic-Tac-Toe32162327.49
genpatch1513500
HardwareFixpoint10921144651.3
hwmcc14125359.64
hyperLTL4110.04
incrementer-encoder50211267.96
irqlkeapclte11199900
ISCAS8962211.51
ITC99503132448.72
jmc_quant54500
jmc_quant_squaring94177098.32
k_branch_n51416904.73
k_branch_p808872.56
k_ph_p75165262.25
LinearBitvectorRankingFunction1104365527.85
ltl2aig-comp1528579
LTL2DBA71111.17
LTL2DPA814501.02
mqm31314537.95
mult-matrix1827546.45
Planning-CTE10711460852.81
QBF-Hardness501712249.65
qbfeval12721436.82
RankingFunctions222.9
Reduction-finding452221161.76
s119615111467.6
s12691618586.64
s29814111271.62
s333020110552.4
s49913112109.19
s51098100
s64116111085.2
s7131524124.49
s82014112406.67
sketch1429099.08
Sorting_networks75247665.59
SzymanskiP2322528.03
terminator6918397.59
tipdiam77444125.89
tipfixpoint83917209.48
toy12125400.96
trafficlight-controller101067.12
uclid3027000