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

InstanceResultTime
random-qcir-1000-50-940UNSAT12.96
random-qcir-1000-50-545UNSAT16.59
random-qcir-1000-50-393UNSAT20.28
random-qcir-1000-50-898UNSAT24.46
random-qcir-1000-50-98UNSAT25.19
random-qcir-1000-50-983UNSAT27.89
random-qcir-1000-50-930UNSAT28.15
random-qcir-1000-50-267UNSAT29.32
random-qcir-1000-50-275UNSAT29.59
random-qcir-1000-50-857UNSAT32.28
random-qcir-1000-50-793UNSAT33.64
random-qcir-1000-50-970UNSAT34.4
random-qcir-1000-50-68UNSAT36.99
random-qcir-1000-50-255UNSAT38.11
random-qcir-1000-50-441UNSAT38.19
random-qcir-1000-50-743UNSAT38.27
random-qcir-1000-50-295UNSAT42.09
random-qcir-1000-50-846UNSAT52.19
random-qcir-1000-50-658UNSAT58.4
random-qcir-1000-50-473UNSAT58.99
random-qcir-1000-50-428UNSAT62.76
random-qcir-1000-50-754UNSAT68.58
random-qcir-1000-50-134UNSAT99.9
random-qcir-1000-50-361UNSAT141.8
random-qcir-1000-50-456FAIL900.02