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 name | Best results | 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/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 name | Best results | 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/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 name | Best results | 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/ 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 name | Best results | 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-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 name | Best results | 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-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
|
|
Statistics | 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) |
Number of times the solver is able to give the best known answer | 30 | 28 | 39 | 39 | 0 | 0 | 52 | 25 | 13 | 20 | 19 | 37 |
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) | 33 | 32 | 39 | 39 | 0 | 0 | 53 | 25 | 15 | 24 | 20 | 37 |
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) | 11 | 9 | 7 | 5 | 0 | 0 | 14 | 1 | 0 | 0 | 0 | 7 |
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) | 14 | 13 | 0 | 2 | 0 | 0 | 21 | 1 | 0 | 0 | 0 | 10 |