2018 XCSP3 competition: parallel solvers tracks: results by benchmark

Results by benchmark for category decision problem (CSP)

This page displays the results of the different solvers for each benchmark for category decision problem (CSP)

REMINDER

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

Description of a cell contents:

Cell exampleMeaning
AnswerSolver result
f=...value of the objective function for the model reported by the solver
TT=...Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out
Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

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

Meaning of the different colors:

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

For better readability, you may choose to hide some solvers:
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)

Bench nameBest results
on this
instance		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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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 nameBest resultsChoco-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



StatisticsChoco-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 answer1349495140139153152
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)		6610133210325