PB'24 competition: results by benchmark

Results by benchmark for category optimization problem, non-linear constraints, no OPT/UNSAT certificate (OPT-NLC)

This page displays the results of the different solvers for each benchmark for category optimization problem, non-linear constraints, no OPT/UNSAT certificate (OPT-NLC)

REMINDER

Keep in mind that the 'Best result' columns only provide the best result given by one of the solvers. This 'Best result' may be wrong in case of an UNSATISFIABLE or OPTIMUM FOUND answer (because there's no efficient way to check these answers).

Description of a cell contents:

Cell exampleMeaning
AnswerSolver result
f=...value of the objective function for the model reported by the solver
TT=...Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out
T1=...Time to get the best model (T1): this is the wall clock time (in seconds) ellapsed when the solver found its best model. This time is obtained from the 'o lines'. It is useful to compare both complete and incomplete solvers. It doesn't take into account the time to prove optimality of the solution.
Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

AbbreviationMeaning
f=...Value of the objective function
TOTime Out
MOMem. Out (out of memory)

Meaning of the different colors:

ColorMeaning
textthe solver cannot handle this instance
textthe solver gave no answer
textthe solver could give an answer (SAT)
textthe solver gave a definitive answer (OPTIMUM FOUND or UNSAT)
textthe solver performed better than the other ones on that instance (complete solvers point of view)
textthe solver performed better than the other ones on that instance (incomplete solvers point of view)
textthe solver was ended by a signal or other problem
textthe solver gave an incomplete answer
textthe solver gave a wrong answer

For better readability, you may choose to hide some solvers:
Exact 2024-07-05 (complete)
Exact_no_SoPlex 2024-07-05 (complete)
FiberSCIP 2024-07-02 (complete)
FiberSCIP 2024-07-30 (complete)
FiberSCIP 20 cores, 2024-07-30 (complete)
FiberSCIP 20 cores, 2024-08-09 (complete)
FiberSCIP 20 cores, 2024-08-12 (complete)
Picat 2024-06-18 (complete)
Sat4j Cutting Planes 2024 2024-07-12 (complete)
Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)
Sat4j Resolution Default 2024-07-07 (complete)
SCIP 2024-07-07 (complete)

Bench nameBest results
on this
instance
Exact
2024-07-05
(complete)
Exact_no_SoPlex
2024-07-05
(complete)
FiberSCIP
2024-07-02
(complete)
FiberSCIP
2024-07-30
(complete)
FiberSCIP
20 cores, 2024-07-30
(complete)
FiberSCIP
20 cores, 2024-08-09
(complete)
FiberSCIP
20 cores, 2024-08-12
(complete)
Picat
2024-06-18
(complete)
Sat4j Cutting Planes 2024
2024-07-12
(complete)
Sat4j Partial RoundingSAT 2024
2024-07-12
(complete)
Sat4j Resolution Default
2024-07-07
(complete)
SCIP
2024-07-07
(complete)
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_25_4.opb
SAT
f=-163
TT=3588.03
T1=3598.61
SAT (TO)
f=-148
TT=3600.1
T1=670.65
SAT (TO)
f=-143
TT=3600.07
T1=2991.51
SAT
f=-163
TT=3590.29
T1=3600.07
SAT
f=-163
TT=3588.03
T1=3598.7
? (TO)

TT=72001.9

? (TO)

TT=72001.6

SAT
f=-163
TT=60062
T1=3598.61
? (TO)

TT=3600.07

SAT (TO)
f=-85
TT=3600.44
T1=3531.06
SAT (TO)
f=-40
TT=3600.14
T1=5.03
? (TO)

TT=3600.4

SAT
f=-157
TT=3585.29
T1=2832.45
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_1000_60_5.opb
SAT
f=-89
TT=60631.2
T1=3599.19
? (TO)

TT=3602.08

SAT (TO)
f=-82
TT=3600.1
T1=2840.69
SAT
f=-84
TT=3592.37
T1=3600.15
SAT
f=-84
TT=3586.22
T1=3598.5
? (TO)

TT=72001.9

? (TO)

TT=72002.9

SAT
f=-89
TT=60631.2
T1=3599.19
? (TO)

TT=3600.05

SAT (TO)
f=-62
TT=3600.16
T1=3110.01
SAT (TO)
f=-43
TT=3600.21
T1=1692.42
SAT (TO)
f=-36
TT=3600.29
T1=341.23
SAT
f=-87
TT=3587.12
T1=2911.46
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/
normalized-bsg_10_4_1.opb
OPT
f=-3
TT=0.004
T1=0
OPT
f=-3
TT=0.021
T1=0.01
OPT
f=-3
TT=0.004
T1=0
OPT
f=-3
TT=0.058
T1=0.05
OPT
f=-3
TT=0.155
T1=0.15
OPT
f=-3
TT=0.933
T1=0.09
OPT
f=-3
TT=0.982
T1=0.1
OPT
f=-3
TT=0.916
T1=0.1
OPT
f=-3
TT=0.014
T1=0
OPT
f=-3
TT=0.608
T1=0.32
OPT
f=-3
TT=0.376
T1=0.2
OPT
f=-3
TT=0.598
T1=0.36
OPT
f=-3
TT=0.095
T1=0
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/
normalized-bsg_10_4_5.opb
OPT
f=-4
TT=0.011
T1=0
OPT
f=-4
TT=0.017
T1=0.01
OPT
f=-4
TT=0.011
T1=0
OPT
f=-4
TT=0.041
T1=0.04
OPT
f=-4
TT=0.085
T1=0.08
OPT
f=-4
TT=0.662
T1=0.09
OPT
f=-4
TT=0.726
T1=0.09
OPT
f=-4
TT=0.672
T1=0.08
OPT
f=-4
TT=0.06
T1=0.03
OPT
f=-4
TT=0.823
T1=0.48
OPT
f=-4
TT=0.402
T1=0.21
OPT
f=-4
TT=0.32
T1=0.18
OPT
f=-4
TT=0.038
T1=0.03
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_10_2.opb
SAT
f=-58
TT=71396.6
T1=3598.5
SAT (TO)
f=-53
TT=3600.08
T1=326.82
SAT (TO)
f=-52
TT=3600.07
T1=228.85
SAT
f=-57
TT=3589.4
T1=3600.54
SAT
f=-57
TT=3588.33
T1=3598.68
? (TO)

TT=72001.7

? (TO)

TT=72000.8

SAT
f=-58
TT=71396.6
T1=3598.5
? (TO)

