Qute_default results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23117458.2
Adder86267463.44
amba816503.62
arithmetic531800.18
blackbox-01X-QBF78186886.03
BMC733240967.8
C4322118900
C49931126486.19
C5315511126248.74
C628867152213.14
C88060145525.93
circuits73158515.76
conformant_planning58338901.24
Connect211466.64
Connect31900
Connect436131460.98
Connect521900.58
Connect621900.08
Connect721800
Connect8220.46
Counter19112618.9
cycle-sched87200
Debug94568319.64
disjunctive_decomposition513600.16
driver82210.12
dungeon601251344
evader-pursuer-4x4-logarithmic101697.8
evader-pursuer-4x4-standard647847.82
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard6659179.02
evader-pursuer-8x8-logarithmic4641343.07
formula_add1239258.08
fpu202045.34
genbuf87200
Generalized-Tic-Tac-Toe20216852.99
genpatch54500
HardwareFixpoint5421118413.55
hwmcc8122461.48
hyperLTL4110.04
incrementer-encoder351917251.96
irqlkeapclte8172900
ISCAS894229.41
ITC99373124327.99
jmc_quant43600
jmc_quant_squaring77162101.68
k_branch_n3757035.66
k_branch_p6186752.79
k_ph_p5852200
LinearBitvectorRankingFunction7365696.52
ltl2aig-comp815405.92
LTL2DBA411357.9
LTL2DPA411800.66
mqm2522500
mult-matrix87200
Planning-CTE532275433.44
QBF-Hardness30424037.5
qbfeval12715400.25
RankingFunctions222.83
Reduction-finding29125372
s11961513500
s12691513472.88
s29814114210.43
s33301919480.99
s49913111243.19
s51098069.97
s6411617450.08
s7131528391.99
s8201417035.84
sketch54500
Sorting_networks57147731.84
SzymanskiP1922153.85
terminator4218160.93
tipdiam55431522.16
tipfixpoint58145099.36
toy8223.04
trafficlight-controller101044.55
uclid3027000