caqe_hit18 results solving families - 2018

Family# Total# Sat# UnsatTime
Abduction1968400
amba7124500.9
BMC40144000
C531535126000
C628847169200
circuits63226800
conformant_planning932400
Connect327200
Connect442151200
Connect627200
Connect7414400
Counter828800
CounterFactual80288000
Debug61219600
disjunctive_decomposition310800
evader-pursuer-6x6-logarithmic2382800
evader-pursuer-6x6-standard61219600
evader-pursuer-8x8-logarithmic2175600
formula_add932400
genbuf1139600
HardwareFixpoint35126000
ITC99725200
jmc_quant621600
jmc_quant_squaring2693600
k_ph_p38136800
LinearBitvectorRankingFunction56201600
ltl2aig-comp1243200
LTL2DBA621600
Model_instances787221115
mult-matrix27200
PositionalGames_gttt46165600
PositionalGames_hex784258990.22
Q_2_2_3150540000
Q_2_396345600
Q_3_3150540000
Q_3_3_3147529200
Reduction-finding31111600
s12691036000
s33301139600
Selection-hard1864800
sketch1139600
Sorting_networks161149327.17
Strategic_Companies74266400
tipfixpoint310800
wgrowing551192096.88