TT=3600.03

SAT (TO)
f=-48
TT=3600.44
T1=3018.78
SAT (TO)
f=-45
TT=3600.18
T1=272.37
SAT (TO)
f=-35
TT=3600.27
T1=951.93
SAT
f=-57
TT=3589.81
T1=706
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb
SAT
f=-33
TT=71423.1
T1=3598.99
? (TO)

TT=3602.05

SAT (TO)
f=-31
TT=3600.07
T1=283.94
SAT
f=-32
TT=3591.45
T1=3600.81
SAT
f=-32
TT=3588.98
T1=3599.62
? (TO)

TT=72000.5

? (TO)

TT=72000.7

SAT
f=-33
TT=71423.1
T1=3598.99
? (TO)

TT=3600.07

SAT (TO)
f=-26
TT=3600.36
T1=122.74
SAT (TO)
f=-27
TT=3600.25
T1=1755.97
SAT (TO)
f=-18
TT=3600.3
T1=0.83
SAT
f=-32
TT=3588.57
T1=961.46
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_500_10_1.opb
SAT
f=-142
TT=70237.3
T1=3598.26
SAT (TO)
f=-130
TT=3600.05
T1=410.17
SAT (TO)
f=-135
TT=3600.07
T1=3110.35
SAT
f=-141
TT=3589.58
T1=3600.13
SAT
f=-141
TT=3585.75
T1=3598.27
? (TO)

TT=72001.7

? (TO)

TT=72002.4

SAT
f=-142
TT=70237.3
T1=3598.26
? (TO)

TT=3600.05

SAT (TO)
f=-107
TT=3600.21
T1=1003.65
SAT (TO)
f=-103
TT=3600.48
T1=337.1
SAT (TO)
f=-77
TT=3600.33
T1=2810.92
SAT
f=-140
TT=3589.47
T1=456.9
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.opb
SAT
f=-82
TT=69962.5
T1=3598.74
SAT (TO)
f=-81
TT=3600.07
T1=1770.61
SAT (TO)
f=-79
TT=3600.1
T1=2615.29
SAT
f=-81
TT=3592.18
T1=3600.59
SAT
f=-81
TT=3589.53
T1=3598.68
? (TO)

TT=72000.8

? (TO)

TT=72002.8

SAT
f=-82
TT=69962.5
T1=3598.74
? (TO)

TT=3600.05

SAT (TO)
f=-59
TT=3600.27
T1=472.09
SAT (TO)
f=-58
TT=3600.22
T1=2917.89
SAT (TO)
f=-44
TT=3600.32
T1=10.41
SAT
f=-80
TT=3589.13
T1=2696.44
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/
bsg/normalized-bsg_50_10_2.opb
OPT
f=-14
TT=281.076
T1=223.91
SAT (TO)
f=-14
TT=3600.05
T1=465.53
SAT (TO)
f=-13
TT=3600.01
T1=16.2
OPT
f=-14
TT=281.076
T1=282
OPT
f=-14
TT=316.059
T1=317.06
OPT
f=-14
TT=4035.08
T1=204.77
OPT
f=-14
TT=4437.45
T1=224.94
OPT
f=-14
TT=4411.97
T1=223.91
? (TO)

TT=3600.04

SAT (TO)
f=-13
TT=3600.22
T1=42.89
SAT (TO)
f=-14
TT=3600.4
T1=1173.57
SAT (TO)
f=-12
TT=3600.32
T1=48.14
OPT
f=-14
TT=450.045
T1=328.65
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/
bsg/normalized-bsg_50_25_3.opb
OPT
f=-7
TT=49.979
T1=0.25
OPT
f=-7
TT=141.724
T1=0.63
OPT
f=-7
TT=269.132
T1=0.25
OPT
f=-7
TT=51.088
T1=51.25
OPT
f=-7
TT=52.49
T1=52.65
OPT
f=-7
TT=383.377
T1=19.57
OPT
f=-7
TT=395.015
T1=20.14
OPT
f=-7
TT=377.836
T1=19.23
OPT
f=-7
TT=57.119
T1=25.73
SAT (TO)
f=-7
TT=3600.46
T1=14.14
OPT
f=-7
TT=261.044
T1=24.02
OPT
f=-7
TT=279.047
T1=5.06
OPT
f=-7
TT=49.979
T1=24.93
Bench nameBest resultsExact
2024-07-05
(complete)
Exact_no_SoPlex
2024-07-05
(complete)
FiberSCIP
2024-07-02
(complete)
FiberSCIP
2024-07-30
(complete)
FiberSCIP
20 cores, 2024-07-30
(complete)
FiberSCIP
20 cores, 2024-08-09
(complete)
FiberSCIP
20 cores, 2024-08-12
(complete)
Picat
2024-06-18
(complete)
Sat4j Cutting Planes 2024
2024-07-12
(complete)
Sat4j Partial RoundingSAT 2024
2024-07-12
(complete)
Sat4j Resolution Default
2024-07-07
(complete)
SCIP
2024-07-07
(complete)
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_1000_25_2.opb
SAT
f=54
TT=68065.4
T1=3598.66
SAT (TO)
f=74
TT=3600.11
T1=2922.42
SAT (TO)
f=69
TT=3600.08
T1=3534.23
SAT
f=57
TT=3591.8
T1=3600.23
SAT
f=57
TT=3587.21
T1=3598.25
? (TO)

TT=72000.8

? (TO)

TT=72003.6

SAT
f=54
TT=68065.4
T1=3598.66
? (TO)

TT=3600.09

SAT (TO)
f=89
TT=3600.19
T1=2.95
SAT (TO)
f=83
TT=3600.21
T1=2330.66
SAT (TO)
f=89
TT=3600.36
T1=1.75
SAT
f=57
TT=3585.89
T1=0.43
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_1000_25_5.opb
SAT
f=56
TT=70954.4
T1=3598.73
? (TO)

TT=3602.01

SAT (TO)
f=74
TT=3600.1
T1=3355.23
SAT
f=58
TT=3591.15
T1=3600.25
SAT
f=58
TT=3588.68
T1=3598.48
? (TO)

TT=72000.3

? (TO)

TT=72001.9

SAT
f=56
TT=70954.4
T1=3598.73
? (TO)

TT=3600.03

