Sota solver results for family Sorting_networks
QBFEVAL'18 - Prenex non-CNF Track


InstanceSolverResultTime
sortnetsort10.v.stepl.005quabs___caqe-bloqqerUNSAT91.84
sortnetsort9.AE.stepl.012QFUNUNSAT2.05
sortnetsort9.v.stepl.005quabs___caqe-bloqqerUNSAT25.45
sortnetsort9.v.stepl.007quabs___caqe-hqspreSAT20.74