Qute_opt500 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction26120892.45
Adder114102600
amba22118063.76
arithmetic2239000.81
blackbox-01X-QBF133871864.63
BMC983251645.87
C4322118900
C49931120698.47
C5315571131917.44
C628876160313.32
C88060144436.93
circuits84168511.6
conformant_planning601341276.5
Connect211436.36
Connect321800
Connect443137800.07
Connect521900.57
Connect6311800.08
Connect743600
Connect8220.47
Counter22214506.97
cycle-sched2421600
Debug125586166.96
disjunctive_decomposition231111732.6
driver182230.2
dungeon1151252755.56
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard657863.83
evader-pursuer-6x6-logarithmic50243062.65
evader-pursuer-6x6-standard7769300
evader-pursuer-8x8-logarithmic5145900
formula_add39331607.99
fpu202044.66
genbuf2219800
Generalized-Tic-Tac-Toe32323071.12
genpatch2018000
HardwareFixpoint12521340601.51
hwmcc16126261.24
hyperLTL4110.04
incrementer-encoder551927106.98
irqlkeapclte121108900
ISCAS8972217.18
ITC99573136959.98
jmc_quant65400
jmc_quant_squaring98184050.4
k_branch_n5668845.92
k_branch_p8589525.05
k_ph_p8072000
LinearBitvectorRankingFunction119585293.99
ltl2aig-comp19110845.15
LTL2DBA916300.12
LTL2DPA1016300.99
mqm3430600
mult-matrix2421600
Planning-CTE13122714404.34
QBF-Hardness60440522.68
qbfeval12721917.2
RankingFunctions222.82
Reduction-finding45137036.64
s11961513500
s12691715300
s2981416680.31
s33302118900
s4991311700
s51098100
s64116111729.6
s7131516070.32
s8201513500
sketch1614400
Sorting_networks811156963.9
SzymanskiP2522814.39
terminator7818728.73
tipdiam85447730.98
tipfixpoint93730421.15
toy14229.08
trafficlight-controller101044.69
uclid3027000