Instances of family Sorting_networks solved by qestos
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
sortnetsort5.AE.stepl.007UNSAT3.56
sortnetsort5.AE.stepl.006UNSAT4.72
sortnetsort5.AE.stepl.005UNSAT5.31
sortnetsort7.AE.stepl.006UNSAT10.12
sortnetsort7.AE.stepl.007UNSAT17.46
sortnetsort7.AE.stepl.008UNSAT18.29
sortnetsort6.AE.stepl.004SAT20
sortnetsort6.AE.stepl.007UNSAT20.63
sortnetsort6.AE.stepl.005UNSAT24.62
sortnetsort8.AE.stepl.004SAT24.71
sortnetsort7.AE.stepl.009UNSAT34.3
sortnetsort5.AE.stepl.003SAT35.31
sortnetsort8.AE.stepl.003SAT54.19
sortnetsort6.AE.stepl.003SAT62.39
sortnetsort5.AE.stepl.004SAT77.7
sortnetsort6.AE.stepl.006UNSAT82.1
sortnetsort8.AE.stepl.008UNSAT128.34
sortnetsort7.AE.stepl.004SAT171.8
sortnetsort7.AE.stepl.003SAT173.3
sortnetsort9.AE.stepl.004SAT192.97
sortnetsort8.AE.stepl.005SAT205.07
sortnetsort8.AE.stepl.006UNSAT209.8
sortnetsort8.AE.stepl.007UNSAT213.5
sortnetsort10.AE.stepl.006FAIL333.92
sortnetsort9.AE.stepl.008FAIL350.62
sortnetsort9.AE.stepl.011UNSAT355.57
sortnetsort9.AE.stepl.009FAIL421.22
sortnetsort10.AE.stepl.004FAIL470.63
sortnetsort10.AE.stepl.009FAIL472.22
sortnetsort10.AE.stepl.008FAIL473.52
sortnetsort10.AE.stepl.012FAIL476.62
sortnetsort9.AE.stepl.005FAIL504.32
sortnetsort9.AE.stepl.012FAIL572.22
sortnetsort10.AE.stepl.007FAIL591.63
sortnetsort10.AE.stepl.010FAIL599.71
sortnetsort9.AE.stepl.007FAIL599.81
sortnetsort10.AE.stepl.011FAIL599.81
sortnetsort9.AE.stepl.010FAIL599.81
sortnetsort8.AE.stepl.009FAIL599.81
sortnetsort10.AE.stepl.005FAIL599.81
sortnetsort9.AE.stepl.006FAIL599.81
sortnetsort7.AE.stepl.005FAIL599.91