SAT
f=89
TT=12.778
T1=2.61
SAT (TO)
f=85
TT=3600.38
T1=217.08
SAT (TO)
f=89
TT=3600.25
T1=1.34
SAT
f=58
TT=3588.86
T1=0.41
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_10_5.opb
OPT
f=10
TT=2.117
T1=1.06
OPT
f=10
TT=3163.32
T1=1141.09
SAT (TO)
f=11
TT=3600.05
T1=8.32
OPT
f=10
TT=2.928
T1=2.93
OPT
f=10
TT=2.985
T1=2.99
OPT
f=10
TT=47.721
T1=2.54
OPT
f=10
TT=47.828
T1=2.7
OPT
f=10
TT=52.164
T1=2.77
OPT
f=10
TT=1200.13
T1=516.01
SAT (TO)
f=12
TT=3600.21
T1=162.91
SAT (TO)
f=11
TT=3600.53
T1=108.24
SAT (TO)
f=11
TT=3600.19
T1=3563.88
OPT
f=10
TT=2.117
T1=1.06
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_100_25_3.opb
OPT
f=5
TT=1.546
T1=0.52
OPT
f=5
TT=27.794
T1=2.08
OPT
f=5
TT=33.506
T1=1.7
OPT
f=5
TT=2.057
T1=2.07
OPT
f=5
TT=2.341
T1=2.35
OPT
f=5
TT=30.104
T1=1.7
OPT
f=5
TT=32.042
T1=1.92
OPT
f=5
TT=32.419
T1=2.02
OPT
f=5
TT=32.027
T1=32.11
SAT
f=7
TT=1.284
T1=0.35
OPT
f=5
TT=303.14
T1=33.3
OPT
f=5
TT=874.087
T1=595.04
OPT
f=5
TT=1.546
T1=0.52
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/
normalized-mds_10_4_3.opb
OPT
f=2
TT=0.002
T1=0
OPT
f=2
TT=0.003
T1=0
OPT
f=2
TT=0.002
T1=0
OPT
f=2
TT=0.011
T1=0.01
OPT
f=2
TT=0.011
T1=0.01
OPT
f=2
TT=0.143
T1=0.05
OPT
f=2
TT=0.112
T1=0.04
OPT
f=2
TT=0.126
T1=0.05
OPT
f=2
TT=0.013
T1=0.01
OPT
f=2
TT=0.347
T1=0.19
OPT
f=2
TT=0.929
T1=0.6
OPT
f=2
TT=0.274
T1=0.19
OPT
f=2
TT=0.009
T1=0.01
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_10_4.opb
OPT
f=20
TT=1248.46
T1=427.63
SAT (TO)
f=22
TT=3600.07
T1=224.46
SAT (TO)
f=20
TT=3600.07
T1=2032.31
OPT
f=20
TT=1248.46
T1=1252.4
OPT
f=20
TT=1313.47
T1=1317.38
OPT
f=20
TT=23086.4
T1=1166.35
OPT
f=20
TT=21645.1
T1=1092.4
SAT
f=20
TT=67113.8
T1=3598.03
? (TO)

TT=3600.02

SAT (TO)
f=26
TT=3600.13
T1=2643.18
SAT (TO)
f=27
TT=3600.47
T1=201.18
SAT (TO)
f=27
TT=3600.27
T1=514.66
OPT
f=20
TT=1306.24
T1=427.63
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_25_4.opb
OPT
f=10
TT=1202.84
T1=404.52
SAT (TO)
f=12
TT=3600.06
T1=79.99
SAT (TO)
f=11
TT=3600.04
T1=1292.67
OPT
f=10
TT=1202.84
T1=1206.07
OPT
f=10
TT=1232.9
T1=1236.39
OPT
f=10
TT=7528.21
T1=380.52
OPT
f=10
TT=8335.51
T1=421.33
OPT
f=10
TT=8009.46
T1=404.52
? (TO)

TT=3600.1

SAT
f=15
TT=11.619
T1=2.39
SAT (TO)
f=12
TT=3600.74
T1=744.09
SAT (TO)
f=13
TT=3600.23
T1=1689.65
OPT
f=10
TT=1465.38
T1=884.35
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb
OPT
f=10
TT=509.323
T1=410.24
SAT (TO)
f=11
TT=3600.11
T1=99.82
SAT (TO)
f=12
TT=3600.09
T1=263.52
OPT
f=10
TT=509.323
T1=510.71
OPT
f=10
TT=531.013
T1=532.39
OPT
f=10
TT=9664.95
T1=488.46
OPT
f=10
TT=8153.56
T1=411.9
OPT
f=10
TT=8124.25
T1=410.24
? (TO)

TT=3600.07

SAT
f=15
TT=3302.71
T1=0.82
SAT (TO)
f=12
TT=3600.46
T1=1956.92
SAT (TO)
f=14
TT=3600.26
T1=100.91
OPT
f=10
TT=702.147
T1=464.42
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb
SAT
f=53
TT=71099.4
T1=3598.29
SAT (TO)
f=60
TT=3600.11
T1=2275.98
SAT (TO)
f=59
TT=3600.04
T1=1038.76
SAT
f=54
TT=3591.18
T1=3600.17
SAT
f=54
TT=3588
T1=3598.4
? (TO)

TT=72001.8

? (TO)

TT=72001.1

SAT
f=53
TT=71099.4
T1=3598.29
? (TO)

TT=3600.1

SAT (TO)
f=82
TT=3600.27
T1=0.66
SAT (TO)
f=74
TT=3600.41
T1=2052.81
SAT (TO)
f=81
TT=3600.41
T1=1.53
SAT
f=55
TT=3588.81
T1=2689.43
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mds/normalized-mds_500_60_3.opb
SAT
f=14
TT=3588.18
T1=3598.41
SAT (TO)
f=17
TT=3600.14
T1=1202.42
SAT (TO)
f=18
TT=3600.14
T1=349.35
SAT
f=14
TT=3588.18
T1=3600.41
SAT
f=14
TT=3589.48
T1=3598.41
? (TO)

TT=72003.3

? (TO)

TT=72001

SAT
f=14
TT=71424
T1=3599.04
? (TO)

TT=3600.06

SAT
f=23
TT=8.184
T1=2.67
SAT (TO)
f=19
TT=3600.46
T1=78.38
? (TO)

TT=3600.38

