Instances of family s641 solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
s641_d3_sFAIL482.66
s641_d2_sFAIL488.14
s641_d6_sFAIL488.29
s641_d7_uFAIL493.89
s641_d4_sFAIL504.98
s641_d11_uFAIL520.24
s641_d5_sFAIL528.81
s641_d8_uFAIL558.16
s641_d10_uFAIL584.58