Qute_opt500 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23118192.45
Adder8677400
amba816331.88
arithmetic531800.18
blackbox-01X-QBF78840620.19
BMC733240069.86
C4322118900
C49931120698.47
C5315511126517.44
C628867152213.32
C88060144436.93
circuits73158611.6
conformant_planning581339476.5
Connect211436.36
Connect31900
Connect436131500.07
Connect521900.57
Connect621900.08
Connect721800
Connect8220.47
Counter19211806.97
cycle-sched87200
Debug94567960.32
disjunctive_decomposition5112706.52
driver82210.3
dungeon601251343.18
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard647849.76
evader-pursuer-6x6-logarithmic44237807.5
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1239199.94
fpu202044.66
genbuf87200
Generalized-Tic-Tac-Toe20314071.98
genpatch54500
HardwareFixpoint5421317386.19
hwmcc8122498.94
hyperLTL4110.04
incrementer-encoder351917167.03
irqlkeapclte8172900
ISCAS894227.34
ITC99373124327.94
jmc_quant43600
jmc_quant_squaring77166108
k_branch_n3765616.48
k_branch_p6186299.33
k_ph_p5852200
LinearBitvectorRankingFunction73554369.29
ltl2aig-comp815412.9
LTL2DBA411800.12
LTL2DPA411800.66
mqm2522500
mult-matrix87200
Planning-CTE532275473.92
QBF-Hardness30422237.89
qbfeval12721917.2
RankingFunctions222.82
Reduction-finding29125234.16
s11961513500
s12691513500
s2981416680.31
s33301917100
s4991311700
s51098100
s64116111729.6
s7131516070.32
s8201412600
sketch54500
Sorting_networks571140138.84
SzymanskiP1922153.07
terminator4218435.61
tipdiam55431520.03
tipfixpoint58717040.94
toy8223.02
trafficlight-controller101044.69
uclid3027000