SAT
f=15
TT=3588.87
T1=0.43
Bench nameBest resultsExact
2024-07-05
(complete)
Exact_no_SoPlex
2024-07-05
(complete)
FiberSCIP
2024-07-02
(complete)
FiberSCIP
2024-07-30
(complete)
FiberSCIP
20 cores, 2024-07-30
(complete)
FiberSCIP
20 cores, 2024-08-09
(complete)
FiberSCIP
20 cores, 2024-08-12
(complete)
Picat
2024-06-18
(complete)
Sat4j Cutting Planes 2024
2024-07-12
(complete)
Sat4j Partial RoundingSAT 2024
2024-07-12
(complete)
Sat4j Resolution Default
2024-07-07
(complete)
SCIP
2024-07-07
(complete)
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_1000_25_3.opb
SAT
f=-151
TT=71326.5
T1=3598.46
SAT (TO)
f=-145
TT=3600.04
T1=1543.96
SAT (TO)
f=-144
TT=3600.08
T1=962.06
SAT
f=-143
TT=3590.3
T1=3600.1
SAT
f=-143
TT=3588.5
T1=3598.11
? (TO)

TT=72002.2

? (TO)

TT=72001

SAT
f=-151
TT=71326.5
T1=3598.46
? (TO)

TT=3600.1

SAT (TO)
f=-121
TT=3600.22
T1=1976.11
SAT (TO)
f=-124
TT=3600.21
T1=2084.69
SAT (TO)
f=-105
TT=3600.83
T1=1171.84
SAT
f=-145
TT=3589.41
T1=281.99
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_100_10_1.opb
OPT
f=-26
TT=2.262
T1=1.29
OPT
f=-26
TT=209.279
T1=46.65
OPT
f=-26
TT=29.625
T1=2.86
OPT
f=-26
TT=2.935
T1=2.94
OPT
f=-26
TT=2.262
T1=2.27
OPT
f=-26
TT=47.459
T1=2.51
OPT
f=-26
TT=47.878
T1=2.53
OPT
f=-26
TT=47.487
T1=2.52
OPT
f=-26
TT=33.165
T1=33.27
SAT (TO)
f=-25
TT=3600.21
T1=783.71
SAT (TO)
f=-26
TT=3600.87
T1=2873.2
SAT (TO)
f=-26
TT=3600.26
T1=3226.94
OPT
f=-26
TT=2.688
T1=1.29
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_100_10_5.opb
OPT
f=-25
TT=3.113
T1=0.92
OPT
f=-25
TT=476.893
T1=102.1
OPT
f=-25
TT=57.584
T1=52.78
OPT
f=-25
TT=3.192
T1=3.19
OPT
f=-25
TT=4.146
T1=4.16
OPT
f=-25
TT=65.924
T1=3.44
OPT
f=-25
TT=64.068
T1=3.36
OPT
f=-25
TT=66.358
T1=3.47
OPT
f=-25
TT=22.529
T1=22.59
SAT (TO)
f=-24
TT=3600.18
T1=443.51
SAT (TO)
f=-25
TT=3600.61
T1=18.55
SAT (TO)
f=-24
TT=3600.62
T1=811.76
OPT
f=-25
TT=3.113
T1=0.92
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_100_25_3.opb
OPT
f=-14
TT=4.055
T1=0.04
OPT
f=-14
TT=52.818
T1=0.09
OPT
f=-14
TT=29
T1=0.04
OPT
f=-14
TT=5.232
T1=5.26
OPT
f=-14
TT=6.312
T1=6.32
OPT
f=-14
TT=97.437
T1=5.09
OPT
f=-14
TT=99.301
T1=5.2
OPT
f=-14
TT=98.473
T1=5.11
OPT
f=-14
TT=4.055
T1=0.91
OPT
f=-14
TT=347.044
T1=6.87
OPT
f=-14
TT=158.519
T1=12.48
OPT
f=-14
TT=29.023
T1=4.06
OPT
f=-14
TT=6.089
T1=2.55
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_200_25_1.opb
OPT
f=-31
TT=2467.18
T1=23.85
SAT (TO)
f=-31
TT=3600.09
T1=23.85
SAT (TO)
f=-30
TT=3600.04
T1=40.1
OPT
f=-31
TT=2542.04
T1=2549.15
OPT
f=-31
TT=2608.38
T1=2617.91
OPT
f=-31
TT=45169.2
T1=2282.85
OPT
f=-31
TT=48175.7
T1=2433.89
OPT
f=-31
TT=42095.5
T1=2207.14
? (TO)

TT=3600.02

SAT (TO)
f=-29
TT=3600.18
T1=1825.93
SAT (TO)
f=-28
TT=3600.33
T1=339.56
SAT (TO)
f=-25
TT=3600.28
T1=3321.46
OPT
f=-31
TT=2467.18
T1=696.25
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_10_2.opb
SAT
f=-130
TT=71345.8
T1=3598.34
SAT (TO)
f=-127
TT=3600.03
T1=1187.61
SAT (TO)
f=-128
TT=3600.1
T1=557.42
SAT
f=-121
TT=3588.01
T1=3600.18
SAT
f=-121
TT=3587.88
T1=3598.28
? (TO)

TT=72001.3

? (TO)

TT=72000.7

SAT
f=-130
TT=71345.8
T1=3598.34
? (TO)

TT=3600.06

SAT (TO)
f=-110
TT=3600.45
T1=1367.85
SAT (TO)
f=-113
TT=3600.22
T1=993.59
SAT (TO)
f=-92
TT=3600.84
T1=1478.12
SAT
f=-121
TT=3585.43
T1=2624.6
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_25_3.opb
SAT
f=-78
TT=71365.9
T1=3598.7
SAT (TO)
f=-74
TT=3600.09
T1=66.25
SAT (TO)
f=-74
TT=3600.03
T1=810.17
SAT
f=-69
TT=3591.63
T1=3600.21
SAT
f=-72
TT=3589.69
T1=3598.2
? (TO)

TT=72000.8

? (TO)

TT=72000.7

SAT
f=-78
TT=71365.9
T1=3598.7
? (TO)

TT=3600.09

SAT (TO)
f=-65
TT=3600.21
T1=3.94
SAT (TO)
f=-66
TT=3600.48
T1=504.25
SAT (TO)
f=-59
TT=3600.59
T1=1935.4
SAT
f=-70
TT=3588.59
T1=2225.91
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_25_4.opb
SAT
f=-78
TT=71244.4
T1=3598.63
SAT (TO)
f=-74
TT=3600.05
T1=995.15
SAT (TO)
f=-74
TT=3600.02
T1=88.31
SAT
f=-73
TT=3588
T1=3600.21
SAT
f=-70
TT=3588.21
T1=3598.26
? (TO)

