qbfrelay-limited-depqbf results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction2320550.53
Adder86171734.41
amba8114253.36
arithmetic54963.49
blackbox-01X-QBF781811619.03
BMC732246021.17
C432212208.17
C49931122494.02
C531551135065.58
C628867154031.68
C88060327596.65
circuits73253169.77
conformant_planning5851841.08
Connect21115.31
Connect31900
Connect436131399.84
Connect521901.55
Connect621897.01
Connect721790.49
Connect8224
Counter19212023.47
cycle-sched87138.8
Debug9484408.13
disjunctive_decomposition531925.96
driver822461.3
dungeon6011726496.48
evader-pursuer-4x4-logarithmic1017.3
evader-pursuer-4x4-standard6478396.38
evader-pursuer-6x6-logarithmic44324991
evader-pursuer-6x6-standard66248126.88
evader-pursuer-8x8-logarithmic46232391.93
formula_add1238317.83
fpu2020211.06
genbuf87123.54
Generalized-Tic-Tac-Toe20155608.93
genpatch5112765.52
HardwareFixpoint5421118477.11
hwmcc822641.1
hyperLTL4110.54
incrementer-encoder352103709.86
irqlkeapclte81256712.98
ISCAS894223.17
ITC99375117737.1
jmc_quant43560.92
jmc_quant_squaring771156333.51
k_branch_n3763224.6
k_branch_p618255.77
k_ph_p5851969.28
LinearBitvectorRankingFunction73163981.02
ltl2aig-comp815631.26
LTL2DBA411238.06
LTL2DPA411314.08
mqm2531252.01
mult-matrix824039.22
Planning-CTE53834970.77
QBF-Hardness30420736.75
qbfeval1273855.27
RankingFunctions220.53
Reduction-finding2925788.75
s11961513500
s12691513500
s2981412600
s33301917100
s4991311700
s51098100
s6411619177.04
s7131513500
s8201412600
sketch54441.37
Sorting_networks571232136.17
SzymanskiP1917040.06
terminator42158128.75
tipdiam552139617.06
tipfixpoint58434995.51
toy822302.72
trafficlight-controller1010132.49
uclid3026707.55