Instances of family Random-qcir-1000-50 solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
random-qcir-1000-50-295UNSAT0
random-qcir-1000-50-545UNSAT0
random-qcir-1000-50-658UNSAT0
random-qcir-1000-50-68UNSAT0
random-qcir-1000-50-743UNSAT0
random-qcir-1000-50-754UNSAT0
random-qcir-1000-50-473UNSAT0
random-qcir-1000-50-456UNSAT0
random-qcir-1000-50-275UNSAT0
random-qcir-1000-50-267UNSAT0
random-qcir-1000-50-255UNSAT0
random-qcir-1000-50-134UNSAT0
random-qcir-1000-50-361UNSAT0
random-qcir-1000-50-393UNSAT0
random-qcir-1000-50-428UNSAT0
random-qcir-1000-50-441UNSAT0
random-qcir-1000-50-930UNSAT0
random-qcir-1000-50-940UNSAT0
random-qcir-1000-50-970UNSAT0
random-qcir-1000-50-983UNSAT0
random-qcir-1000-50-857UNSAT0
random-qcir-1000-50-98UNSAT0
random-qcir-1000-50-793UNSAT0
random-qcir-1000-50-846UNSAT0
random-qcir-1000-50-898UNSAT0