caqe_2017_v1 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23117121.84
Adder86262328.54
amba8122328
arithmetic54900.04
blackbox-01X-QBF78839396.96
BMC734230815.09
C43221221
C49931127412.48
C531551135126.16
C628867152282.71
C88060238182.25
circuits73258737.15
conformant_planning581518889.1
Connect2119.56
Connect31900
Connect436131500.05
Connect522281.26
Connect621900.05
Connect721800
Connect8220.5
Counter19211888.92
cycle-sched8213663.22
Debug94183819.64
disjunctive_decomposition5311691.27
driver8220.74
dungeon601642596.1
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic44133204.4
evader-pursuer-6x6-standard6653178.13
evader-pursuer-8x8-logarithmic4641400
formula_add1274937.22
fpu202023.61
genbuf823844.1
Generalized-Tic-Tac-Toe20161541.84
genpatch513600.45
HardwareFixpoint542344102.86
hwmcc823624.2
hyperLTL4110
incrementer-encoder3521177.49
irqlkeapclte8172900
ISCAS894223.4
ITC99371131505.04
jmc_quant43600
jmc_quant_squaring77163146.9
k_branch_n37412038.91
k_branch_p618663.3
k_ph_p5852200
LinearBitvectorRankingFunction73354012.02
ltl2aig-comp823709.84
LTL2DBA4110.64
LTL2DPA4113.38
mqm25311797.97
mult-matrix823606.98
Planning-CTE5311432964
QBF-Hardness30176662.02
qbfeval12721145.21
RankingFunctions220.12
Reduction-finding292310867.42
s119615211234.74
s12691517392.01
s29814111641.5
s33301919075.6
s49913112676.51
s51098100
s6411611593.76
s7131524002.81
s82014113053.54
sketch54500
Sorting_networks57244568.78
SzymanskiP192835.81
terminator42231064.74
tipdiam5549500
tipfixpoint5852200
toy8221.6
trafficlight-controller101039.13
uclid3027000