Auction/Auction-cnt/ Auction-cnt-decay100_c18.xml
|
SAT f=624027 TT=13808.4 T1=1710.73
|
SAT (TO) f=624027 TT=13808.4 T1=1710.73
|
SAT (TO) f=503367 TT=19896.6 T1=1360.06
|
SAT (TO) f=503367 TT=19902.6 T1=1461.62
|
No data | No data | No data | No data |
Auction/Auction-cnt/ Auction-cnt-decay200_c18.xml
|
SAT f=1189592 TT=4586.79 T1=2461.06
|
SAT (TO) f=1189592 TT=4586.79 T1=2461.06
|
SAT (TO) f=649490 TT=19909.3 T1=2151.57
|
SAT (TO) f=641268 TT=19907.6 T1=2441.56
|
No data | No data | No data | No data |
Auction/Auction-cnt/ Auction-cnt-decay300_c18.xml
|
SAT f=1718794 TT=19016.7 T1=1877.88
|
SAT (TO) f=1718794 TT=19016.7 T1=1877.88
|
SAT (TO) f=836201 TT=19924.8 T1=2486.26
|
SAT (TO) f=801860 TT=19919.8 T1=2329.49
|
No data | No data | No data | No data |
Auction/Auction-cnt/ Auction-cnt-decay400_c18.xml
|
SAT f=2173086 TT=19976.7 T1=2208.69
|
SAT (TO) f=2173086 TT=19976.7 T1=2208.69
|
SAT (TO) f=929708 TT=19943.5 T1=2336.21
|
SAT (TO) f=908652 TT=19932.5 T1=2345.43
|
No data | No data | No data | No data |
Auction/Auction-cnt/ Auction-cnt-decay500_c18.xml
|
SAT f=2730403 TT=19878 T1=2422.78
|
SAT (TO) f=2730403 TT=19878 T1=2422.78
|
SAT (TO) f=941080 TT=19926.1 T1=2161.25
|
SAT (TO) f=959629 TT=19926.6 T1=2446.59
|
No data | No data | No data | No data |
Auction/Auction-cnt/ Auction-cnt-example_c18.xml
|
OPT f=54 TT=0.991 T1=0.49
|
OPT f=54 TT=0.991 T1=0.49
|
OPT f=54 TT=2.833 T1=1.56
|
OPT f=54 TT=2.782 T1=1.54
|
No data | No data | No data | No data |
Auction/Auction-cnt/ Auction-cnt-matching040_c18.xml
|
SAT f=12968875 TT=20058.2 T1=732.53
|
SAT (TO) f=12968875 TT=20058.2 T1=732.53
|
SAT (TO) f=8723181 TT=19879.5 T1=1263.91
|
SAT (TO) f=8723181 TT=19876.9 T1=1072.12
|
No data | No data | No data | No data |
Auction/Auction-cnt/ Auction-cnt-matching080_c18.xml
|
SAT f=35359936 TT=20067.7 T1=470.15
|
SAT (TO) f=35359936 TT=20067.7 T1=470.15
|
SAT (TO) f=13212897 TT=19912 T1=2515.3
|
SAT (TO) f=12287958 TT=19898.1 T1=2180.58
|
No data | No data | No data | No data |
Auction/Auction-sum/ Auction-sum-decay100_c18.xml
|
SAT f=636587 TT=19792.9 T1=295.97
|
SAT (TO) f=636587 TT=19792.9 T1=295.97
|
SAT (TO) f=509923 TT=19873 T1=2029.22
|
SAT (TO) f=504989 TT=19873 T1=2249.91
|
No data | No data | No data | No data |
Auction/Auction-sum/ Auction-sum-decay200_c18.xml
|
SAT f=1454226 TT=14796.8 T1=2154.35
|
SAT (TO) f=1454226 TT=14796.8 T1=2154.35
|
SAT (TO) f=657729 TT=19898.7 T1=1727.36
|
SAT (TO) f=644538 TT=19896.2 T1=2473.61
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Auction/Auction-sum/ Auction-sum-decay300_c18.xml
|
SAT f=1778468 TT=19807.9 T1=1061.85
|
SAT (TO) f=1778468 TT=19807.9 T1=1061.85
|
SAT (TO) f=838075 TT=19904.7 T1=2415.53
|
SAT (TO) f=829826 TT=19922.7 T1=2416.76
|
No data | No data | No data | No data |
Auction/Auction-sum/ Auction-sum-decay400_c18.xml
|
SAT f=2270200 TT=19913.3 T1=1904.62
|
SAT (TO) f=2270200 TT=19913.3 T1=1904.62
|
SAT (TO) f=908652 TT=19925.9 T1=2296.04
|
SAT (TO) f=952944 TT=19926.3 T1=2063.21
|
No data | No data | No data | No data |
Auction/Auction-sum/ Auction-sum-decay500_c18.xml
|
SAT f=2920520 TT=19972.2 T1=1811.84
|
SAT (TO) f=2920520 TT=19972.2 T1=1811.84
|
SAT (TO) f=959629 TT=19931.9 T1=2107
|
SAT (TO) f=956234 TT=19929.2 T1=2230.64
|
No data | No data | No data | No data |
Auction/Auction-sum/ Auction-sum-example_c18.xml
|
OPT f=54 TT=0.971 T1=0.49
|
OPT f=54 TT=0.971 T1=0.49
|
OPT f=54 TT=2.783 T1=1.57
|
OPT f=54 TT=2.786 T1=1.54
|
No data | No data | No data | No data |
Auction/Auction-sum/ Auction-sum-matching040_c18.xml
|
SAT f=12968875 TT=20045.9 T1=280.36
|
SAT (TO) f=12968875 TT=20045.9 T1=280.36
|
SAT (TO) f=8723181 TT=19866.4 T1=712.97
|
SAT (TO) f=8723181 TT=19879.4 T1=864.25
|
No data | No data | No data | No data |
Auction/Auction-sum/ Auction-sum-matching080_c18.xml
|
SAT f=35359936 TT=19962.4 T1=437.16
|
SAT (TO) f=35359936 TT=19962.4 T1=437.16
|
SAT (TO) f=13585408 TT=19886.5 T1=2171.74
|
SAT (TO) f=13585408 TT=19900.3 T1=1968.14
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-05_c18.xml
|
OPT f=9 TT=3.897 T1=0.7
|
OPT f=9 TT=3.897 T1=0.7
|
OPT f=9 TT=8.007 T1=2.21
|
OPT f=9 TT=8.264 T1=2.16
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-06_c18.xml
|
OPT f=10 TT=15.18 T1=0.73
|
OPT f=10 TT=15.18 T1=0.73
|
OPT f=10 TT=13.349 T1=2.36
|
OPT f=10 TT=15.054 T1=2.31
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-07a_c18.xml
|
SAT f=12 TT=20042.1 T1=0.82
|
SAT (TO) f=12 TT=20042.1 T1=0.82
|
OPT f=12 TT=3661.23 T1=2.55
|
OPT f=12 TT=3865.22 T1=2.48
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-07b_c18.xml
|
SAT f=13 TT=20043.9 T1=0.91
|
SAT (TO) f=13 TT=20043.9 T1=0.91
|
SAT (TO) f=13 TT=19944.3 T1=2.49
|
SAT (TO) f=13 TT=19981.7 T1=2.5
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Bacp/Bacp-m1/ Bacp-m1-08a_c18.xml
|
SAT f=17 TT=20056 T1=0.89
|
SAT (TO) f=17 TT=20056 T1=0.89
|
SAT (TO) f=17 TT=19965.4 T1=2.6
|
SAT (TO) f=17 TT=19978.8 T1=2.53
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-08b_c18.xml
|
SAT f=17 TT=20054.8 T1=0.88
|
SAT (TO) f=17 TT=20054.8 T1=0.88
|
SAT (TO) f=17 TT=19955.5 T1=2.72
|
SAT (TO) f=17 TT=19954.9 T1=2.53
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-10a-nodv_c18.xml
|
SAT f=14 TT=20061 T1=0.96
|
SAT (TO) f=14 TT=20061 T1=0.96
|
SAT (TO) f=14 TT=19970.6 T1=2.71
|
SAT (TO) f=14 TT=19971.2 T1=2.59
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-10a_c18.xml
|
SAT f=14 TT=20076.8 T1=0.93
|
SAT (TO) f=14 TT=20076.8 T1=0.93
|
SAT (TO) f=14 TT=19944.7 T1=2.69
|
SAT (TO) f=14 TT=19935.5 T1=2.7
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-10b_c18.xml
|
SAT f=14 TT=20060.9 T1=0.87
|
SAT (TO) f=14 TT=20060.9 T1=0.87
|
SAT (TO) f=14 TT=19956.5 T1=2.74
|
SAT (TO) f=14 TT=19962.6 T1=2.63
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-12a-nodv_c18.xml
|
SAT f=17 TT=20063.4 T1=1.1
|
SAT (TO) f=17 TT=20063.4 T1=1.1
|
SAT (TO) f=17 TT=19921.4 T1=3.26
|
SAT (TO) f=17 TT=19949.8 T1=3.15
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-12a_c18.xml
|
SAT f=17 TT=20063.1 T1=1.64
|
SAT (TO) f=17 TT=20063.1 T1=1.64
|
SAT (TO) f=17 TT=19928.4 T1=3.14
|
SAT (TO) f=17 TT=19924 T1=2.98
|
No data | No data | No data | No data |
Bacp/Bacp-m1/ Bacp-m1-12b_c18.xml
|
SAT f=17 TT=20061.3 T1=1.3
|
SAT (TO) f=17 TT=20061.3 T1=1.3
|
SAT (TO) f=17 TT=19929.8 T1=3.15
|
SAT (TO) f=17 TT=19924.1 T1=3.69
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-05_c18.xml
|
OPT f=9 TT=5.251 T1=0.78
|
OPT f=9 TT=5.251 T1=0.78
|
OPT f=9 TT=9.2 T1=2.42
|
OPT f=9 TT=10.432 T1=2.32
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-06_c18.xml
|
OPT f=10 TT=16.341 T1=0.98
|
OPT f=10 TT=16.341 T1=0.98
|
OPT f=10 TT=23.497 T1=2.52
|
OPT f=10 TT=19.731 T1=2.41
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Bacp/Bacp-m2/ Bacp-m2-07a_c18.xml
|
SAT f=12 TT=20044.1 T1=0.87
|
SAT (TO) f=12 TT=20044.1 T1=0.87
|
OPT f=12 TT=11888.9 T1=2.66
|
OPT f=12 TT=12878.6 T1=2.6
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-07b_c18.xml
|
SAT f=13 TT=20044.9 T1=0.9
|
SAT (TO) f=13 TT=20044.9 T1=0.9
|
SAT (TO) f=13 TT=19961.2 T1=2.73
|
SAT (TO) f=13 TT=19984.5 T1=2.67
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-08a_c18.xml
|
SAT f=17 TT=20070.6 T1=1.03
|
SAT (TO) f=17 TT=20070.6 T1=1.03
|
SAT (TO) f=17 TT=19982.9 T1=3.04
|
SAT (TO) f=17 TT=19986.9 T1=3.29
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-08b_c18.xml
|
SAT f=17 TT=20057.1 T1=1.04
|
SAT (TO) f=17 TT=20057.1 T1=1.04
|
SAT (TO) f=17 TT=19979.5 T1=3
|
SAT (TO) f=17 TT=19973.3 T1=2.96
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-10a-nodv_c18.xml
|
SAT f=14 TT=17625.3 T1=1.15
|
SAT (TO) f=14 TT=17625.3 T1=1.15
|
SAT (TO) f=14 TT=19991.2 T1=3.06
|
SAT (TO) f=14 TT=19991.3 T1=3.07
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-10a_c18.xml
|
SAT f=14 TT=20054.4 T1=1.12
|
SAT (TO) f=14 TT=20054.4 T1=1.12
|
SAT (TO) f=14 TT=19997.7 T1=4.02
|
SAT (TO) f=14 TT=19987 T1=3.01
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-10b_c18.xml
|
SAT f=14 TT=20050.5 T1=1.06
|
SAT (TO) f=14 TT=20050.5 T1=1.06
|
SAT (TO) f=14 TT=19990.9 T1=3.03
|
SAT (TO) f=14 TT=20003.8 T1=2.99
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-12a-nodv_c18.xml
|
SAT f=17 TT=20062.6 T1=1.55
|
SAT (TO) f=17 TT=20062.6 T1=1.55
|
SAT (TO) f=17 TT=19969.9 T1=4.49
|
SAT (TO) f=17 TT=19996.6 T1=3.7
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-12a_c18.xml
|
SAT f=17 TT=20060 T1=1.49
|
SAT (TO) f=17 TT=20060 T1=1.49
|
SAT (TO) f=17 TT=19986.6 T1=3.61
|
SAT (TO) f=17 TT=20007.3 T1=3.57
|
No data | No data | No data | No data |
Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml
|
SAT f=17 TT=20065.2 T1=1.67
|
SAT (TO) f=17 TT=20065.2 T1=1.67
|
SAT (TO) f=17 TT=19995.9 T1=4.53
|
SAT (TO) f=17 TT=19999.1 T1=4.01
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Bibd/ Bibd-sc-07-03-01_c18.xml
|
SAT TT=2.663
|
SAT TT=2.663
|
SAT TT=7.131
|
SAT TT=6.235
|
SAT TT=4.94
|
? (TO) TT=7.439
|
SAT TT=4.867
|
? (TO) TT=7.561
|
Bibd/ Bibd-sc-09-03-09_c18.xml
|
SAT TT=20.732
|
SAT TT=20.732
|
? (TO) TT=19948.8
|
? (TO) TT=19989.8
|
SAT TT=47.95
|
SAT TT=50.244
|
SAT TT=46.709
|
SAT TT=49.06
|
Bibd/ Bibd-sc-10-03-08_c18.xml
|
SAT TT=71.661
|
SAT TT=84.501
|
? (TO) TT=19966.2
|
SAT TT=5604.2
|
SAT TT=82.275
|
SAT TT=88.735
|
SAT TT=71.661
|
SAT TT=88.093
|
Bibd/ Bibd-sc-12-06-05_c18.xml
|
SAT TT=12.362
|
SAT TT=12.362
|
? (TO) TT=19979.3
|
? (TO) TT=19974.9
|
SAT TT=21.573
|
SAT TT=19.978
|
SAT TT=18.089
|
SAT TT=22.821
|
Bibd/ Bibd-sc-22-033-12-08-04_c18.xml
|
|
? (TO) TT=20083.4
|
? (TO) TT=19980.3
|
? (TO) TT=19986.5
|
? (TO) TT=20032.4
|
? (TO) TT=20021.9
|
? (TO) TT=20031.3
|
? (TO) TT=20023.3
|
Bibd/ Bibd-sc-34-085-30-12-10_c18.xml
|
|
? (TO) TT=19987.9
|
? (TO) TT=19532.9
|
? (TO) TT=19835.8
|
? (MO) TT=125.001
|
? (TO) TT=19522.4
|
? (MO) TT=8793.59
|
? (TO) TT=19562.3
|
Bibd/ Bibd-sum-07-03-01_c18.xml
|
SAT TT=1.58
|
SAT TT=1.58
|
SAT TT=5.531
|
SAT TT=5.798
|
SAT TT=4.237
|
SAT TT=5.321
|
SAT TT=4.149
|
SAT TT=5.369
|
Bibd/ Bibd-sum-09-03-09_c18.xml
|
SAT TT=12.797
|
SAT TT=12.797
|
? (TO) TT=20009.7
|
? (TO) TT=20009.3
|
SAT TT=39.156
|
SAT TT=41.07
|
SAT TT=39.715
|
SAT TT=41.034
|
Bibd/ Bibd-sum-10-03-08_c18.xml
|
SAT TT=62.659
|
SAT TT=433.212
|
? (TO) TT=19985.5
|
? (TO) TT=20010.1
|
SAT TT=64.116
|
SAT TT=75.877
|
SAT TT=62.659
|
SAT TT=74.103
|
Bibd/ Bibd-sum-12-06-05_c18.xml
|
SAT TT=5.919
|
SAT TT=5.919
|
? (TO) TT=20015.9
|
? (TO) TT=20015.3
|
SAT TT=17.164
|
SAT TT=16.105
|
SAT TT=15.539
|
SAT TT=16.592
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Bibd/ Bibd-sum-22-033-12-08-04_c18.xml
|
|
? (TO) TT=20100.2
|
? (TO) TT=20024.7
|
? (TO) TT=20035.9
|
? (TO) TT=20043.1
|
? (TO) TT=20037.7
|
? (TO) TT=20038.5
|
? (TO) TT=20038.6
|
Bibd/ Bibd-sum-34-085-30-12-10_c18.xml
|
|
? (TO) TT=19938.3
|
? (TO) TT=20062.4
|
? (TO) TT=20048.7
|
? (MO) TT=183.933
|
? (TO) TT=19629.4
|
? (MO) TT=5887.52
|
? (TO) TT=19657.7
|
CarSequencing/ CarSequencing-04-72_c18.xml
|
SAT TT=51.942
|
? (TO) TT=20034.1
|
? (TO) TT=19957.7
|
? (TO) TT=19967
|
SAT TT=74.838
|
SAT TT=68.051
|
SAT TT=51.942
|
SAT TT=404.49
|
CarSequencing/ CarSequencing-06-76_c18.xml
|
UNSAT TT=199.813
|
? (TO) TT=20044.8
|
? (TO) TT=19958
|
? (TO) TT=19967.9
|
UNSAT TT=209.919
|
UNSAT TT=202.564
|
UNSAT TT=202.378
|
UNSAT TT=199.813
|
CarSequencing/ CarSequencing-60-01_c18.xml
|
SAT TT=10.474
|
SAT TT=10.474
|
? (TO) TT=20020.4
|
? (TO) TT=20017.9
|
? (MO) TT=6507.72
|
? (TO) TT=19925.3
|
SAT TT=50.756
|
SAT TT=56.053
|
CarSequencing/ CarSequencing-60-02_c18.xml
|
SAT TT=6.892
|
SAT TT=6.892
|
? (TO) TT=19983
|
? (TO) TT=19997.7
|
? (MO) TT=6168.54
|
SAT TT=6902.47
|
SAT TT=41.118
|
SAT TT=45.202
|
CarSequencing/ CarSequencing-65-01_c18.xml
|
SAT TT=7.989
|
SAT TT=7.989
|
SAT TT=88.056
|
SAT (TO) TT=7634.11
|
? (MO) TT=5190.48
|
? (TO) TT=19924.1
|
SAT TT=56.807
|
SAT TT=50.378
|
CarSequencing/ CarSequencing-65-02_c18.xml
|
SAT TT=8.083
|
SAT TT=8.083
|
? (TO) TT=20005.7
|
? (TO) TT=19989.6
|
? (MO) TT=3500.91
|
? (TO) TT=19937
|
SAT TT=49.269
|
SAT TT=51.004
|
CarSequencing/ CarSequencing-70-01_c18.xml
|
SAT TT=11.451
|
SAT TT=11.451
|
SAT TT=85.725
|
SAT TT=82.893
|
? (MO) TT=3327.22
|
? (TO) TT=19916.7
|
SAT TT=51.544
|
SAT TT=57.162
|
CarSequencing/ CarSequencing-70-02_c18.xml
|
SAT TT=6.047
|
SAT TT=6.047
|
? (TO) TT=20014.9
|
? (TO) TT=20014.7
|
? (MO) TT=2581.3
|
? (TO) TT=19919.5
|
SAT TT=73.463
|
SAT TT=59.922
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
CarSequencing/ CarSequencing-75-01_c18.xml
|
SAT TT=7.592
|
SAT TT=7.592
|
SAT TT=15.181
|
SAT (TO) TT=3432.93
|
? (MO) TT=2030.39
|
? (TO) TT=19911
|
SAT TT=64.502
|
SAT TT=68.262
|
CarSequencing/ CarSequencing-75-02_c18.xml
|
SAT TT=8.457
|
SAT TT=8.457
|
? (TO) TT=20005.3
|
? (TO) TT=19997.5
|
? (MO) TT=2571.12
|
? (TO) TT=19917
|
SAT TT=112.985
|
SAT TT=70.755
|
CarSequencing/ CarSequencing-80-01_c18.xml
|
SAT TT=12.974
|
SAT TT=12.974
|
SAT TT=13.264
|
SAT TT=14.249
|
? (MO) TT=522.96
|
? (TO) TT=19900.8
|
SAT TT=100.82
|
SAT TT=97.463
|
CarSequencing/ CarSequencing-80-02_c18.xml
|
SAT TT=19.912
|
SAT TT=75.464
|
SAT TT=19.912
|
SAT TT=20.055
|
? (MO) TT=485.719
|
? (TO) TT=19902.6
|
SAT TT=121.434
|
SAT TT=74.564
|
CarSequencing/ CarSequencing-85-01_c18.xml
|
SAT TT=6.622
|
SAT TT=6.622
|
SAT TT=75.26
|
SAT TT=74.036
|
? (MO) TT=650.698
|
? (TO) TT=19896.2
|
SAT TT=80.623
|
SAT TT=210.24
|
CarSequencing/ CarSequencing-85-02_c18.xml
|
SAT TT=70.084
|
SAT TT=70.084
|
? (TO) TT=20006.1
|
? (TO) TT=19995.1
|
? (MO) TT=600.21
|
? (TO) TT=19902.1
|
SAT TT=127.501
|
SAT TT=730.892
|
CarSequencing/ CarSequencing-90-01_c18.xml
|
SAT TT=9.194
|
SAT TT=9.194
|
? (TO) TT=20001.5
|
? (TO) TT=19974.2
|
? (MO) TT=720.753
|
? (TO) TT=19893.3
|
? (TO) TT=19940.1
|
SAT TT=11625.2
|
CarSequencing/ CarSequencing-90-02_c18.xml
|
SAT TT=359.948
|
? (TO) TT=20058.7
|
? (TO) TT=20002.9
|
? (TO) TT=19999.8
|
? (MO) TT=773.424
|
? (TO) TT=19902.4
|
SAT TT=359.948
|
SAT TT=1448.39
|
CarSequencing/ CarSequencing-dingbas_c18.xml
|
SAT TT=1.486
|
SAT TT=1.486
|
SAT TT=3.67
|
SAT TT=3.711
|
SAT TT=4.19
|
SAT TT=5.541
|
SAT TT=4.16
|
SAT TT=5.531
|
ColouredQueens/ ColouredQueens-05_c18.xml
|
SAT TT=1.298
|
SAT TT=1.298
|
SAT TT=3.853
|
SAT TT=3.734
|
SAT TT=2.923
|
SAT TT=4.193
|
SAT TT=2.9
|
SAT TT=4.22
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
ColouredQueens/ ColouredQueens-06_c18.xml
|
UNSAT TT=3.46
|
UNSAT TT=6.154
|
UNSAT TT=7.971
|
UNSAT TT=7.997
|
UNSAT TT=3.46
|
UNSAT TT=4.593
|
UNSAT TT=3.469
|
UNSAT TT=4.588
|
ColouredQueens/ ColouredQueens-07_c18.xml
|
SAT TT=1.508
|
SAT TT=1.508
|
SAT TT=5.303
|
SAT TT=6.06
|
SAT TT=4.14
|
? (TO) TT=6.712
|
SAT TT=4.013
|
SAT TT=5.268
|
ColouredQueens/ ColouredQueens-08_c18.xml
|
UNSAT TT=1217.89
|
? (TO) TT=20084.3
|
? (TO) TT=19937.8
|
? (TO) TT=19949.7
|
UNSAT TT=1389.7
|
UNSAT TT=1217.89
|
UNSAT TT=1235.14
|
UNSAT TT=1549.18
|
ColouredQueens/ ColouredQueens-09_c18.xml
|
|
? (TO) TT=20078.8
|
? (TO) TT=19941.8
|
? (TO) TT=19942.8
|
? (TO) TT=20089.2
|
? (TO) TT=20081.9
|
? (TO) TT=20089.3
|
? (TO) TT=20081.6
|
ColouredQueens/ ColouredQueens-10_c18.xml
|
|
? (TO) TT=20077.7
|
? (TO) TT=19917
|
? (TO) TT=19958.4
|
? (TO) TT=20086.3
|
? (TO) TT=20082.1
|
? (TO) TT=20088.5
|
? (TO) TT=20083.7
|
ColouredQueens/ ColouredQueens-11_c18.xml
|
|
? (TO) TT=20082.2
|
? (TO) TT=19941.4
|
? (TO) TT=19927.4
|
? (TO) TT=20087.6
|
? (TO) TT=20080.3
|
? (TO) TT=20086.1
|
? (TO) TT=20082.7
|
ColouredQueens/ ColouredQueens-12_c18.xml
|
|
? (TO) TT=20064.3
|
? (TO) TT=19939.5
|
? (TO) TT=19950.8
|
? (TO) TT=20085.5
|
? (TO) TT=20077.8
|
? (TO) TT=20086.8
|
? (TO) TT=20077.9
|
ColouredQueens/ ColouredQueens-13_c18.xml
|
|
? (TO) TT=20066.3
|
? (TO) TT=19932
|
? (TO) TT=19951
|
? (TO) TT=20082
|
? (TO) TT=20077.1
|
? (TO) TT=20084.5
|
? (TO) TT=20077.9
|
ColouredQueens/ ColouredQueens-14_c18.xml
|
|
? (TO) TT=20070.5
|
? (TO) TT=19925.1
|
? (TO) TT=19940.6
|
? (TO) TT=20083.9
|
? (TO) TT=20075.2
|
? (TO) TT=20084.3
|
? (TO) TT=20076.2
|
ColouredQueens/ ColouredQueens-15_c18.xml
|
|
? (TO) TT=20068.3
|
? (TO) TT=19908
|
? (TO) TT=19924.8
|
? (TO) TT=20081
|
? (TO) TT=20074.4
|
? (TO) TT=20081
|
? (TO) TT=20072.9
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
ColouredQueens/ ColouredQueens-16_c18.xml
|
|
? (TO) TT=20064.8
|
? (TO) TT=19922.5
|
? (TO) TT=19942.5
|
? (TO) TT=20081.6
|
? (TO) TT=20070.8
|
? (TO) TT=20080.2
|
? (TO) TT=20069.2
|
Crossword/ Crossword-m18-ogd2008-vg-04-05_c18.xml
|
SAT TT=3.525
|
SAT TT=3.525
|
SAT TT=7.924
|
SAT TT=7.795
|
SAT TT=46.883
|
SAT TT=46.542
|
SAT TT=45.278
|
SAT TT=48.036
|
Crossword/ Crossword-m18-ogd2008-vg-05-06_c18.xml
|
SAT TT=6.391
|
SAT TT=6.391
|
SAT TT=786.066
|
SAT TT=12.449
|
SAT TT=142.225
|
SAT TT=144.498
|
SAT TT=134.984
|
SAT TT=147.79
|
Crossword/ Crossword-m18-ogd2008-vg-06-07_c18.xml
|
SAT TT=14.549
|
SAT TT=14.549
|
SAT TT=22.46
|
SAT TT=24.956
|
SAT TT=3250.46
|
SAT TT=444.653
|
SAT TT=1258.86
|
SAT TT=4355.56
|
Crossword/ Crossword-m18-ogd2008-vg-07-08_c18.xml
|
SAT TT=709.861
|
SAT TT=1319.53
|
SAT TT=709.861
|
SAT TT=728.202
|
? (TO) TT=17972.4
|
? (TO) TT=17894.4
|
? (TO) TT=17955.4
|
? (TO) TT=17867.5
|
Crossword/ Crossword-m18-ogd2008-vg-08-09_c18.xml
|
|
? (TO) TT=20007.7
|
? (TO) TT=20043.2
|
? (TO) TT=20049.3
|
? (MO) TT=697.303
|
? (TO) TT=16940.5
|
? (MO) TT=686.805
|
? (TO) TT=16976.1
|
Crossword/ Crossword-m18-ogd2008-vg-09-10_c18.xml
|
|
? (TO) TT=19973.9
|
? (TO) TT=20029.9
|
? (TO) TT=20032.5
|
? (MO) TT=1056.42
|
? (TO) TT=15920.1
|
? (MO) TT=1062.1
|
? (TO) TT=15933.8
|
Crossword/ Crossword-m18-ogd2008-vg-10-11_c18.xml
|
|
? (TO) TT=19941
|
? (TO) TT=20021.4
|
? (TO) TT=20022.8
|
? (MO) TT=1399.81
|
? (TO) TT=14799.3
|
? (MO) TT=1408.34
|
? (TO) TT=14529.2
|
Crossword/ Crossword-m18-ogd2008-vg-11-12_c18.xml
|
|
? (TO) TT=19939.3
|
? (TO) TT=20020.8
|
? (TO) TT=20022.8
|
? (MO) TT=1863.69
|
? (TO) TT=14007.8
|
? (MO) TT=1828.44
|
? (TO) TT=14025.6
|
Crossword/ Crossword-m18-ogd2008-vg-12-13_c18.xml
|
|
? (TO) TT=19947.2
|
? (TO) TT=20017.9
|
? (TO) TT=20018.9
|
? (MO) TT=2503.17
|
? (TO) TT=13449.1
|
? (MO) TT=2484.3
|
? (TO) TT=13274.1
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Crossword/ Crossword-m18-ogd2008-vg-13-14_c18.xml
|
|
? (TO) TT=19965.3
|
? (TO) TT=20024.1
|
? (TO) TT=20024.3
|
? (MO) TT=3272.86
|
? (TO) TT=13173.4
|
? (MO) TT=3099.17
|
? (TO) TT=13191.5
|
Crossword/ Crossword-m18-ogd2008-vg-14-15_c18.xml
|
|
? (TO) TT=19984.4
|
? (TO) TT=20030.2
|
? (TO) TT=20034.8
|
? (MO) TT=3413.12
|
? (TO) TT=13298.7
|
? (MO) TT=3401.39
|
? (TO) TT=13525.6
|
Crossword/ Crossword-m18-ogd2008-vg-15-16_c18.xml
|
UNSAT TT=15415.2
|
UNSAT TT=15415.2
|
? (TO) TT=20026.2
|
? (TO) TT=20031.3
|
? (MO) TT=2381.53
|
? (TO) TT=13770
|
? (MO) TT=2298.52
|
? (TO) TT=13622.9
|
Crossword/ Crossword-m18-ogd2008-vg-16-17_c18.xml
|
UNSAT TT=3756.51
|
UNSAT TT=3756.51
|
? (TO) TT=20020.6
|
? (TO) TT=20021.7
|
? (MO) TT=1465.65
|
? (TO) TT=14485.8
|
? (MO) TT=1398.07
|
? (TO) TT=14426.8
|
CrosswordDesign/ CrosswordDesign-03-4-rom_c18.xml
|
OPT f=12 TT=5.2 T1=1.53
|
OPT f=12 TT=5.2 T1=1.53
|
OPT f=12 TT=15.835 T1=5.34
|
OPT f=12 TT=14.984 T1=5.21
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-04-4-rom_c18.xml
|
OPT f=24 TT=16.555 T1=6.15
|
OPT f=24 TT=16.555 T1=6.15
|
OPT f=24 TT=64.069 T1=21.48
|
OPT f=24 TT=59.959 T1=22.93
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-05-4-rom_c18.xml
|
OPT f=38 TT=552.404 T1=53.47
|
OPT f=38 TT=552.404 T1=53.47
|
OPT f=38 TT=482.998 T1=89.68
|
OPT f=38 TT=649.13 T1=92.36
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-06-4-rom_c18.xml
|
|
?
TT=572.737
|
?
TT=826.477
|
?
TT=880.987
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-07-4-rom_c18.xml
|
|
?
TT=516.969
|
?
TT=1507.59
|
?
TT=1613.04
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-08-4-rom_c18.xml
|
|
?
TT=524.943
|
?
TT=253.417
|
?
TT=248.063
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
CrosswordDesign/ CrosswordDesign-09-4-rom_c18.xml
|
|
?
TT=761.797
|
?
TT=220.094
|
?
TT=200.207
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml
|
|
?
TT=739.119
|
?
TT=198.649
|
?
TT=210.515
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml
|
|
?
TT=692.179
|
?
TT=197.02
|
?
TT=214.117
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml
|
|
?
TT=781.413
|
?
TT=211.338
|
?
TT=191.984
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml
|
|
?
TT=805.702
|
?
TT=239.243
|
?
TT=203.998
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml
|
|
?
TT=927.041
|
?
TT=218.611
|
?
TT=211.44
|
No data | No data | No data | No data |
CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml
|
|
?
TT=556.869
|
?
TT=243.942
|
?
TT=280.273
|
No data | No data | No data | No data |
Dubois/ Dubois-018_c18.xml
|
UNSAT TT=3.066
|
UNSAT TT=30.929
|
UNSAT TT=14.432
|
UNSAT TT=13.478
|
UNSAT TT=3.073
|
UNSAT TT=4.239
|
UNSAT TT=3.066
|
UNSAT TT=4.245
|
Dubois/ Dubois-020_c18.xml
|
UNSAT TT=3.29
|
UNSAT TT=84.622
|
UNSAT TT=29.604
|
UNSAT TT=29.32
|
UNSAT TT=3.29
|
UNSAT TT=4.667
|
UNSAT TT=3.329
|
UNSAT TT=4.654
|
Dubois/ Dubois-021_c18.xml
|
UNSAT TT=3.49
|
UNSAT TT=99.205
|
UNSAT TT=50.941
|
UNSAT TT=51.977
|
UNSAT TT=3.539
|
UNSAT TT=4.713
|
UNSAT TT=3.49
|
UNSAT TT=4.706
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Dubois/ Dubois-022_c18.xml
|
UNSAT TT=3.533
|
UNSAT TT=73.75
|
UNSAT TT=88.22
|
UNSAT TT=95.092
|
UNSAT TT=3.561
|
UNSAT TT=4.588
|
UNSAT TT=3.533
|
UNSAT TT=4.76
|
Dubois/ Dubois-023_c18.xml
|
UNSAT TT=3.449
|
UNSAT TT=143.824
|
UNSAT TT=185.064
|
UNSAT TT=188.05
|
UNSAT TT=3.449
|
UNSAT TT=4.791
|
UNSAT TT=3.559
|
UNSAT TT=4.704
|
Dubois/ Dubois-024_c18.xml
|
UNSAT TT=3.637
|
UNSAT TT=229.085
|
UNSAT TT=344.448
|
UNSAT TT=361.941
|
UNSAT TT=3.637
|
UNSAT TT=4.855
|
UNSAT TT=3.662
|
UNSAT TT=4.826
|
Dubois/ Dubois-025_c18.xml
|
UNSAT TT=3.626
|
UNSAT TT=499.197
|
UNSAT TT=654.943
|
UNSAT TT=657.085
|
UNSAT TT=3.626
|
UNSAT TT=4.905
|
UNSAT TT=3.677
|
UNSAT TT=4.816
|
Dubois/ Dubois-030_c18.xml
|
UNSAT TT=3.687
|
UNSAT TT=1368.44
|
? (TO) TT=19948.1
|
? (TO) TT=19934.7
|
UNSAT TT=3.874
|
UNSAT TT=5.039
|
UNSAT TT=3.687
|
UNSAT TT=4.851
|
Dubois/ Dubois-040_c18.xml
|
UNSAT TT=4.056
|
UNSAT TT=12156.7
|
? (TO) TT=19931
|
? (TO) TT=19929.3
|
UNSAT TT=4.131
|
UNSAT TT=5.364
|
UNSAT TT=4.056
|
UNSAT TT=5.412
|
Dubois/ Dubois-050_c18.xml
|
UNSAT TT=4.427
|
? (TO) TT=19750.8
|
? (TO) TT=19957.7
|
? (TO) TT=19952.9
|
UNSAT TT=4.432
|
UNSAT TT=5.634
|
UNSAT TT=4.427
|
UNSAT TT=5.79
|
Dubois/ Dubois-075_c18.xml
|
UNSAT TT=5.064
|
? (TO) TT=19957.2
|
? (TO) TT=19953
|
? (TO) TT=19932.4
|
UNSAT TT=5.064
|
UNSAT TT=6.442
|
UNSAT TT=5.32
|
UNSAT TT=6.494
|
Dubois/ Dubois-100_c18.xml
|
UNSAT TT=5.703
|
? (TO) TT=19947.2
|
? (TO) TT=19903.4
|
? (TO) TT=19944.1
|
UNSAT TT=5.703
|
UNSAT TT=7.1
|
UNSAT TT=5.777
|
UNSAT TT=7.228
|
Eternity/ Eternity-04-04_c18.xml
|
SAT TT=2.162
|
SAT TT=2.162
|
SAT TT=4.573
|
SAT TT=4.252
|
SAT TT=9.765
|
SAT TT=10.912
|
SAT TT=9.623
|
SAT TT=11.109
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Eternity/ Eternity-05-05_c18.xml
|
SAT TT=3.022
|
SAT TT=3.022
|
SAT TT=6.678
|
SAT TT=6.186
|
SAT TT=15.538
|
SAT TT=16.396
|
SAT TT=15.24
|
SAT TT=16.671
|
Eternity/ Eternity-06-06_c18.xml
|
SAT TT=11.243
|
SAT TT=19.161
|
SAT TT=11.795
|
SAT TT=11.243
|
SAT TT=19.789
|
SAT TT=25.311
|
SAT TT=21.08
|
SAT TT=21.526
|
Eternity/ Eternity-07-07_c18.xml
|
SAT TT=97.717
|
SAT TT=403.002
|
SAT TT=100.893
|
SAT TT=97.717
|
SAT TT=477.149
|
SAT TT=229.157
|
SAT TT=153.162
|
SAT TT=982.224
|
Eternity/ Eternity-08-08_c18.xml
|
|
? (TO) TT=20080.3
|
? (TO) TT=19964.9
|
? (TO) TT=19978.1
|
? (TO) TT=19978.6
|
? (TO) TT=19970.4
|
? (TO) TT=19975.9
|
? (TO) TT=19975
|
Eternity/ Eternity-09-09_c18.xml
|
|
? (TO) TT=19885.9
|
? (TO) TT=19985
|
? (TO) TT=20007.7
|
? (TO) TT=19895.8
|
? (TO) TT=19889.3
|
? (TO) TT=19898.9
|
? (TO) TT=19894.3
|
Eternity/ Eternity-10-04_c18.xml
|
SAT TT=11.903
|
SAT TT=16.354
|
SAT TT=12.092
|
SAT TT=11.903
|
SAT TT=21.82
|
SAT TT=24.67
|
SAT TT=27.886
|
SAT TT=25.927
|
Eternity/ Eternity-10-05_c18.xml
|
SAT TT=11.882
|
SAT TT=11.882
|
SAT (TO) TT=5841.08
|
SAT TT=1015.3
|
SAT TT=38.306
|
SAT TT=117.672
|
SAT TT=108.364
|
SAT TT=36.136
|
Eternity/ Eternity-10-06_c18.xml
|
SAT TT=1350.52
|
SAT TT=1793.73
|
? (TO) TT=19942.7
|
? (TO) TT=19967.3
|
SAT TT=1350.52
|
SAT TT=2295.7
|
SAT TT=5950.41
|
SAT TT=4636.27
|
Eternity/ Eternity-10-10_c18.xml
|
|
? (TO) TT=19880
|
? (TO) TT=19985.2
|
? (TO) TT=19997.5
|
? (TO) TT=19773.7
|
? (TO) TT=19781
|
? (TO) TT=19803.7
|
? (TO) TT=19787.1
|
Eternity/ Eternity-11-11_c18.xml
|
|
? (TO) TT=19885.1
|
? (TO) TT=20003.6
|
? (TO) TT=19982.3
|
? (TO) TT=19629.8
|
? (TO) TT=19603.2
|
? (TO) TT=19613.8
|
? (TO) TT=19623.8
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Eternity/ Eternity-12-12_c18.xml
|
|
? (TO) TT=19906.6
|
? (TO) TT=20012.9
|
? (TO) TT=19994
|
? (TO) TT=19382.6
|
? (TO) TT=19360
|
? (MO) TT=18364.7
|
? (TO) TT=19361.4
|
Eternity/ Eternity-13-13_c18.xml
|
|
? (TO) TT=19915
|
? (TO) TT=20007.9
|
? (TO) TT=20016.8
|
? (MO) TT=4469.69
|
? (TO) TT=18997
|
? (MO) TT=5209.4
|
? (TO) TT=18952.2
|
Eternity/ Eternity-14-14_c18.xml
|
|
? (TO) TT=19909.6
|
? (TO) TT=20017.8
|
? (TO) TT=20006.8
|
? (MO) TT=300.892
|
? (TO) TT=18553.9
|
? (MO) TT=296.763
|
? (TO) TT=18605.1
|
Eternity/ Eternity-15-15_c18.xml
|
|
? (TO) TT=20027.5
|
? (TO) TT=20001.2
|
? (TO) TT=20013.9
|
? (MO) TT=404.328
|
? (TO) TT=18032.9
|
? (MO) TT=397.266
|
? (TO) TT=17937
|
Fapp/Fapp-m2s/ Fapp-m2s-01-0200_c18.xml
|
SAT f=98470665 TT=3027.18 T1=2276.14
|
SAT (TO) f=98470665 TT=3027.18 T1=2276.14
|
SAT (TO) f=102330150 TT=19970.4 T1=2002.24
|
SAT (TO) f=102358551 TT=19973.7 T1=2510.71
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-02-0250_c18.xml
|
SAT f=229189766 TT=2691.45 T1=2178.11
|
SAT (TO) f=229189766 TT=2691.45 T1=2178.11
|
SAT (TO) f=233052540 TT=19903.4 T1=2290.91
|
SAT (TO) f=233265521 TT=19931 T1=2490.86
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-03-0300_c18.xml
|
SAT f=471322461 TT=3879.92 T1=1743.14
|
SAT (TO) f=471322461 TT=3879.92 T1=1743.14
|
SAT (TO) f=484367226 TT=19794 T1=2513.22
|
SAT (TO) f=484469760 TT=19825.5 T1=2482.05
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-04-0300_c18.xml
|
SAT f=268587954 TT=2861.15 T1=2434.68
|
SAT (TO) f=268587954 TT=2861.15 T1=2434.68
|
SAT (TO) f=282989704 TT=19850.2 T1=1909.49
|
SAT (TO) f=282989697 TT=19871.6 T1=1226.51
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-05-0350_c18.xml
|
SAT f=548030622 TT=3009.19 T1=2371.87
|
SAT (TO) f=548030622 TT=3009.19 T1=2371.87
|
? (TO)
TT=19780.7
|
? (TO)
TT=19798.6
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-06-0500_c18.xml
|
SAT f=1071010689 TT=3529.38 T1=361.01
|
SAT (TO) f=1071010689 TT=3529.38 T1=361.01
|
SAT (TO) f=1085212330 TT=19621.7 T1=2506.9
|
SAT (TO) f=1082310929 TT=19642.8 T1=2261.88
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Fapp/Fapp-m2s/ Fapp-m2s-07-0600_c18.xml
|
|
?
TT=5077.1
|
SAT (TO) f=2055081639 TT=19487.3 T1=2166.25
|
SAT (TO) f=2054659793 TT=19508.3 T1=1906.51
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-08-0700_c18.xml
|
SAT f=1239102092 TT=3171.08 T1=377.39
|
SAT (TO) f=1239102092 TT=3171.08 T1=377.39
|
SAT (TO) f=1252915917 TT=19561.7 T1=2431.15
|
SAT (TO) f=1256764022 TT=19610.4 T1=2351
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-16-0260_c18.xml
|
SAT f=374513959 TT=2762.71 T1=2302.36
|
SAT (TO) f=374513959 TT=2762.71 T1=2302.36
|
SAT (TO) f=401138650 TT=19863.3 T1=2504.03
|
SAT (TO) f=401028250 TT=19879.8 T1=2513.85
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-17-0300_c18.xml
|
SAT f=380878491 TT=2808.24 T1=2407.53
|
SAT (TO) f=380878491 TT=2808.24 T1=2407.53
|
SAT (TO) f=388697689 TT=19836.9 T1=1859.23
|
SAT (TO) f=388516708 TT=19853.7 T1=1632.54
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml
|
OPT f=162507055 TT=2436.88 T1=1946.72
|
OPT f=162507055 TT=2436.88 T1=1946.72
|
SAT (TO) f=241978164 TT=19905.7 T1=2468.85
|
SAT (TO) f=241978164 TT=19917.7 T1=1986.15
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml
|
SAT f=589221986 TT=2883.99 T1=1755.62
|
SAT (TO) f=589221986 TT=2883.99 T1=1755.62
|
SAT (TO) f=605046649 TT=19789 T1=2405.54
|
SAT (TO) f=605046646 TT=19823.5 T1=2125.77
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml
|
SAT f=188879713 TT=2688.67 T1=2173.59
|
SAT (TO) f=188879713 TT=2688.67 T1=2173.59
|
? (TO)
TT=19923.5
|
? (TO)
TT=19944
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-ex1_c18.xml
|
OPT f=523 TT=3.451 T1=1.06
|
OPT f=523 TT=3.451 T1=1.06
|
OPT f=523 TT=23.384 T1=4.49
|
OPT f=523 TT=26.514 T1=4.37
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-ex2_c18.xml
|
OPT f=13871 TT=4.758 T1=1.56
|
OPT f=13871 TT=4.758 T1=1.56
|
OPT f=13871 TT=18.859 T1=3.75
|
OPT f=13871 TT=20.57 T1=3.85
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-test01-0150_c18.xml
|
SAT f=18292617 TT=7814.41 T1=2139.28
|
SAT (TO) f=18292617 TT=7814.41 T1=2139.28
|
SAT (TO) f=52380687 TT=19953.5 T1=2278.3
|
SAT (TO) f=52373924 TT=19968.4 T1=2077.74
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Fapp/Fapp-m2s/ Fapp-m2s-test02-0250_c18.xml
|
SAT f=141207894 TT=2859.92 T1=2173.13
|
SAT (TO) f=141207894 TT=2859.92 T1=2173.13
|
SAT (TO) f=148836951 TT=19874.5 T1=1049.18
|
SAT (TO) f=148542722 TT=19898.3 T1=2422.78
|
No data | No data | No data | No data |
Fapp/Fapp-m2s/ Fapp-m2s-test03-0400_c18.xml
|
SAT f=464880458 TT=2914.72 T1=223.37
|
SAT (TO) f=464880458 TT=2914.72 T1=223.37
|
SAT (TO) f=466660295 TT=19771.9 T1=2155.4
|
SAT (TO) f=465083001 TT=19772.6 T1=2462.74
|
No data | No data | No data | No data |
Frb/ frb-30-15-1_c18.xml
|
SAT TT=11.905
|
SAT TT=17.068
|
SAT TT=16.468
|
SAT TT=15.635
|
SAT TT=12.587
|
SAT TT=13.343
|
SAT TT=11.905
|
SAT TT=14.597
|
Frb/ frb-35-17-1_c18.xml
|
SAT TT=13.729
|
SAT TT=24.713
|
SAT TT=123.158
|
SAT TT=122.129
|
SAT TT=20.158
|
SAT TT=18.204
|
SAT TT=13.729
|
SAT TT=21.109
|
Frb/ frb-40-19-1-mgd_c18.xml
|
SAT TT=21.334
|
SAT TT=45.333
|
SAT TT=21.334
|
SAT TT=31.639
|
SAT TT=34.155
|
SAT TT=47.313
|
SAT TT=31.726
|
SAT TT=37.082
|
Frb/ frb-45-21-1_c18.xml
|
SAT TT=221.514
|
SAT TT=14318.8
|
? (TO) TT=19993.3
|
? (TO) TT=20033.2
|
SAT TT=4814.22
|
SAT TT=221.514
|
SAT TT=674.523
|
SAT TT=6267.18
|
Frb/ frb-50-23-1-mgd_c18.xml
|
SAT TT=818.264
|
SAT TT=1751.04
|
? (TO) TT=19978
|
? (TO) TT=19982.1
|
SAT TT=818.264
|
SAT TT=3560.88
|
SAT TT=1622.4
|
SAT TT=4570.85
|
Frb/ frb-50-23-2-mgd_c18.xml
|
SAT TT=4847.48
|
? (TO) TT=20084
|
? (TO) TT=19998.7
|
? (TO) TT=19992
|
? (TO) TT=20066.1
|
? (TO) TT=20059.4
|
SAT TT=4847.48
|
? (TO) TT=20038.7
|
Frb/ frb-50-23-3-mgd_c18.xml
|
|
? (TO) TT=20086.5
|
? (TO) TT=19984.3
|
? (TO) TT=20005.5
|
? (TO) TT=20065.3
|
? (TO) TT=20056.3
|
? (TO) TT=20063.8
|
? (TO) TT=20057.4
|
Frb/ frb-53-24-1-mgd_c18.xml
|
|
? (TO) TT=20089.5
|
? (TO) TT=20003.5
|
? (TO) TT=20029.9
|
? (TO) TT=20060.5
|
? (TO) TT=20054.4
|
? (TO) TT=20060.7
|
? (TO) TT=20052.5
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Frb/ frb-53-24-2-mgd_c18.xml
|
SAT TT=4834.31
|
? (TO) TT=20093.5
|
? (TO) TT=20019.6
|
? (TO) TT=20017.6
|
SAT TT=16830.9
|
? (TO) TT=20051.7
|
? (TO) TT=20061.3
|
SAT TT=4834.31
|
Frb/ frb-53-24-3-mgd_c18.xml
|
SAT TT=786.161
|
? (TO) TT=20089.2
|
? (TO) TT=19999
|
? (TO) TT=20004.6
|
? (TO) TT=20060
|
SAT TT=786.161
|
? (TO) TT=20060.6
|
? (TO) TT=20052.8
|
Frb/ frb-56-25-1-mgd_c18.xml
|
|
? (TO) TT=20082.8
|
? (TO) TT=20035.5
|
? (TO) TT=20014.6
|
? (TO) TT=20054.1
|
? (TO) TT=20049.4
|
? (TO) TT=20052.1
|
? (TO) TT=20046.3
|
Frb/ frb-56-25-2-mgd_c18.xml
|
|
? (TO) TT=20087.7
|
? (TO) TT=19995.8
|
? (TO) TT=20000
|
? (TO) TT=20053.9
|
? (TO) TT=20052.2
|
? (TO) TT=20054.8
|
? (TO) TT=20048.2
|
Frb/ frb-56-25-3-mgd_c18.xml
|
SAT TT=210.887
|
? (TO) TT=20086.6
|
? (TO) TT=19985
|
? (TO) TT=19995.7
|
SAT TT=5065.37
|
? (TO) TT=20042.9
|
SAT TT=210.887
|
? (TO) TT=20050
|
Frb/ frb-59-26-1-mgd_c18.xml
|
|
? (TO) TT=20090
|
? (TO) TT=20023.7
|
? (TO) TT=20012.8
|
? (TO) TT=20051.4
|
? (TO) TT=20041.6
|
? (TO) TT=20051.2
|
? (TO) TT=20045.2
|
Frb/ frb-59-26-2-mgd_c18.xml
|
|
? (TO) TT=20088
|
? (TO) TT=20015.1
|
? (TO) TT=20012.2
|
? (TO) TT=20052
|
? (TO) TT=20044.1
|
? (TO) TT=20049.9
|
? (TO) TT=20042.9
|
Frb/ frb-59-26-3-mgd_c18.xml
|
|
? (TO) TT=20089.2
|
? (TO) TT=20010.9
|
? (TO) TT=19987.2
|
? (TO) TT=20047.7
|
? (TO) TT=20042.7
|
? (TO) TT=20049
|
? (TO) TT=20040.8
|
GolombRuler/ GolombRuler-a3v18-07_c18.xml
|
OPT f=25 TT=2.667 T1=0.66
|
OPT f=25 TT=2.667 T1=0.66
|
OPT f=25 TT=8.485 T1=2.81
|
OPT f=25 TT=7.779 T1=2.85
|
No data | No data | No data | No data |
GolombRuler/ GolombRuler-a3v18-08_c18.xml
|
OPT f=34 TT=9.236 T1=0.77
|
OPT f=34 TT=9.236 T1=0.77
|
OPT f=34 TT=12.983 T1=3.53
|
OPT f=34 TT=12.724 T1=3.43
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
GolombRuler/ GolombRuler-a3v18-09_c18.xml
|
OPT f=44 TT=15.18 T1=1.2
|
OPT f=44 TT=15.18 T1=1.2
|
OPT f=44 TT=43.975 T1=7.54
|
OPT f=44 TT=37.654 T1=6.66
|
No data | No data | No data | No data |
GolombRuler/ GolombRuler-a3v18-10_c18.xml
|
OPT f=55 TT=35.686 T1=2.21
|
OPT f=55 TT=35.686 T1=2.21
|
OPT f=55 TT=402.028 T1=52.99
|
OPT f=55 TT=430.346 T1=55.56
|
No data | No data | No data | No data |
GolombRuler/ GolombRuler-a3v18-11_c18.xml
|
OPT f=72 TT=2008.92 T1=3.56
|
OPT f=72 TT=2008.92 T1=3.56
|
OPT f=72 TT=14345.2 T1=1793.36
|
OPT f=72 TT=13381.3 T1=1674.16
|
No data | No data | No data | No data |
GolombRuler/ GolombRuler-a3v18-12_c18.xml
|
OPT f=85 TT=8716.4 T1=250.75
|
OPT f=85 TT=8716.4 T1=250.75
|
SAT (TO) f=144 TT=19956.6 T1=2356.64
|
SAT (TO) f=144 TT=19963.6 T1=2305.26
|
No data | No data | No data | No data |
GolombRuler/ GolombRuler-a3v18-13_c18.xml
|
SAT f=106 TT=20048.9 T1=1500.17
|
SAT (TO) f=106 TT=20048.9 T1=1500.17
|
? (TO)
TT=19928.9
|
? (TO)
TT=19936.7
|
No data | No data | No data | No data |
GolombRuler/ GolombRuler-a3v18-14_c18.xml
|
SAT f=133 TT=20065.6 T1=1579.14
|
SAT (TO) f=133 TT=20065.6 T1=1579.14
|
? (TO)
TT=19921.8
|
? (TO)
TT=19932.2
|
No data | No data | No data | No data |
GolombRuler/ GolombRuler-a3v18-15_c18.xml
|
SAT f=160 TT=20029.4 T1=1240.55
|
SAT (TO) f=160 TT=20029.4 T1=1240.55
|
? (TO)
TT=19911.8
|
? (TO)
TT=19920.6
|
No data | No data | No data | No data |
GolombRuler/ GolombRuler-a3v18-16_c18.xml
|
SAT f=190 TT=20042.5 T1=1817.34
|
SAT (TO) f=190 TT=20042.5 T1=1817.34
|
? (TO)
TT=19901.2
|
? (TO)
TT=19902.6
|
No data | No data | No data | No data |
GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml
|
OPT f=44 TT=14.848 T1=1.24
|
OPT f=44 TT=14.848 T1=1.24
|
OPT f=44 TT=43.334 T1=7.46
|
OPT f=44 TT=43.989 T1=7.48
|
No data | No data | No data | No data |
GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml
|
OPT f=55 TT=49.322 T1=2.06
|
OPT f=55 TT=49.322 T1=2.06
|
OPT f=55 TT=421.038 T1=54.03
|
OPT f=55 TT=509.474 T1=65.84
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
GolombRuler/ GolombRuler-a3v18-nodv-11_c18.xml
|
OPT f=72 TT=1822.17 T1=3.99
|
OPT f=72 TT=1822.17 T1=3.99
|
OPT f=72 TT=14373.5 T1=1788.35
|
OPT f=72 TT=13196 T1=1661.49
|
No data | No data | No data | No data |
GracefulGraph/ GracefulGraph-K02-P09_c18.xml
|
SAT TT=1.861
|
SAT TT=1.861
|
SAT TT=9.354
|
SAT TT=14.161
|
SAT TT=6.118
|
SAT TT=7.452
|
SAT TT=7.584
|
SAT TT=8.661
|
GracefulGraph/ GracefulGraph-K03-P03_c18.xml
|
SAT TT=1.682
|
SAT TT=1.682
|
SAT TT=6.019
|
SAT TT=5.427
|
SAT TT=3.422
|
SAT TT=4.651
|
SAT TT=3.362
|
SAT TT=4.563
|
GracefulGraph/ GracefulGraph-K04-P02_c18.xml
|
SAT TT=2.126
|
SAT TT=2.126
|
SAT TT=5.546
|
SAT TT=5.232
|
SAT TT=3.549
|
SAT TT=4.7
|
SAT TT=3.569
|
SAT TT=4.674
|
GracefulGraph/ GracefulGraph-K04-P03_c18.xml
|
SAT TT=2.786
|
SAT TT=2.786
|
SAT TT=9.467
|
SAT TT=11.089
|
SAT TT=8.093
|
SAT TT=19.952
|
SAT TT=27.494
|
SAT TT=8.739
|
GracefulGraph/ GracefulGraph-K04-P04_c18.xml
|
SAT TT=32.09
|
SAT TT=39.306
|
SAT TT=32.09
|
SAT TT=35.223
|
SAT TT=295.609
|
SAT TT=257.186
|
SAT TT=1295.77
|
SAT TT=1824.41
|
GracefulGraph/ GracefulGraph-K05-P02_c18.xml
|
SAT TT=18.133
|
SAT TT=19.028
|
SAT TT=20.467
|
SAT TT=24.338
|
SAT TT=119.693
|
SAT TT=18.133
|
SAT TT=18.416
|
SAT TT=34.3
|
GracefulGraph/ GracefulGraph-K05-P03_c18.xml
|
SAT TT=546.471
|
SAT TT=546.471
|
SAT (TO) TT=6451.43
|
SAT TT=1846.6
|
? (TO) TT=20085.3
|
? (TO) TT=20078.7
|
? (TO) TT=20083.3
|
? (TO) TT=20075
|
GracefulGraph/ GracefulGraph-K06-P02_c18.xml
|
|
? (TO) TT=20023.1
|
? (TO) TT=20003.1
|
? (TO) TT=19962.5
|
? (TO) TT=20086
|
? (TO) TT=20078.1
|
? (TO) TT=20085.4
|
? (TO) TT=20077.9
|
GracefulGraph/ GracefulGraph-K06-P03_c18.xml
|
|
? (TO) TT=19931.3
|
? (TO) TT=20018.1
|
? (TO) TT=20000.7
|
? (TO) TT=20067.8
|
? (TO) TT=20061
|
? (TO) TT=20067.7
|
? (TO) TT=20060.4
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
GracefulGraph/ GracefulGraph-K07-P02_c18.xml
|
|
? (TO) TT=19979
|
? (TO) TT=20009.4
|
? (TO) TT=20001.9
|
? (TO) TT=20077.2
|
? (TO) TT=20070.3
|
? (TO) TT=20079.5
|
? (TO) TT=20069.3
|
GracefulGraph/ GracefulGraph-K07-P03_c18.xml
|
|
? (TO) TT=19887.6
|
? (TO) TT=20015.4
|
? (TO) TT=20005
|
? (TO) TT=20031.4
|
? (TO) TT=20025.5
|
? (TO) TT=20033.5
|
? (TO) TT=20028.7
|
GraphColoring/ GraphColoring-2-fullins-5_c18.xml
|
OPT f=6 TT=356.811 T1=5.42
|
OPT f=6 TT=356.811 T1=5.42
|
SAT (TO) f=6 TT=16967.6 T1=1010.8
|
SAT (TO) f=6 TT=17031.8 T1=1023.78
|
No data | No data | No data | No data |
GraphColoring/ GraphColoring-3-fullins-5_c18.xml
|
OPT f=7 TT=9358.44 T1=10.93
|
OPT f=7 TT=9358.44 T1=10.93
|
SAT (TO) f=1990 TT=19189.9 T1=2475.67
|
SAT (TO) f=1988 TT=19670.6 T1=2505.19
|
No data | No data | No data | No data |
GraphColoring/ GraphColoring-4-fullins-4_c18.xml
|
OPT f=7 TT=95.105 T1=3.88
|
OPT f=7 TT=95.105 T1=3.88
|
OPT f=7 TT=5554.82 T1=450.47
|
OPT f=7 TT=6027.57 T1=398.89
|
No data | No data | No data | No data |
GraphColoring/ GraphColoring-4-fullins-5_c18.xml
|
SAT f=8 TT=19908.3 T1=35.83
|
SAT (TO) f=8 TT=19908.3 T1=35.83
|
?
TT=3129.45
|
?
TT=2600.6
|
No data | No data | No data | No data |
GraphColoring/ GraphColoring-5-fullins-3_c18.xml
|
OPT f=7 TT=13.211 T1=1.38
|
OPT f=7 TT=13.211 T1=1.38
|
OPT f=7 TT=41.459 T1=4.73
|
OPT f=7 TT=49.346 T1=4.33
|
No data | No data | No data | No data |
GraphColoring/ GraphColoring-5-fullins-4_c18.xml
|
OPT f=8 TT=500.122 T1=5.38
|
OPT f=8 TT=500.122 T1=5.38
|
SAT (TO) f=353 TT=19850.2 T1=2520.06
|
SAT (TO) f=392 TT=19918.9 T1=2519.58
|
No data | No data | No data | No data |
GraphColoring/ GraphColoring-qg-order100_c18.xml
|
SAT f=104 TT=19059.4 T1=2068.6
|
SAT (TO) f=104 TT=19059.4 T1=2068.6
|
?
TT=1918.78
|
?
TT=1415.28
|
No data | No data | No data | No data |
GraphColoring/ GraphColoring-qg-order30_c18.xml
|
SAT f=29 TT=20076 T1=7.59
|
SAT (TO) f=29 TT=20076 T1=7.59
|
SAT (TO) f=30 TT=19832.3 T1=1724.02
|
SAT (TO) f=30 TT=19933.6 T1=1624.73
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
GraphColoring/ GraphColoring-qg-order40_c18.xml
|
SAT f=39 TT=20009.6 T1=31.68
|
SAT (TO) f=39 TT=20009.6 T1=31.68
|
SAT (TO) f=1533 TT=19362.2 T1=2513.89
|
SAT (TO) f=1534 TT=19658.8 T1=2499.95
|
No data | No data | No data | No data |
GraphColoring/ GraphColoring-qg-order60_c18.xml
|
SAT f=59 TT=19880.9 T1=363.18
|
SAT (TO) f=59 TT=19880.9 T1=363.18
|
?
TT=3876.91
|
?
TT=2291.08
|
No data | No data | No data | No data |
GraphColoring/ GraphColoring-queen5-5_c18.xml
|
OPT f=4 TT=2.143 T1=0.8
|
OPT f=4 TT=2.143 T1=0.8
|
OPT f=4 TT=8.661 T1=2.5
|
OPT f=4 TT=9.032 T1=2.54
|
No data | No data | No data | No data |
Haystacks/ Haystacks-ext-04_c18.xml
|
UNSAT TT=1.202
|
UNSAT TT=1.202
|
UNSAT TT=2.169
|
UNSAT TT=2.197
|
UNSAT TT=2.271
|
UNSAT TT=3.455
|
UNSAT TT=2.284
|
UNSAT TT=3.444
|
Haystacks/ Haystacks-ext-05_c18.xml
|
UNSAT TT=2.752
|
UNSAT TT=12.796
|
UNSAT TT=7.28
|
UNSAT TT=7.367
|
UNSAT TT=2.752
|
UNSAT TT=3.92
|
UNSAT TT=2.757
|
UNSAT TT=3.929
|
Haystacks/ Haystacks-ext-06_c18.xml
|
UNSAT TT=3.399
|
UNSAT TT=30.471
|
UNSAT TT=2292.45
|
UNSAT TT=2427.49
|
UNSAT TT=3.399
|
UNSAT TT=4.456
|
UNSAT TT=3.419
|
UNSAT TT=4.456
|
Haystacks/ Haystacks-ext-07_c18.xml
|
UNSAT TT=4.168
|
UNSAT TT=1607.87
|
? (TO) TT=19949.5
|
? (TO) TT=19946.3
|
UNSAT TT=4.168
|
UNSAT TT=5.306
|
UNSAT TT=4.236
|
UNSAT TT=5.622
|
Haystacks/ Haystacks-ext-08_c18.xml
|
UNSAT TT=5.327
|
? (TO) TT=15964.2
|
? (TO) TT=19926.7
|
? (TO) TT=19935.7
|
UNSAT TT=5.327
|
UNSAT TT=6.431
|
UNSAT TT=5.329
|
UNSAT TT=6.813
|
Haystacks/ Haystacks-ext-09_c18.xml
|
UNSAT TT=6.373
|
? (TO) TT=17345.9
|
? (TO) TT=19961.7
|
? (TO) TT=19952.4
|
UNSAT TT=6.589
|
UNSAT TT=7.338
|
UNSAT TT=6.373
|
UNSAT TT=7.924
|
Haystacks/ Haystacks-ext-10_c18.xml
|
UNSAT TT=8.427
|
? (TO) TT=18486.4
|
? (TO) TT=19951.4
|
? (TO) TT=19971.6
|
UNSAT TT=8.427
|
UNSAT TT=9.645
|
UNSAT TT=8.46
|
UNSAT TT=9.717
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Haystacks/ Haystacks-ext-11_c18.xml
|
UNSAT TT=12.105
|
? (TO) TT=19129.7
|
? (TO) TT=19934.4
|
? (TO) TT=20012.3
|
UNSAT TT=12.105
|
UNSAT TT=13.342
|
UNSAT TT=12.182
|
UNSAT TT=14.065
|
Haystacks/ Haystacks-ext-12_c18.xml
|
UNSAT TT=23.956
|
? (TO) TT=19726.6
|
? (TO) TT=19993.4
|
? (TO) TT=19984.4
|
UNSAT TT=23.956
|
UNSAT TT=24.647
|
UNSAT TT=25.295
|
UNSAT TT=24.962
|
Haystacks/ Haystacks-ext-13_c18.xml
|
UNSAT TT=93.474
|
? (TO) TT=19799
|
? (TO) TT=19901.4
|
? (TO) TT=19885.6
|
UNSAT TT=97.806
|
UNSAT TT=93.474
|
UNSAT TT=96.669
|
UNSAT TT=103.586
|
Knapsack/ Knapsack-30-100-00_c18.xml
|
OPT f=709 TT=5.364 T1=0.71
|
OPT f=709 TT=5.364 T1=0.71
|
OPT f=709 TT=7.407 T1=2.06
|
OPT f=709 TT=7.33 T1=2.37
|
No data | No data | No data | No data |
Knapsack/ Knapsack-30-100-01_c18.xml
|
OPT f=871 TT=4.623 T1=0.73
|
OPT f=871 TT=4.623 T1=0.73
|
OPT f=871 TT=7.242 T1=2.25
|
OPT f=871 TT=8.201 T1=2.35
|
No data | No data | No data | No data |
Knapsack/ Knapsack-40-150-00_c18.xml
|
OPT f=932 TT=28.487 T1=3.09
|
OPT f=932 TT=28.487 T1=3.09
|
OPT f=932 TT=21.276 T1=4.03
|
OPT f=932 TT=21.021 T1=3.95
|
No data | No data | No data | No data |
Knapsack/ Knapsack-40-150-01_c18.xml
|
OPT f=1128 TT=19.375 T1=1.3
|
OPT f=1128 TT=19.375 T1=1.3
|
OPT f=1128 TT=10.621 T1=2.69
|
OPT f=1128 TT=11.518 T1=2.8
|
No data | No data | No data | No data |
Knapsack/ Knapsack-50-200-00_c18.xml
|
OPT f=960 TT=65.509 T1=9.07
|
OPT f=960 TT=65.509 T1=9.07
|
OPT f=960 TT=24.729 T1=3.68
|
OPT f=960 TT=24.308 T1=3.67
|
No data | No data | No data | No data |
Knapsack/ Knapsack-50-200-01_c18.xml
|
OPT f=1297 TT=37.872 T1=1.24
|
OPT f=1297 TT=37.872 T1=1.24
|
OPT f=1297 TT=26.511 T1=4.28
|
OPT f=1297 TT=32.292 T1=4.97
|
No data | No data | No data | No data |
Knapsack/ Knapsack-60-250-00_c18.xml
|
OPT f=1404 TT=811.333 T1=2.33
|
OPT f=1404 TT=811.333 T1=2.33
|
OPT f=1404 TT=504.01 T1=59.93
|
OPT f=1404 TT=602.559 T1=72.15
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Knapsack/ Knapsack-60-250-01_c18.xml
|
OPT f=1323 TT=710.241 T1=3
|
OPT f=1323 TT=710.241 T1=3
|
OPT f=1323 TT=225.752 T1=24.47
|
OPT f=1323 TT=227.513 T1=24.93
|
No data | No data | No data | No data |
Knapsack/ Knapsack-70-300-00_c18.xml
|
OPT f=1425 TT=2712.32 T1=2.02
|
OPT f=1425 TT=2712.32 T1=2.02
|
OPT f=1425 TT=1817.28 T1=220.01
|
OPT f=1425 TT=1520.19 T1=174.59
|
No data | No data | No data | No data |
Knapsack/ Knapsack-70-300-01_c18.xml
|
OPT f=1465 TT=4157.81 T1=36.94
|
OPT f=1465 TT=4157.81 T1=36.94
|
OPT f=1465 TT=2615.28 T1=293.3
|
OPT f=1465 TT=2407.65 T1=265.06
|
No data | No data | No data | No data |
Knapsack/ Knapsack-80-350-00_c18.xml
|
SAT f=1564 TT=19401.3 T1=170.65
|
SAT (TO) f=1564 TT=19401.3 T1=170.65
|
OPT f=1564 TT=11162.5 T1=1240.92
|
OPT f=1564 TT=10531.1 T1=1215.03
|
No data | No data | No data | No data |
Knapsack/ Knapsack-80-350-01_c18.xml
|
OPT f=1668 TT=12552.2 T1=1623.03
|
OPT f=1668 TT=12552.2 T1=1623.03
|
OPT f=1668 TT=2618.87 T1=306.59
|
OPT f=1668 TT=2878.68 T1=335.13
|
No data | No data | No data | No data |
Knapsack/ Knapsack-90-400-00_c18.xml
|
SAT f=1551 TT=19675.2 T1=49.17
|
SAT (TO) f=1551 TT=19675.2 T1=49.17
|
SAT (TO) f=1513 TT=19880.6 T1=2139.02
|
SAT (TO) f=1529 TT=19885.3 T1=2495.89
|
No data | No data | No data | No data |
Knapsack/ Knapsack-90-400-01_c18.xml
|
OPT f=1681 TT=17741.7 T1=3.09
|
OPT f=1681 TT=17741.7 T1=3.09
|
OPT f=1681 TT=10152.9 T1=1689.14
|
OPT f=1681 TT=11642.9 T1=1570.29
|
No data | No data | No data | No data |
Langford/ LangfordBin-06_c18.xml
|
UNSAT TT=1.526
|
UNSAT TT=1.526
|
UNSAT TT=1.872
|
UNSAT TT=1.819
|
UNSAT TT=2.566
|
UNSAT TT=3.696
|
UNSAT TT=2.562
|
UNSAT TT=3.706
|
Langford/ LangfordBin-07_c18.xml
|
SAT TT=1.241
|
SAT TT=1.241
|
SAT TT=4.023
|
SAT TT=4.078
|
SAT TT=2.8
|
SAT TT=3.93
|
SAT TT=2.768
|
SAT TT=3.994
|
Langford/ LangfordBin-08_c18.xml
|
SAT TT=1.312
|
SAT TT=1.312
|
SAT TT=5.768
|
SAT TT=5.63
|
SAT TT=2.864
|
SAT TT=4.139
|
SAT TT=2.942
|
SAT TT=4.119
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Langford/ LangfordBin-09_c18.xml
|
UNSAT TT=6.091
|
UNSAT TT=14.732
|
UNSAT TT=7.216
|
UNSAT TT=6.576
|
UNSAT TT=6.091
|
UNSAT TT=8.066
|
UNSAT TT=6.234
|
UNSAT TT=8.28
|
Langford/ LangfordBin-10_c18.xml
|
UNSAT TT=10.013
|
UNSAT TT=26.475
|
UNSAT TT=12.463
|
UNSAT TT=10.013
|
UNSAT TT=33.472
|
UNSAT TT=31.022
|
UNSAT TT=31.51
|
UNSAT TT=30.458
|
Langford/ LangfordBin-11_c18.xml
|
SAT TT=1.43
|
SAT TT=1.43
|
SAT TT=5.448
|
SAT TT=4.843
|
SAT TT=3.487
|
SAT TT=4.697
|
SAT TT=3.47
|
SAT TT=4.634
|
Langford/ LangfordBin-12_c18.xml
|
SAT TT=1.446
|
SAT TT=1.446
|
SAT TT=5.457
|
SAT TT=4.701
|
SAT TT=3.662
|
SAT TT=4.839
|
SAT TT=3.613
|
SAT TT=4.785
|
Langford/ LangfordBin-13_c18.xml
|
UNSAT TT=830.692
|
UNSAT TT=6748.91
|
UNSAT TT=954.096
|
UNSAT TT=830.692
|
? (TO) TT=20092.8
|
? (TO) TT=20086.1
|
? (TO) TT=20089.1
|
? (TO) TT=20082.8
|
Langford/ LangfordBin-14_c18.xml
|
UNSAT TT=8226.55
|
? (TO) TT=20074.1
|
UNSAT TT=8953.1
|
UNSAT TT=8226.55
|
? (TO) TT=20090.3
|
? (TO) TT=20080.2
|
? (TO) TT=20090.3
|
? (TO) TT=20084
|
Langford/ LangfordBin-15_c18.xml
|
SAT TT=1.587
|
SAT TT=1.587
|
SAT TT=5.58
|
SAT TT=5.191
|
SAT TT=4.405
|
SAT TT=5.691
|
SAT TT=4.564
|
SAT TT=5.717
|
Langford/ LangfordBin-16_c18.xml
|
SAT TT=1.656
|
SAT TT=1.656
|
SAT TT=580.116
|
SAT TT=5.143
|
SAT TT=4.594
|
SAT TT=5.842
|
SAT TT=4.493
|
SAT TT=5.934
|
LowAutocorrelation/ LowAutocorrelation-015_c18.xml
|
OPT f=15 TT=19.044 T1=1.02
|
OPT f=15 TT=19.044 T1=1.02
|
OPT f=15 TT=9.843 T1=2.54
|
OPT f=15 TT=8.934 T1=2.34
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-020_c18.xml
|
OPT f=26 TT=151.37 T1=2.53
|
OPT f=26 TT=151.37 T1=2.53
|
OPT f=26 TT=20.996 T1=3.08
|
OPT f=26 TT=23.783 T1=3.53
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
LowAutocorrelation/ LowAutocorrelation-021_c18.xml
|
OPT f=26 TT=273.076 T1=10.67
|
OPT f=26 TT=273.076 T1=10.67
|
OPT f=26 TT=23.334 T1=3.75
|
OPT f=26 TT=30.06 T1=4.25
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-022_c18.xml
|
OPT f=39 TT=780.945 T1=3
|
OPT f=39 TT=780.945 T1=3
|
OPT f=39 TT=53.305 T1=3.41
|
OPT f=39 TT=59.985 T1=3.36
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-023_c18.xml
|
OPT f=47 TT=2003.72 T1=2.72
|
OPT f=47 TT=2003.72 T1=2.72
|
OPT f=47 TT=116.518 T1=3.19
|
OPT f=47 TT=147.34 T1=2.96
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-024_c18.xml
|
OPT f=36 TT=2216.11 T1=47.99
|
OPT f=36 TT=2216.11 T1=47.99
|
OPT f=36 TT=185.13 T1=9.14
|
OPT f=36 TT=219.22 T1=9.94
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-025_c18.xml
|
OPT f=36 TT=3191.11 T1=68.65
|
OPT f=36 TT=3191.11 T1=68.65
|
OPT f=36 TT=289.687 T1=9.19
|
OPT f=36 TT=295.737 T1=9.23
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-026_c18.xml
|
OPT f=45 TT=8840.97 T1=22.82
|
OPT f=45 TT=8840.97 T1=22.82
|
OPT f=45 TT=607.861 T1=4.96
|
OPT f=45 TT=727.553 T1=5.32
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-027_c18.xml
|
OPT f=37 TT=6262.31 T1=297.94
|
OPT f=37 TT=6262.31 T1=297.94
|
OPT f=37 TT=964.482 T1=29.08
|
OPT f=37 TT=945.852 T1=28.69
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-028_c18.xml
|
SAT f=50 TT=20060.2 T1=737.34
|
SAT (TO) f=50 TT=20060.2 T1=737.34
|
OPT f=50 TT=2376.53 T1=52.48
|
OPT f=50 TT=2725.5 T1=59.32
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-030_c18.xml
|
SAT f=59 TT=20066.1 T1=793.68
|
SAT (TO) f=59 TT=20066.1 T1=793.68
|
OPT f=59 TT=9382.62 T1=57.97
|
OPT f=59 TT=12892.4 T1=77.52
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-035_c18.xml
|
SAT f=81 TT=20063.9 T1=2092.9
|
SAT (TO) f=81 TT=20063.9 T1=2092.9
|
SAT (TO) f=73 TT=19949.1 T1=481.72
|
SAT (TO) f=73 TT=19977.6 T1=367.3
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
LowAutocorrelation/ LowAutocorrelation-040_c18.xml
|
SAT f=180 TT=20093.3 T1=2084.94
|
SAT (TO) f=180 TT=20093.3 T1=2084.94
|
SAT (TO) f=136 TT=19952 T1=504.83
|
SAT (TO) f=136 TT=19962.3 T1=921.25
|
No data | No data | No data | No data |
LowAutocorrelation/ LowAutocorrelation-050_c18.xml
|
SAT f=377 TT=20090.2 T1=1200.07
|
SAT (TO) f=377 TT=20090.2 T1=1200.07
|
SAT (TO) f=257 TT=19945.1 T1=1437.43
|
SAT (TO) f=257 TT=19943.7 T1=1949.94
|
No data | No data | No data | No data |
MagicHexagon/ MagicHexagon-04-0003_c18.xml
|
SAT TT=1.996
|
SAT TT=1.996
|
? (TO) TT=19963.4
|
? (TO) TT=19970.6
|
SAT TT=20.097
|
SAT TT=89.712
|
SAT TT=30.04
|
SAT TT=61.982
|
MagicHexagon/ MagicHexagon-04-0017_c18.xml
|
UNSAT TT=9.004
|
UNSAT TT=13.117
|
UNSAT TT=9.004
|
UNSAT TT=9.066
|
UNSAT TT=20.146
|
UNSAT TT=21.403
|
UNSAT TT=21.094
|
UNSAT TT=24.719
|
MagicHexagon/ MagicHexagon-04-m004_c18.xml
|
SAT TT=3.173
|
SAT TT=3.173
|
? (TO) TT=19969.5
|
? (TO) TT=19978.6
|
SAT TT=43.336
|
SAT TT=70.782
|
SAT TT=100.815
|
SAT TT=59.124
|
MagicHexagon/ MagicHexagon-05-0006_c18.xml
|
SAT TT=2321.49
|
? (TO) TT=20013.2
|
? (TO) TT=19972.2
|
? (TO) TT=19969.1
|
? (TO) TT=20043.1
|
SAT TT=8935.99
|
SAT TT=4713.26
|
SAT TT=2321.49
|
MagicHexagon/ MagicHexagon-05-m003_c18.xml
|
SAT TT=4556.42
|
? (TO) TT=19994.9
|
? (TO) TT=19973.3
|
? (TO) TT=19957.8
|
SAT TT=4556.42
|
? (TO) TT=20032
|
SAT TT=8421.25
|
SAT TT=6879.73
|
MagicHexagon/ MagicHexagon-06-0010_c18.xml
|
|
? (TO) TT=19994.5
|
? (TO) TT=19939.7
|
? (TO) TT=19949.9
|
? (TO) TT=20063.4
|
? (TO) TT=20055.6
|
? (MO) TT=23.57
|
? (TO) TT=19968.4
|
MagicHexagon/ MagicHexagon-06-m001_c18.xml
|
|
? (TO) TT=19828.8
|
? (TO) TT=19959.2
|
? (TO) TT=19955.4
|
? (TO) TT=20066.8
|
? (TO) TT=20056.2
|
? (MO) TT=24.579
|
? (TO) TT=19974.4
|
MagicHexagon/ MagicHexagon-07-0002_c18.xml
|
|
? (TO) TT=19687.8
|
? (TO) TT=19921.8
|
? (TO) TT=19931
|
? (TO) TT=20038.2
|
? (TO) TT=20027.7
|
? (MO) TT=54.276
|
? (TO) TT=19702.9
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
MagicHexagon/ MagicHexagon-07-m011_c18.xml
|
|
? (TO) TT=19339.4
|
? (TO) TT=19925.5
|
? (TO) TT=19937.2
|
? (TO) TT=20038.4
|
? (TO) TT=20029
|
? (MO) TT=57.581
|
? (TO) TT=19716.2
|
MagicHexagon/ MagicHexagon-08-0006_c18.xml
|
|
? (TO) TT=19865.1
|
? (TO) TT=19908.5
|
? (TO) TT=19923.1
|
? (MO) TT=16791.6
|
? (TO) TT=19976.5
|
? (MO) TT=131.271
|
? (MO) TT=149.924
|
MagicHexagon/ MagicHexagon-08-m009_c18.xml
|
|
? (TO) TT=19722.5
|
? (TO) TT=19933.4
|
? (TO) TT=19931.2
|
? (MO) TT=16610.5
|
? (TO) TT=19980.4
|
? (MO) TT=127.526
|
? (MO) TT=152.417
|
Mario/ Mario-easy-2_c18.xml
|
OPT f=628 TT=2.595 T1=0.84
|
OPT f=628 TT=2.595 T1=0.84
|
OPT f=628 TT=8.935 T1=2.79
|
OPT f=628 TT=8.287 T1=2.67
|
No data | No data | No data | No data |
Mario/ Mario-easy-4_c18.xml
|
OPT f=545 TT=4.581 T1=1.03
|
OPT f=545 TT=4.581 T1=1.03
|
OPT f=545 TT=8.818 T1=2.58
|
OPT f=545 TT=8.179 T1=2.52
|
No data | No data | No data | No data |
Mario/ Mario-easy-5_c18.xml
|
OPT f=445 TT=5.802 T1=0.91
|
OPT f=445 TT=5.802 T1=0.91
|
OPT f=445 TT=8.53 T1=2.64
|
OPT f=445 TT=8.256 T1=2.61
|
No data | No data | No data | No data |
Mario/ Mario-n-medium-2_c18.xml
|
OPT f=1053 TT=336.907 T1=25.72
|
OPT f=1053 TT=336.907 T1=25.72
|
OPT f=1053 TT=83.768 T1=7.41
|
OPT f=1053 TT=70.651 T1=6.09
|
No data | No data | No data | No data |
Mario/ Mario-n-medium-3_c18.xml
|
OPT f=943 TT=177.617 T1=4.78
|
OPT f=943 TT=177.617 T1=4.78
|
OPT f=943 TT=40.881 T1=6.3
|
OPT f=943 TT=45.306 T1=6.76
|
No data | No data | No data | No data |
Mario/ Mario-n-medium-4_c18.xml
|
OPT f=832 TT=153.966 T1=4.56
|
OPT f=832 TT=153.966 T1=4.56
|
OPT f=832 TT=42.413 T1=6.53
|
OPT f=832 TT=51.313 T1=7.55
|
No data | No data | No data | No data |
Mario/ Mario-n-medium-5_c18.xml
|
OPT f=771 TT=169.914 T1=6.08
|
OPT f=771 TT=169.914 T1=6.08
|
OPT f=771 TT=41.03 T1=5.4
|
OPT f=771 TT=49.815 T1=6.29
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Mario/ Mario-t-hard-1_c18.xml
|
OPT f=4783 TT=18.848 T1=4.19
|
OPT f=4783 TT=18.848 T1=4.19
|
OPT f=4783 TT=28.336 T1=6.69
|
OPT f=4783 TT=30.352 T1=6.5
|
No data | No data | No data | No data |
Mario/ Mario-t-hard-2_c18.xml
|
OPT f=4850 TT=68.642 T1=15.86
|
OPT f=4850 TT=68.642 T1=15.86
|
OPT f=4850 TT=31.019 T1=6.82
|
OPT f=4850 TT=30.169 T1=7.12
|
No data | No data | No data | No data |
Mario/ Mario-t-hard-5_c18.xml
|
OPT f=4482 TT=24.926 T1=4.51
|
OPT f=4482 TT=24.926 T1=4.51
|
OPT f=4482 TT=26.582 T1=6.15
|
OPT f=4482 TT=28.471 T1=6.32
|
No data | No data | No data | No data |
MisteryShopper/ MisteryShopper-04_c18.xml
|
SAT TT=2.498
|
SAT TT=2.498
|
SAT TT=13.325
|
SAT TT=13.037
|
SAT TT=7.597
|
SAT TT=8.637
|
SAT TT=7.816
|
SAT TT=8.954
|
MisteryShopper/ MisteryShopper-06a_c18.xml
|
SAT TT=4.675
|
SAT TT=4.675
|
SAT TT=11.549
|
SAT TT=11.26
|
SAT TT=16.532
|
SAT TT=18.083
|
SAT TT=16.281
|
SAT TT=17.616
|
MisteryShopper/ MisteryShopper-06b_c18.xml
|
SAT TT=7.172
|
SAT TT=7.172
|
SAT (TO) TT=2576.35
|
SAT (TO) TT=3114.1
|
SAT TT=23.331
|
SAT TT=24.508
|
SAT TT=23.507
|
SAT TT=24.254
|
MisteryShopper/ MisteryShopper-06c_c18.xml
|
SAT TT=10.49
|
SAT TT=10.49
|
SAT TT=17.917
|
SAT (TO) TT=6093.09
|
SAT TT=40.716
|
SAT TT=43.651
|
SAT TT=38.608
|
SAT TT=47.211
|
MisteryShopper/ MisteryShopper-06d_c18.xml
|
SAT TT=13.579
|
SAT TT=13.579
|
SAT TT=19040.4
|
SAT TT=18758.9
|
SAT TT=130.286
|
SAT TT=136.989
|
SAT TT=119.332
|
SAT TT=118.281
|
MisteryShopper/ MisteryShopper-10a_c18.xml
|
SAT TT=4.866
|
SAT TT=4.866
|
SAT TT=11.723
|
SAT TT=15.863
|
SAT TT=16.752
|
SAT TT=18.246
|
SAT TT=16.778
|
SAT TT=18.003
|
MisteryShopper/ MisteryShopper-10b_c18.xml
|
SAT TT=8.328
|
SAT TT=8.328
|
? (TO) TT=19985
|
? (TO) TT=19992
|
SAT TT=29.049
|
SAT TT=28.474
|
SAT TT=28.988
|
SAT TT=29.407
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
MisteryShopper/ MisteryShopper-10c_c18.xml
|
SAT TT=11.872
|
SAT TT=11.872
|
? (TO) TT=19988.6
|
? (TO) TT=19985.8
|
SAT TT=64.647
|
SAT TT=66.401
|
SAT TT=65.946
|
SAT TT=55.624
|
MisteryShopper/ MisteryShopper-10d_c18.xml
|
SAT TT=16.639
|
SAT TT=16.639
|
? (TO) TT=20016.2
|
? (TO) TT=20013.9
|
SAT TT=533.482
|
SAT TT=305.202
|
SAT TT=472.571
|
SAT TT=471.342
|
MisteryShopper/ MisteryShopper-12_c18.xml
|
SAT TT=14.705
|
SAT TT=14.705
|
? (TO) TT=20010.9
|
? (TO) TT=20009.8
|
SAT TT=101.005
|
SAT TT=90.61
|
SAT TT=122.415
|
SAT TT=80.31
|
NurseRostering/ NurseRostering-00_c18.xml
|
OPT f=1202 TT=43.942 T1=4.86
|
OPT f=1202 TT=43.942 T1=4.86
|
Wrong Cert.
TT=17.389
|
Wrong Opt. f=1207 TT=23.51 T1=4.76
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-01_c18.xml
|
OPT f=607 TT=106.709 T1=10.81
|
OPT f=607 TT=106.709 T1=10.81
|
OPT f=607 TT=102.045 T1=14.75
|
Wrong Cert.
TT=48.271
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-02_c18.xml
|
SAT f=1422 TT=20064.2 T1=1972.73
|
SAT (TO) f=1422 TT=20064.2 T1=1972.73
|
Wrong Cert.
TT=20028.1
|
SAT (TO) f=2166 TT=20000.8 T1=2140.26
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-03_c18.xml
|
SAT f=1601 TT=20031.2 T1=689.62
|
SAT (TO) f=1601 TT=20031.2 T1=689.62
|
Wrong Cert.
TT=20033.9
|
Wrong Cert.
TT=20041.8
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-04_c18.xml
|
SAT f=2619 TT=20008.7 T1=75.89
|
SAT (TO) f=2619 TT=20008.7 T1=75.89
|
Wrong Cert.
TT=20032
|
? (TO)
TT=20038.4
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-05_c18.xml
|
SAT f=2827 TT=20005.2 T1=1078.56
|
SAT (TO) f=2827 TT=20005.2 T1=1078.56
|
?
TT=16.711
|
?
TT=18.132
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-06_c18.xml
|
SAT f=4569 TT=20047.8 T1=22.51
|
SAT (TO) f=4569 TT=20047.8 T1=22.51
|
? (TO)
TT=17560.4
|
?
TT=20.5
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
NurseRostering/ NurseRostering-07_c18.xml
|
SAT f=5067 TT=20015.5 T1=41.63
|
SAT (TO) f=5067 TT=20015.5 T1=41.63
|
? (TO)
TT=19990.9
|
?
TT=17.797
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-08_c18.xml
|
SAT f=10125 TT=20047.1 T1=127.96
|
SAT (TO) f=10125 TT=20047.1 T1=127.96
|
?
TT=26.421
|
?
TT=26.094
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-09_c18.xml
|
SAT f=2455 TT=19998.6 T1=1366.09
|
SAT (TO) f=2455 TT=19998.6 T1=1366.09
|
?
TT=26.172
|
?
TT=25.901
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-10_c18.xml
|
SAT f=10766 TT=20050 T1=1841.4
|
SAT (TO) f=10766 TT=20050 T1=1841.4
|
? (TO)
TT=20023.3
|
? (TO)
TT=20042.2
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-11_c18.xml
|
|
? (TO)
TT=20086.2
|
? (TO)
TT=20032.4
|
? (TO)
TT=20052.1
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-12_c18.xml
|
|
? (TO)
TT=20062.7
|
? (TO)
TT=20026.7
|
? (TO)
TT=20044.3
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-13_c18.xml
|
|
? (TO)
TT=20001.4
|
? (TO)
TT=19991.3
|
? (TO)
TT=20000.9
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-14_c18.xml
|
|
? (TO)
TT=20086
|
?
TT=36.123
|
?
TT=28.842
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-15_c18.xml
|
|
? (TO)
TT=20060.7
|
? (TO)
TT=20050.5
|
? (TO)
TT=20042.6
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-16_c18.xml
|
|
? (TO)
TT=20035.9
|
?
TT=31.133
|
? (TO)
TT=20044.5
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
NurseRostering/ NurseRostering-17_c18.xml
|
|
? (TO)
TT=20079.7
|
?
TT=34.767
|
? (TO)
TT=20048.2
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-18_c18.xml
|
|
? (TO)
TT=20062
|
? (TO)
TT=20043.4
|
? (TO)
TT=20040.7
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-19_c18.xml
|
|
? (TO)
TT=20056.5
|
? (TO)
TT=20026.9
|
? (TO)
TT=20029.3
|
No data | No data | No data | No data |
NurseRostering/ NurseRostering-20_c18.xml
|
|
? (TO)
TT=19981.5
|
? (TO)
TT=19911.3
|
? (TO)
TT=19919.7
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m1-05_c18.xml
|
OPT f=4 TT=4.641 T1=1.01
|
OPT f=4 TT=4.641 T1=1.01
|
OPT f=4 TT=8.264 T1=2.68
|
OPT f=4 TT=7.313 T1=2.65
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m1-07_c18.xml
|
OPT f=7 TT=112.098 T1=1.52
|
OPT f=7 TT=112.098 T1=1.52
|
OPT f=7 TT=48.499 T1=3.19
|
OPT f=7 TT=50.359 T1=3.19
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m1-10_c18.xml
|
SAT f=14 TT=19748.2 T1=10.84
|
SAT (TO) f=14 TT=19748.2 T1=10.84
|
SAT (TO) f=13 TT=19934.1 T1=1222.27
|
SAT (TO) f=13 TT=19923.5 T1=1557.49
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m1-15_c18.xml
|
SAT f=31 TT=20060.2 T1=52.07
|
SAT (TO) f=31 TT=20060.2 T1=52.07
|
SAT (TO) f=17 TT=19933 T1=1789.09
|
SAT (TO) f=17 TT=19930 T1=1370.37
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m1-20_c18.xml
|
SAT f=52 TT=20057.5 T1=245.21
|
SAT (TO) f=52 TT=20057.5 T1=245.21
|
SAT (TO) f=16 TT=20011.2 T1=338.92
|
SAT (TO) f=16 TT=20007.7 T1=301.01
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m1-30_c18.xml
|
SAT f=105 TT=19958.9 T1=641.87
|
SAT (TO) f=105 TT=19958.9 T1=641.87
|
SAT (TO) f=20 TT=19974.2 T1=1534.82
|
SAT (TO) f=20 TT=19970.1 T1=1436.32
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
PeacableArmies/ PeacableArmies-m1-50_c18.xml
|
SAT f=214 TT=19389.3 T1=1969.21
|
SAT (TO) f=214 TT=19389.3 T1=1969.21
|
SAT (TO) f=15 TT=19705.9 T1=1495.93
|
SAT (TO) f=15 TT=19696.5 T1=1760.95
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m2-05_c18.xml
|
OPT f=4 TT=3.334 T1=0.84
|
OPT f=4 TT=3.334 T1=0.84
|
OPT f=4 TT=13.167 T1=2.74
|
OPT f=4 TT=12.224 T1=2.55
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m2-07_c18.xml
|
OPT f=7 TT=31.229 T1=1.18
|
OPT f=7 TT=31.229 T1=1.18
|
SAT (TO) f=7 TT=19906.7 T1=78.63
|
SAT (TO) f=7 TT=19916.7 T1=92.14
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m2-10_c18.xml
|
SAT f=14 TT=20056.3 T1=2.44
|
SAT (TO) f=14 TT=20056.3 T1=2.44
|
SAT (TO) f=9 TT=19907.8 T1=33.82
|
SAT (TO) f=9 TT=19929.6 T1=37.29
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m2-15_c18.xml
|
SAT f=28 TT=20054.5 T1=29.36
|
SAT (TO) f=28 TT=20054.5 T1=29.36
|
SAT (TO) f=10 TT=19944.3 T1=97.7
|
SAT (TO) f=10 TT=19940.8 T1=75.6
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m2-20_c18.xml
|
SAT f=48 TT=20065.9 T1=16.72
|
SAT (TO) f=48 TT=20065.9 T1=16.72
|
SAT (TO) f=10 TT=19967.9 T1=13.41
|
SAT (TO) f=10 TT=19940.4 T1=16.04
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m2-30_c18.xml
|
SAT f=95 TT=20021.8 T1=85.34
|
SAT (TO) f=95 TT=20021.8 T1=85.34
|
SAT (TO) f=10 TT=20034.8 T1=2084.73
|
SAT (TO) f=10 TT=20031.1 T1=1910.33
|
No data | No data | No data | No data |
PeacableArmies/ PeacableArmies-m2-50_c18.xml
|
SAT f=250 TT=19747.7 T1=1261.32
|
SAT (TO) f=250 TT=19747.7 T1=1261.32
|
SAT (TO) f=2 TT=20000.8 T1=20.28
|
SAT (TO) f=2 TT=20004.7 T1=20.44
|
No data | No data | No data | No data |
PizzaVoucher/ PizzaVoucher-10a_c18.xml
|
OPT f=210 TT=12.718 T1=2.21
|
OPT f=210 TT=12.718 T1=2.21
|
OPT f=210 TT=436.445 T1=54.45
|
OPT f=210 TT=471.142 T1=58.93
|
No data | No data | No data | No data |
PizzaVoucher/ PizzaVoucher-10b_c18.xml
|
OPT f=28 TT=12.792 T1=1.07
|
OPT f=28 TT=12.792 T1=1.07
|
OPT f=28 TT=501.389 T1=62.3
|
OPT f=28 TT=501.005 T1=62.07
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
PizzaVoucher/ PizzaVoucher-12a_c18.xml
|
OPT f=40 TT=27.426 T1=3.31
|
OPT f=40 TT=27.426 T1=3.31
|
? (TO)
TT=20047.5
|
? (TO)
TT=20034
|
No data | No data | No data | No data |
PizzaVoucher/ PizzaVoucher-12b_c18.xml
|
OPT f=40 TT=45.917 T1=1.12
|
OPT f=40 TT=45.917 T1=1.12
|
? (TO)
TT=20007.4
|
? (TO)
TT=20015.9
|
No data | No data | No data | No data |
PizzaVoucher/ PizzaVoucher-15a_c18.xml
|
OPT f=42 TT=14688.1 T1=90.09
|
OPT f=42 TT=14688.1 T1=90.09
|
? (TO)
TT=20028.6
|
? (TO)
TT=20028.3
|
No data | No data | No data | No data |
PizzaVoucher/ PizzaVoucher-15b_c18.xml
|
SAT f=42 TT=20055.1 T1=88.54
|
SAT (TO) f=42 TT=20055.1 T1=88.54
|
? (TO)
TT=20011.7
|
? (TO)
TT=20033.1
|
No data | No data | No data | No data |
PizzaVoucher/ PizzaVoucher-18a_c18.xml
|
SAT f=49 TT=20046 T1=2405.94
|
SAT (TO) f=49 TT=20046 T1=2405.94
|
? (TO)
TT=19964.1
|
? (TO)
TT=19990.1
|
No data | No data | No data | No data |
PizzaVoucher/ PizzaVoucher-18b_c18.xml
|
SAT f=54 TT=20053.7 T1=53.08
|
SAT (TO) f=54 TT=20053.7 T1=53.08
|
? (TO)
TT=19986.9
|
? (TO)
TT=19976.3
|
No data | No data | No data | No data |
PizzaVoucher/ PizzaVoucher-22a_c18.xml
|
SAT f=61 TT=20058.5 T1=1489.38
|
SAT (TO) f=61 TT=20058.5 T1=1489.38
|
? (TO)
TT=19974.9
|
? (TO)
TT=19986.7
|
No data | No data | No data | No data |
PizzaVoucher/ PizzaVoucher-22b_c18.xml
|
SAT f=52 TT=20066.6 T1=305.97
|
SAT (TO) f=52 TT=20066.6 T1=305.97
|
? (TO)
TT=19979.7
|
? (TO)
TT=19967.5
|
No data | No data | No data | No data |
PseudoBoolean-dec/ Pb-chnl10-11_c18.xml
|
UNSAT TT=238.89
|
UNSAT TT=1679.94
|
UNSAT TT=1390.28
|
UNSAT TT=757.52
|
UNSAT TT=238.89
|
UNSAT TT=307.707
|
UNSAT TT=269.967
|
UNSAT TT=264.883
|
PseudoBoolean-dec/ Pb-chnl15-16_c18.xml
|
UNSAT TT=481.692
|
? (TO) TT=19075.5
|
? (TO) TT=19950.9
|
? (TO) TT=19945.2
|
? (TO) TT=20091.4
|
? (TO) TT=20083.3
|
UNSAT TT=568.427
|
UNSAT TT=481.692
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
PseudoBoolean-dec/ Pb-chnl20-21_c18.xml
|
|
? (TO) TT=19648.4
|
? (TO) TT=19942.1
|
? (TO) TT=19936.9
|
? (TO) TT=20090.2
|
? (TO) TT=20082.4
|
? (TO) TT=20087.6
|
? (TO) TT=20081.8
|
PseudoBoolean-dec/ Pb-chnl30-31_c18.xml
|
|
? (TO) TT=19931.4
|
? (TO) TT=19937
|
? (TO) TT=19931.2
|
? (TO) TT=20089
|
? (TO) TT=20079.3
|
? (TO) TT=20076.6
|
? (TO) TT=20071.7
|
PseudoBoolean-dec/ Pb-chnl50-51_c18.xml
|
|
? (TO) TT=19981
|
? (TO) TT=19947.9
|
? (TO) TT=19953.8
|
? (TO) TT=20083.8
|
? (TO) TT=20069.7
|
? (MO) TT=11479.1
|
? (TO) TT=20061.7
|
PseudoBoolean-dec/ Pb-fpga25-25-sat_c18.xml
|
SAT TT=3.404
|
SAT TT=3.404
|
? (TO) TT=19944
|
? (TO) TT=19943.5
|
SAT TT=8.978
|
SAT TT=10.966
|
SAT TT=9.838
|
SAT TT=11.617
|
PseudoBoolean-dec/ Pb-fpga45-45-sat_c18.xml
|
SAT TT=5.761
|
SAT TT=5.761
|
? (TO) TT=19906.5
|
? (TO) TT=19917.1
|
SAT TT=15.271
|
SAT TT=17.961
|
SAT TT=28.448
|
SAT TT=30.886
|
PseudoBoolean-dec/ Pb-robin08_c18.xml
|
SAT TT=4.46
|
SAT TT=4.46
|
SAT (TO) TT=12534.2
|
SAT TT=7.391
|
SAT TT=7.759
|
SAT TT=10.247
|
SAT TT=10.436
|
SAT TT=12.294
|
PseudoBoolean-dec/ Pb-robin10_c18.xml
|
SAT TT=12.813
|
SAT TT=35.797
|
SAT TT=12.892
|
SAT TT=12.813
|
SAT TT=15.73
|
SAT TT=17.883
|
SAT TT=18.724
|
SAT TT=20.611
|
PseudoBoolean-dec/ Pb-robin12_c18.xml
|
SAT TT=37.16
|
SAT TT=173.494
|
SAT TT=55.645
|
SAT TT=54.429
|
SAT TT=118.679
|
SAT TT=372.782
|
SAT TT=37.16
|
SAT TT=73.904
|
PseudoBoolean-dec/ Pb-robin14_c18.xml
|
|
? (TO) TT=20094.1
|
? (TO) TT=19895.9
|
? (TO) TT=19900.1
|
? (TO) TT=20018.2
|
? (TO) TT=20004.1
|
? (TO) TT=19913.9
|
? (TO) TT=19902.5
|
PseudoBoolean-dec/ Pb-robin16_c18.xml
|
|
? (TO) TT=20089.1
|
? (TO) TT=19938.9
|
? (TO) TT=19933.6
|
? (TO) TT=19952.3
|
? (TO) TT=19931.7
|
? (MO) TT=117.62
|
? (TO) TT=19426.4
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
PseudoBoolean-dec/ Pb-robin18_c18.xml
|
|
? (TO) TT=20078.3
|
? (TO) TT=19885.7
|
? (TO) TT=19887.5
|
? (MO) TT=13162.8
|
? (TO) TT=19787.8
|
? (MO) TT=95.674
|
? (TO) TT=19619.6
|
PseudoBoolean-opt/ Pb-circ10-3_c18.xml
|
SAT f=354 TT=20054.6 T1=366.36
|
SAT (TO) f=354 TT=20054.6 T1=366.36
|
? (TO)
TT=20044.2
|
? (TO)
TT=20049.4
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-circ4-3_c18.xml
|
OPT f=20 TT=8.798 T1=0.94
|
OPT f=20 TT=8.798 T1=0.94
|
OPT f=20 TT=13.449 T1=3.21
|
OPT f=20 TT=13.768 T1=3.12
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-circ6-3_c18.xml
|
SAT f=66 TT=20086 T1=256.43
|
SAT (TO) f=66 TT=20086 T1=256.43
|
SAT (TO) f=70 TT=20045.6 T1=718.24
|
SAT (TO) f=70 TT=20040.6 T1=850.19
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-circ8-3_c18.xml
|
SAT f=166 TT=20088.4 T1=140.55
|
SAT (TO) f=166 TT=20088.4 T1=140.55
|
? (TO)
TT=20065.4
|
? (TO)
TT=20063.7
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-garden-100x100_c18.xml
|
SAT f=2858 TT=20091.2 T1=18.59
|
SAT (TO) f=2858 TT=20091.2 T1=18.59
|
SAT (TO) f=9869 TT=19991.9 T1=1837.64
|
SAT (TO) f=9869 TT=19992.3 T1=2300.27
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-garden-15x15_c18.xml
|
SAT f=57 TT=20039.7 T1=459.89
|
SAT (TO) f=57 TT=20039.7 T1=459.89
|
SAT (TO) f=166 TT=19924.5 T1=2005.02
|
SAT (TO) f=166 TT=19926.3 T1=2206.06
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-garden-4x4_c18.xml
|
OPT f=4 TT=1.146 T1=0.54
|
OPT f=4 TT=1.146 T1=0.54
|
OPT f=4 TT=5.892 T1=2.11
|
OPT f=4 TT=5.41 T1=2.06
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-garden-7x7_c18.xml
|
OPT f=12 TT=266.318 T1=0.84
|
OPT f=12 TT=266.318 T1=0.84
|
OPT f=12 TT=99.398 T1=13.8
|
OPT f=12 TT=105.156 T1=14.4
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-garden-9x9_c18.xml
|
SAT f=20 TT=19431.1 T1=4.22
|
SAT (TO) f=20 TT=19431.1 T1=4.22
|
SAT (TO) f=27 TT=19935.9 T1=2413.52
|
SAT (TO) f=28 TT=19917.8 T1=1603.15
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
PseudoBoolean-opt/ Pb-radar-10-10-45-050-100_c18.xml
|
SAT f=5 TT=20058.3 T1=817.36
|
SAT (TO) f=5 TT=20058.3 T1=817.36
|
SAT (TO) f=32 TT=19916.1 T1=1995.04
|
SAT (TO) f=36 TT=19934.7 T1=6.16
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-radar-10-20-45-050-100_c18.xml
|
SAT f=10 TT=20007.7 T1=33.21
|
SAT (TO) f=10 TT=20007.7 T1=33.21
|
SAT (TO) f=116 TT=19935.1 T1=2497.73
|
SAT (TO) f=116 TT=19936.5 T1=2439.15
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-radar-30-30-45-050-100_c18.xml
|
SAT f=85 TT=19669.8 T1=1567.06
|
SAT (TO) f=85 TT=19669.8 T1=1567.06
|
SAT (TO) f=2347 TT=19714 T1=2365.92
|
SAT (TO) f=2345 TT=19721.3 T1=2225.72
|
No data | No data | No data | No data |
PseudoBoolean-opt/ Pb-radar-30-70-45-050-100_c18.xml
|
SAT f=360 TT=18932 T1=2496.72
|
SAT (TO) f=360 TT=18932 T1=2496.72
|
SAT (TO) f=9294 TT=18705.6 T1=2475.92
|
SAT (TO) f=9288 TT=18679.1 T1=2502.72
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-esc128_c18.xml
|
SAT f=32 TT=20013.7 T1=24.7
|
SAT (TO) f=32 TT=20013.7 T1=24.7
|
SAT (TO) f=118 TT=20054.4 T1=363.99
|
SAT (TO) f=132 TT=20050.9 T1=407.92
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-esc16a_c18.xml
|
SAT f=34 TT=20065.2 T1=3.95
|
SAT (TO) f=34 TT=20065.2 T1=3.95
|
OPT f=34 TT=14574.9 T1=1030.82
|
OPT f=34 TT=17876.4 T1=1232.22
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-esc16d_c18.xml
|
OPT f=8 TT=190.048 T1=0.95
|
OPT f=8 TT=190.048 T1=0.95
|
OPT f=8 TT=85.327 T1=10.38
|
OPT f=8 TT=94.462 T1=11.73
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-esc32a_c18.xml
|
SAT f=70 TT=20086.3 T1=1016.37
|
SAT (TO) f=70 TT=20086.3 T1=1016.37
|
SAT (TO) f=112 TT=19988.8 T1=2515.37
|
SAT (TO) f=117 TT=19959.1 T1=2273.61
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-esc32d_c18.xml
|
SAT f=103 TT=20072.7 T1=80.52
|
SAT (TO) f=103 TT=20072.7 T1=80.52
|
SAT (TO) f=127 TT=20006.3 T1=399.07
|
SAT (TO) f=124 TT=19978.6 T1=1401.93
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-esc64a_c18.xml
|
SAT f=58 TT=20085 T1=3.08
|
SAT (TO) f=58 TT=20085 T1=3.08
|
SAT (TO) f=79 TT=20005.8 T1=5.54
|
SAT (TO) f=79 TT=19990.4 T1=6.91
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
QuadraticAssignment/ QuadraticAssignment-had12_c18.xml
|
SAT f=830 TT=20046.2 T1=633.55
|
SAT (TO) f=830 TT=20046.2 T1=633.55
|
SAT (TO) f=826 TT=19957.8 T1=1585.06
|
SAT (TO) f=826 TT=19961.5 T1=2182.04
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-had14_c18.xml
|
SAT f=1366 TT=20053.9 T1=78.53
|
SAT (TO) f=1366 TT=20053.9 T1=78.53
|
SAT (TO) f=1375 TT=19995.7 T1=150.05
|
SAT (TO) f=1372 TT=19963.1 T1=685.21
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-had16_c18.xml
|
SAT f=1861 TT=20055 T1=2266.48
|
SAT (TO) f=1861 TT=20055 T1=2266.48
|
SAT (TO) f=1913 TT=19963.4 T1=219.45
|
SAT (TO) f=1910 TT=19983.3 T1=1606.83
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-had18_c18.xml
|
SAT f=2742 TT=20062.4 T1=2126.64
|
SAT (TO) f=2742 TT=20062.4 T1=2126.64
|
SAT (TO) f=2759 TT=19990.2 T1=1407.44
|
SAT (TO) f=2761 TT=19998.3 T1=1355.01
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-had20_c18.xml
|
SAT f=3572 TT=20067.1 T1=2100.93
|
SAT (TO) f=3572 TT=20067.1 T1=2100.93
|
SAT (TO) f=3580 TT=19986.1 T1=452.48
|
SAT (TO) f=3580 TT=20019.1 T1=2188.23
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-qap_c18.xml
|
OPT f=4776 TT=3.8 T1=0.79
|
OPT f=4776 TT=3.8 T1=0.79
|
OPT f=4776 TT=8.398 T1=2.5
|
OPT f=4776 TT=8.188 T1=2.47
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-sko42_c18.xml
|
SAT f=9095 TT=20044.4 T1=118.88
|
SAT (TO) f=9095 TT=20044.4 T1=118.88
|
SAT (TO) f=9204 TT=20045.9 T1=1245.94
|
SAT (TO) f=9242 TT=20041.2 T1=1007.57
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml
|
SAT f=12886 TT=20005.5 T1=919.06
|
SAT (TO) f=12886 TT=20005.5 T1=919.06
|
SAT (TO) f=13461 TT=20048.7 T1=1069.74
|
SAT (TO) f=13461 TT=20050.7 T1=1026.84
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-sko56_c18.xml
|
SAT f=19322 TT=19929.6 T1=1267.28
|
SAT (TO) f=19322 TT=19929.6 T1=1267.28
|
? (TO)
TT=20041.2
|
? (TO)
TT=20045.7
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-sko64_c18.xml
|
SAT f=26874 TT=19862.1 T1=2032.1
|
SAT (TO) f=26874 TT=19862.1 T1=2032.1
|
SAT (TO) f=27942 TT=20017.8 T1=2361.77
|
SAT (TO) f=27938 TT=20013.5 T1=2195.97
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
QuadraticAssignment/ QuadraticAssignment-sko72_c18.xml
|
SAT f=36562 TT=19485.5 T1=1475.51
|
SAT (TO) f=36562 TT=19485.5 T1=1475.51
|
? (TO)
TT=19991.3
|
? (TO)
TT=19998
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-sko81_c18.xml
|
SAT f=50633 TT=19392.9 T1=2204.54
|
SAT (TO) f=50633 TT=19392.9 T1=2204.54
|
? (TO)
TT=19957.4
|
? (TO)
TT=19952.9
|
No data | No data | No data | No data |
QuadraticAssignment/ QuadraticAssignment-sko90_c18.xml
|
|
?
TT=3779.9
|
?
TT=1090.17
|
? (TO)
TT=19358.5
|
No data | No data | No data | No data |
Quasigroups/ QuasiGroup-4-07_c18.xml
|
UNSAT TT=6.884
|
UNSAT TT=15.545
|
UNSAT TT=7.889
|
UNSAT TT=6.884
|
UNSAT TT=8.794
|
UNSAT TT=9.733
|
UNSAT TT=8.844
|
UNSAT TT=9.949
|
Quasigroups/ QuasiGroup-4-08_c18.xml
|
UNSAT TT=79.218
|
UNSAT TT=557.525
|
UNSAT TT=79.218
|
UNSAT TT=84.499
|
UNSAT TT=167.705
|
UNSAT TT=172.082
|
UNSAT TT=166.954
|
UNSAT TT=179.948
|
Quasigroups/ QuasiGroup-4-09_c18.xml
|
SAT TT=4.818
|
SAT TT=4.818
|
SAT TT=10.087
|
SAT TT=381.771
|
SAT TT=10.614
|
SAT TT=12.121
|
SAT TT=10.499
|
SAT TT=11.853
|
Quasigroups/ QuasiGroup-4-10_c18.xml
|
|
? (TO) TT=20078.1
|
? (TO) TT=19907.8
|
? (TO) TT=19922
|
? (TO) TT=20080.7
|
? (TO) TT=20072.5
|
? (TO) TT=20081.4
|
? (TO) TT=20074.5
|
Quasigroups/ QuasiGroup-4-12_c18.xml
|
SAT TT=576.682
|
? (TO) TT=20078.4
|
? (TO) TT=19870.9
|
? (TO) TT=19870.7
|
SAT TT=576.682
|
SAT TT=2309.6
|
SAT TT=1973.66
|
SAT TT=12450.8
|
Quasigroups/ QuasiGroup-4-14_c18.xml
|
|
? (TO) TT=20073.7
|
? (TO) TT=19892.3
|
? (TO) TT=19853.1
|
? (TO) TT=20051.2
|
? (TO) TT=20044.4
|
? (TO) TT=20051.1
|
? (TO) TT=20046.2
|
Quasigroups/ QuasiGroup-4-16_c18.xml
|
|
? (TO) TT=20081.5
|
? (TO) TT=19799.6
|
? (TO) TT=19795.9
|
? (TO) TT=20028.1
|
? (TO) TT=20017.7
|
? (TO) TT=20027.6
|
? (TO) TT=20011.9
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Quasigroups/ QuasiGroup-4-20_c18.xml
|
|
? (TO) TT=20091.4
|
? (TO) TT=19598.2
|
? (TO) TT=19646
|
? (TO) TT=19934.8
|
? (TO) TT=19923.1
|
? (TO) TT=19937.5
|
? (TO) TT=19929.4
|
Quasigroups/ QuasiGroup-7-07_c18.xml
|
UNSAT TT=4.732
|
UNSAT TT=12.218
|
UNSAT TT=4.732
|
UNSAT TT=4.96
|
UNSAT TT=5.083
|
UNSAT TT=6.342
|
UNSAT TT=5.035
|
UNSAT TT=6.334
|
Quasigroups/ QuasiGroup-7-08_c18.xml
|
UNSAT TT=9.412
|
UNSAT TT=87.234
|
UNSAT TT=17.902
|
UNSAT TT=18.068
|
UNSAT TT=9.412
|
UNSAT TT=10.799
|
UNSAT TT=9.546
|
UNSAT TT=10.872
|
Quasigroups/ QuasiGroup-7-09_c18.xml
|
SAT TT=5.915
|
SAT TT=5.915
|
SAT TT=11.653
|
SAT TT=7.28
|
SAT TT=7.501
|
SAT TT=8.62
|
SAT TT=7.259
|
SAT TT=8.813
|
Quasigroups/ QuasiGroup-7-10_c18.xml
|
UNSAT TT=4035.81
|
? (TO) TT=20072.9
|
? (TO) TT=19940.3
|
? (TO) TT=19954
|
UNSAT TT=5835.51
|
UNSAT TT=4309.94
|
UNSAT TT=4035.81
|
UNSAT TT=4749.22
|
Quasigroups/ QuasiGroup-7-12_c18.xml
|
|
? (TO) TT=20072.6
|
? (TO) TT=19930.3
|
? (TO) TT=19944.1
|
? (TO) TT=20082.7
|
? (TO) TT=20072.7
|
? (TO) TT=20083.8
|
? (TO) TT=20076.9
|
Quasigroups/ QuasiGroup-7-14_c18.xml
|
|
? (TO) TT=20072.4
|
? (TO) TT=19955.6
|
? (TO) TT=19975.1
|
? (TO) TT=20076.6
|
? (TO) TT=20070.6
|
? (TO) TT=20076.2
|
? (TO) TT=20069.6
|
Quasigroups/ QuasiGroup-7-16_c18.xml
|
|
? (TO) TT=20074
|
? (TO) TT=19962.2
|
? (TO) TT=19984.4
|
? (TO) TT=20068.5
|
? (TO) TT=20057.9
|
? (TO) TT=20071.3
|
? (TO) TT=20061.9
|
Quasigroups/ QuasiGroup-7-20_c18.xml
|
|
? (TO) TT=20081.1
|
? (TO) TT=19933.5
|
? (TO) TT=19946.6
|
? (TO) TT=20040.2
|
? (TO) TT=20031.6
|
? (TO) TT=20040.5
|
? (TO) TT=20033.4
|
Rcpsp/ Rcpsp-j120-01-01_c18.xml
|
SAT f=108 TT=20077.2 T1=19.78
|
SAT (TO) f=108 TT=20077.2 T1=19.78
|
SAT (TO) f=105 TT=8992.66 T1=576.34
|
SAT (TO) f=106 TT=13338.5 T1=833.77
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Rcpsp/ Rcpsp-j120-01-02_c18.xml
|
OPT f=109 TT=3286.93 T1=412.89
|
OPT f=109 TT=3286.93 T1=412.89
|
OPT f=109 TT=117.728 T1=75.64
|
OPT f=109 TT=634.342 T1=518.12
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j120-01-03_c18.xml
|
SAT f=126 TT=20057.7 T1=982.28
|
SAT (TO) f=126 TT=20057.7 T1=982.28
|
SAT (TO) f=130 TT=2555.09 T1=1000.13
|
SAT (TO) f=130 TT=2551.66 T1=38.23
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j120-01-04_c18.xml
|
OPT f=97 TT=103.037 T1=12.84
|
OPT f=97 TT=103.037 T1=12.84
|
OPT f=97 TT=144.564 T1=16.72
|
OPT f=97 TT=102.051 T1=70.16
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j30-01-01_c18.xml
|
OPT f=43 TT=2.085 T1=0.77
|
OPT f=43 TT=2.085 T1=0.77
|
OPT f=43 TT=11.935 T1=3.69
|
OPT f=43 TT=10.085 T1=3.58
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j30-01-02_c18.xml
|
OPT f=47 TT=1.863 T1=0.73
|
OPT f=47 TT=1.863 T1=0.73
|
OPT f=47 TT=10.08 T1=3.42
|
OPT f=47 TT=9.149 T1=3.27
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j30-01-03_c18.xml
|
OPT f=47 TT=1.99 T1=0.77
|
OPT f=47 TT=1.99 T1=0.77
|
OPT f=47 TT=10.499 T1=3.88
|
OPT f=47 TT=8.809 T1=2.99
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j30-01-04_c18.xml
|
OPT f=62 TT=1.931 T1=0.75
|
OPT f=62 TT=1.931 T1=0.75
|
OPT f=62 TT=11.639 T1=3.61
|
OPT f=62 TT=10.777 T1=3.61
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j60-01-01_c18.xml
|
OPT f=77 TT=2.484 T1=0.84
|
OPT f=77 TT=2.484 T1=0.84
|
OPT f=77 TT=16.256 T1=5.9
|
OPT f=77 TT=17.752 T1=6.01
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j60-01-02_c18.xml
|
OPT f=68 TT=3.781 T1=1.03
|
OPT f=68 TT=3.781 T1=1.03
|
OPT f=68 TT=18.85 T1=6.51
|
OPT f=68 TT=20.306 T1=6.43
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j60-01-03_c18.xml
|
OPT f=68 TT=3.036 T1=0.94
|
OPT f=68 TT=3.036 T1=0.94
|
OPT f=68 TT=18.366 T1=6.74
|
OPT f=68 TT=18.334 T1=6.39
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Rcpsp/ Rcpsp-j60-01-04_c18.xml
|
OPT f=91 TT=2.715 T1=0.87
|
OPT f=91 TT=2.715 T1=0.87
|
OPT f=91 TT=15.067 T1=4.55
|
OPT f=91 TT=15.076 T1=4.24
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j90-01-01_c18.xml
|
OPT f=73 TT=18.15 T1=2.89
|
OPT f=73 TT=18.15 T1=2.89
|
OPT f=73 TT=32.422 T1=11.85
|
OPT f=73 TT=27.078 T1=9.92
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j90-01-02_c18.xml
|
OPT f=92 TT=3.265 T1=0.99
|
OPT f=92 TT=3.265 T1=0.99
|
OPT f=92 TT=29.004 T1=11.11
|
OPT f=92 TT=22.049 T1=8.99
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j90-01-03_c18.xml
|
OPT f=66 TT=20.722 T1=2.27
|
OPT f=66 TT=20.722 T1=2.27
|
OPT f=66 TT=29.572 T1=10.76
|
OPT f=66 TT=28.961 T1=9.64
|
No data | No data | No data | No data |
Rcpsp/ Rcpsp-j90-01-04_c18.xml
|
OPT f=86 TT=34.966 T1=1.21
|
OPT f=86 TT=34.966 T1=1.21
|
OPT f=86 TT=38.422 T1=13.19
|
OPT f=86 TT=36.381 T1=11.07
|
No data | No data | No data | No data |
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f01_c18.xml
|
UNSAT TT=22.478
|
UNSAT TT=10096.3
|
? (TO) TT=20054.8
|
? (TO) TT=20050.5
|
UNSAT TT=23.753
|
UNSAT TT=25.383
|
UNSAT TT=22.478
|
UNSAT TT=26.74
|
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f02_c18.xml
|
UNSAT TT=23.306
|
UNSAT TT=6674.18
|
? (TO) TT=20057.4
|
? (TO) TT=20063.5
|
UNSAT TT=23.306
|
UNSAT TT=25.195
|
UNSAT TT=24.482
|
UNSAT TT=25.611
|
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f03_c18.xml
|
UNSAT TT=20.77
|
UNSAT TT=1797.22
|
? (TO) TT=20051.5
|
? (TO) TT=20057
|
UNSAT TT=20.95
|
UNSAT TT=23.61
|
UNSAT TT=20.77
|
UNSAT TT=23.786
|
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f04_c18.xml
|
UNSAT TT=20.087
|
UNSAT TT=622.726
|
? (TO) TT=20054.9
|
? (TO) TT=20056.4
|
UNSAT TT=20.822
|
UNSAT TT=22.574
|
UNSAT TT=20.087
|
UNSAT TT=22.395
|
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f05_c18.xml
|
UNSAT TT=19.79
|
UNSAT TT=168.245
|
? (TO) TT=20058
|
? (TO) TT=20057.1
|
UNSAT TT=19.79
|
UNSAT TT=22.538
|
UNSAT TT=20.129
|
UNSAT TT=21.577
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f06_c18.xml
|
UNSAT TT=18.183
|
UNSAT TT=84.755
|
? (TO) TT=20058.6
|
? (TO) TT=20057.9
|
UNSAT TT=18.389
|
UNSAT TT=20.506
|
UNSAT TT=18.183
|
UNSAT TT=20.796
|
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f07_c18.xml
|
UNSAT TT=17.783
|
UNSAT TT=91.324
|
UNSAT TT=9273.92
|
UNSAT TT=8647.74
|
UNSAT TT=17.783
|
UNSAT TT=20.316
|
UNSAT TT=18.136
|
UNSAT TT=19.755
|
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f08_c18.xml
|
UNSAT TT=16.999
|
UNSAT TT=75.267
|
UNSAT TT=6307.59
|
UNSAT TT=6405.96
|
UNSAT TT=16.999
|
UNSAT TT=20.029
|
UNSAT TT=17.83
|
UNSAT TT=20.707
|
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f09_c18.xml
|
UNSAT TT=17.692
|
UNSAT TT=92.423
|
UNSAT TT=2589.05
|
UNSAT TT=2672.58
|
UNSAT TT=18.152
|
UNSAT TT=19.43
|
UNSAT TT=17.692
|
UNSAT TT=20.121
|
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f10_c18.xml
|
UNSAT TT=16.879
|
UNSAT TT=32.76
|
UNSAT TT=122.304
|
UNSAT TT=126.987
|
UNSAT TT=16.879
|
UNSAT TT=19.826
|
UNSAT TT=17.522
|
UNSAT TT=18.981
|
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f11_c18.xml
|
UNSAT TT=16.59
|
UNSAT TT=32.954
|
UNSAT TT=128.629
|
UNSAT TT=118.73
|
UNSAT TT=17.652
|
UNSAT TT=19.932
|
UNSAT TT=16.59
|
UNSAT TT=19.847
|
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f12_c18.xml
|
UNSAT TT=16.956
|
UNSAT TT=36.373
|
UNSAT TT=123.141
|
UNSAT TT=117.064
|
UNSAT TT=16.956
|
UNSAT TT=19.224
|
UNSAT TT=17.329
|
UNSAT TT=19.387
|
Rlfap/Rlfap-opt/ Rlfap-graph-01-opt_c18.xml
|
SAT f=20 TT=19940.2 T1=359.35
|
SAT (TO) f=20 TT=19940.2 T1=359.35
|
Wrong Opt. f=36 TT=10.582 T1=3.14
|
SAT (TO) f=42 TT=14712.9 T1=2091.77
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml
|
SAT f=16 TT=19906.4 T1=241.52
|
SAT (TO) f=16 TT=19906.4 T1=241.52
|
Wrong Opt. f=34 TT=14.996 T1=4.69
|
SAT (TO) f=42 TT=7463.75 T1=1865.96
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-03-opt_c18.xml
|
OPT f=380 TT=10.47 T1=2.29
|
OPT f=380 TT=10.47 T1=2.29
|
OPT f=380 TT=12782.5 T1=1610.95
|
OPT f=380 TT=1753.52 T1=225.63
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Rlfap/Rlfap-opt/ Rlfap-graph-04-opt_c18.xml
|
OPT f=394 TT=17.741 T1=3.44
|
OPT f=394 TT=17.741 T1=3.44
|
? (TO)
TT=20059.5
|
? (TO)
TT=20062.7
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml
|
SAT f=20333 TT=19579.2 T1=483.25
|
SAT (TO) f=20333 TT=19579.2 T1=483.25
|
SAT (TO) f=74931 TT=20052.2 T1=1787.9
|
SAT (TO) f=79194 TT=20051.9 T1=2463.71
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-06-opt_c18.xml
|
SAT f=64511 TT=19386.5 T1=252.79
|
SAT (TO) f=64511 TT=19386.5 T1=252.79
|
SAT (TO) f=238216 TT=20046 T1=1337.62
|
SAT (TO) f=226389 TT=20048.2 T1=2141.6
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-07-opt_c18.xml
|
SAT f=16158 TT=19968.3 T1=30.34
|
SAT (TO) f=16158 TT=19968.3 T1=30.34
|
SAT (TO) f=203038 TT=20040.1 T1=1515.09
|
SAT (TO) f=225556 TT=20055 T1=2385.54
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml
|
SAT f=22 TT=19183.7 T1=415.34
|
SAT (TO) f=22 TT=19183.7 T1=415.34
|
Wrong Opt. f=48 TT=21.001 T1=6.03
|
? (TO)
TT=2527.44
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml
|
SAT f=22 TT=19668 T1=1216.25
|
SAT (TO) f=22 TT=19668 T1=1216.25
|
Wrong Opt. f=46 TT=27.502 T1=8.05
|
? (TO)
TT=2527.28
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
|
OPT f=394 TT=30.102 T1=5.43
|
OPT f=394 TT=30.102 T1=5.43
|
? (TO)
TT=20027.8
|
? (TO)
TT=20034.3
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-11-opt_c18.xml
|
SAT f=125358 TT=15300.4 T1=967.51
|
SAT (TO) f=125358 TT=15300.4 T1=967.51
|
SAT (TO) f=445367 TT=20021.4 T1=2462.81
|
SAT (TO) f=451649 TT=20041.5 T1=2421.5
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-12-opt_c18.xml
|
SAT f=86625 TT=19692.8 T1=125.06
|
SAT (TO) f=86625 TT=19692.8 T1=125.06
|
SAT (TO) f=497984 TT=19964.1 T1=1249.88
|
SAT (TO) f=529787 TT=20021.9 T1=2462.28
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-graph-13-opt_c18.xml
|
SAT f=181772 TT=16607.8 T1=1373.33
|
SAT (TO) f=181772 TT=16607.8 T1=1373.33
|
SAT (TO) f=672682 TT=19975.1 T1=2428.4
|
SAT (TO) f=668785 TT=20007.6 T1=1604.21
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml
|
SAT f=18 TT=17909.9 T1=1439.53
|
SAT (TO) f=18 TT=17909.9 T1=1439.53
|
Wrong Opt. f=28 TT=24.88 T1=7.07
|
? (TO)
TT=2526.42
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-scen-01-opt_c18.xml
|
SAT f=20 TT=15864.9 T1=2414.96
|
SAT (TO) f=20 TT=15864.9 T1=2414.96
|
Wrong Opt. f=42 TT=25.951 T1=7.3
|
?
TT=72.024
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-scen-02-opt_c18.xml
|
SAT f=14 TT=20018.5 T1=22.84
|
SAT (TO) f=14 TT=20018.5 T1=22.84
|
Wrong Opt. f=28 TT=11.606 T1=3.38
|
SAT (TO) f=40 TT=5376.93 T1=2235.85
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml
|
SAT f=14 TT=19931.5 T1=75.28
|
SAT (TO) f=14 TT=19931.5 T1=75.28
|
Wrong Opt. f=40 TT=16.362 T1=4.79
|
? (TO)
TT=2525.51
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml
|
OPT f=46 TT=130.9 T1=19.83
|
OPT f=46 TT=130.9 T1=19.83
|
OPT f=46 TT=21.112 T1=5.75
|
? (TO)
TT=11478.3
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml
|
OPT f=792 TT=14.675 T1=3.15
|
OPT f=792 TT=14.675 T1=3.15
|
OPT f=792 TT=159.654 T1=16.96
|
OPT f=792 TT=339.356 T1=40.19
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-scen-06-opt_c18.xml
|
SAT f=36922 TT=19353.5 T1=264.4
|
SAT (TO) f=36922 TT=19353.5 T1=264.4
|
SAT (TO) f=124706 TT=20054.9 T1=2004.79
|
SAT (TO) f=127991 TT=20046.9 T1=1203.55
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-scen-07-opt_c18.xml
|
SAT f=51074811 TT=18442.7 T1=456.33
|
SAT (TO) f=51074811 TT=18442.7 T1=456.33
|
?
TT=833.034
|
?
TT=822.538
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-scen-08-opt_c18.xml
|
SAT f=2415 TT=19150.1 T1=1053.53
|
SAT (TO) f=2415 TT=19150.1 T1=1053.53
|
SAT (TO) f=8284 TT=19974.8 T1=2330.96
|
SAT (TO) f=8302 TT=20011.5 T1=2388.53
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml
|
SAT f=37682 TT=19849.7 T1=1686.26
|
SAT (TO) f=37682 TT=19849.7 T1=1686.26
|
SAT (TO) f=518090 TT=20020.3 T1=1076.21
|
SAT (TO) f=516544 TT=20040.2 T1=2377.6
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Rlfap/Rlfap-opt/ Rlfap-scen-10-opt_c18.xml
|
SAT f=260923 TT=19755.9 T1=843.49
|
SAT (TO) f=260923 TT=19755.9 T1=843.49
|
SAT (TO) f=11173673 TT=19937.3 T1=2280.88
|
SAT (TO) f=12195767 TT=19994.2 T1=2378.16
|
No data | No data | No data | No data |
Rlfap/Rlfap-opt/ Rlfap-scen-11-opt_c18.xml
|
SAT f=28 TT=20071.3 T1=1883.31
|
SAT (TO) f=28 TT=20071.3 T1=1883.31
|
Wrong Opt. f=46 TT=152.753 T1=22.61
|
? (TO)
TT=2527.15
|
No data | No data | No data | No data |
SocialGolfers/ SocialGolfers-4-4-4-cp_c18.xml
|
SAT TT=6.999
|
SAT TT=9.674
|
SAT TT=7.83
|
SAT TT=7.384
|
SAT TT=7.073
|
SAT TT=8.018
|
SAT TT=6.999
|
SAT TT=8.147
|
SocialGolfers/ SocialGolfers-4-4-5-cp_c18.xml
|
SAT TT=8.778
|
SAT TT=10.399
|
SAT TT=11.639
|
SAT TT=9.334
|
SAT TT=9.319
|
SAT TT=10.212
|
SAT TT=8.778
|
SAT TT=10.403
|
SocialGolfers/ SocialGolfers-4-4-6-cp_c18.xml
|
UNSAT TT=10.942
|
UNSAT TT=634.065
|
UNSAT TT=119.591
|
UNSAT TT=114.6
|
UNSAT TT=11.142
|
UNSAT TT=12.321
|
UNSAT TT=10.942
|
UNSAT TT=11.751
|
SocialGolfers/ SocialGolfers-4-4-7-cp_c18.xml
|
UNSAT TT=12.065
|
UNSAT TT=902.979
|
UNSAT TT=196.046
|
UNSAT TT=193.085
|
UNSAT TT=12.065
|
UNSAT TT=14.044
|
UNSAT TT=12.146
|
UNSAT TT=13.097
|
SocialGolfers/ SocialGolfers-5-5-5-cp_c18.xml
|
SAT TT=12.24
|
SAT TT=21.189
|
SAT (TO) TT=10095.8
|
SAT TT=12.24
|
SAT TT=14.799
|
SAT TT=15.589
|
SAT TT=15.112
|
SAT TT=15.618
|
SocialGolfers/ SocialGolfers-5-5-6-cp_c18.xml
|
SAT TT=13.243
|
SAT TT=30.118
|
SAT TT=14.007
|
SAT TT=13.243
|
SAT TT=18.044
|
SAT TT=18.004
|
SAT TT=16.922
|
SAT TT=17.463
|
SocialGolfers/ SocialGolfers-5-5-7-cp_c18.xml
|
UNSAT TT=22.623
|
? (TO) TT=20050
|
? (TO) TT=20011.9
|
? (TO) TT=20019.8
|
UNSAT TT=23.938
|
UNSAT TT=25.165
|
UNSAT TT=22.623
|
UNSAT TT=26.756
|
SocialGolfers/ SocialGolfers-5-5-8-cp_c18.xml
|
UNSAT TT=25.034
|
? (TO) TT=20033
|
? (TO) TT=20023
|
? (TO) TT=20014.5
|
UNSAT TT=25.034
|
UNSAT TT=25.818
|
UNSAT TT=28.933
|
UNSAT TT=26.497
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
SocialGolfers/ SocialGolfers-6-6-6-cp_c18.xml
|
|
? (TO) TT=19955.2
|
? (TO) TT=20011
|
? (TO) TT=20009.9
|
? (TO) TT=20071.2
|
? (TO) TT=20065.9
|
? (TO) TT=20071.6
|
? (TO) TT=20064.4
|
SocialGolfers/ SocialGolfers-6-6-7-cp_c18.xml
|
|
? (TO) TT=19916.9
|
? (TO) TT=20012.7
|
? (TO) TT=20016
|
? (TO) TT=20064
|
? (TO) TT=20056.9
|
? (TO) TT=20067
|
? (TO) TT=20058.6
|
SocialGolfers/ SocialGolfers-6-6-8-cp_c18.xml
|
UNSAT TT=867.941
|
? (TO) TT=19851.8
|
? (TO) TT=20017.3
|
? (TO) TT=20012
|
? (TO) TT=20058.4
|
UNSAT TT=867.941
|
UNSAT TT=3098.15
|
? (TO) TT=20052
|
SocialGolfers/ SocialGolfers-6-6-9-cp_c18.xml
|
UNSAT TT=52.471
|
? (TO) TT=19767.9
|
? (TO) TT=20010.6
|
? (TO) TT=20007.7
|
UNSAT TT=6041.82
|
UNSAT TT=1188.47
|
UNSAT TT=52.471
|
UNSAT TT=184.449
|
SportsScheduling/ SportsScheduling-08_c18.xml
|
SAT TT=6.218
|
SAT TT=6.218
|
SAT TT=6.415
|
SAT TT=6.251
|
SAT TT=10.434
|
SAT TT=11.635
|
SAT TT=10.612
|
SAT TT=11.667
|
SportsScheduling/ SportsScheduling-10_c18.xml
|
SAT TT=18.624
|
SAT TT=23.821
|
SAT (TO) TT=12556
|
SAT (TO) TT=12557.1
|
SAT TT=20.319
|
SAT TT=18.624
|
SAT TT=19.042
|
SAT TT=20.526
|
SportsScheduling/ SportsScheduling-12_c18.xml
|
SAT TT=20.891
|
SAT TT=53.028
|
SAT TT=21.323
|
SAT TT=20.891
|
SAT TT=444.489
|
SAT TT=362.641
|
SAT TT=150.712
|
SAT TT=247.599
|
SportsScheduling/ SportsScheduling-14_c18.xml
|
SAT TT=107.645
|
? (TO) TT=19945.2
|
SAT TT=107.645
|
SAT TT=109.042
|
SAT TT=1294.73
|
SAT TT=1412.83
|
SAT TT=2479.36
|
SAT TT=536.319
|
SportsScheduling/ SportsScheduling-16_c18.xml
|
SAT TT=437.483
|
? (TO) TT=19912.2
|
SAT TT=437.483
|
SAT (TO) TT=10281.6
|
SAT TT=19267.7
|
? (TO) TT=19955.2
|
? (TO) TT=19958.2
|
? (TO) TT=19957.6
|
SportsScheduling/ SportsScheduling-18_c18.xml
|
|
? (TO) TT=19879.6
|
? (TO) TT=19963.2
|
? (TO) TT=19952.9
|
? (TO) TT=19853.1
|
? (TO) TT=19846.6
|
? (TO) TT=19854.9
|
? (TO) TT=19840
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
SportsScheduling/ SportsScheduling-20_c18.xml
|
|
? (TO) TT=19819.1
|
? (TO) TT=19962
|
? (TO) TT=19966.9
|
? (MO) TT=109.143
|
? (TO) TT=19803.1
|
? (MO) TT=98.473
|
? (TO) TT=19802.4
|
SportsScheduling/ SportsScheduling-22_c18.xml
|
|
? (TO) TT=19692.9
|
? (TO) TT=20008.5
|
? (TO) TT=20004.5
|
? (MO) TT=102.242
|
? (TO) TT=19630.2
|
? (MO) TT=103.265
|
? (TO) TT=19618.5
|
SportsScheduling/ SportsScheduling-24_c18.xml
|
|
? (TO) TT=19601.2
|
? (TO) TT=19994
|
? (TO) TT=20005.3
|
? (MO) TT=141.827
|
? (TO) TT=19395.2
|
? (MO) TT=143.131
|
? (TO) TT=19409.1
|
SportsScheduling/ SportsScheduling-26_c18.xml
|
|
? (TO) TT=19693.6
|
? (TO) TT=19983.4
|
? (TO) TT=19981.5
|
? (MO) TT=195.494
|
? (TO) TT=19021.5
|
? (MO) TT=201.285
|
? (TO) TT=19002.9
|
SteelMillSlab/ SteelMillSlab-m1-2-0_c18.xml
|
SAT f=382 TT=20092.8 T1=82.13
|
SAT (TO) f=382 TT=20092.8 T1=82.13
|
? (TO)
TT=19886.2
|
? (TO)
TT=19879.4
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m1-2-2_c18.xml
|
SAT f=802 TT=20092.8 T1=76.37
|
SAT (TO) f=802 TT=20092.8 T1=76.37
|
? (TO)
TT=19846.3
|
? (TO)
TT=19846
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m1-3-0_c18.xml
|
SAT f=124 TT=20091.7 T1=75.15
|
SAT (TO) f=124 TT=20091.7 T1=75.15
|
? (TO)
TT=19848.3
|
? (TO)
TT=19889
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m1-3-2_c18.xml
|
SAT f=622 TT=20094.7 T1=72.87
|
SAT (TO) f=622 TT=20094.7 T1=72.87
|
? (TO)
TT=19870
|
? (TO)
TT=19874.4
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m1-4-0_c18.xml
|
SAT f=352 TT=20092.7 T1=92.62
|
SAT (TO) f=352 TT=20092.7 T1=92.62
|
? (TO)
TT=19854.7
|
? (TO)
TT=19860.6
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m1-simple_c18.xml
|
OPT f=0 TT=2.544 T1=0.83
|
OPT f=0 TT=2.544 T1=0.83
|
OPT f=0 TT=7.514 T1=2.57
|
OPT f=0 TT=7.452 T1=2.56
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
SteelMillSlab/ SteelMillSlab-m2-2-0_c18.xml
|
SAT f=382 TT=19984.6 T1=615.44
|
SAT (TO) f=382 TT=19984.6 T1=615.44
|
? (TO)
TT=19959.2
|
? (TO)
TT=19958.7
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m2-2-2_c18.xml
|
SAT f=802 TT=19971.9 T1=602.13
|
SAT (TO) f=802 TT=19971.9 T1=602.13
|
? (TO)
TT=19970.4
|
? (TO)
TT=19957
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m2-3-0_c18.xml
|
SAT f=124 TT=19989.9 T1=610.91
|
SAT (TO) f=124 TT=19989.9 T1=610.91
|
? (TO)
TT=19951.8
|
? (TO)
TT=19957.6
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m2-3-2_c18.xml
|
SAT f=622 TT=19982.1 T1=632.34
|
SAT (TO) f=622 TT=19982.1 T1=632.34
|
? (TO)
TT=19945.8
|
? (TO)
TT=19959.2
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m2-4-0_c18.xml
|
SAT f=352 TT=19986.5 T1=587.24
|
SAT (TO) f=352 TT=19986.5 T1=587.24
|
? (TO)
TT=19961.4
|
? (TO)
TT=19944.8
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m2-simple_c18.xml
|
OPT f=0 TT=3.897 T1=1.16
|
OPT f=0 TT=3.897 T1=1.16
|
OPT f=0 TT=8.125 T1=2.61
|
OPT f=0 TT=8.102 T1=2.51
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m2s-2-0_c18.xml
|
SAT f=154 TT=19074.9 T1=349.63
|
SAT (TO) f=154 TT=19074.9 T1=349.63
|
? (TO)
TT=19949.4
|
? (TO)
TT=19955.1
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m2s-2-2_c18.xml
|
SAT f=338 TT=19985.2 T1=164.14
|
SAT (TO) f=338 TT=19985.2 T1=164.14
|
? (TO)
TT=19931.8
|
? (TO)
TT=19964.3
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m2s-3-0_c18.xml
|
SAT f=87 TT=18266.6 T1=2217.48
|
SAT (TO) f=87 TT=18266.6 T1=2217.48
|
? (TO)
TT=19955.3
|
? (TO)
TT=19960.7
|
No data | No data | No data | No data |
SteelMillSlab/ SteelMillSlab-m2s-3-2_c18.xml
|
SAT f=301 TT=18508 T1=769.96
|
SAT (TO) f=301 TT=18508 T1=769.96
|
SAT (TO) f=386 TT=19947 T1=546.85
|
SAT (TO) f=386 TT=19947.2 T1=613.89
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
SteelMillSlab/ SteelMillSlab-m2s-4-0_c18.xml
|
SAT f=183 TT=19984.5 T1=884.72
|
SAT (TO) f=183 TT=19984.5 T1=884.72
|
? (TO)
TT=19934.6
|
? (TO)
TT=19965.1
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-08_c18.xml
|
OPT f=36 TT=5.085 T1=1.25
|
OPT f=36 TT=5.085 T1=1.25
|
OPT f=36 TT=38.366 T1=7.18
|
OPT f=36 TT=39.214 T1=6.59
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-09_c18.xml
|
OPT f=43 TT=48.571 T1=2.85
|
OPT f=43 TT=48.571 T1=2.85
|
OPT f=43 TT=378.26 T1=17.35
|
OPT f=43 TT=320.159 T1=11.04
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-10_c18.xml
|
OPT f=54 TT=71.559 T1=2.12
|
OPT f=54 TT=71.559 T1=2.12
|
OPT f=54 TT=1808.78 T1=149.18
|
OPT f=54 TT=2223.78 T1=190.05
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-11_c18.xml
|
OPT f=64 TT=1806.44 T1=17.7
|
OPT f=64 TT=1806.44 T1=17.7
|
SAT (TO) f=62 TT=19937.6 T1=521.32
|
SAT (TO) f=62 TT=19966 T1=1633.11
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-12_c18.xml
|
SAT f=76 TT=20036.5 T1=90.08
|
SAT (TO) f=76 TT=20036.5 T1=90.08
|
SAT (TO) f=70 TT=19939.5 T1=1769.99
|
SAT (TO) f=71 TT=19979.4 T1=2404.15
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-13_c18.xml
|
OPT f=90 TT=11171 T1=242.81
|
OPT f=90 TT=11171 T1=242.81
|
SAT (TO) f=80 TT=19968.7 T1=2186.29
|
SAT (TO) f=81 TT=19968.9 T1=2388.72
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-14_c18.xml
|
SAT f=101 TT=20058.6 T1=237.1
|
SAT (TO) f=101 TT=20058.6 T1=237.1
|
SAT (TO) f=89 TT=19966.3 T1=560.54
|
SAT (TO) f=88 TT=20002.2 T1=2275.06
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-15_c18.xml
|
SAT f=116 TT=20073.4 T1=702.59
|
SAT (TO) f=116 TT=20073.4 T1=702.59
|
SAT (TO) f=97 TT=19958.8 T1=2466.76
|
SAT (TO) f=95 TT=19972.2 T1=1179.46
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-17_c18.xml
|
SAT f=145 TT=20066.2 T1=142.62
|
SAT (TO) f=145 TT=20066.2 T1=142.62
|
SAT (TO) f=115 TT=19947.2 T1=1892.24
|
SAT (TO) f=113 TT=19964.5 T1=558.12
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
StillLife/ StillLife-wastage-19_c18.xml
|
SAT f=176 TT=20077.3 T1=298.11
|
SAT (TO) f=176 TT=20077.3 T1=298.11
|
SAT (TO) f=129 TT=19978.9 T1=283.51
|
SAT (TO) f=135 TT=19993.9 T1=2456.92
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-21_c18.xml
|
SAT f=209 TT=20063.5 T1=1828.73
|
SAT (TO) f=209 TT=20063.5 T1=1828.73
|
SAT (TO) f=164 TT=20008.9 T1=1869.83
|
SAT (TO) f=164 TT=20012 T1=2282.6
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-25_c18.xml
|
SAT f=295 TT=20050.6 T1=47.02
|
SAT (TO) f=295 TT=20050.6 T1=47.02
|
SAT (TO) f=215 TT=20024.8 T1=180.09
|
SAT (TO) f=213 TT=19983.4 T1=1488.51
|
No data | No data | No data | No data |
StillLife/ StillLife-wastage-30_c18.xml
|
SAT f=420 TT=20055.7 T1=31.18
|
SAT (TO) f=420 TT=20055.7 T1=31.18
|
SAT (TO) f=266 TT=19994.4 T1=1965.66
|
SAT (TO) f=266 TT=20001.4 T1=788.98
|
No data | No data | No data | No data |
StripPacking/ StripPacking-1a_c18.xml
|
UNSAT TT=2.745
|
UNSAT TT=2.745
|
UNSAT TT=3.05
|
UNSAT TT=3.038
|
UNSAT TT=3.664
|
UNSAT TT=4.93
|
UNSAT TT=3.708
|
UNSAT TT=4.89
|
StripPacking/ StripPacking-1b_c18.xml
|
SAT TT=3.317
|
SAT TT=4.915
|
SAT TT=1819.86
|
SAT TT=1900.53
|
SAT TT=3.378
|
SAT TT=4.711
|
SAT TT=3.317
|
SAT TT=4.7
|
StripPacking/ StripPacking-C1P1_c18.xml
|
SAT TT=4.666
|
SAT TT=21.254
|
? (TO) TT=20018.8
|
? (TO) TT=20013.4
|
SAT TT=4.759
|
SAT TT=6.002
|
SAT TT=4.666
|
SAT TT=6.034
|
StripPacking/ StripPacking-C1P2_c18.xml
|
SAT TT=5.018
|
SAT TT=46.69
|
? (TO) TT=20028.7
|
? (TO) TT=20021.7
|
SAT TT=5.084
|
SAT TT=6.337
|
SAT TT=5.018
|
SAT TT=6.296
|
StripPacking/ StripPacking-C1P3_c18.xml
|
SAT TT=6.288
|
SAT TT=42.327
|
SAT TT=12113.5
|
SAT TT=12463.7
|
SAT TT=6.288
|
SAT TT=7.757
|
SAT TT=6.41
|
SAT TT=9.004
|
StripPacking/ StripPacking-C2P1_c18.xml
|
SAT TT=12.252
|
SAT TT=98.741
|
? (TO) TT=20050.5
|
? (TO) TT=20046.6
|
SAT TT=26.237
|
SAT TT=12.252
|
SAT TT=15.691
|
SAT TT=25.209
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
StripPacking/ StripPacking-N1a_c18.xml
|
SAT TT=75.5
|
? (TO) TT=20013.6
|
? (TO) TT=20073.1
|
? (TO) TT=20073.4
|
SAT TT=75.5
|
SAT TT=2497.39
|
SAT TT=773.966
|
SAT TT=663.48
|
StripPacking/ StripPacking-N1b_c18.xml
|
SAT TT=23.641
|
? (TO) TT=19928.5
|
? (TO) TT=20078.6
|
? (TO) TT=20069.7
|
SAT TT=480.122
|
SAT TT=23.641
|
SAT TT=1001.15
|
SAT TT=3153.38
|
StripPacking/ StripPacking-N1c_c18.xml
|
SAT TT=31.49
|
? (TO) TT=20013.6
|
? (TO) TT=20077.4
|
? (TO) TT=20076.2
|
SAT TT=296.549
|
SAT TT=49.274
|
SAT TT=77.722
|
SAT TT=31.49
|
StripPacking/ StripPacking-T1a_c18.xml
|
SAT TT=223.932
|
? (TO) TT=19949.1
|
? (TO) TT=20081.7
|
? (TO) TT=20070.5
|
SAT TT=333.315
|
SAT TT=223.932
|
SAT TT=2303.5
|
SAT TT=1088.5
|
StripPacking/ StripPacking-T1c_c18.xml
|
SAT TT=8.414
|
SAT TT=316.835
|
? (TO) TT=20067.6
|
? (TO) TT=20063.5
|
SAT TT=8.414
|
SAT TT=10.059
|
SAT TT=10.312
|
SAT TT=9.63
|
StripPacking/ StripPacking-T1d_c18.xml
|
SAT TT=35.443
|
? (TO) TT=19971.6
|
? (TO) TT=20066.8
|
? (TO) TT=20069.8
|
SAT TT=71.189
|
SAT TT=119.725
|
SAT TT=35.443
|
SAT TT=66.923
|
Subisomorphism/ Subisomorphism-g08-g43_c18.xml
|
SAT TT=3.594
|
SAT TT=3.594
|
SAT TT=10.567
|
SAT TT=10.869
|
SAT TT=55.96
|
SAT TT=55.883
|
SAT TT=54.794
|
SAT TT=56.119
|
Subisomorphism/ Subisomorphism-g10-g23_c18.xml
|
UNSAT TT=386.598
|
UNSAT TT=386.598
|
? (TO) TT=19948.9
|
? (TO) TT=19960.8
|
? (TO) TT=20044.4
|
UNSAT TT=20006.7
|
? (TO) TT=20044.3
|
? (TO) TT=20038.9
|
Subisomorphism/ Subisomorphism-g10-g27_c18.xml
|
SAT TT=95.8
|
SAT TT=1171.09
|
SAT TT=95.8
|
SAT TT=97.026
|
SAT TT=422.22
|
SAT TT=4745.4
|
? (TO) TT=20035.8
|
SAT TT=19665.4
|
Subisomorphism/ Subisomorphism-g11-g30_c18.xml
|
UNSAT TT=2317.7
|
UNSAT TT=2317.7
|
? (TO) TT=20017.3
|
? (TO) TT=20012.2
|
? (TO) TT=19930.7
|
? (TO) TT=19916.8
|
? (TO) TT=19928.1
|
? (TO) TT=19923.2
|
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Subisomorphism/ Subisomorphism-g11-g44_c18.xml
|
UNSAT TT=5427.21
|
UNSAT TT=15285.6
|
UNSAT TT=6114.42
|
UNSAT TT=5427.21
|
? (TO) TT=19887.1
|
? (TO) TT=19871.7
|
? (TO) TT=19880.7
|
? (TO) TT=19877.4
|
Subisomorphism/ Subisomorphism-g17-g37_c18.xml
|
SAT TT=1087.96
|
SAT TT=1087.96
|
? (TO) TT=20015.2
|
? (TO) TT=19967.1
|
SAT TT=19705
|
SAT TT=8917
|
? (TO) TT=19937.2
|
? (TO) TT=19934
|
Subisomorphism/ Subisomorphism-g17-g42_c18.xml
|
UNSAT TT=1844.46
|
UNSAT TT=1844.46
|
? (TO) TT=19937.9
|
? (TO) TT=19946.2
|
UNSAT TT=6516.11
|
UNSAT TT=6556.98
|
UNSAT TT=6925.97
|
UNSAT TT=6442.1
|
Subisomorphism/ Subisomorphism-g19-g43_c18.xml
|
|
? (TO) TT=19970.9
|
? (TO) TT=20012.2
|
? (TO) TT=20018.9
|
? (TO) TT=19403.6
|
? (TO) TT=19410.7
|
? (TO) TT=19421.8
|
? (TO) TT=19415.1
|
Subisomorphism/ Subisomorphism-g19-g45_c18.xml
|
|
? (TO) TT=20050.3
|
? (TO) TT=19988.8
|
? (TO) TT=19981.7
|
? (TO) TT=19691.3
|
? (TO) TT=19678.7
|
? (TO) TT=19682.6
|
? (TO) TT=19648.7
|
Subisomorphism/ Subisomorphism-g29-g50_c18.xml
|
|
? (TO) TT=20049.8
|
? (TO) TT=19463.2
|
? (TO) TT=19461.2
|
? (MO) TT=639.063
|
? (TO) TT=16925
|
? (MO) TT=648.464
|
? (TO) TT=16912.3
|
Subisomorphism/ Subisomorphism-g34-g36_c18.xml
|
UNSAT TT=12.042
|
UNSAT TT=93.394
|
UNSAT TT=12.24
|
UNSAT TT=12.042
|
UNSAT TT=73.925
|
UNSAT TT=74.803
|
UNSAT TT=72.824
|
UNSAT TT=73.581
|
SumColoring/ SumColoring-1-fullins-3_c18.xml
|
OPT f=24 TT=5.235 T1=1.11
|
OPT f=24 TT=5.235 T1=1.11
|
OPT f=24 TT=1827.76 T1=229.79
|
OPT f=24 TT=1463.31 T1=183.43
|
No data | No data | No data | No data |
SumColoring/ SumColoring-1-fullins-4_c18.xml
|
SAT f=83 TT=19965.3 T1=2253.22
|
SAT (TO) f=83 TT=19965.3 T1=2253.22
|
SAT (TO) f=3346 TT=20059.4 T1=2510.45
|
SAT (TO) f=3404 TT=20062.2 T1=2518.4
|
No data | No data | No data | No data |
SumColoring/ SumColoring-1-fullins-5_c18.xml
|
SAT f=241 TT=20009.2 T1=2.12
|
SAT (TO) f=241 TT=20009.2 T1=2.12
|
SAT (TO) f=51060 TT=20045.3 T1=2515.56
|
SAT (TO) f=51119 TT=20049.4 T1=2517.48
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
SumColoring/ SumColoring-dsjc-125-1_c18.xml
|
SAT f=231 TT=19964 T1=99.55
|
SAT (TO) f=231 TT=19964 T1=99.55
|
SAT (TO) f=11198 TT=20041.5 T1=2439.18
|
SAT (TO) f=11356 TT=20035.9 T1=2498.82
|
No data | No data | No data | No data |
SumColoring/ SumColoring-dsjc-125-5_c18.xml
|
SAT f=1094 TT=19912 T1=1650.56
|
SAT (TO) f=1094 TT=19912 T1=1650.56
|
SAT (TO) f=12392 TT=20052.5 T1=2518.41
|
SAT (TO) f=12378 TT=20056.6 T1=2516.89
|
No data | No data | No data | No data |
SumColoring/ SumColoring-dsjc-125-9_c18.xml
|
SAT f=2709 TT=19333 T1=1349.82
|
SAT (TO) f=2709 TT=19333 T1=1349.82
|
SAT (TO) f=11359 TT=20054.7 T1=2366.01
|
SAT (TO) f=11359 TT=20052.7 T1=2441.52
|
No data | No data | No data | No data |
SumColoring/ SumColoring-dsjc-250-1_c18.xml
|
SAT f=921 TT=19439.6 T1=1659.14
|
SAT (TO) f=921 TT=19439.6 T1=1659.14
|
SAT (TO) f=54216 TT=20049.2 T1=2507.8
|
SAT (TO) f=54166 TT=20054.9 T1=2519.93
|
No data | No data | No data | No data |
SumColoring/ SumColoring-dsjc-250-5_c18.xml
|
SAT f=3924 TT=19469.6 T1=2056.83
|
SAT (TO) f=3924 TT=19469.6 T1=2056.83
|
SAT (TO) f=54375 TT=20035.6 T1=2519.09
|
SAT (TO) f=54313 TT=20029.8 T1=2516.01
|
No data | No data | No data | No data |
SumColoring/ SumColoring-dsjc-250-9_c18.xml
|
SAT f=10183 TT=20067.3 T1=9.3
|
SAT (TO) f=10183 TT=20067.3 T1=9.3
|
SAT (TO) f=49202 TT=20001.5 T1=2519.16
|
SAT (TO) f=49220 TT=19996.7 T1=2513.06
|
No data | No data | No data | No data |
SumColoring/ SumColoring-myciel3_c18.xml
|
OPT f=10 TT=1.345 T1=0.59
|
OPT f=10 TT=1.345 T1=0.59
|
OPT f=10 TT=6.623 T1=2.23
|
OPT f=10 TT=6.471 T1=2.16
|
No data | No data | No data | No data |
SumColoring/ SumColoring-myciel4_c18.xml
|
OPT f=22 TT=4.026 T1=0.85
|
OPT f=22 TT=4.026 T1=0.85
|
OPT f=22 TT=165.989 T1=22.34
|
OPT f=22 TT=144.454 T1=19.38
|
No data | No data | No data | No data |
SumColoring/ SumColoring-myciel5_c18.xml
|
OPT f=46 TT=769.111 T1=9.59
|
OPT f=46 TT=769.111 T1=9.59
|
SAT (TO) f=770 TT=19997.3 T1=2512.25
|
SAT (TO) f=764 TT=19998.3 T1=2499.55
|
No data | No data | No data | No data |
SumColoring/ SumColoring-myciel6_c18.xml
|
SAT f=105 TT=19964 T1=6.39
|
SAT (TO) f=105 TT=19964 T1=6.39
|
SAT (TO) f=3480 TT=20056.8 T1=2506.9
|
SAT (TO) f=3503 TT=20061.1 T1=2505.81
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
SumColoring/ SumColoring-myciel7_c18.xml
|
SAT f=201 TT=19958.1 T1=92.98
|
SAT (TO) f=201 TT=19958.1 T1=92.98
|
SAT (TO) f=16842 TT=20048.7 T1=2507.22
|
SAT (TO) f=16866 TT=20047.1 T1=2519.43
|
No data | No data | No data | No data |
Tal/ Tal-01_c18.xml
|
OPT f=6 TT=3.586 T1=1.18
|
OPT f=6 TT=3.586 T1=1.18
|
OPT f=6 TT=4.205 T1=1.9
|
OPT f=6 TT=4.803 T1=1.92
|
No data | No data | No data | No data |
Tal/ Tal-02_c18.xml
|
OPT f=86 TT=28.378 T1=12.22
|
OPT f=86 TT=28.378 T1=12.22
|
Wrong UNSAT
TT=3.498
|
OPT f=86 TT=14.131 T1=4.32
|
No data | No data | No data | No data |
Tal/ Tal-03_c18.xml
|
OPT f=96 TT=175.687 T1=54.72
|
OPT f=96 TT=175.687 T1=54.72
|
Wrong UNSAT
TT=4.085
|
OPT f=96 TT=49.895 T1=6.23
|
No data | No data | No data | No data |
Tal/ Tal-04_c18.xml
|
OPT f=142 TT=905.398 T1=58.01
|
OPT f=142 TT=905.398 T1=58.01
|
Wrong UNSAT
TT=3.797
|
OPT f=142 TT=318.465 T1=7.23
|
No data | No data | No data | No data |
Tal/ Tal-05_c18.xml
|
OPT f=16 TT=292.779 T1=20.47
|
OPT f=16 TT=292.779 T1=20.47
|
Wrong UNSAT
TT=4.019
|
OPT f=16 TT=74.112 T1=11.34
|
No data | No data | No data | No data |
Tal/ Tal-06_c18.xml
|
OPT f=94 TT=10257.3 T1=1301.07
|
OPT f=94 TT=10257.3 T1=1301.07
|
Wrong UNSAT
TT=4.057
|
OPT f=94 TT=8086.54 T1=729.54
|
No data | No data | No data | No data |
Tal/ Tal-07_c18.xml
|
SAT f=150 TT=19949.1 T1=913.81
|
SAT (TO) f=150 TT=19949.1 T1=913.81
|
Wrong UNSAT
TT=4.241
|
SAT (TO) f=190 TT=20010 T1=1754.2
|
No data | No data | No data | No data |
Tal/ Tal-08_c18.xml
|
SAT f=146 TT=19926.9 T1=422.02
|
SAT (TO) f=146 TT=19926.9 T1=422.02
|
Wrong UNSAT
TT=4.286
|
SAT (TO) f=210 TT=20041.8 T1=2297.27
|
No data | No data | No data | No data |
Tal/ Tal-09_c18.xml
|
SAT f=130 TT=19927.6 T1=249.42
|
SAT (TO) f=130 TT=19927.6 T1=249.42
|
Wrong UNSAT
TT=4.586
|
SAT (TO) f=264 TT=20024.6 T1=2055.94
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Tal/ Tal-10_c18.xml
|
SAT f=256 TT=19880.2 T1=202.27
|
SAT (TO) f=256 TT=19880.2 T1=202.27
|
Wrong UNSAT
TT=4.644
|
? (TO)
TT=20040.5
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m1-1_c18.xml
|
OPT f=2 TT=2.176 T1=0.76
|
OPT f=2 TT=2.176 T1=0.76
|
OPT f=2 TT=10.608 T1=3.93
|
OPT f=2 TT=10.666 T1=3.92
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m1-2_c18.xml
|
OPT f=2 TT=3.46 T1=0.97
|
OPT f=2 TT=3.46 T1=0.97
|
OPT f=2 TT=10.23 T1=2.96
|
OPT f=2 TT=9.97 T1=2.89
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m1-catfood_c18.xml
|
OPT f=2 TT=5.046 T1=1.21
|
OPT f=2 TT=5.046 T1=1.21
|
OPT f=2 TT=9.672 T1=3.2
|
OPT f=2 TT=11.487 T1=3.29
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m1-herbs_c18.xml
|
OPT f=2 TT=96.784 T1=14.15
|
OPT f=2 TT=96.784 T1=14.15
|
? (TO)
TT=19932.3
|
? (TO)
TT=19928.1
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m1-magazine_c18.xml
|
SAT f=30 TT=20010.5 T1=576.03
|
SAT (TO) f=30 TT=20010.5 T1=576.03
|
? (TO)
TT=19753.6
|
? (TO)
TT=19913.7
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m1s-1_c18.xml
|
OPT f=2 TT=2.209 T1=0.73
|
OPT f=2 TT=2.209 T1=0.73
|
OPT f=2 TT=9.31 T1=3.24
|
OPT f=2 TT=9.667 T1=3.31
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m1s-2_c18.xml
|
OPT f=2 TT=3.705 T1=0.89
|
OPT f=2 TT=3.705 T1=0.89
|
OPT f=2 TT=8.48 T1=2.88
|
OPT f=2 TT=8.511 T1=2.84
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m1s-catfood_c18.xml
|
OPT f=2 TT=4.028 T1=1.01
|
OPT f=2 TT=4.028 T1=1.01
|
OPT f=2 TT=10.063 T1=3.26
|
OPT f=2 TT=9.182 T1=3.13
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m1s-herbs_c18.xml
|
OPT f=2 TT=286.758 T1=37.85
|
OPT f=2 TT=286.758 T1=37.85
|
OPT f=2 TT=41.935 T1=8.54
|
OPT f=2 TT=474.557 T1=98.95
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
TemplateDesign/ TemplateDesign-m1s-magazine_c18.xml
|
SAT f=13 TT=19985.2 T1=433.72
|
SAT (TO) f=13 TT=19985.2 T1=433.72
|
SAT (TO) f=24 TT=19874 T1=32.88
|
SAT (TO) f=26 TT=19835 T1=21.39
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m2-1_c18.xml
|
OPT f=2 TT=1.562 T1=0.65
|
OPT f=2 TT=1.562 T1=0.65
|
OPT f=2 TT=8.966 T1=3.31
|
OPT f=2 TT=8.326 T1=3.2
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m2-2_c18.xml
|
OPT f=2 TT=2.1 T1=0.75
|
OPT f=2 TT=2.1 T1=0.75
|
OPT f=2 TT=10.437 T1=2.94
|
OPT f=2 TT=10.323 T1=2.85
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m2-catfood_c18.xml
|
OPT f=2 TT=3.11 T1=0.91
|
OPT f=2 TT=3.11 T1=0.91
|
OPT f=2 TT=26.45 T1=5.44
|
OPT f=2 TT=21.466 T1=4.46
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m2-herbs_c18.xml
|
OPT f=2 TT=142.409 T1=18.63
|
OPT f=2 TT=142.409 T1=18.63
|
? (TO)
TT=19962.1
|
? (TO)
TT=19964.6
|
No data | No data | No data | No data |
TemplateDesign/ TemplateDesign-m2-magazine_c18.xml
|
SAT f=50 TT=20079.9 T1=48.66
|
SAT (TO) f=50 TT=20079.9 T1=48.66
|
? (TO)
TT=19943.3
|
? (TO)
TT=19991.9
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a2-galaxy04_c18.xml
|
OPT f=517 TT=5.251 T1=1.2
|
OPT f=517 TT=5.251 T1=1.2
|
OPT f=517 TT=11.233 T1=3.37
|
OPT f=517 TT=10.283 T1=3.27
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a2-galaxy06_c18.xml
|
SAT f=1587 TT=20075.4 T1=1794.52
|
SAT (TO) f=1587 TT=20075.4 T1=1794.52
|
SAT (TO) f=1601 TT=20041.5 T1=776.59
|
SAT (TO) f=1601 TT=20002.1 T1=268.85
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a2-galaxy08_c18.xml
|
SAT f=3286 TT=20091.9 T1=2267.85
|
SAT (TO) f=3286 TT=20091.9 T1=2267.85
|
SAT (TO) f=3367 TT=20053.6 T1=2066.57
|
SAT (TO) f=3334 TT=20024 T1=2051.23
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a2-galaxy10_c18.xml
|
SAT f=6257 TT=20078 T1=2044.84
|
SAT (TO) f=6257 TT=20078 T1=2044.84
|
SAT (TO) f=6805 TT=20060.6 T1=1742.48
|
SAT (TO) f=6805 TT=20064.6 T1=1776.04
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
TravelingTournament/ TravelingTournament-a2-galaxy12_c18.xml
|
SAT f=10674 TT=20076.7 T1=979.92
|
SAT (TO) f=10674 TT=20076.7 T1=979.92
|
? (TO)
TT=20059.9
|
? (TO)
TT=20062.1
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml
|
SAT f=16321 TT=20049.7 T1=374.43
|
SAT (TO) f=16321 TT=20049.7 T1=374.43
|
? (TO)
TT=20054.5
|
? (TO)
TT=20056.2
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a2-galaxy16_c18.xml
|
SAT f=23523 TT=19971.4 T1=1484.13
|
SAT (TO) f=23523 TT=19971.4 T1=1484.13
|
? (TO)
TT=20048.5
|
? (TO)
TT=20051.3
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a3-galaxy04_c18.xml
|
OPT f=416 TT=5.315 T1=1.25
|
OPT f=416 TT=5.315 T1=1.25
|
OPT f=416 TT=12.484 T1=4.31
|
OPT f=416 TT=13.753 T1=3.88
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a3-galaxy06_c18.xml
|
SAT f=1403 TT=20063.4 T1=2239.44
|
SAT (TO) f=1403 TT=20063.4 T1=2239.44
|
SAT (TO) f=1395 TT=20041.5 T1=2376.62
|
SAT (TO) f=1402 TT=19997.1 T1=781.18
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a3-galaxy08_c18.xml
|
SAT f=2828 TT=20093.8 T1=1362.41
|
SAT (TO) f=2828 TT=20093.8 T1=1362.41
|
SAT (TO) f=3090 TT=20053.9 T1=67.09
|
SAT (TO) f=3090 TT=20016.1 T1=68.28
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a3-galaxy10_c18.xml
|
SAT f=5647 TT=20081.5 T1=26.12
|
SAT (TO) f=5647 TT=20081.5 T1=26.12
|
SAT (TO) f=6360 TT=20063.5 T1=2417.04
|
SAT (TO) f=6360 TT=20066.2 T1=2453.65
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a3-galaxy12_c18.xml
|
SAT f=9584 TT=20071.1 T1=137.3
|
SAT (TO) f=9584 TT=20071.1 T1=137.3
|
? (TO)
TT=20064.2
|
? (TO)
TT=20064.1
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml
|
SAT f=15022 TT=20050.7 T1=355.71
|
SAT (TO) f=15022 TT=20050.7 T1=355.71
|
? (TO)
TT=20058.5
|
? (TO)
TT=20059.5
|
No data | No data | No data | No data |
TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml
|
SAT f=20261 TT=20004.4 T1=149.1
|
SAT (TO) f=20261 TT=20004.4 T1=149.1
|
? (TO)
TT=20050.7
|
? (TO)
TT=20049.9
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
TravellingSalesman/ TravellingSalesman-10-20-00_c18.xml
|
OPT f=47 TT=11.038 T1=0.69
|
OPT f=47 TT=11.038 T1=0.69
|
OPT f=47 TT=9.695 T1=2.22
|
OPT f=47 TT=8.861 T1=2.24
|
No data | No data | No data | No data |
TravellingSalesman/ TravellingSalesman-100-50-00_c18.xml
|
SAT f=466 TT=19994.5 T1=8.7
|
SAT (TO) f=466 TT=19994.5 T1=8.7
|
SAT (TO) f=3549 TT=20005.3 T1=2450.2
|
SAT (TO) f=3538 TT=20010.1 T1=2044.81
|
No data | No data | No data | No data |
TravellingSalesman/ TravellingSalesman-15-30-00_c18.xml
|
OPT f=93 TT=622.285 T1=2.39
|
OPT f=93 TT=622.285 T1=2.39
|
OPT f=93 TT=377.172 T1=8.19
|
OPT f=93 TT=477.034 T1=10.21
|
No data | No data | No data | No data |
TravellingSalesman/ TravellingSalesman-150-50-00_c18.xml
|
SAT f=582 TT=19896.4 T1=33.4
|
SAT (TO) f=582 TT=19896.4 T1=33.4
|
SAT (TO) f=5592 TT=20016.9 T1=2441.16
|
SAT (TO) f=5591 TT=20035.5 T1=2374.9
|
No data | No data | No data | No data |
TravellingSalesman/ TravellingSalesman-20-30-00_c18.xml
|
SAT f=104 TT=20080 T1=200.57
|
SAT (TO) f=104 TT=20080 T1=200.57
|
SAT (TO) f=126 TT=19933.8 T1=2183.87
|
SAT (TO) f=140 TT=19948.2 T1=2508.96
|
No data | No data | No data | No data |
TravellingSalesman/ TravellingSalesman-25-30-00_c18.xml
|
SAT f=119 TT=20061.4 T1=968.6
|
SAT (TO) f=119 TT=20061.4 T1=968.6
|
SAT (TO) f=259 TT=19960.5 T1=2283.26
|
SAT (TO) f=259 TT=19960 T1=2387.87
|
No data | No data | No data | No data |
TravellingSalesman/ TravellingSalesman-30-30-00_c18.xml
|
SAT f=127 TT=20057.1 T1=2168.63
|
SAT (TO) f=127 TT=20057.1 T1=2168.63
|
SAT (TO) f=372 TT=19958.9 T1=2489.84
|
SAT (TO) f=372 TT=19941.7 T1=1908.66
|
No data | No data | No data | No data |
TravellingSalesman/ TravellingSalesman-35-30-00_c18.xml
|
SAT f=164 TT=20065.4 T1=150.9
|
SAT (TO) f=164 TT=20065.4 T1=150.9
|
SAT (TO) f=507 TT=19952.7 T1=2312.99
|
SAT (TO) f=507 TT=19964.7 T1=1864.79
|
No data | No data | No data | No data |
TravellingSalesman/ TravellingSalesman-40-30-00_c18.xml
|
SAT f=187 TT=20062.4 T1=1.2
|
SAT (TO) f=187 TT=20062.4 T1=1.2
|
SAT (TO) f=615 TT=19959.6 T1=2090.66
|
SAT (TO) f=617 TT=19972.9 T1=2490.34
|
No data | No data | No data | No data |
TravellingSalesman/ TravellingSalesman-45-30-00_c18.xml
|
SAT f=199 TT=20059.7 T1=1.37
|
SAT (TO) f=199 TT=20059.7 T1=1.37
|
SAT (TO) f=697 TT=19971.8 T1=2168.63
|
SAT (TO) f=706 TT=19985.3 T1=2514.29
|
No data | No data | No data | No data |
Bench name | Best results | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
TravellingSalesman/ TravellingSalesman-50-30-00_c18.xml
|
SAT f=207 TT=20057.9 T1=1.76
|
SAT (TO) f=207 TT=20057.9 T1=1.76
|
SAT (TO) f=817 TT=19978.8 T1=2479.77
|
SAT (TO) f=824 TT=19991.3 T1=1589.51
|
No data | No data | No data | No data |
TravellingSalesman/ TravellingSalesman-75-50-00_c18.xml
|
SAT f=403 TT=20054.3 T1=134.03
|
SAT (TO) f=403 TT=20054.3 T1=134.03
|
SAT (TO) f=2538 TT=19967.6 T1=975.09
|
SAT (TO) f=2545 TT=19971.3 T1=1623.66
|
No data | No data | No data | No data |
|
Statistics | Choco-solver 4.0.7b par (e747e1e) (complete) | OscaR - Parallel with EPS 2018-07-02 (complete) | OscaR - Parallel with EPS 2018-08-14 (complete) | scop both+glucose-syrup (2018-07-07) (complete) | scop both+glucose-syrup (2018-07-31) (complete) | scop order+glucose-syrup (2018-07-07) (complete) | scop order+glucose-syrup (2018-07-31) (complete) |
Number of times the solver is able to give the best known answer | 458 | 94 | 95 | 140 | 139 | 153 | 152 |
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) | 390 | 10 | 13 | 32 | 10 | 32 | 5 |