prefix-opt-depqbf results solving families - 2017

Family# Total# Sat# UnsatTime
Abduction23119211.56
Adder8677400
amba87200
arithmetic531800.08
blackbox-01X-QBF781230750.58
BMC731249837.83
C432212205.02
C49931122876.11
C531551135514.72
C62886760300
C88060327919.87
circuits7365700
conformant_planning5852200
Connect21114.61
Connect31900
Connect436131500.29
Connect521904.08
Connect621900.36
Connect721800
Connect8223.08
Counter1917100
cycle-sched87200
Debug9484600
disjunctive_decomposition513600.01
driver815401.06
dungeon601944652.93
evader-pursuer-4x4-logarithmic1014.8
evader-pursuer-4x4-standard64527645.52
evader-pursuer-6x6-logarithmic44225910.62
evader-pursuer-6x6-standard66246501.44
evader-pursuer-8x8-logarithmic46227608.6
formula_add1238523.29
fpu2020167.97
genbuf87200
Generalized-Tic-Tac-Toe20155921.13
genpatch513614.5
HardwareFixpoint54147700
hwmcc823621.34
hyperLTL4110.02
incrementer-encoder352718173.7
irqlkeapclte8172900
ISCAS894222.27
ITC99374123734.47
jmc_quant43600
jmc_quant_squaring77160518.8
k_branch_n3733300
k_branch_p618239.48
k_ph_p5852200
LinearBitvectorRankingFunction73164824.77
ltl2aig-comp87200
LTL2DBA411889.48
LTL2DPA43600
mqm2531229.36
mult-matrix87200
Planning-CTE53443780.82
QBF-Hardness30422482.25
qbfeval12724708.49
RankingFunctions220.08
Reduction-finding2926100
s11961513500
s12691513500
s2981412600
s33301917100
s4991311700
s51098100
s6411614400
s7131513500
s8201412600
sketch54500
Sorting_networks57144181.44
SzymanskiP1917100
terminator42615895.26
tipdiam55147700.14
tipfixpoint58242389.49
toy823600.58
trafficlight-controller1010193.58
uclid3027000