qesto results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23120644.53
Adder8677400
amba8114307.1
arithmetic54900.05
blackbox-01X-QBF78167626.66
BMC73255986.68
C4322118900
C4993127900
C53155145900
C628867152577.73
C8806054000
circuits7365700
conformant_planning5852200
Connect21900
Connect31900
Connect436128208.49
Connect521900.63
Connect621900.05
Connect721800
Connect8220.49
Counter19116200.12
cycle-sched823980.64
Debug9484600
disjunctive_decomposition5311178.69
driver8220.76
dungeon601251448.13
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic4439600
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic4641400
formula_add1229186.46
fpu202023.46
genbuf87200
Generalized-Tic-Tac-Toe2057703.39
genpatch513600.45
HardwareFixpoint542344102.96
hwmcc823624.02
hyperLTL4110
incrementer-encoder351328624.97
irqlkeapclte8172900
ISCAS894225.51
ITC99371131509
jmc_quant43600
jmc_quant_squaring7769300
k_branch_n37313928.19
k_branch_p61515820.65
k_ph_p5852200
LinearBitvectorRankingFunction73165684.82
ltl2aig-comp87200
LTL2DBA4110.58
LTL2DPA4113.36
mqm25121499.36
mult-matrix815400.5
Planning-CTE53246291.51
QBF-Hardness301414383.81
qbfeval12715400.01
RankingFunctions220.13
Reduction-finding291120070.63
s11961522202.76
s126915111969.17
s29814113916.99
s333019110824.3
s4991316474.43
s51098100
s6411611614.32
s7131522196.27
s82014118236.9
sketch54500
Sorting_networks57145531.76
SzymanskiP192846.18
terminator42517578.16
tipdiam5549500
tipfixpoint5852200
toy8121800.46
trafficlight-controller1081946.82
uclid3027000