TT=72001.3

? (TO)

TT=72001

SAT
f=-78
TT=71244.4
T1=3598.63
? (TO)

TT=3600.01

SAT (TO)
f=-66
TT=3600.46
T1=2398.22
SAT (TO)
f=-65
TT=3600.63
T1=2307.02
SAT (TO)
f=-55
TT=3600.57
T1=1.63
SAT
f=-70
TT=3587.49
T1=0.18
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/mis/normalized-mis_500_60_1.opb
SAT
f=-41
TT=71224
T1=3598.78
SAT (TO)
f=-39
TT=3600.07
T1=148.18
SAT (TO)
f=-39
TT=3600.1
T1=226.59
SAT
f=-36
TT=3590.99
T1=3600.27
SAT
f=-37
TT=3586.71
T1=3598.32
? (TO)

TT=72001

? (TO)

TT=72002.5

SAT
f=-41
TT=71224
T1=3598.78
? (TO)

TT=3600.06

SAT (TO)
f=-37
TT=3600.23
T1=943.36
SAT (TO)
f=-36
TT=3600.63
T1=320.11
SAT (TO)
f=-31
TT=3600.68
T1=414.26
SAT
f=-36
TT=3587.41
T1=0.45
PB24/normalized-PB07/OPT-NLC/
submittedPB07/manquinho/
mis/normalized-mis_50_25_4.opb
OPT
f=-6
TT=0.028
T1=0.01
OPT
f=-6
TT=0.028
T1=0.01
OPT
f=-6
TT=0.041
T1=0.01
OPT
f=-6
TT=0.212
T1=0.21
OPT
f=-6
TT=0.629
T1=0.65
OPT
f=-6
TT=2.139
T1=0.21
OPT
f=-6
TT=4.468
T1=0.34
OPT
f=-6
TT=4.351
T1=0.31
OPT
f=-6
TT=0.291
T1=0.29
OPT
f=-6
TT=0.898
T1=0.35
OPT
f=-6
TT=0.927
T1=0.52
OPT
f=-6
TT=0.829
T1=0.34
OPT
f=-6
TT=0.192
T1=0.02
Bench nameBest resultsExact
2024-07-05
(complete)
Exact_no_SoPlex
2024-07-05
(complete)
FiberSCIP
2024-07-02
(complete)
FiberSCIP
2024-07-30
(complete)
FiberSCIP
20 cores, 2024-07-30
(complete)
FiberSCIP
20 cores, 2024-08-09
(complete)
FiberSCIP
20 cores, 2024-08-12
(complete)
Picat
2024-06-18
(complete)
Sat4j Cutting Planes 2024
2024-07-12
(complete)
Sat4j Partial RoundingSAT 2024
2024-07-12
(complete)
Sat4j Resolution Default
2024-07-07
(complete)
SCIP
2024-07-07
(complete)
PB24/normalized-PB07/OPT-NLC/submittedPB07/
roussel/factor-mod-B/
factor-mod-size=5-P0=13-P1=5-P2=17-P3=2-P4=29-P5=5-P6=19-P7=17-P8=5-B.opb
OPT
f=2
TT=0.011
T1=0.01
OPT
f=2
TT=0.011
T1=0.01
OPT
f=2
TT=0.027
T1=0.02
OPT
f=2
TT=0.041
T1=0.04
OPT
f=2
TT=0.041
T1=0.04
OPT
f=2
TT=0.501
T1=0.11
OPT
f=2
TT=0.555
T1=0.1
OPT
f=2
TT=0.558
T1=0.1
OPT
f=2
TT=0.309
T1=0.26
OPT
f=2
TT=24.475
T1=21.81
OPT
f=2
TT=4.389
T1=2.3
OPT
f=2
TT=2.044
T1=1.1
OPT
f=2
TT=0.026
T1=0.02
PB24/normalized-PB07/OPT-NLC/submittedPB07/
roussel/factor-mod-B/
factor-mod-size=5-P0=17-P1=17-P2=13-P3=17-P4=29-B.opb
OPT
f=3
TT=0.007
T1=0
OPT
f=3
TT=0.007
T1=0
OPT
f=3
TT=0.016
T1=0.01
OPT
f=3
TT=0.037
T1=0.03
OPT
f=3
TT=0.038
T1=0.03
OPT
f=3
TT=0.756
T1=0.1
OPT
f=3
TT=0.656
T1=0.1
OPT
f=3
TT=0.636
T1=0.1
OPT
f=3
TT=0.137
T1=0.1
OPT
f=3
TT=25.414
T1=0.54
OPT
f=3
TT=2.447
T1=0.3
OPT
f=3
TT=1.639
T1=0.79
OPT
f=3
TT=0.033
T1=0.04
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=5-P0=19-P1=29-P2=19-P3=23-P4=2-P5=29-P6=7-B.opb
OPT
f=2
TT=0.009
T1=0
OPT
f=2
TT=0.009
T1=0
OPT
f=2
TT=0.022
T1=0.02
OPT
f=2
TT=0.029
T1=0.02
OPT
f=2
TT=0.052
T1=0.05
OPT
f=2
TT=0.393
T1=0.08
OPT
f=2
TT=0.439
T1=0.09
OPT
f=2
TT=0.434
T1=0.09
OPT
f=2
TT=0.241
T1=0.19
OPT
f=2
TT=20.062
T1=17.28
OPT
f=2
TT=1.97
T1=1.08
OPT
f=2
TT=1.039
T1=0.6
OPT
f=2
TT=0.021
T1=0.01
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/
factor-mod-B/
factor-mod-size=6-P0=11-P1=37-P2=59-P3=23-P4=53-P5=31-P6=59-P7=29-P8=2-P9=67-B.opb
OPT
f=2
TT=0.036
T1=0.03
OPT
f=2
TT=0.036
T1=0.03
OPT
f=2
TT=0.063
T1=0.06
OPT
f=2
TT=1.688
T1=1.69
OPT
f=2
TT=1.656
T1=1.66
OPT
f=2
TT=1.26
T1=0.17
OPT
f=2
TT=1.286
T1=0.16
OPT
f=2
TT=1.397
T1=0.17
OPT
f=2
TT=1.408
T1=1.13
OPT
f=2
TT=466.029
T1=463.78
OPT
f=2
TT=31.92
T1=28.88
OPT
f=2
TT=3.737
T1=2.01
OPT
f=2
TT=1.529
T1=1.56
PB24/normalized-PB07/OPT-NLC/submittedPB07/
roussel/factor-mod-B/
factor-mod-size=7-P0=107-P1=13-P2=17-P3=127-P4=13-P5=53-P6=73-P7=59-B.opb
OPT
f=3
TT=0.068
T1=0.06
OPT
f=3
TT=0.068
T1=0.06
OPT
f=3
TT=0.158
T1=0.15
OPT
f=3
TT=2.509
T1=2.54
OPT
f=3
TT=2.501
T1=2.5
OPT
f=3
TT=2.135
T1=0.21
OPT
f=3
TT=9.663
T1=0.61
OPT
f=3
TT=8.861
T1=0.57
OPT
f=3
TT=1.116
T1=0.93
SAT
f=5
TT=371.257
T1=364.17
OPT
f=3
TT=281.845
T1=53.81
OPT
f=3
TT=9.297
T1=1.46
OPT
f=3
TT=1.835
T1=1.84
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/
factor-mod-B/
factor-mod-size=7-P0=53-P1=5-P2=67-P3=53-P4=17-P5=103-P6=29-P7=71-P8=47-B.opb
OPT
f=3
TT=0.044
T1=0.04
OPT
f=3
TT=0.044
T1=0.04
OPT
f=3
TT=0.063
T1=0.06
OPT
f=3
TT=5.459
T1=5.48
OPT
f=3
TT=4.472
T1=4.48
OPT
f=3
TT=3.13
T1=0.27
OPT
f=3
TT=8.177
T1=0.54
OPT
f=3
TT=8.095
T1=0.55
OPT
f=3
TT=1.266
T1=1.06
SAT
f=7
TT=508.386
T1=501.96
OPT
f=3
TT=23.489
T1=18.41
OPT
f=3
TT=9.837
T1=2.78
OPT
f=3
TT=3.861
T1=3.91
PB24/normalized-PB07/OPT-NLC/submittedPB07/
roussel/factor-mod-B/
factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb
OPT
f=3
TT=0.042
T1=0.04
OPT
f=3
TT=0.042
T1=0.04
OPT
f=3
TT=0.149
T1=0.14
OPT
f=3
TT=1.603
T1=1.6
OPT
f=3
TT=1.628
T1=1.63
OPT
f=3
TT=2.324
T1=0.23
OPT
f=3
TT=5.528
T1=0.4
OPT
f=3
TT=4.933
T1=0.38
OPT
f=3
TT=0.967
T1=0.81
?

