xb-qsts_bqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction231116912.84
Adder8677400
amba8113702.94
arithmetic54900.49
blackbox-01X-QBF781910101.78
BMC73162360.88
C43221113796.76
C4993127900
C53155145900
C62886760300
C88060150484.29
circuits73164921.6
conformant_planning58145297.68
Connect21900
Connect31900
Connect436131500.27
Connect522130.53
Connect621900.22
Connect721800
Connect8222.17
Counter19214966.6
cycle-sched815520.26
Debug9484600
disjunctive_decomposition531800.84
driver8229.34
dungeon601350853.36
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic44227469.9
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic46140237.6
formula_add1229592.03
fpu2020105.53
genbuf87200
Generalized-Tic-Tac-Toe20161596.36
genpatch513602.79
HardwareFixpoint542731678.56
hwmcc825329.12
hyperLTL4110.1
incrementer-encoder351724507.84
irqlkeapclte8172900
ISCAS8942230.46
ITC99371131553.67
jmc_quant43600
jmc_quant_squaring771161764.9
k_branch_n3758250.45
k_branch_p6169261.95
k_ph_p58245297.24
LinearBitvectorRankingFunction73165003.26
ltl2aig-comp87200
LTL2DBA4114.38
LTL2DPA41113.48
mqm2531787.68
mult-matrix815414.88
Planning-CTE53545015.87
QBF-Hardness3019358.8
qbfeval12715400.07
RankingFunctions221.07
Reduction-finding291214933.4
s11961522327.35
s12691517647.58
s29814112094.19
s33301918842.6
s4991315996.75
s51098100
s6411611150.32
s7131521739.82
s8201416658.82
sketch513636.76
Sorting_networks571227956.47
SzymanskiP1917100
terminator4237800
tipdiam5549500
tipfixpoint58145037.28
toy82214.28
trafficlight-controller1010154.57
uclid3027000