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

InstanceResultTime
random-qcir-1000-50-940UNSAT561.95
random-qcir-1000-50-545UNSAT565.97
random-qcir-1000-50-393UNSAT569.84
random-qcir-1000-50-898UNSAT572.33
random-qcir-1000-50-98UNSAT572.59
random-qcir-1000-50-930UNSAT576.21
random-qcir-1000-50-983UNSAT577.4
random-qcir-1000-50-275UNSAT577.5
random-qcir-1000-50-267UNSAT579.47
random-qcir-1000-50-857UNSAT582.06
random-qcir-1000-50-793UNSAT583.16
random-qcir-1000-50-970UNSAT583.41
random-qcir-1000-50-68UNSAT586.1
random-qcir-1000-50-441UNSAT586.97
random-qcir-1000-50-743UNSAT587.4
random-qcir-1000-50-255UNSAT587.91
random-qcir-1000-50-846UNSAT601.62
random-qcir-1000-50-658UNSAT607.14
random-qcir-1000-50-295UNSAT609.47
random-qcir-1000-50-473UNSAT609.97
random-qcir-1000-50-428UNSAT612.08
random-qcir-1000-50-754UNSAT636.28
random-qcir-1000-50-134UNSAT649.45
random-qcir-1000-50-361UNSAT694.65
random-qcir-1000-50-456FAIL900.05