TT=8.107

OPT
f=3
TT=338.293
T1=103.84
OPT
f=3
TT=35.597
T1=4.82
OPT
f=3
TT=2.652
T1=2.65
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/
factor-mod-B/
factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb
OPT
f=2
TT=0.073
T1=0.07
OPT
f=2
TT=0.073
T1=0.07
OPT
f=2
TT=0.213
T1=0.21
OPT
f=2
TT=9.97
T1=10
OPT
f=2
TT=9.973
T1=10
OPT
f=2
TT=6.453
T1=0.48
OPT
f=2
TT=7.826
T1=0.55
OPT
f=2
TT=7.74
T1=0.52
OPT
f=2
TT=1.938
T1=1.73
? (TO)

TT=3600.25

OPT
f=2
TT=416.77
T1=404.58
OPT
f=2
TT=9.75
T1=7.09
OPT
f=2
TT=41.122
T1=41.33
PB24/normalized-PB07/OPT-NLC/submittedPB07/
roussel/factor-mod-B/
factor-mod-size=9-P0=149-P1=419-P2=307-P3=223-B.opb
OPT
f=3
TT=0.044
T1=0.04
OPT
f=3
TT=0.044
T1=0.04
OPT
f=3
TT=0.197
T1=0.19
OPT
f=3
TT=0.803
T1=0.81
OPT
f=3
TT=0.822
T1=0.85
OPT
f=3
TT=0.903
T1=0.13
OPT
f=3
TT=1.227
T1=0.14
OPT
f=3
TT=1.27
T1=0.14
OPT
f=3
TT=0.717
T1=0.63
?

TT=0.357

OPT
f=3
TT=103.248
T1=9.07
OPT
f=3
TT=29.112
T1=2.06
OPT
f=3
TT=0.309
T1=0.49
PB24/normalized-PB07/OPT-NLC/submittedPB07/roussel/
factor-mod-B/
factor-mod-size=9-P0=307-P1=59-P2=149-P3=337-P4=409-P5=457-P6=79-P7=53-P8=347-P9=487-B.opb
OPT
f=3
TT=0.302
T1=0.3
OPT
f=3
TT=0.302
T1=0.3
OPT
f=3
TT=0.639
T1=0.64
OPT
f=3
TT=446.584
T1=448.29
OPT
f=3
TT=505.452
T1=508.23
OPT
f=3
TT=7.71
T1=0.53
OPT
f=3
TT=10.994
T1=0.72
OPT
f=3
TT=10.157
T1=0.69
OPT
f=3
TT=1.835
T1=1.58
? (TO)

TT=3600.21

SAT (TO)
f=45
TT=3601.03
T1=1154.56
OPT
f=3
TT=223.605
T1=24.49
OPT
f=3
TT=1.178
T1=1.41
Bench nameBest resultsExact
2024-07-05
(complete)
Exact_no_SoPlex
2024-07-05
(complete)
FiberSCIP
2024-07-02
(complete)
FiberSCIP
2024-07-30
(complete)
FiberSCIP
20 cores, 2024-07-30
(complete)
FiberSCIP
20 cores, 2024-08-09
(complete)
FiberSCIP
20 cores, 2024-08-12
(complete)
Picat
2024-06-18
(complete)
Sat4j Cutting Planes 2024
2024-07-12
(complete)
Sat4j Partial RoundingSAT 2024
2024-07-12
(complete)
Sat4j Resolution Default
2024-07-07
(complete)
SCIP
2024-07-07
(complete)
PB24/normalized-PB10/OPT-NLC/
oren/keeloq_tasca_instances/
normalized-90_rounds_0_errors.opb
OPT
f=0
TT=0.138
T1=0.13
OPT
f=0
TT=0.406
T1=0.4
OPT
f=0
TT=0.138
T1=0.13
OPT
f=0
TT=3.358
T1=3.38
OPT
f=0
TT=4.473
T1=4.51
OPT
f=0
TT=77.146
T1=4.41
OPT
f=0
TT=76.128
T1=4.37
OPT
f=0
TT=81.865
T1=4.73
OPT
f=0
TT=2843.01
T1=2850.42
OPT
f=0
TT=0.842
T1=0.44
OPT
f=0
TT=0.776
T1=0.43
OPT
f=0
TT=1.571
T1=0.87
OPT
f=0
TT=3.665
T1=3.65
PB24/normalized-PB10/OPT-NLC/
oren/keeloq_tasca_instances/
normalized-90_rounds_10_errors.opb
OPT
f=10
TT=0.65
T1=0.65
OPT
f=10
TT=1.101
T1=1.1
OPT
f=10
TT=0.65
T1=0.65
OPT
f=10
TT=11.281
T1=11.31
OPT
f=10
TT=10.724
T1=10.74
OPT
f=10
TT=79.063
T1=4.49
OPT
f=10
TT=81.489
T1=4.57
OPT
f=10
TT=87.244
T1=5.18
? (TO)

