hordeqbf results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction71456100.29
Adder109257014.76
blackbox-01X-QBF74813666.35
blackbox_design76239774.18
Blocks88365754.44
BMC874322829.05
bomb514115797.01
C432733313117.12
C499763222041.48
C5315832132541.54
C628881142610.7
C88078236019.16
Chain82722123.9
circuits75141406.36
conformant_planning795120486.8
Connect468619364.5
Counter54711197.03
Debug9657600
DFlipFlop731087.46
dungeon72430828.97
evader-pursuer-4x4-logarithmic61765.72
evader-pursuer-4x4-standard65518007.7
evader-pursuer-6x6-logarithmic72522512.25
evader-pursuer-6x6-standard72237774.16
evader-pursuer-8x8-logarithmic75522708.09
FPGA_PLB_FIT_FAST384140.12
FPGA_PLB_FIT_SLOW25122435.76
fpu4710232.75
Generalized-Tic-Tac-Toe54185278.78
HardwareFixpoint7545000
Impl741078.13
incrementer-encoder63622228.84
irqlkeapclte11166600
ISCAS89326134.82
ITC99512119819.69
jmc_quant_squaring1132149387.04
k_branch_n85338440.26
k_branch_p99155690.14
k_d4_n73333618.02
k_d4_p721076.32
k_dum_n66424626.38
k_dum_p74101363.06
k_grz_n68105052.91
k_grz_p70101338.14
k_lin_n6410433.46
k_lin_p651068.98
k_path_n67424700.68
k_path_p67232413.72
k_ph_n73101190.74
k_ph_p81337818.9
k_poly_n68137206.36
k_poly_p641067.84
k_t4p_n71138421.42
k_t4p_p76139121.88
LinearBitvectorRankingFunction8048000
Logn29453
mqm81551773.13
MutexP78328840.98
Planning-CTE502120841.51
QBF-Hardness5995560.14
qbfeval122724536.92
Qshifter62321028.53
RankingFunctions60518630.85
Reduction-finding651522856.71
Rewriting45416699.6
s11964426400
s12697142600
s27361337.98
s29870136609.54
s33307343800
s3866941400
s4996237200
s5105935400
s6415533000
s7137343800
s8207042000
Sorting_networks1044139174.22
SzymanskiP97343081.61
term16944140.44
terminator82816283.8
tipdiam82434825.37
tipfixpoint773321783.48
ToiletA483751.06
ToiletC48191733.88
ToiletG43745.53
trafficlight-controller4594318.43
Tree742878.2
uclid3018000
VonNeumann7510193.12
wmiforward73427684.63
z4ml614464.51