xb-qsts_xbqsts2.0 results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction261119808.84
Adder114102600
amba22126483.62
arithmetic2244502.36
blackbox-01X-QBF1331919030.28
BMC98184132.86
C43221113736.4
C4993127900
C53155751300
C62887668400
C88060146061.85
circuits84273978.71
conformant_planning60147096.16
Connect21900
Connect321800
Connect443137800.28
Connect522223.55
Connect6311800.22
Connect743600
Connect8222.17
Counter22217686.34
cycle-sched24115785.52
Debug125112500
disjunctive_decomposition2337204.2
driver182222.71
dungeon1151498345.76
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6558500
evader-pursuer-6x6-logarithmic50232216.82
evader-pursuer-6x6-standard7769300
evader-pursuer-8x8-logarithmic51144897.4
formula_add39233041.65
fpu2020104.43
genbuf2219800
Generalized-Tic-Tac-Toe3216877.1
genpatch20114411.2
HardwareFixpoint1252770606.17
hwmcc16212548.1
hyperLTL4110.12
incrementer-encoder551740761.05
irqlkeapclte121108900
ISCAS89722135.2
ITC99572147825.22
jmc_quant65400
jmc_quant_squaring981178172.06
k_branch_n56511071.67
k_branch_p85614763.14
k_ph_p80261705.53
LinearBitvectorRankingFunction1191104304.4
ltl2aig-comp1917100
LTL2DBA91110.58
LTL2DPA101135.9
mqm3432671.12
mult-matrix24115352.85
Planning-CTE1315114975.25
QBF-Hardness6019860.86
qbfeval12715400.07
RankingFunctions221.13
Reduction-finding451222388.54
s11961523348.54
s12691719740.81
s29814113256.61
s333021111457.8
s4991316593.43
s51098100
s6411611813.04
s7131522612.7
s8201517360.08
sketch1614400
Sorting_networks811240307.89
SzymanskiP2522500
terminator7870200
tipdiam8576500
tipfixpoint93173851.48
toy142243.34
trafficlight-controller1010163.83
uclid3027000