TT=3600.05

OPT
f=10
TT=86.106
T1=80.79
OPT
f=10
TT=27.19
T1=22.52
SAT (TO)
f=31
TT=3600.4
T1=1351.66
OPT
f=10
TT=4.165
T1=4.14
PB24/normalized-PB10/OPT-NLC/
oren/keeloq_tasca_instances/
normalized-90_rounds_15_errors.opb
OPT
f=15
TT=1.311
T1=1.31
OPT
f=15
TT=1.793
T1=1.8
OPT
f=15
TT=1.311
T1=1.31
OPT
f=15
TT=55.558
T1=55.74
OPT
f=15
TT=56.716
T1=56.92
Wrong Opt.
f=47
TT=1194.84
T1=60.54
Wrong Opt.
f=41
TT=1179
T1=59.89
OPT
f=15
TT=703.893
T1=35.97
OPT
f=15
TT=3178.71
T1=2662.94
SAT (TO)
f=25
TT=3600.22
T1=492.53
SAT (TO)
f=26
TT=3600.17
T1=2519.23
SAT (TO)
f=30
TT=3600.25
T1=838.33
OPT
f=15
TT=145.683
T1=145.93
PB24/normalized-PB10/OPT-NLC/
oren/keeloq_tasca_instances/
normalized-90_rounds_5_errors.opb
OPT
f=5
TT=0.399
T1=0.4
OPT
f=5
TT=1.002
T1=1.01
OPT
f=5
TT=0.399
T1=0.4
OPT
f=5
TT=4.991
T1=5.1
OPT
f=5
TT=3.238
T1=3.25
OPT
f=5
TT=74.887
T1=4.24
OPT
f=5
TT=76.563
T1=4.46
OPT
f=5
TT=78.796
T1=4.46
? (TO)

TT=3600.07

OPT
f=5
TT=3.714
T1=1.9
OPT
f=5
TT=9.754
T1=6.45
SAT (TO)
f=27
TT=3600.43
T1=3477.37
OPT
f=5
TT=3.494
T1=3.49
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/
normalized-autocorr_bern35-18.opb
SAT
f=-3891
TT=69915.9
T1=3598.91
SAT (TO)
f=-3889
TT=3600.07
T1=1120.24
SAT (TO)
f=-3884
TT=3600.09
T1=63.88
SAT
f=-3844
TT=3589.38
T1=3600.28
SAT
f=-3844
TT=3586.34
T1=3598.29
? (TO)

TT=72001.2

? (TO)

TT=72002.8

SAT
f=-3891
TT=69915.9
T1=3598.91
? (TO)

TT=3600.09

SAT (TO)
f=-3205
TT=3600.1
T1=1248.58
SAT (TO)
f=-3683
TT=3600.27
T1=3284.27
SAT (TO)
f=-3830
TT=3600.53
T1=2744.3
SAT
f=-3829
TT=3588.55
T1=189.59
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/
normalized-autocorr_bern60-60.opb
SAT
f=-82737
TT=3600.13
T1=1418.44
SAT (TO)
f=-79204
TT=3600.12
T1=1813.57
SAT (TO)
f=-82737
TT=3600.13
T1=1418.44
SAT
f=-76992
TT=3590.72
T1=3601.05
SAT
f=-76247
TT=3588.07
T1=3599.15
? (TO)

TT=72003.7

? (TO)

TT=72002.2

SAT
f=-80826
TT=18278.8
T1=3599.42
? (TO)

TT=3600.11

SAT (TO)
f=-25917
TT=3600.13
T1=3196.21
SAT (TO)
f=-22503
TT=3600.29
T1=3156.56
? (exit code)

TT=3589.81

SAT
f=-1711
TT=3589.37
T1=14.42
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/
normalized-edgecross10-040.opb
OPT
f=142
TT=11.964
T1=4.13
OPT
f=142
TT=318.365
T1=15.81
SAT (TO)
f=142
TT=3600.01
T1=20.3
OPT
f=142
TT=12.903
T1=12.95
OPT
f=142
TT=11.964
T1=12
OPT
f=142
TT=68.021
T1=4.11
OPT
f=142
TT=69.936
T1=4.09
OPT
f=142
TT=69.336
T1=4.13
? (TO)

TT=3600.09

SAT (TO)
f=249
TT=3600.2
T1=42.46
SAT (TO)
f=211
TT=3600.21
T1=3106.46
SAT (TO)
f=176
TT=3600.28
T1=725.16
OPT
f=142
TT=14.404
T1=12.95
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/
normalized-edgecross10-050.opb
OPT
f=276
TT=35.554
T1=11.13
OPT
f=276
TT=2419.1
T1=65.47
SAT (TO)
f=276
TT=3600.05
T1=40.85
OPT
f=276
TT=53.74
T1=53.9
OPT
f=276
TT=55.308
T1=55.44
OPT
f=276
TT=186.941
T1=10.03
OPT
f=276
TT=215.031
T1=11.16
OPT
f=276
TT=208.769
T1=11.13
? (TO)

TT=3600.09

SAT (TO)
f=413
TT=3600.17
T1=254.99
SAT (TO)
f=382
TT=3600.27
T1=2822.21
SAT (TO)
f=321
TT=3600.24
T1=3123.69
OPT
f=276
TT=35.554
T1=24.52
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/
normalized-edgecross14-019.opb
OPT
f=4
TT=0.716
T1=0.51
OPT
f=4
TT=2.239
T1=0.56
OPT
f=4
TT=297.488
T1=0.51
OPT
f=4
TT=0.826
T1=0.82
OPT
f=4
TT=0.819
T1=0.83
OPT
f=4
TT=11.638
T1=0.77
OPT
f=4
TT=11.278
T1=0.78
OPT
f=4
TT=11.739
T1=0.79
? (TO)

