Instances of family Sorting_networks solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
sortnetsort9.v.stepl.005UNSAT25.45
sortnetsort9.v.stepl.007SAT32.69
sortnetsort9.AE.stepl.012UNSAT66.45
sortnetsort10.v.stepl.005UNSAT91.84