xb-qsts_xbqsts1.0 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction231117099.06
Adder8677400
amba8123031.76
arithmetic54900.5
blackbox-01X-QBF781911526.62
BMC73162794.88
C43221113831.44
C4993127900
C53155145900
C62886760300
C88060146077.03
circuits73264075.3
conformant_planning58145300.72
Connect21900
Connect31900
Connect436131500.28
Connect522224.5
Connect621900.23
Connect721800
Connect8222.29
Counter19214972.75
cycle-sched815538.16
Debug9484600
disjunctive_decomposition531800.86
driver8229.26
dungeon601449626.12
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6457600
evader-pursuer-6x6-logarithmic44227601.36
evader-pursuer-6x6-standard6659400
evader-pursuer-8x8-logarithmic46140254.39
formula_add1229588.5
fpu2020104.94
genbuf87200
Generalized-Tic-Tac-Toe2016555.67
genpatch513602.77
HardwareFixpoint542731678.02
hwmcc825362.82
hyperLTL4110.1
incrementer-encoder351724547.07
irqlkeapclte8172851.56
ISCAS8942240.51
ITC99372131127.89
jmc_quant43600
jmc_quant_squaring771161810.08
k_branch_n3758255.78
k_branch_p6169264.03
k_ph_p58245367.97
LinearBitvectorRankingFunction73164997.83
ltl2aig-comp87200
LTL2DBA4114.18
LTL2DPA41113.98
mqm2532025.24
mult-matrix815414.56
Planning-CTE53545074.65
QBF-Hardness3019379.94
qbfeval12715400.07
RankingFunctions221.07
Reduction-finding291215004.89
s11961523354.21
s12691517942.63
s29814113199.42
s33301919663.1
s4991316612.26
s51098100
s6411611812.24
s7131522617.41
s8201417228.13
sketch54500
Sorting_networks571228744.06
SzymanskiP1917100
terminator4237800
tipdiam5549500
tipfixpoint58145039.04
toy82214.24
trafficlight-controller1010162.39
uclid3027000