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

InstanceResultTime
random-qcir-1000-50-793UNSAT6.71
random-qcir-1000-50-393UNSAT10.37
random-qcir-1000-50-68UNSAT10.51
random-qcir-1000-50-98UNSAT10.79
random-qcir-1000-50-428UNSAT11.47
random-qcir-1000-50-930UNSAT11.58
random-qcir-1000-50-898UNSAT12
random-qcir-1000-50-983UNSAT14.28
random-qcir-1000-50-658UNSAT16.2
random-qcir-1000-50-295UNSAT17.98
random-qcir-1000-50-743UNSAT18.84
random-qcir-1000-50-846UNSAT21.31
random-qcir-1000-50-267UNSAT23.93
random-qcir-1000-50-970UNSAT24.18
random-qcir-1000-50-134UNSAT25.41
random-qcir-1000-50-545UNSAT25.64
random-qcir-1000-50-275UNSAT27.5
random-qcir-1000-50-940UNSAT27.87
random-qcir-1000-50-361UNSAT33.02
random-qcir-1000-50-456UNSAT34.2
random-qcir-1000-50-857UNSAT35.3
random-qcir-1000-50-754UNSAT42.35
random-qcir-1000-50-441UNSAT77.96
random-qcir-1000-50-255UNSAT125.99
random-qcir-1000-50-473UNSAT216.2