hordeqbf results solving families - 2016

Family# Total# Sat# UnsatTime
Abduction70455500.29
Adder93247414.76
blackbox-01X-QBF68810676.99
blackbox_design76239774.18
Blocks88365754.44
BMC774319498.71
bomb484114571.67
C432733313117.12
C499763222041.48
C5315802130741.54
C628877140210.7
C88078236019.16
Chain82722123.9
circuits69137806.36
conformant_planning795120486.8
Connect464616964.5
Counter52710464.59
Debug8249200
DFlipFlop731087.46
dungeon55421768.09
evader-pursuer-4x4-logarithmic59763.57
evader-pursuer-4x4-standard64517407.7
evader-pursuer-6x6-logarithmic67520616.95
evader-pursuer-6x6-standard66234174.16
evader-pursuer-8x8-logarithmic72521505.92
FPGA_PLB_FIT_FAST384140.12
FPGA_PLB_FIT_SLOW25122435.76
fpu4710232.75
Generalized-Tic-Tac-Toe48183813.68
HardwareFixpoint5633600
Impl741078.13
incrementer-encoder52615628.84
irqlkeapclte8148600
ISCAS89326134.82
ITC99422115617.47
jmc_quant_squaring952140369.86
k_branch_n75332440.26
k_branch_p82145490.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_n72101097.38
k_ph_p70331218.9
k_poly_n68137206.36
k_poly_p641067.84
k_t4p_n71138421.42
k_t4p_p76139121.88
LinearBitvectorRankingFunction6036000
Logn29453
mqm75551454.01
MutexP78328840.98
Planning-CTE382114718.09
QBF-Hardness5194329.08
qbfeval122724536.92
Qshifter61320428.53
RankingFunctions55516828.72
Reduction-finding541516256.71
Rewriting45416699.6
s11964426400
s12697042000
s27361337.98
s29870136609.54
s33307243200
s3866941400
s4996237200
s5105935400
s6415533000
s7137343800
s8207042000
Sorting_networks864129560.08
SzymanskiP93340681.61
term16944140.44
terminator70811771.5
tipdiam68426425.37
tipfixpoint693318150.6
ToiletA483751.06
ToiletC48191733.88
ToiletG43745.53
trafficlight-controller4594318.43
Tree742878.2
uclid3018000
VonNeumann7510193.12
wmiforward70425884.63
z4ml614464.51