xb-qsts_bqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction261119612.84
Adder10695400
amba18116611.21
arithmetic1743601.87
blackbox-01X-QBF1181914573.46
BMC92178626.1
C43221113796.76
C4993127900
C53155448600
C62887163900
C88060150484.29
circuits84174821.6
conformant_planning60147097.68
Connect21900
Connect321800
Connect443137800.27
Connect522130.53
Connect6311800.22
Connect743600
Connect8222.17
Counter22217666.6
cycle-sched18112000.65
Debug115103500
disjunctive_decomposition1835403.36
driver142217.47
dungeon1051391353.36
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6558500
evader-pursuer-6x6-logarithmic48230284.89
evader-pursuer-6x6-standard7264800
evader-pursuer-8x8-logarithmic48142037.6
formula_add29224892.03
fpu2020105.53
genbuf1816200
Generalized-Tic-Tac-Toe32162317.86
genpatch15110808.37
HardwareFixpoint1092762447.4
hwmcc14210729.12
hyperLTL4110.1
incrementer-encoder501736222.18
irqlkeapclte11199900
ISCAS8962275.96
ITC99501143253.67
jmc_quant54500
jmc_quant_squaring941175354.7
k_branch_n51510130.49
k_branch_p80612937.82
k_ph_p75257785.32
LinearBitvectorRankingFunction110196909.78
ltl2aig-comp1513500
LTL2DBA7118.19
LTL2DPA81127.9
mqm3132190.04
mult-matrix18111737.2
Planning-CTE107593263.43
QBF-Hardness5019666.6
qbfeval12715400.07
RankingFunctions221.07
Reduction-finding451222276.86
s11961522327.35
s12691618547.58
s29814112094.19
s33302019742.6
s4991315996.75
s51098100
s6411611150.32
s7131521739.82
s8201416658.82
sketch1419147.04
Sorting_networks751236344.11
SzymanskiP2320700
terminator6962100
tipdiam7769300
tipfixpoint83165746.6
toy122233.84
trafficlight-controller1010154.57
uclid3027000