Sota solver results for family s641
QBFEVAL'16 - Prenex CNF Track.


InstanceSolverResultTime
s641_d10_uqstsUNSAT0.15
s641_d11_uqstsUNSAT0.17
s641_d2_sqstsUNSAT0.01
s641_d3_sqstsUNSAT0.03
s641_d4_sqstsUNSAT0.04
s641_d5_sqstsUNSAT0.06
s641_d6_sqstsUNSAT0.08
s641_d7_uqstsUNSAT0.09
s641_d8_uqstsUNSAT0.11