Sota solver results for family Random-qcir-1000-50
QBFEVAL'18 - Prenex non-CNF Track


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