Instances of family Sorting_networks solved by quantor-3.1
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
sortnetsort9.AE.stepl.012FAIL61.64
sortnetsort9.AE.stepl.004FAIL63.98
sortnetsort8.AE.stepl.009FAIL64.4
sortnetsort8.AE.stepl.005FAIL64.44
sortnetsort6.AE.stepl.006FAIL66.34
sortnetsort7.AE.stepl.006FAIL66.98
sortnetsort8.AE.stepl.007FAIL67.25
sortnetsort10.AE.stepl.005FAIL69.22
sortnetsort5.AE.stepl.006FAIL75.79
sortnetsort6.AE.stepl.003FAIL79.14
sortnetsort5.AE.stepl.003FAIL81.07
sortnetsort10.AE.stepl.012FAIL81.27
sortnetsort7.AE.stepl.009FAIL81.47
sortnetsort7.AE.stepl.003FAIL83.71
sortnetsort5.AE.stepl.005FAIL83.91
sortnetsort9.AE.stepl.005FAIL90.77
sortnetsort5.AE.stepl.007FAIL96.15