qbfrelay results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2317112.42
Adder86134664.9
amba84706.58
arithmetic548.7
blackbox-01X-QBF781331473.54
BMC731251177.47
C4322118584.46
C4993125316.32
C531551117469
C628867119439.74
C8806044244.86
circuits73346411.21
conformant_planning58146348.85
Connect21891.46
Connect31891.48
Connect436130901.84
Connect521890.75
Connect621892.22
Connect721783.74
Connect8224.58
Counter19211522.37
cycle-sched814786.56
Debug94178032.2
disjunctive_decomposition53339.57
driver82210.82
dungeon601254735.86
evader-pursuer-4x4-logarithmic109000
evader-pursuer-4x4-standard6475332.88
evader-pursuer-6x6-logarithmic4439507.71
evader-pursuer-6x6-standard6658010.41
evader-pursuer-8x8-logarithmic4641180.66
formula_add1228705.71
fpu2020265.28
genbuf84336.04
Generalized-Tic-Tac-Toe20116984.27
genpatch512082.46
HardwareFixpoint5421217051.92
hwmcc822638.06
hyperLTL4110.5
incrementer-encoder352112893.8
irqlkeapclte81101507.75
ISCAS89422291.96
ITC9937514125.16
jmc_quant4397.84
jmc_quant_squaring7733993.81
k_branch_n3758158.91
k_branch_p6176553.13
k_ph_p5843013.44
LinearBitvectorRankingFunction73117409.11
ltl2aig-comp815351.26
LTL2DBA4114.94
LTL2DPA41114.74
mqm2522326.8
mult-matrix821408.62
Planning-CTE5311821849.86
QBF-Hardness3025005.97
qbfeval12714501.47
RankingFunctions221.41
Reduction-finding2914881.56
s11961513264.3
s12691513362.34
s2981412490.17
s33301916869.03
s4991311546.22
s51097988.4
s6411610862.4
s7131512589.5
s8201412396.72
sketch5302
Sorting_networks57139968.46
SzymanskiP1919689.36
terminator42141199.83
tipdiam5546507.08
tipfixpoint5836016.12
toy82216.44
trafficlight-controller1010159.62
uclid306190.13