Sota solver results for family Sorting_networks
QBFEVAL'08


InstanceSolverResultTime
sortnetsort10.AE.stepl.004AQME-1NNSAT519.34
sortnetsort10.v.stepl.004quantor3.0UNSAT5.89
sortnetsort10.v.stepl.005quantor3.0UNSAT46.65
sortnetsort10.v.stepl.008quantor3.0SAT12.95
sortnetsort10.v.stepl.009quantor3.0SAT15.23
sortnetsort10.v.stepl.010quantor3.0SAT15.54
sortnetsort10.v.stepl.011quantor3.0SAT16.58
sortnetsort10.v.stepl.012quantor3.0SAT18.14
sortnetsort5.AE.stepl.003QuBE6.1SAT0.09
sortnetsort5.AE.stepl.004QuBE6.1SAT0.34
sortnetsort5.AE.stepl.005QuBE6.1UNSAT0.17
sortnetsort5.AE.stepl.006QuBE6.1UNSAT0.26
sortnetsort5.AE.stepl.007QuBE6.1UNSAT0.31
sortnetsort5.v.stepl.003quantor3.0UNSAT0.02
sortnetsort5.v.stepl.004quantor3.0UNSAT0.03
sortnetsort5.v.stepl.005quantor3.0SAT0.03
sortnetsort5.v.stepl.006quantor3.0SAT0.04
sortnetsort5.v.stepl.007quantor3.0SAT0.04
sortnetsort6.AE.stepl.003QuBE6.1SAT0.36
sortnetsort6.AE.stepl.004AQME-1NNSAT1.56
sortnetsort6.AE.stepl.005QuBE6.1UNSAT3.14
sortnetsort6.AE.stepl.006AQME-1NNUNSAT2.3
sortnetsort6.AE.stepl.007QuBE6.1UNSAT4.13
sortnetsort6.v.stepl.003quantor3.0UNSAT0.06
sortnetsort6.v.stepl.004quantor3.0UNSAT0.1
sortnetsort6.v.stepl.005quantor3.0SAT0.1
sortnetsort6.v.stepl.006quantor3.0SAT0.12
sortnetsort6.v.stepl.007quantor3.0SAT0.14
sortnetsort7.AE.stepl.003QuBE6.1SAT0.57
sortnetsort7.AE.stepl.004QuBE6.1SAT6.8
sortnetsort7.AE.stepl.006QuBE6.1UNSAT136.41
sortnetsort7.AE.stepl.007QuBE6.1UNSAT32.05
sortnetsort7.AE.stepl.008QuBE6.1UNSAT23.97
sortnetsort7.AE.stepl.009QuBE6.1UNSAT27.33
sortnetsort7.v.stepl.003quantor3.0UNSAT0.16
sortnetsort7.v.stepl.004quantor3.0UNSAT0.38
sortnetsort7.v.stepl.005quantor3.0UNSAT2.48
sortnetsort7.v.stepl.006quantor3.0SAT0.42
sortnetsort7.v.stepl.007quantor3.0SAT0.46
sortnetsort7.v.stepl.008quantor3.0SAT0.56
sortnetsort7.v.stepl.009quantor3.0SAT0.62
sortnetsort8.AE.stepl.003QuBE6.1SAT1.71
sortnetsort8.AE.stepl.004QuBE6.1SAT4.34
sortnetsort8.AE.stepl.007QuBE6.1UNSAT26.47
sortnetsort8.AE.stepl.008QuBE6.1UNSAT400.43
sortnetsort8.AE.stepl.009QuBE6.1UNSAT151.95
sortnetsort8.v.stepl.003quantor3.0UNSAT0.45
sortnetsort8.v.stepl.004quantor3.0UNSAT0.8
sortnetsort8.v.stepl.005quantor3.0UNSAT8.4
sortnetsort8.v.stepl.006quantor3.0SAT1.13
sortnetsort8.v.stepl.007quantor3.0SAT1.47
sortnetsort8.v.stepl.008quantor3.0SAT1.69
sortnetsort8.v.stepl.009quantor3.0SAT1.94
sortnetsort9.AE.stepl.004QuBE6.1SAT19.37
sortnetsort9.v.stepl.004quantor3.0UNSAT3.25
sortnetsort9.v.stepl.005quantor3.0UNSAT18.31
sortnetsort9.v.stepl.007NenofexSAT12.01
sortnetsort9.v.stepl.008quantor3.0SAT4.56
sortnetsort9.v.stepl.009quantor3.0SAT5.09
sortnetsort9.v.stepl.010quantor3.0SAT5.64
sortnetsort9.v.stepl.011quantor3.0SAT6.15
sortnetsort9.v.stepl.012NenofexSAT6.68