normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb30-15-opb/normalized-frb30-15-1.opb
|
OPT f=-30 TT=481.663 T1=323.2
|
? (MO)
TT=339.9
|
SAT f=-25 TT=1798.02 T1=84.91
|
SAT (TO) f=-25 TT=1800.07 T1=18.82
|
? (TO) f=-19 TT=1800.06 T1=781.48
|
? (TO) f=-18 TT=1800.12 T1=474.08
|
? (TO) f=-20 TT=1800.07 T1=1800
|
? (TO) f=-19 TT=1800.06 T1=1800
|
OPT f=-30 TT=646.393 T1=323.2
|
SAT (TO) f=-25 TT=1800.27 T1=41.53
|
SAT (TO) f=-26 TT=1800.28 T1=30.75
|
SAT (TO) f=-26 TT=1800.11 T1=38.6
|
OPT f=-30 TT=481.663 T1=481.6
|
SAT f=-28 TT=1797.25 T1=404.89
|
SAT (TO) f=-28 TT=1800.04 T1=126.93
|
OPT f=-30 TT=1473.37 T1=1473.27
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb30-15-opb/normalized-frb30-15-2.opb
|
OPT f=-30 TT=947.527 T1=475.16
|
? (MO)
TT=326.91
|
SAT f=-26 TT=1798.01 T1=881.37
|
SAT (TO) f=-26 TT=1800.08 T1=15.51
|
? (TO) f=-20 TT=1800.04 T1=0.38
|
? (TO) f=-20 TT=1800.09 T1=3.89
|
? (TO) f=-21 TT=1800.06 T1=1800
|
? (TO) f=-20 TT=1800.05 T1=1800
|
OPT f=-30 TT=947.527 T1=475.16
|
SAT (TO) f=-25 TT=1800.25 T1=15.33
|
SAT (TO) f=-26 TT=1800.31 T1=673.94
|
SAT (TO) f=-26 TT=1800.19 T1=492.83
|
? (TO)
TT=1800.07
|
SAT f=-29 TT=1797.14 T1=668.08
|
OPT f=-30 TT=1190.61 T1=1190.51
|
SAT f=-29 TT=1797.12 T1=331.33
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb30-15-opb/normalized-frb30-15-3.opb
|
OPT f=-30 TT=570.413 T1=285.21
|
? (MO)
TT=332
|
SAT f=-26 TT=1798.01 T1=3.25
|
SAT (TO) f=-26 TT=1800.11 T1=142.45
|
? (TO) f=-19 TT=1800.06 T1=0.31
|
? (TO) f=-19 TT=1800.07 T1=3.25
|
? (TO) f=-20 TT=1800.06 T1=1800
|
? (TO) f=-20 TT=1800.08 T1=1800
|
OPT f=-30 TT=570.413 T1=285.21
|
SAT (TO) f=-24 TT=1800.21 T1=0.68
|
SAT (TO) f=-26 TT=1800.19 T1=85.25
|
SAT (TO) f=-26 TT=1800.17 T1=68.49
|
OPT f=-30 TT=811.584 T1=811.51
|
OPT f=-30 TT=1550.22 T1=1550.11
|
OPT f=-30 TT=810.982 T1=810.91
|
OPT f=-30 TT=1552.26 T1=1552.16
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb30-15-opb/normalized-frb30-15-4.opb
|
OPT f=-30 TT=407.818 T1=203.92
|
? (MO)
TT=331.51
|
SAT f=-26 TT=1798.01 T1=81.52
|
SAT (TO) f=-27 TT=1800.08 T1=1365.26
|
? (TO) f=-19 TT=1800.07 T1=611.3
|
? (TO) f=-18 TT=1800.06 T1=356.86
|
? (TO) f=-21 TT=1800.06 T1=1800
|
? (TO) f=-21 TT=1800.04 T1=1800
|
OPT f=-30 TT=407.818 T1=203.92
|
SAT (TO) f=-25 TT=1800.3 T1=180.24
|
SAT (TO) f=-26 TT=1800.36 T1=18.31
|
SAT (TO) f=-26 TT=1800.15 T1=28.97
|
SAT f=-29 TT=1800.08 T1=1520.47
|
SAT f=-28 TT=1797.3 T1=131.28
|
SAT (TO) f=-29 TT=1800.08 T1=1528.69
|
SAT f=-29 TT=1797.14 T1=1656.8
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb30-15-opb/normalized-frb30-15-5.opb
|
OPT f=-30 TT=313.267 T1=157.03
|
? (MO)
TT=334.33
|
SAT f=-25 TT=1798.01 T1=789.24
|
SAT (TO) f=-26 TT=1800.03 T1=12.84
|
? (TO) f=-22 TT=1800.07 T1=0.36
|
? (TO) f=-22 TT=1800.05 T1=3.33
|
? (TO) f=-22 TT=1800.1 T1=1800
|
? (TO) f=-22 TT=1800.05 T1=1800
|
OPT f=-30 TT=313.267 T1=157.03
|
SAT (TO) f=-25 TT=1800.26 T1=924.11
|
SAT (TO) f=-26 TT=1800.21 T1=41.03
|
SAT (TO) f=-27 TT=1800.1 T1=1118.41
|
OPT f=-30 TT=1030.87 T1=1030.79
|
OPT f=-30 TT=1066.11 T1=1066.02
|
OPT f=-30 TT=1116.96 T1=1116.91
|
OPT f=-30 TT=1145.39 T1=1145.32
|
? (TO)
TT=1800.12
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
|
SAT f=-34 TT=1797.13 T1=1758.33
|
? (MO)
TT=285.91
|
SAT f=-29 TT=1798.02 T1=369.68
|
SAT (TO) f=-30 TT=1800.1 T1=1000.12
|
? (TO) f=-24 TT=1800.06 T1=0.71
|
? (TO) f=-24 TT=1800.05 T1=7.34
|
? (TO) f=-24 TT=1800.05 T1=1800
|
? (TO) f=-24 TT=1800.06 T1=1800
|
SAT (TO) f=-33 TT=1800.21 T1=271.17
|
SAT (TO) f=-29 TT=1800.27 T1=1138.51
|
SAT (TO) f=-29 TT=1800.32 T1=65.4
|
SAT (TO) f=-30 TT=1800.19 T1=811.56
|
SAT (TO) f=-33 TT=1800.24 T1=1056.05
|
SAT f=-34 TT=1797.14 T1=1758.33
|
? (TO)
TT=1800.09
|
SAT f=-34 TT=1797.13 T1=1762.77
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb35-17-opb/normalized-frb35-17-2.opb
|
SAT f=-33 TT=1797.23 T1=469.77
|
? (MO)
TT=290.69
|
SAT f=-28 TT=1798.02 T1=167.25
|
SAT (TO) f=-30 TT=1800.1 T1=473.89
|
? (TO) f=-25 TT=1800.07 T1=0.59
|
? (TO) f=-25 TT=1800.08 T1=7.04
|
? (TO) f=-25 TT=1800.06 T1=1800
|
? (TO) f=-25 TT=1800.1 T1=1800
|
SAT (TO) f=-33 TT=1800.22 T1=469.77
|
SAT (TO) f=-28 TT=1800.28 T1=6.85
|
SAT (TO) f=-30 TT=1800.4 T1=54.54
|
SAT (TO) f=-31 TT=1800.15 T1=1610.78
|
SAT (TO) f=-32 TT=1800.08 T1=509.11
|
SAT f=-33 TT=1797.23 T1=733.56
|
SAT (TO) f=-33 TT=1800.06 T1=1748.07
|
SAT f=-33 TT=1797.24 T1=734.73
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb35-17-opb/normalized-frb35-17-3.opb
|
SAT f=-34 TT=1800.07 T1=860.93
|
? (MO)
TT=289.18
|
SAT f=-29 TT=1798.04 T1=4.73
|
SAT (TO) f=-30 TT=1800.09 T1=281.64
|
? (TO) f=-26 TT=1800.05 T1=0.82
|
? (TO) f=-26 TT=1800.04 T1=8.16
|
? (TO) f=-26 TT=1800.04 T1=1800
|
? (TO) f=-26 TT=1800.05 T1=1800
|
SAT (TO) f=-34 TT=1800.26 T1=900.11
|
SAT (TO) f=-30 TT=1800.21 T1=1051.08
|
SAT (TO) f=-30 TT=1800.33 T1=137.78
|
SAT (TO) f=-30 TT=1800.18 T1=109.09
|
SAT (TO) f=-34 TT=1800.07 T1=860.93
|
SAT f=-33 TT=1797.23 T1=560.37
|
SAT (TO) f=-34 TT=1800.08 T1=860.23
|
SAT f=-33 TT=1797.24 T1=559.67
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb35-17-opb/normalized-frb35-17-4.opb
|
SAT f=-34 TT=1800.23 T1=900.11
|
? (MO)
TT=283.88
|
SAT f=-29 TT=1798.02 T1=724.76
|
SAT (TO) f=-29 TT=1800.1 T1=595.58
|
? (TO) f=-23 TT=1800.08 T1=0.65
|
? (TO) f=-23 TT=1800.09 T1=7.61
|
? (TO) f=-23 TT=1800.06 T1=1800
|
? (TO) f=-23 TT=1800.04 T1=1800
|
SAT (TO) f=-34 TT=1800.23 T1=900.11
|
SAT (TO) f=-28 TT=1800.44 T1=164.03
|
SAT (TO) f=-29 TT=1800.33 T1=20.13
|
SAT (TO) f=-30 TT=1800.18 T1=138.52
|
? (TO)
TT=1800.07
|
SAT f=-33 TT=1797.27 T1=908.94
|
SAT (TO) f=-33 TT=1800.21 T1=1247.12
|
SAT f=-33 TT=1797.27 T1=904.43
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
|
SAT f=-34 TT=1797.15 T1=900.11
|
? (MO)
TT=290.87
|
SAT f=-30 TT=1798.02 T1=967.74
|
SAT (TO) f=-30 TT=1800.11 T1=662.4
|
? (TO) f=-26 TT=1800.03 T1=0.7
|
? (TO) f=-26 TT=1800.12 T1=7.97
|
? (TO) f=-26 TT=1800.06 T1=1800
|
? (TO) f=-26 TT=1800.07 T1=1800
|
SAT (TO) f=-34 TT=1800.21 T1=900.11
|
SAT (TO) f=-29 TT=1800.27 T1=974.9
|
SAT (TO) f=-30 TT=1800.28 T1=27.98
|
SAT (TO) f=-30 TT=1800.21 T1=21.48
|
SAT (TO) f=-32 TT=1800.08 T1=339.85
|
SAT f=-34 TT=1797.15 T1=923.71
|
SAT (TO) f=-33 TT=1800.08 T1=1710.51
|
SAT f=-33 TT=1797.28 T1=824.54
|
? (TO)
TT=1800.12
|
Bench name | Best results | borg pb-opt-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | pwbo 1.1 (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb40-19-opb/normalized-frb40-19-1.opb
|
SAT f=-38 TT=1797.31 T1=1756.87
|
? (MO)
TT=284.12
|
SAT (TO) f=-32 TT=1800.11 T1=270.21
|
SAT (TO) f=-33 TT=1800.05 T1=216.79
|
? (TO) f=-21 TT=1800.08 T1=128.47
|
? (TO) f=-21 TT=1800.07 T1=764.25
|
? (TO) f=-23 TT=1800.06 T1=1800
|
? (TO) f=-22 TT=1800.07 T1=1800
|
SAT (TO) f=-37 TT=1800.27 T1=551.82
|
SAT (TO) f=-33 TT=1800.32 T1=9.91
|
SAT (TO) f=-33 TT=1800.23 T1=11.25
|
SAT (TO) f=-34 TT=1800.18 T1=539.88
|
SAT (TO) f=-37 TT=1800.08 T1=663.48
|
SAT f=-38 TT=1797.31 T1=1756.87
|
SAT (TO) f=-37 TT=1800.12 T1=664.01
|
SAT f=-37 TT=1797.32 T1=685.76
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
|
SAT f=-38 TT=1800.25 T1=900.11
|
? (MO)
TT=284.68
|
SAT f=-32 TT=1798.03 T1=2.17
|
SAT (TO) f=-34 TT=1800.09 T1=1201.14
|
? (TO) f=-26 TT=1800.06 T1=1.1
|
? (TO) f=-26 TT=1800.07 T1=14.55
|
? (TO) f=-26 TT=1800.07 T1=1800
|
? (TO) f=-26 TT=1800.06 T1=1800
|
SAT (TO) f=-38 TT=1800.25 T1=900.11
|
SAT (TO) f=-31 TT=1800.24 T1=2.74
|
SAT (TO) f=-34 TT=1800.37 T1=298.99
|
SAT (TO) f=-34 TT=1800.2 T1=239.32
|
? (TO)
TT=1800.1
|
SAT f=-37 TT=1797.3 T1=1325.45
|
? (TO)
TT=1800.08
|
SAT f=-37 TT=1797.3 T1=1183.6
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
|
SAT f=-38 TT=1800.23 T1=1676.55
|
? (MO)
TT=282.27
|
SAT f=-32 TT=1798.03 T1=5.91
|
SAT (TO) f=-33 TT=1800.1 T1=1567.7
|
? (TO) f=-26 TT=1800.06 T1=1.16
|
? (TO) f=-26 TT=1800.07 T1=15.11
|
? (TO) f=-26 TT=1800.07 T1=1800
|
? (TO) f=-26 TT=1800.13 T1=1800.1
|
SAT (TO) f=-37 TT=1800.13 T1=900.11
|
SAT (TO) f=-32 TT=1800.23 T1=477.53
|
SAT (TO) f=-33 TT=1800.47 T1=37.59
|
SAT (TO) f=-34 TT=1800.19 T1=1126.82
|
SAT (TO) f=-38 TT=1800.23 T1=1676.55
|
SAT f=-37 TT=1797.28 T1=1137.72
|
? (TO)
TT=1800.09
|
SAT f=-37 TT=1797.25 T1=1141.71
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb40-19-opb/normalized-frb40-19-4.opb
|
SAT f=-37 TT=1797.25 T1=661.96
|
? (MO)
TT=284.8
|
SAT f=-32 TT=1798.03 T1=481.92
|
SAT (TO) f=-33 TT=1800.03 T1=1611.53
|
? (TO) f=-26 TT=1800.06 T1=1.16
|
? (TO) f=-26 TT=1800.08 T1=14.92
|
? (TO) f=-26 TT=1800.07 T1=1800
|
? (TO) f=-26 TT=1800.07 T1=1800
|
SAT (TO) f=-37 TT=1800.23 T1=661.96
|
SAT (TO) f=-32 TT=1800.22 T1=75.04
|
SAT (TO) f=-33 TT=1800.35 T1=70.85
|
SAT (TO) f=-33 TT=1800.2 T1=5.5
|
SAT (TO) f=-37 TT=1800.13 T1=1520.82
|
SAT f=-37 TT=1797.25 T1=1472.23
|
SAT (TO) f=-37 TT=1800.1 T1=1524.9
|
SAT f=-37 TT=1797.26 T1=1469.04
|
? (TO)
TT=1800.12
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
|
SAT f=-38 TT=1800.2 T1=900.11
|
? (MO)
TT=286.29
|
SAT f=-32 TT=1798.03 T1=60.15
|
SAT (TO) f=-33 TT=1800.07 T1=901.95
|
? (TO) f=-21 TT=1800.11 T1=612.34
|
? (TO) f=-20 TT=1800.08 T1=418.44
|
? (TO) f=-23 TT=1800.06 T1=1800
|
? (TO) f=-21 TT=1800.07 T1=1800
|
SAT (TO) f=-38 TT=1800.2 T1=900.11
|
SAT (TO) f=-33 TT=1800.3 T1=808.07
|
SAT (TO) f=-34 TT=1800.32 T1=746.14
|
SAT (TO) f=-34 TT=1800.15 T1=970.19
|
? (TO)
TT=1800.09
|
SAT f=-37 TT=1797.31 T1=1733.32
|
SAT (TO) f=-37 TT=1800.28 T1=1095.12
|
SAT f=-37 TT=1797.3 T1=1739.82
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
|
SAT f=-39 TT=1797.35 T1=543.76
|
? (MO)
TT=286.39
|
SAT f=-36 TT=1798.05 T1=129.42
|
SAT (TO) f=-37 TT=1800.07 T1=529.15
|
? (TO) f=-30 TT=1800.08 T1=1.8
|
? (TO) f=-30 TT=1800.08 T1=25.09
|
? (TO) f=-30 TT=1800.08 T1=1800
|
? (TO) f=-30 TT=1800.07 T1=1800
|
SAT (TO) f=-23 TT=1800.18 T1=900.11
|
SAT (TO) f=-35 TT=1800.3 T1=114.43
|
SAT (TO) f=-36 TT=1800.41 T1=46.22
|
SAT (TO) f=-36 TT=1800.17 T1=35.32
|
? (TO)
TT=1800.08
|
SAT f=-39 TT=1797.35 T1=543.76
|
SAT (TO) f=-39 TT=1800.34 T1=547.83
|
SAT f=-39 TT=1797.35 T1=600.19
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb45-21-opb/normalized-frb45-21-2.opb
|
SAT f=-41 TT=1797.32 T1=1403.96
|
? (MO)
TT=286.49
|
SAT f=-35 TT=1798.05 T1=3.11
|
SAT (TO) f=-35 TT=1800.06 T1=4.25
|
? (TO) f=-32 TT=1800.08 T1=2.03
|
? (TO) f=-32 TT=1800.12 T1=27.83
|
? (TO) f=-32 TT=1800.08 T1=1800
|
? (TO) f=-32 TT=1800.06 T1=1800
|
SAT (TO) f=-22 TT=1800.17 T1=900.11
|
SAT (TO) f=-35 TT=1800.27 T1=9.23
|
SAT (TO) f=-37 TT=1800.45 T1=134.41
|
SAT (TO) f=-38 TT=1800.25 T1=1140.42
|
SAT (TO) f=-40 TT=1800.1 T1=1025.42
|
SAT f=-41 TT=1797.32 T1=1410.74
|
? (TO)
TT=1800.08
|
SAT f=-41 TT=1797.34 T1=1403.96
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
|
SAT f=-40 TT=1797.34 T1=419.36
|
? (MO)
TT=283.39
|
SAT f=-36 TT=1798.05 T1=162.78
|
SAT (TO) f=-38 TT=1800.12 T1=244.82
|
? (TO) f=-31 TT=1800.07 T1=2.09
|
? (TO) f=-31 TT=1800.06 T1=28.42
|
? (TO) f=-31 TT=1800.06 T1=1800
|
? (TO) f=-31 TT=1800.05 T1=1800
|
SAT (TO) f=-21 TT=1800.19 T1=313.38
|
SAT (TO) f=-36 TT=1800.31 T1=427.21
|
SAT (TO) f=-37 TT=1800.5 T1=235.21
|
SAT (TO) f=-37 TT=1800.22 T1=182.91
|
? (TO)
TT=1800.08
|
SAT f=-40 TT=1797.34 T1=419.36
|
SAT f=-40 TT=1799.88 T1=423.47
|
SAT f=-40 TT=1797.36 T1=420.93
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb45-21-opb/normalized-frb45-21-4.opb
|
SAT f=-40 TT=1797.31 T1=387.53
|
? (MO)
TT=284.17
|
SAT f=-37 TT=1798.04 T1=1202.8
|
SAT (TO) f=-37 TT=1800.08 T1=243.46
|
? (TO) f=-24 TT=1800.04 T1=437.16
|
? (TO) f=-22 TT=1800.07 T1=268.18
|
? (TO) f=-24 TT=1800.07 T1=1800
|
? (TO) f=-23 TT=1800.09 T1=1800
|
SAT (TO) f=-22 TT=1800.18 T1=174.6
|
SAT (TO) f=-35 TT=1800.28 T1=0.75
|
SAT (TO) f=-38 TT=1800.35 T1=158.54
|
SAT (TO) f=-38 TT=1800.18 T1=124.72
|
SAT f=-40 TT=1800.05 T1=393.72
|
SAT f=-40 TT=1797.35 T1=387.53
|
? (TO)
TT=1800.09
|
SAT f=-40 TT=1797.31 T1=388.81
|
? (TO)
TT=1800.14
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb45-21-opb/normalized-frb45-21-5.opb
|
SAT f=-40 TT=1797.36 T1=697.38
|
? (MO)
TT=286.02
|
SAT f=-36 TT=1798.04 T1=900.34
|
SAT (TO) f=-38 TT=1800.12 T1=395.1
|
? (TO) f=-28 TT=1800.11 T1=2.04
|
? (TO) f=-28 TT=1800.06 T1=28.24
|
? (TO) f=-28 TT=1800.04 T1=1800
|
? (TO) f=-28 TT=1800.07 T1=1800
|
SAT (TO) f=-23 TT=1800.2 T1=900.11
|
SAT (TO) f=-35 TT=1800.26 T1=93.17
|
SAT (TO) f=-37 TT=1801.52 T1=323.8
|
SAT (TO) f=-37 TT=1800.22 T1=255.18
|
? (TO)
TT=1800.07
|
SAT f=-40 TT=1797.39 T1=772.8
|
? (TO)
TT=1800.07
|
SAT f=-40 TT=1797.36 T1=697.38
|
? (TO)
TT=1800.06
|
Bench name | Best results | borg pb-opt-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | pwbo 1.1 (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb50-23-opb/normalized-frb50-23-1.opb
|
SAT f=-45 TT=1797.36 T1=1396.74
|
? (MO)
TT=283.51
|
SAT f=-40 TT=1798.05 T1=40.63
|
SAT (TO) f=-40 TT=1800.11 T1=1018.38
|
? (TO) f=-36 TT=1800.1 T1=3.5
|
? (TO) f=-36 TT=1800.05 T1=48.6
|
? (TO) f=-36 TT=1800.07 T1=1800
|
? (TO) f=-36 TT=1800.08 T1=1800
|
SAT (TO) f=-25 TT=1800.16 T1=897.64
|
SAT (TO) f=-40 TT=1800.3 T1=1157.38
|
SAT (TO) f=-41 TT=1800.37 T1=788.8
|
SAT (TO) f=-41 TT=1800.24 T1=561.81
|
SAT (TO) f=-45 TT=1800.09 T1=1410.7
|
SAT f=-45 TT=1797.36 T1=1406.73
|
? (TO)
TT=1800.08
|
SAT f=-45 TT=1797.36 T1=1396.74
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb50-23-opb/normalized-frb50-23-2.opb
|
SAT f=-45 TT=1797.4 T1=956.76
|
? (MO)
TT=290.36
|
SAT f=-38 TT=1798.06 T1=6.14
|
SAT (TO) f=-42 TT=1800.11 T1=890.17
|
? (TO) f=-25 TT=1800.07 T1=377.24
|
? (TO) f=-22 TT=1800.08 T1=904.05
|
? (TO) f=-25 TT=1800.06 T1=1800
|
? (TO) f=-24 TT=1800.08 T1=1800
|
SAT (TO) f=-24 TT=1800.15 T1=504.57
|
SAT (TO) f=-39 TT=1800.28 T1=103.03
|
SAT (TO) f=-40 TT=1800.4 T1=17.9
|
SAT (TO) f=-41 TT=1800.25 T1=389.82
|
SAT (TO) f=-43 TT=1800.14 T1=788.06
|
SAT f=-45 TT=1797.4 T1=956.76
|
SAT (TO) f=-43 TT=1800.37 T1=710.41
|
SAT f=-45 TT=1797.44 T1=1026.44
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
|
SAT f=-44 TT=1797.37 T1=1074.19
|
? (MO)
TT=289.67
|
SAT f=-40 TT=1798.06 T1=129.41
|
SAT (TO) f=-39 TT=1800.09 T1=126.9
|
? (TO) f=-26 TT=1800.07 T1=1519.1
|
? (TO) f=-23 TT=1800.07 T1=308.01
|
? (TO) f=-24 TT=1800.06 T1=1800
|
? (TO) f=-23 TT=1800.07 T1=1800
|
SAT (TO) f=-21 TT=1800.15 T1=439.38
|
SAT (TO) f=-40 TT=1800.23 T1=1110.27
|
SAT (TO) f=-41 TT=1800.5 T1=10.4
|
SAT (TO) f=-41 TT=1800.19 T1=6.37
|
? (TO)
TT=1800.08
|
SAT f=-44 TT=1797.4 T1=1207.55
|
SAT (TO) f=-44 TT=1800.33 T1=1088.57
|
SAT f=-44 TT=1797.37 T1=1074.19
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb50-23-opb/normalized-frb50-23-4.opb
|
SAT f=-45 TT=1797.36 T1=1579.22
|
? (MO)
TT=280.67
|
SAT f=-40 TT=1798.06 T1=196.93
|
SAT (TO) f=-41 TT=1800.04 T1=70.74
|
? (TO) f=-33 TT=1800.08 T1=3.21
|
? (TO) f=-33 TT=1800.12 T1=46.98
|
? (TO) f=-33 TT=1800.06 T1=1800
|
? (TO) f=-33 TT=1800.07 T1=1800
|
SAT (TO) f=-21 TT=1800.14 T1=140.58
|
SAT (TO) f=-39 TT=1800.31 T1=42.21
|
SAT (TO) f=-41 TT=1800.49 T1=51.23
|
SAT (TO) f=-41 TT=1800.27 T1=37.97
|
SAT (TO) f=-45 TT=1800.12 T1=1669.78
|
SAT f=-45 TT=1797.36 T1=1579.22
|
SAT (TO) f=-45 TT=1800.35 T1=1662.07
|
SAT f=-45 TT=1797.36 T1=1708.17
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
|
SAT f=-44 TT=1797.39 T1=1006.67
|
? (MO)
TT=283.18
|
SAT f=-40 TT=1798.05 T1=1719.46
|
SAT (TO) f=-40 TT=1800.09 T1=92.28
|
? (TO) f=-35 TT=1800.11 T1=2.96
|
? (TO) f=-35 TT=1800.08 T1=49.77
|
? (TO) f=-35 TT=1800.07 T1=1800
|
? (TO) f=-35 TT=1800.07 T1=1800
|
SAT (TO) f=-21 TT=1800.17 T1=624.94
|
SAT (TO) f=-39 TT=1800.23 T1=25.36
|
SAT (TO) f=-41 TT=1800.45 T1=431.95
|
SAT (TO) f=-40 TT=1800.25 T1=31.21
|
? (TO)
TT=1800.06
|
SAT f=-44 TT=1797.4 T1=1006.67
|
? (TO)
TT=1800.06
|
SAT f=-44 TT=1797.39 T1=1116.63
|
? (TO)
TT=1800.13
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
|
SAT f=-45 TT=1797.42 T1=1233.78
|
? (MO)
TT=284.79
|
SAT f=-41 TT=1798.05 T1=1.15
|
SAT (TO) f=-42 TT=1800.08 T1=35.79
|
? (TO) f=-40 TT=1800.05 T1=4.35
|
? (TO) f=-40 TT=1800.09 T1=63.97
|
? (TO) f=-40 TT=1800.1 T1=1800
|
? (TO) f=-40 TT=1800.08 T1=1800
|
SAT (TO) f=-22 TT=1800.1 T1=900.11
|
SAT (TO) f=-40 TT=1800.26 T1=293.55
|
SAT (TO) f=-44 TT=1800.41 T1=846.33
|
SAT (TO) f=-44 TT=1800.23 T1=625.52
|
? (TO)
TT=1800.09
|
SAT f=-45 TT=1797.42 T1=1233.78
|
SAT (TO) f=-45 TT=1800.12 T1=1135.24
|
SAT f=-45 TT=1797.42 T1=1234.07
|
? (TO)
TT=1800.11
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
|
SAT f=-46 TT=1797.42 T1=1248.53
|
? (MO)
TT=287.18
|
SAT f=-41 TT=1798.05 T1=25.08
|
SAT (TO) f=-41 TT=1800.09 T1=5.49
|
? (TO) f=-37 TT=1800.1 T1=4.15
|
? (TO) f=-37 TT=1800.05 T1=67.34
|
? (TO) f=-37 TT=1800.09 T1=1800
|
? (TO) f=-37 TT=1800.05 T1=1800
|
SAT (TO) f=-24 TT=1800.15 T1=390.9
|
SAT (TO) f=-41 TT=1800.26 T1=2.8
|
SAT (TO) f=-43 TT=1800.4 T1=437.28
|
SAT (TO) f=-43 TT=1800.21 T1=384.85
|
SAT (TO) f=-46 TT=1800.39 T1=1262
|
SAT f=-46 TT=1797.42 T1=1370.66
|
? (TO)
TT=1800.08
|
SAT f=-46 TT=1797.45 T1=1248.53
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb53-24-opb/normalized-frb53-24-3.opb
|
SAT f=-46 TT=1797.39 T1=399.49
|
? (MO)
TT=284.95
|
SAT f=-42 TT=1798.06 T1=518.14
|
SAT (TO) f=-41 TT=1800.12 T1=1.91
|
? (TO) f=-34 TT=1800.11 T1=4.21
|
? (TO) f=-34 TT=1800.07 T1=61.92
|
? (TO) f=-34 TT=1800.07 T1=1800
|
? (TO) f=-34 TT=1800.07 T1=1800
|
SAT (TO) f=-22 TT=1800.14 T1=252.71
|
SAT (TO) f=-42 TT=1800.33 T1=31.24
|
SAT (TO) f=-43 TT=1800.36 T1=73.57
|
SAT (TO) f=-43 TT=1800.27 T1=55.87
|
SAT (TO) f=-46 TT=1800.12 T1=402.39
|
SAT f=-46 TT=1797.42 T1=399.99
|
? (TO)
TT=1800.06
|
SAT f=-46 TT=1797.39 T1=399.49
|
? (TO)
TT=1800.06
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb53-24-opb/normalized-frb53-24-4.opb
|
SAT f=-47 TT=1800.38 T1=687.59
|
? (MO)
TT=284.21
|
SAT f=-40 TT=1798.05 T1=9.91
|
SAT (TO) f=-41 TT=1800.09 T1=50.45
|
? (TO) f=-36 TT=1800.06 T1=4.62
|
? (TO) f=-36 TT=1800.1 T1=68.07
|
? (TO) f=-36 TT=1800.09 T1=1800
|
? (TO) f=-36 TT=1800.08 T1=1800
|
SAT (TO) f=-22 TT=1800.12 T1=19.08
|
SAT (TO) f=-40 TT=1800.31 T1=49.88
|
SAT (TO) f=-42 TT=1800.45 T1=227.65
|
SAT (TO) f=-43 TT=1800.19 T1=1255.01
|
SAT (TO) f=-47 TT=1800.38 T1=687.59
|
SAT f=-46 TT=1797.48 T1=1706.37
|
? (TO)
TT=1800.06
|
SAT f=-45 TT=1797.56 T1=780.32
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
|
SAT f=-45 TT=1797.36 T1=863.73
|
? (MO)
TT=283.33
|
SAT f=-41 TT=1798.05 T1=343.23
|
SAT (TO) f=-43 TT=1800.1 T1=744.43
|
? (TO) f=-36 TT=1800.05 T1=4.39
|
? (TO) f=-36 TT=1800.07 T1=59.77
|
? (TO) f=-36 TT=1800.11 T1=1800
|
? (TO) f=-36 TT=1800.07 T1=1800
|
SAT (TO) f=-24 TT=1800.11 T1=900.11
|
SAT (TO) f=-40 TT=1800.53 T1=130.44
|
SAT (TO) f=-41 TT=1800.51 T1=10.96
|
SAT (TO) f=-42 TT=1800.19 T1=951.2
|
? (TO)
TT=1800.1
|
SAT f=-45 TT=1797.38 T1=864.47
|
? (TO)
TT=1800.08
|
SAT f=-45 TT=1797.36 T1=863.73
|
? (TO)
TT=1800.06
|
Bench name | Best results | borg pb-opt-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | pwbo 1.1 (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
|
SAT f=-49 TT=1797.47 T1=1477.72
|
? (MO)
TT=282.85
|
SAT f=-43 TT=1798.05 T1=82.68
|
SAT (TO) f=-43 TT=1800.09 T1=55.92
|
? (TO) f=-36 TT=1800.09 T1=4.93
|
? (TO) f=-36 TT=1800.06 T1=83.68
|
? (TO) f=-36 TT=1800.07 T1=1800
|
? (TO) f=-36 TT=1800.07 T1=1800
|
SAT (TO) f=-23 TT=1800.25 T1=285.94
|
SAT (TO) f=-43 TT=1800.32 T1=111.86
|
SAT (TO) f=-44 TT=1800.4 T1=257.51
|
SAT (TO) f=-44 TT=1800.26 T1=191.42
|
? (TO)
TT=1800.08
|
SAT f=-49 TT=1797.47 T1=1488.94
|
? (TO)
TT=1800.1
|
SAT f=-49 TT=1797.5 T1=1477.72
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
|
SAT f=-48 TT=1797.44 T1=645.87
|
? (MO)
TT=285.73
|
SAT f=-44 TT=1798.05 T1=4.39
|
SAT (TO) f=-45 TT=1800.04 T1=0.23
|
? (TO) f=-40 TT=1800.08 T1=5.25
|
? (TO) f=-40 TT=1800.11 T1=79.97
|
? (TO) f=-40 TT=1800.11 T1=1800.1
|
? (TO) f=-40 TT=1800.07 T1=1800
|
SAT (TO) f=-25 TT=1800.12 T1=410.5
|
SAT (TO) f=-43 TT=1800.26 T1=1277.39
|
SAT (TO) f=-46 TT=1800.47 T1=794.3
|
SAT (TO) f=-46 TT=1800.22 T1=616.27
|
? (TO)
TT=1800.07
|
SAT f=-48 TT=1797.46 T1=645.87
|
SAT (TO) f=-48 TT=1800.41 T1=648.26
|
SAT f=-48 TT=1797.44 T1=696.73
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
|
SAT f=-48 TT=1797.46 T1=825.38
|
? (MO)
TT=285.59
|
SAT f=-44 TT=1798.05 T1=533.77
|
SAT (TO) f=-44 TT=1800.08 T1=115.33
|
? (TO) f=-41 TT=1800.07 T1=5.35
|
? (TO) f=-41 TT=1800.06 T1=92.28
|
? (TO) f=-41 TT=1800.07 T1=1800
|
? (TO) f=-41 TT=1800.07 T1=1800
|
SAT (TO) f=-22 TT=1800.14 T1=550.82
|
SAT (TO) f=-44 TT=1800.23 T1=488.45
|
SAT (TO) f=-45 TT=1800.36 T1=561.71
|
SAT (TO) f=-45 TT=1800.21 T1=427.39
|
? (TO)
TT=1800.07
|
SAT f=-48 TT=1797.46 T1=825.38
|
SAT (TO) f=-48 TT=1800.38 T1=843.98
|
SAT f=-48 TT=1797.48 T1=827.71
|
? (TO)
TT=1800.07
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
|
SAT f=-49 TT=1797.42 T1=1088.23
|
? (MO)
TT=288.78
|
SAT f=-44 TT=1798.05 T1=1588.11
|
SAT (TO) f=-45 TT=1800.09 T1=143.7
|
? (TO) f=-40 TT=1800.06 T1=5.01
|
? (TO) f=-40 TT=1800.07 T1=78
|
? (TO) f=-40 TT=1800.07 T1=1800
|
? (TO) f=-40 TT=1800.07 T1=1800
|
SAT (TO) f=-24 TT=1800.26 T1=900.21
|
SAT (TO) f=-43 TT=1800.55 T1=119.28
|
SAT (TO) f=-44 TT=1800.46 T1=19.19
|
SAT (TO) f=-45 TT=1800.23 T1=776.42
|
SAT (TO) f=-49 TT=1800.1 T1=1104.22
|
SAT f=-49 TT=1797.42 T1=1088.23
|
SAT (TO) f=-49 TT=1800.14 T1=1107.07
|
SAT f=-49 TT=1797.44 T1=1098.05
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb56-25-opb/normalized-frb56-25-5.opb
|
SAT f=-49 TT=1797.4 T1=1287.92
|
? (MO)
TT=284.15
|
SAT f=-44 TT=1798.05 T1=530.93
|
SAT (TO) f=-43 TT=1800.07 T1=0.91
|
? (TO) f=-39 TT=1800.09 T1=5.17
|
? (TO) f=-39 TT=1800.12 T1=78.61
|
? (TO) f=-39 TT=1800.07 T1=1800
|
? (TO) f=-39 TT=1800.07 T1=1800
|
SAT (TO) f=-23 TT=1800.13 T1=605.38
|
SAT (TO) f=-43 TT=1800.28 T1=1202.68
|
SAT (TO) f=-45 TT=1800.34 T1=522.85
|
SAT (TO) f=-45 TT=1800.27 T1=351.96
|
SAT (TO) f=-49 TT=1800.12 T1=1442.39
|
SAT f=-49 TT=1797.4 T1=1287.92
|
SAT (TO) f=-49 TT=1800.44 T1=1416.55
|
SAT f=-49 TT=1797.4 T1=1290.07
|
? (TO)
TT=1800.12
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb59-26-opb/normalized-frb59-26-1.opb
|
SAT f=-51 TT=1797.52 T1=1361.4
|
? (MO)
TT=194.38
|
SAT f=-46 TT=1798.05 T1=596.22
|
SAT (TO) f=-47 TT=1800.09 T1=934.71
|
? (TO) f=-39 TT=1800.09 T1=6.61
|
? (TO) f=-39 TT=1800.08 T1=114.09
|
? (TO) f=-39 TT=1800.08 T1=1800
|
? (TO) f=-39 TT=1800.06 T1=1800
|
SAT (TO) f=-25 TT=1800.22 T1=515.07
|
SAT (TO) f=-45 TT=1800.25 T1=305.54
|
SAT (TO) f=-47 TT=1800.31 T1=531.92
|
SAT (TO) f=-46 TT=1800.29 T1=34.43
|
? (TO)
TT=1800.09
|
SAT f=-51 TT=1797.52 T1=1412.43
|
SAT (TO) f=-50 TT=1800.67 T1=1023.07
|
SAT f=-51 TT=1797.54 T1=1361.4
|
? (TO)
TT=1800.1
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
|
SAT f=-50 TT=1797.48 T1=968.76
|
? (MO)
TT=196.61
|
SAT f=-45 TT=1798.05 T1=12.93
|
SAT (TO) f=-46 TT=1800.08 T1=43.65
|
? (TO) f=-42 TT=1800.08 T1=7.21
|
? (TO) f=-42 TT=1800.09 T1=105.91
|
? (TO) f=-41 TT=1800.08 T1=1800
|
? (TO) f=-41 TT=1800.07 T1=1800
|
SAT (TO) f=-25 TT=1800.1 T1=701.44
|
SAT (TO) f=-45 TT=1800.28 T1=154.56
|
SAT (TO) f=-46 TT=1800.5 T1=4.99
|
SAT (TO) f=-46 TT=1800.27 T1=2.66
|
? (TO)
TT=1800.05
|
SAT f=-50 TT=1797.53 T1=1057.62
|
SAT (TO) f=-51 TT=1800.13 T1=1559.87
|
SAT f=-50 TT=1797.48 T1=968.76
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb59-26-opb/normalized-frb59-26-3.opb
|
SAT f=-51 TT=1797.46 T1=1086.49
|
? (MO)
TT=195.87
|
SAT f=-46 TT=1798.05 T1=810.4
|
SAT (TO) f=-45 TT=1800.07 T1=846.65
|
? (TO) f=-26 TT=1800.08 T1=69.47
|
? (TO) f=-26 TT=1800.09 T1=661.25
|
? (TO) f=-26 TT=1800.07 T1=1800
|
? (TO) f=-26 TT=1800.08 T1=1800
|
SAT (TO) f=-24 TT=1800.22 T1=856.51
|
SAT (TO) f=-46 TT=1800.28 T1=1555.56
|
SAT (TO) f=-47 TT=1800.44 T1=128.54
|
SAT (TO) f=-46 TT=1800.29 T1=100.38
|
SAT (TO) f=-51 TT=1800.44 T1=1097.67
|
SAT f=-51 TT=1797.63 T1=1095.08
|
SAT (TO) f=-51 TT=1800.42 T1=1090.88
|
SAT f=-51 TT=1797.46 T1=1086.49
|
? (TO)
TT=1800.08
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
|
SAT f=-50 TT=1797.48 T1=524.76
|
? (MO)
TT=192.78
|
SAT f=-45 TT=1798.06 T1=22.42
|
SAT (TO) f=-48 TT=1800.09 T1=1569.74
|
? (TO) f=-26 TT=1800.07 T1=840.84
|
? (TO) f=-25 TT=1800.12 T1=277.2
|
? (TO) f=-27 TT=1800.08 T1=1800
|
? (TO) f=-27 TT=1800.07 T1=1800
|
SAT (TO) f=-24 TT=1800.1 T1=900.11
|
SAT (TO) f=-45 TT=1800.28 T1=80.2
|
SAT (TO) f=-47 TT=1800.48 T1=217.49
|
SAT (TO) f=-47 TT=1800.28 T1=183.1
|
? (TO)
TT=1800.08
|
SAT f=-50 TT=1797.49 T1=524.76
|
SAT f=-50 TT=1799.24 T1=527.03
|
SAT f=-50 TT=1797.48 T1=527.94
|
? (TO)
TT=1800.09
|
normalized-PB06/OPT-SMALLINT/web/ www.nlsde.buaa.edu.cn/~kexu/ benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
|
SAT f=-51 TT=1797.46 T1=631.46
|
? (MO)
TT=190.49
|
SAT f=-45 TT=1798.05 T1=6.82
|
SAT (TO) f=-47 TT=1800.09 T1=1055.94
|
? (TO) f=-27 TT=1800.11 T1=330.38
|
? (TO) f=-26 TT=1800.08 T1=410.31
|
? (TO) f=-26 TT=1800.07 T1=1800
|
? (TO) f=-26 TT=1800.08 T1=1800
|
SAT (TO) f=-24 TT=1800.22 T1=900.21
|
SAT (TO) f=-46 TT=1800.26 T1=507.95
|
SAT (TO) f=-47 TT=1800.5 T1=170.68
|
SAT (TO) f=-47 TT=1800.26 T1=142.67
|
SAT (TO) f=-51 TT=1800.48 T1=657.16
|
SAT f=-51 TT=1797.5 T1=631.46
|
SAT (TO) f=-51 TT=1800.45 T1=703.24
|
SAT f=-51 TT=1797.46 T1=633.44
|
? (TO)
TT=1800.09
|
|
Statistics | borg pb-opt-11.04.03 (complete) | bsolo 3.2 (complete) | clasp 2.0-R4191 (complete) | MinisatID 2.4.8 [DEPRECATED] (complete) | MinisatID 2.4.8-gmp [DEPRECATED] (complete) | MinisatID 2.5.2 (fixed) (complete) | MinisatID 2.5.2-gmp (fixed) (complete) | pwbo 1.1 (complete) | Sat4j CuttingPlanes 2.3.0 (complete) | Sat4j Res//CP 2.3.0 (complete) | Sat4j Resolution 2.3.0 (complete) | SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx 2 2011-06-10 (fixed) (complete) | SCIP spx E SCIP 2.0.1.4b with SoPlex 1.5.0.4 [DEPRECATED] (complete) | SCIP spx E_2 2011-06-10 (fixed) (complete) | wbo 1.6 (complete) |
Number of times the solver is able to give the best known answer | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 12 | 0 | 0 | 0 | 16 | 31 | 0 | 30 | 0 |
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time) | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 8 | 0 | 0 | 0 | 4 | 17 | 0 | 17 | 0 |