SBY with Yosys 0.68
SBY with Yosys 0.67
SBY with Yosys 0.66
SBY with Yosys 0.65
SBY with Yosys 0.64
SBY with Yosys 0.63
SBY with Yosys 0.62
SBY with Yosys 0.61
SBY with Yosys 0.60
SBY with Yosys 0.59
SBY with Yosys 0.58
SBY with Yosys 0.57
SBY with Yosys 0.56
SBY with Yosys 0.55
SBY with Yosys 0.54
SBY with Yosys 0.53
SBY with Yosys 0.52
SBY with Yosys 0.51
SBY with Yosys 0.50
SBY with Yosys 0.49