Sota solver results for family s820
QBFEVAL'08


InstanceSolverResultTime
s820_d2_sQuBE6.1SAT0.66
s820_d3_sQuBE6.1SAT5.89
s820_d4_sQuBE6.1SAT47.36
s820_d5_sQuBE6.1SAT80.83
s820_d6_sQuBE6.1SAT191.4