Unique instances for QSAT
QBFEVAL'04


InstanceTimeResult
k_branch_p-1410.55UNSAT
k_branch_p-1621.28UNSAT
k_branch_p-1955.83UNSAT
k_branch_p-1515.43UNSAT
k_branch_p-137.43UNSAT
k_ph_p-208.86UNSAT
k_ph_p-1978.25UNSAT