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

InstanceResultTime
random-qcir-1000-50-441UNSAT12.27
random-qcir-1000-50-930UNSAT18.12
random-qcir-1000-50-754UNSAT18.34
random-qcir-1000-50-134UNSAT18.65
random-qcir-1000-50-970UNSAT21.09
random-qcir-1000-50-857UNSAT22.12
random-qcir-1000-50-898UNSAT24.41
random-qcir-1000-50-68UNSAT25.41
random-qcir-1000-50-428UNSAT27.61
random-qcir-1000-50-393UNSAT27.89
random-qcir-1000-50-267UNSAT28.57
random-qcir-1000-50-983UNSAT28.87
random-qcir-1000-50-473UNSAT30.07
random-qcir-1000-50-275UNSAT30.37
random-qcir-1000-50-98UNSAT31.64
random-qcir-1000-50-361UNSAT32.11
random-qcir-1000-50-743UNSAT32.21
random-qcir-1000-50-846UNSAT32.89
random-qcir-1000-50-295UNSAT33.46
random-qcir-1000-50-658UNSAT37.03
random-qcir-1000-50-940UNSAT39.87
random-qcir-1000-50-456UNSAT39.9
random-qcir-1000-50-793UNSAT44.51
random-qcir-1000-50-545UNSAT46.3
random-qcir-1000-50-255UNSAT51.86