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
|
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
|
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
|
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-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
|
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
|
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-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
|
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
|
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-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
|
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
|
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
|
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-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
|
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
|
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-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
|
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
|
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
|
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-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
|
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
|
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
|
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-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
|
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
|
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
|
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-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
|
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
|
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-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
|
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
|
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-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
|
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
|
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-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
|
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
|
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
|
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
|
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-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
|
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
|
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-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
|
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
|
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
|
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-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
|
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
|
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-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
|
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
|
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
|
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-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
|
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
|
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-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
|
|
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 | 134 | 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) | 66 | 10 | 13 | 32 | 10 | 32 | 5 |