TT=3600.09

SAT (TO)
f=4
TT=3600.19
T1=3152.37
SAT (TO)
f=4
TT=3600.5
T1=2174
SAT (TO)
f=5
TT=3600.55
T1=2648.96
OPT
f=4
TT=0.716
T1=0.7
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/
normalized-graphpart_2pm-0077-0777.opb
OPT
f=-40
TT=0.878
T1=0.87
OPT
f=-40
TT=758.141
T1=206.72
OPT
f=-40
TT=5.513
T1=5.53
OPT
f=-40
TT=0.894
T1=0.9
OPT
f=-40
TT=0.878
T1=0.87
OPT
f=-40
TT=17.59
T1=1.1
OPT
f=-40
TT=18.08
T1=1.1
OPT
f=-40
TT=18.663
T1=1.1
OPT
f=-40
TT=2.467
T1=2.47
SAT (TO)
f=-38
TT=3600.19
T1=955.37
SAT (TO)
f=-38
TT=3600.8
T1=227.68
SAT (TO)
f=-33
TT=3600.62
T1=1.19
OPT
f=-40
TT=0.886
T1=0.87
Bench nameBest resultsExact
2024-07-05
(complete)
Exact_no_SoPlex
2024-07-05
(complete)
FiberSCIP
2024-07-02
(complete)
FiberSCIP
2024-07-30
(complete)
FiberSCIP
20 cores, 2024-07-30
(complete)
FiberSCIP
20 cores, 2024-08-09
(complete)
FiberSCIP
20 cores, 2024-08-12
(complete)
Picat
2024-06-18
(complete)
Sat4j Cutting Planes 2024
2024-07-12
(complete)
Sat4j Partial RoundingSAT 2024
2024-07-12
(complete)
Sat4j Resolution Default
2024-07-07
(complete)
SCIP
2024-07-07
(complete)
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/
normalized-graphpart_3pm-0333-0333.opb
OPT
f=-26
TT=1.113
T1=0.95
OPT
f=-26
TT=162.227
T1=59.72
OPT
f=-26
TT=42.431
T1=36.46
OPT
f=-26
TT=1.117
T1=1.12
OPT
f=-26
TT=1.113
T1=1.11
OPT
f=-26
TT=13.552
T1=0.93
OPT
f=-26
TT=13.73
T1=0.91
OPT
f=-26
TT=13.674
T1=0.95
OPT
f=-26
TT=8.241
T1=8.26
SAT (TO)
f=-25
TT=3600.22
T1=262.42
SAT (TO)
f=-25
TT=3600.67
T1=104.14
SAT (TO)
f=-23
TT=3600.58
T1=54.34
OPT
f=-26
TT=1.428
T1=1.42
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/
normalized-sporttournament06.opb
OPT
f=-6
TT=0.003
T1=0
OPT
f=-6
TT=0.005
T1=0
OPT
f=-6
TT=0.003
T1=0
OPT
f=-6
TT=0.019
T1=0.01
OPT
f=-6
TT=0.019
T1=0.01
OPT
f=-6
TT=0.524
T1=0.07
OPT
f=-6
TT=0.471
T1=0.07
OPT
f=-6
TT=0.462
T1=0.07
OPT
f=-6
TT=0.059
T1=0.03
OPT
f=-6
TT=0.416
T1=0.18
OPT
f=-6
TT=0.975
T1=0.5
OPT
f=-6
TT=0.868
T1=0.4
OPT
f=-6
TT=0.018
T1=0
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/
normalized-sporttournament22.opb
OPT
f=-117
TT=11.863
T1=6.58
SAT (TO)
f=-117
TT=3600.11
T1=155.36
SAT (TO)
f=-117
TT=3600.08
T1=597.71
OPT
f=-117
TT=11.863
T1=11.89
OPT
f=-117
TT=13.051
T1=13.11
OPT
f=-117
TT=277.027
T1=17.9
OPT
f=-117
TT=229.787
T1=12.14
OPT
f=-117
TT=228.613
T1=11.92
? (TO)

TT=3600.1

SAT
f=-74
TT=2.287
T1=0.76
SAT (TO)
f=-101
TT=3600.23
T1=3480.67
SAT (TO)
f=-79
TT=3600.38
T1=1228.44
OPT
f=-117
TT=12.702
T1=6.58
PB24/normalized-PB15eval/OPT-NLC/
minlplib2-pb-0.1.0/opb/
normalized-sporttournament26.opb
OPT
f=-167
TT=999.467
T1=173.71
SAT (TO)
f=-166
TT=3600.11
T1=1712.86
SAT (TO)
f=-162
TT=3600.09
T1=2696.94
OPT
f=-167
TT=999.467
T1=1002.28
OPT
f=-167
TT=1024.91
T1=1028.4
OPT
f=-167
TT=6842.03
T1=345.58
OPT
f=-167
TT=7643.02
T1=386.77
OPT
f=-167
TT=7510.8
T1=379.63
? (TO)

TT=3600.1

SAT
f=-101
TT=4.598
T1=1.21
SAT (TO)
f=-133
TT=3600.21
T1=2784.92
SAT (TO)
f=-102
TT=3601.09
T1=2.91
OPT
f=-167
TT=1108.5
T1=173.71



StatisticsExact
2024-07-05
(complete)
Exact_no_SoPlex
2024-07-05
(complete)
FiberSCIP
2024-07-02
(complete)
FiberSCIP
2024-07-30
(complete)
FiberSCIP
20 cores, 2024-07-30
(complete)
FiberSCIP
20 cores, 2024-08-09
(complete)
FiberSCIP
20 cores, 2024-08-12
(complete)
Picat
2024-06-18
(complete)
Sat4j Cutting Planes 2024
2024-07-12
(complete)
Sat4j Partial RoundingSAT 2024
2024-07-12
(complete)
Sat4j Resolution Default
2024-07-07
(complete)
SCIP
2024-07-07
(complete)
Number of times the solver is able to give the best known answer3028393900522513201937
Number of times the solver is able to give the best known answer from an incomplete solver point of view
(i.e. without considering optimality proof)
3332393900532515242037
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)
11975001410007
Number of times the solver is the best solver from an incomplete solver point of view
(i.e. best known answer and best T1 time)
1413020021100010