2018 XCSP3 competition: parallel solvers tracks: results by benchmark

Results by benchmark for category optimization problem (COP)

This page displays the results of the different solvers for each benchmark for category optimization problem (COP)

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)

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)
Auction/Auction-cnt/
Auction-cnt-decay100_c18.xml 		SAT
f=624027
TT=13808.4
T1=1710.73
 SAT (TO)
f=624027
TT=13808.4
T1=1710.73
 SAT (TO)
f=503367
TT=19896.6
T1=1360.06
 SAT (TO)
f=503367
TT=19902.6
T1=1461.62
Auction/Auction-cnt/
Auction-cnt-decay200_c18.xml 		SAT
f=1189592
TT=4586.79
T1=2461.06
 SAT (TO)
f=1189592
TT=4586.79
T1=2461.06
 SAT (TO)
f=649490
TT=19909.3
T1=2151.57
 SAT (TO)
f=641268
TT=19907.6
T1=2441.56
Auction/Auction-cnt/
Auction-cnt-decay300_c18.xml 		SAT
f=1718794
TT=19016.7
T1=1877.88
 SAT (TO)
f=1718794
TT=19016.7
T1=1877.88
 SAT (TO)
f=836201
TT=19924.8
T1=2486.26
 SAT (TO)
f=801860
TT=19919.8
T1=2329.49
Auction/Auction-cnt/
Auction-cnt-decay400_c18.xml 		SAT
f=2173086
TT=19976.7
T1=2208.69
 SAT (TO)
f=2173086
TT=19976.7
T1=2208.69
 SAT (TO)
f=929708
TT=19943.5
T1=2336.21
 SAT (TO)
f=908652
TT=19932.5
T1=2345.43
Auction/Auction-cnt/
Auction-cnt-decay500_c18.xml 		SAT
f=2730403
TT=19878
T1=2422.78
 SAT (TO)
f=2730403
TT=19878
T1=2422.78
 SAT (TO)
f=941080
TT=19926.1
T1=2161.25
 SAT (TO)
f=959629
TT=19926.6
T1=2446.59
Auction/Auction-cnt/
Auction-cnt-example_c18.xml 		OPT
f=54
TT=0.991
T1=0.49
 OPT
f=54
TT=0.991
T1=0.49
 OPT
f=54
TT=2.833
T1=1.56
 OPT
f=54
TT=2.782
T1=1.54
Auction/Auction-cnt/
Auction-cnt-matching040_c18.xml 		SAT
f=12968875
TT=20058.2
T1=732.53
 SAT (TO)
f=12968875
TT=20058.2
T1=732.53
 SAT (TO)
f=8723181
TT=19879.5
T1=1263.91
 SAT (TO)
f=8723181
TT=19876.9
T1=1072.12
Auction/Auction-cnt/
Auction-cnt-matching080_c18.xml 		SAT
f=35359936
TT=20067.7
T1=470.15
 SAT (TO)
f=35359936
TT=20067.7
T1=470.15
 SAT (TO)
f=13212897
TT=19912
T1=2515.3
 SAT (TO)
f=12287958
TT=19898.1
T1=2180.58
Auction/Auction-sum/
Auction-sum-decay100_c18.xml 		SAT
f=636587
TT=19792.9
T1=295.97
 SAT (TO)
f=636587
TT=19792.9
T1=295.97
 SAT (TO)
f=509923
TT=19873
T1=2029.22
 SAT (TO)
f=504989
TT=19873
T1=2249.91
Auction/Auction-sum/
Auction-sum-decay200_c18.xml 		SAT
f=1454226
TT=14796.8
T1=2154.35
 SAT (TO)
f=1454226
TT=14796.8
T1=2154.35
 SAT (TO)
f=657729
TT=19898.7
T1=1727.36
 SAT (TO)
f=644538
TT=19896.2
T1=2473.61
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)
Auction/Auction-sum/
Auction-sum-decay300_c18.xml 		SAT
f=1778468
TT=19807.9
T1=1061.85
 SAT (TO)
f=1778468
TT=19807.9
T1=1061.85
 SAT (TO)
f=838075
TT=19904.7
T1=2415.53
 SAT (TO)
f=829826
TT=19922.7
T1=2416.76
Auction/Auction-sum/
Auction-sum-decay400_c18.xml 		SAT
f=2270200
TT=19913.3
T1=1904.62
 SAT (TO)
f=2270200
TT=19913.3
T1=1904.62
 SAT (TO)
f=908652
TT=19925.9
T1=2296.04
 SAT (TO)
f=952944
TT=19926.3
T1=2063.21
Auction/Auction-sum/
Auction-sum-decay500_c18.xml 		SAT
f=2920520
TT=19972.2
T1=1811.84
 SAT (TO)
f=2920520
TT=19972.2
T1=1811.84
 SAT (TO)
f=959629
TT=19931.9
T1=2107
 SAT (TO)
f=956234
TT=19929.2
T1=2230.64
Auction/Auction-sum/
Auction-sum-example_c18.xml 		OPT
f=54
TT=0.971
T1=0.49
 OPT
f=54
TT=0.971
T1=0.49
 OPT
f=54
TT=2.783
T1=1.57
 OPT
f=54
TT=2.786
T1=1.54
Auction/Auction-sum/
Auction-sum-matching040_c18.xml 		SAT
f=12968875
TT=20045.9
T1=280.36
 SAT (TO)
f=12968875
TT=20045.9
T1=280.36
 SAT (TO)
f=8723181
TT=19866.4
T1=712.97
 SAT (TO)
f=8723181
TT=19879.4
T1=864.25
Auction/Auction-sum/
Auction-sum-matching080_c18.xml 		SAT
f=35359936
TT=19962.4
T1=437.16
 SAT (TO)
f=35359936
TT=19962.4
T1=437.16
 SAT (TO)
f=13585408
TT=19886.5
T1=2171.74
 SAT (TO)
f=13585408
TT=19900.3
T1=1968.14
Bacp/Bacp-m1/
Bacp-m1-05_c18.xml 		OPT
f=9
TT=3.897
T1=0.7
 OPT
f=9
TT=3.897
T1=0.7
 OPT
f=9
TT=8.007
T1=2.21
 OPT
f=9
TT=8.264
T1=2.16
Bacp/Bacp-m1/
Bacp-m1-06_c18.xml 		OPT
f=10
TT=15.18
T1=0.73
 OPT
f=10
TT=15.18
T1=0.73
 OPT
f=10
TT=13.349
T1=2.36
 OPT
f=10
TT=15.054
T1=2.31
Bacp/Bacp-m1/
Bacp-m1-07a_c18.xml 		SAT
f=12
TT=20042.1
T1=0.82
 SAT (TO)
f=12
TT=20042.1
T1=0.82
 OPT
f=12
TT=3661.23
T1=2.55
 OPT
f=12
TT=3865.22
T1=2.48
Bacp/Bacp-m1/
Bacp-m1-07b_c18.xml 		SAT
f=13
TT=20043.9
T1=0.91
 SAT (TO)
f=13
TT=20043.9
T1=0.91
 SAT (TO)
f=13
TT=19944.3
T1=2.49
 SAT (TO)
f=13
TT=19981.7
T1=2.5
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)
Bacp/Bacp-m1/
Bacp-m1-08a_c18.xml 		SAT
f=17
TT=20056
T1=0.89
 SAT (TO)
f=17
TT=20056
T1=0.89
 SAT (TO)
f=17
TT=19965.4
T1=2.6
 SAT (TO)
f=17
TT=19978.8
T1=2.53
Bacp/Bacp-m1/
Bacp-m1-08b_c18.xml 		SAT
f=17
TT=20054.8
T1=0.88
 SAT (TO)
f=17
TT=20054.8
T1=0.88
 SAT (TO)
f=17
TT=19955.5
T1=2.72
 SAT (TO)
f=17
TT=19954.9
T1=2.53
Bacp/Bacp-m1/
Bacp-m1-10a-nodv_c18.xml 		SAT
f=14
TT=20061
T1=0.96
 SAT (TO)
f=14
TT=20061
T1=0.96
 SAT (TO)
f=14
TT=19970.6
T1=2.71
 SAT (TO)
f=14
TT=19971.2
T1=2.59
Bacp/Bacp-m1/
Bacp-m1-10a_c18.xml 		SAT
f=14
TT=20076.8
T1=0.93
 SAT (TO)
f=14
TT=20076.8
T1=0.93
 SAT (TO)
f=14
TT=19944.7
T1=2.69
 SAT (TO)
f=14
TT=19935.5
T1=2.7
Bacp/Bacp-m1/
Bacp-m1-10b_c18.xml 		SAT
f=14
TT=20060.9
T1=0.87
 SAT (TO)
f=14
TT=20060.9
T1=0.87
 SAT (TO)
f=14
TT=19956.5
T1=2.74
 SAT (TO)
f=14
TT=19962.6
T1=2.63
Bacp/Bacp-m1/
Bacp-m1-12a-nodv_c18.xml 		SAT
f=17
TT=20063.4
T1=1.1
 SAT (TO)
f=17
TT=20063.4
T1=1.1
 SAT (TO)
f=17
TT=19921.4
T1=3.26
 SAT (TO)
f=17
TT=19949.8
T1=3.15
Bacp/Bacp-m1/
Bacp-m1-12a_c18.xml 		SAT
f=17
TT=20063.1
T1=1.64
 SAT (TO)
f=17
TT=20063.1
T1=1.64
 SAT (TO)
f=17
TT=19928.4
T1=3.14
 SAT (TO)
f=17
TT=19924
T1=2.98
Bacp/Bacp-m1/
Bacp-m1-12b_c18.xml 		SAT
f=17
TT=20061.3
T1=1.3
 SAT (TO)
f=17
TT=20061.3
T1=1.3
 SAT (TO)
f=17
TT=19929.8
T1=3.15
 SAT (TO)
f=17
TT=19924.1
T1=3.69
Bacp/Bacp-m2/
Bacp-m2-05_c18.xml 		OPT
f=9
TT=5.251
T1=0.78
 OPT
f=9
TT=5.251
T1=0.78
 OPT
f=9
TT=9.2
T1=2.42
 OPT
f=9
TT=10.432
T1=2.32
Bacp/Bacp-m2/
Bacp-m2-06_c18.xml 		OPT
f=10
TT=16.341
T1=0.98
 OPT
f=10
TT=16.341
T1=0.98
 OPT
f=10
TT=23.497
T1=2.52
 OPT
f=10
TT=19.731
T1=2.41
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)
Bacp/Bacp-m2/
Bacp-m2-07a_c18.xml 		SAT
f=12
TT=20044.1
T1=0.87
 SAT (TO)
f=12
TT=20044.1
T1=0.87
 OPT
f=12
TT=11888.9
T1=2.66
 OPT
f=12
TT=12878.6
T1=2.6
Bacp/Bacp-m2/
Bacp-m2-07b_c18.xml 		SAT
f=13
TT=20044.9
T1=0.9
 SAT (TO)
f=13
TT=20044.9
T1=0.9
 SAT (TO)
f=13
TT=19961.2
T1=2.73
 SAT (TO)
f=13
TT=19984.5
T1=2.67
Bacp/Bacp-m2/
Bacp-m2-08a_c18.xml 		SAT
f=17
TT=20070.6
T1=1.03
 SAT (TO)
f=17
TT=20070.6
T1=1.03
 SAT (TO)
f=17
TT=19982.9
T1=3.04
 SAT (TO)
f=17
TT=19986.9
T1=3.29
Bacp/Bacp-m2/
Bacp-m2-08b_c18.xml 		SAT
f=17
TT=20057.1
T1=1.04
 SAT (TO)
f=17
TT=20057.1
T1=1.04
 SAT (TO)
f=17
TT=19979.5
T1=3
 SAT (TO)
f=17
TT=19973.3
T1=2.96
Bacp/Bacp-m2/
Bacp-m2-10a-nodv_c18.xml 		SAT
f=14
TT=17625.3
T1=1.15
 SAT (TO)
f=14
TT=17625.3
T1=1.15
 SAT (TO)
f=14
TT=19991.2
T1=3.06
 SAT (TO)
f=14
TT=19991.3
T1=3.07
Bacp/Bacp-m2/
Bacp-m2-10a_c18.xml 		SAT
f=14
TT=20054.4
T1=1.12
 SAT (TO)
f=14
TT=20054.4
T1=1.12
 SAT (TO)
f=14
TT=19997.7
T1=4.02
 SAT (TO)
f=14
TT=19987
T1=3.01
Bacp/Bacp-m2/
Bacp-m2-10b_c18.xml 		SAT
f=14
TT=20050.5
T1=1.06
 SAT (TO)
f=14
TT=20050.5
T1=1.06
 SAT (TO)
f=14
TT=19990.9
T1=3.03
 SAT (TO)
f=14
TT=20003.8
T1=2.99
Bacp/Bacp-m2/
Bacp-m2-12a-nodv_c18.xml 		SAT
f=17
TT=20062.6
T1=1.55
 SAT (TO)
f=17
TT=20062.6
T1=1.55
 SAT (TO)
f=17
TT=19969.9
T1=4.49
 SAT (TO)
f=17
TT=19996.6
T1=3.7
Bacp/Bacp-m2/
Bacp-m2-12a_c18.xml 		SAT
f=17
TT=20060
T1=1.49
 SAT (TO)
f=17
TT=20060
T1=1.49
 SAT (TO)
f=17
TT=19986.6
T1=3.61
 SAT (TO)
f=17
TT=20007.3
T1=3.57
Bacp/Bacp-m2/
Bacp-m2-12b_c18.xml 		SAT
f=17
TT=20065.2
T1=1.67
 SAT (TO)
f=17
TT=20065.2
T1=1.67
 SAT (TO)
f=17
TT=19995.9
T1=4.53
 SAT (TO)
f=17
TT=19999.1
T1=4.01
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)
CrosswordDesign/
CrosswordDesign-03-4-rom_c18.xml 		OPT
f=12
TT=5.2
T1=1.53
 OPT
f=12
TT=5.2
T1=1.53
 OPT
f=12
TT=15.835
T1=5.34
 OPT
f=12
TT=14.984
T1=5.21
CrosswordDesign/
CrosswordDesign-04-4-rom_c18.xml 		OPT
f=24
TT=16.555
T1=6.15
 OPT
f=24
TT=16.555
T1=6.15
 OPT
f=24
TT=64.069
T1=21.48
 OPT
f=24
TT=59.959
T1=22.93
CrosswordDesign/
CrosswordDesign-05-4-rom_c18.xml 		OPT
f=38
TT=552.404
T1=53.47
 OPT
f=38
TT=552.404
T1=53.47
 OPT
f=38
TT=482.998
T1=89.68
 OPT
f=38
TT=649.13
T1=92.36
CrosswordDesign/
CrosswordDesign-06-4-rom_c18.xml



?

TT=572.737

 ?

TT=826.477

 ?

TT=880.987
CrosswordDesign/
CrosswordDesign-07-4-rom_c18.xml



?

TT=516.969

 ?

TT=1507.59

 ?

TT=1613.04
CrosswordDesign/
CrosswordDesign-08-4-rom_c18.xml



?

TT=524.943

 ?

TT=253.417

 ?

TT=248.063
CrosswordDesign/
CrosswordDesign-09-4-rom_c18.xml



?

TT=761.797

 ?

TT=220.094

 ?

TT=200.207
CrosswordDesign/
CrosswordDesign-10-4-rom_c18.xml



?

TT=739.119

 ?

TT=198.649

 ?

TT=210.515
CrosswordDesign/
CrosswordDesign-11-4-rom_c18.xml



?

TT=692.179

 ?

TT=197.02

 ?

TT=214.117
CrosswordDesign/
CrosswordDesign-12-4-rom_c18.xml



?

TT=781.413

 ?

TT=211.338

 ?

TT=191.984
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)
CrosswordDesign/
CrosswordDesign-13-4-rom_c18.xml



?

TT=805.702

 ?

TT=239.243

 ?

TT=203.998
CrosswordDesign/
CrosswordDesign-14-4-rom_c18.xml



?

TT=927.041

 ?

TT=218.611

 ?

TT=211.44
CrosswordDesign/
CrosswordDesign-15-4-rom_c18.xml



?

TT=556.869

 ?

TT=243.942

 ?

TT=280.273
Fapp/Fapp-m2s/
Fapp-m2s-01-0200_c18.xml 		SAT
f=98470665
TT=3027.18
T1=2276.14
 SAT (TO)
f=98470665
TT=3027.18
T1=2276.14
 SAT (TO)
f=102330150
TT=19970.4
T1=2002.24
 SAT (TO)
f=102358551
TT=19973.7
T1=2510.71
Fapp/Fapp-m2s/
Fapp-m2s-02-0250_c18.xml 		SAT
f=229189766
TT=2691.45
T1=2178.11
 SAT (TO)
f=229189766
TT=2691.45
T1=2178.11
 SAT (TO)
f=233052540
TT=19903.4
T1=2290.91
 SAT (TO)
f=233265521
TT=19931
T1=2490.86
Fapp/Fapp-m2s/
Fapp-m2s-03-0300_c18.xml 		SAT
f=471322461
TT=3879.92
T1=1743.14
 SAT (TO)
f=471322461
TT=3879.92
T1=1743.14
 SAT (TO)
f=484367226
TT=19794
T1=2513.22
 SAT (TO)
f=484469760
TT=19825.5
T1=2482.05
Fapp/Fapp-m2s/
Fapp-m2s-04-0300_c18.xml 		SAT
f=268587954
TT=2861.15
T1=2434.68
 SAT (TO)
f=268587954
TT=2861.15
T1=2434.68
 SAT (TO)
f=282989704
TT=19850.2
T1=1909.49
 SAT (TO)
f=282989697
TT=19871.6
T1=1226.51
Fapp/Fapp-m2s/
Fapp-m2s-05-0350_c18.xml 		SAT
f=548030622
TT=3009.19
T1=2371.87
 SAT (TO)
f=548030622
TT=3009.19
T1=2371.87
 ? (TO)

TT=19780.7

 ? (TO)

TT=19798.6
Fapp/Fapp-m2s/
Fapp-m2s-06-0500_c18.xml 		SAT
f=1071010689
TT=3529.38
T1=361.01
 SAT (TO)
f=1071010689
TT=3529.38
T1=361.01
 SAT (TO)
f=1085212330
TT=19621.7
T1=2506.9
 SAT (TO)
f=1082310929
TT=19642.8
T1=2261.88
Fapp/Fapp-m2s/
Fapp-m2s-07-0600_c18.xml



?

TT=5077.1

 SAT (TO)
f=2055081639
TT=19487.3
T1=2166.25
 SAT (TO)
f=2054659793
TT=19508.3
T1=1906.51
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)
Fapp/Fapp-m2s/
Fapp-m2s-08-0700_c18.xml 		SAT
f=1239102092
TT=3171.08
T1=377.39
 SAT (TO)
f=1239102092
TT=3171.08
T1=377.39
 SAT (TO)
f=1252915917
TT=19561.7
T1=2431.15
 SAT (TO)
f=1256764022
TT=19610.4
T1=2351
Fapp/Fapp-m2s/
Fapp-m2s-16-0260_c18.xml 		SAT
f=374513959
TT=2762.71
T1=2302.36
 SAT (TO)
f=374513959
TT=2762.71
T1=2302.36
 SAT (TO)
f=401138650
TT=19863.3
T1=2504.03
 SAT (TO)
f=401028250
TT=19879.8
T1=2513.85
Fapp/Fapp-m2s/
Fapp-m2s-17-0300_c18.xml 		SAT
f=380878491
TT=2808.24
T1=2407.53
 SAT (TO)
f=380878491
TT=2808.24
T1=2407.53
 SAT (TO)
f=388697689
TT=19836.9
T1=1859.23
 SAT (TO)
f=388516708
TT=19853.7
T1=1632.54
Fapp/Fapp-m2s/
Fapp-m2s-18-0350_c18.xml 		OPT
f=162507055
TT=2436.88
T1=1946.72
 OPT
f=162507055
TT=2436.88
T1=1946.72
 SAT (TO)
f=241978164
TT=19905.7
T1=2468.85
 SAT (TO)
f=241978164
TT=19917.7
T1=1986.15
Fapp/Fapp-m2s/
Fapp-m2s-20-0420_c18.xml 		SAT
f=589221986
TT=2883.99
T1=1755.62
 SAT (TO)
f=589221986
TT=2883.99
T1=1755.62
 SAT (TO)
f=605046649
TT=19789
T1=2405.54
 SAT (TO)
f=605046646
TT=19823.5
T1=2125.77
Fapp/Fapp-m2s/
Fapp-m2s-21-0500_c18.xml 		SAT
f=188879713
TT=2688.67
T1=2173.59
 SAT (TO)
f=188879713
TT=2688.67
T1=2173.59
 ? (TO)

TT=19923.5

 ? (TO)

TT=19944
Fapp/Fapp-m2s/
Fapp-m2s-ex1_c18.xml 		OPT
f=523
TT=3.451
T1=1.06
 OPT
f=523
TT=3.451
T1=1.06
 OPT
f=523
TT=23.384
T1=4.49
 OPT
f=523
TT=26.514
T1=4.37
Fapp/Fapp-m2s/
Fapp-m2s-ex2_c18.xml 		OPT
f=13871
TT=4.758
T1=1.56
 OPT
f=13871
TT=4.758
T1=1.56
 OPT
f=13871
TT=18.859
T1=3.75
 OPT
f=13871
TT=20.57
T1=3.85
Fapp/Fapp-m2s/
Fapp-m2s-test01-0150_c18.xml 		SAT
f=18292617
TT=7814.41
T1=2139.28
 SAT (TO)
f=18292617
TT=7814.41
T1=2139.28
 SAT (TO)
f=52380687
TT=19953.5
T1=2278.3
 SAT (TO)
f=52373924
TT=19968.4
T1=2077.74
Fapp/Fapp-m2s/
Fapp-m2s-test02-0250_c18.xml 		SAT
f=141207894
TT=2859.92
T1=2173.13
 SAT (TO)
f=141207894
TT=2859.92
T1=2173.13
 SAT (TO)
f=148836951
TT=19874.5
T1=1049.18
 SAT (TO)
f=148542722
TT=19898.3
T1=2422.78
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)
Fapp/Fapp-m2s/
Fapp-m2s-test03-0400_c18.xml 		SAT
f=464880458
TT=2914.72
T1=223.37
 SAT (TO)
f=464880458
TT=2914.72
T1=223.37
 SAT (TO)
f=466660295
TT=19771.9
T1=2155.4
 SAT (TO)
f=465083001
TT=19772.6
T1=2462.74
GolombRuler/
GolombRuler-a3v18-07_c18.xml 		OPT
f=25
TT=2.667
T1=0.66
 OPT
f=25
TT=2.667
T1=0.66
 OPT
f=25
TT=8.485
T1=2.81
 OPT
f=25
TT=7.779
T1=2.85
GolombRuler/
GolombRuler-a3v18-08_c18.xml 		OPT
f=34
TT=9.236
T1=0.77
 OPT
f=34
TT=9.236
T1=0.77
 OPT
f=34
TT=12.983
T1=3.53
 OPT
f=34
TT=12.724
T1=3.43
GolombRuler/
GolombRuler-a3v18-09_c18.xml 		OPT
f=44
TT=15.18
T1=1.2
 OPT
f=44
TT=15.18
T1=1.2
 OPT
f=44
TT=43.975
T1=7.54
 OPT
f=44
TT=37.654
T1=6.66
GolombRuler/
GolombRuler-a3v18-10_c18.xml 		OPT
f=55
TT=35.686
T1=2.21
 OPT
f=55
TT=35.686
T1=2.21
 OPT
f=55
TT=402.028
T1=52.99
 OPT
f=55
TT=430.346
T1=55.56
GolombRuler/
GolombRuler-a3v18-11_c18.xml 		OPT
f=72
TT=2008.92
T1=3.56
 OPT
f=72
TT=2008.92
T1=3.56
 OPT
f=72
TT=14345.2
T1=1793.36
 OPT
f=72
TT=13381.3
T1=1674.16
GolombRuler/
GolombRuler-a3v18-12_c18.xml 		OPT
f=85
TT=8716.4
T1=250.75
 OPT
f=85
TT=8716.4
T1=250.75
 SAT (TO)
f=144
TT=19956.6
T1=2356.64
 SAT (TO)
f=144
TT=19963.6
T1=2305.26
GolombRuler/
GolombRuler-a3v18-13_c18.xml 		SAT
f=106
TT=20048.9
T1=1500.17
 SAT (TO)
f=106
TT=20048.9
T1=1500.17
 ? (TO)

TT=19928.9

 ? (TO)

TT=19936.7
GolombRuler/
GolombRuler-a3v18-14_c18.xml 		SAT
f=133
TT=20065.6
T1=1579.14
 SAT (TO)
f=133
TT=20065.6
T1=1579.14
 ? (TO)

TT=19921.8

 ? (TO)

TT=19932.2
GolombRuler/
GolombRuler-a3v18-15_c18.xml 		SAT
f=160
TT=20029.4
T1=1240.55
 SAT (TO)
f=160
TT=20029.4
T1=1240.55
 ? (TO)

TT=19911.8

 ? (TO)

TT=19920.6
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)
GolombRuler/
GolombRuler-a3v18-16_c18.xml 		SAT
f=190
TT=20042.5
T1=1817.34
 SAT (TO)
f=190
TT=20042.5
T1=1817.34
 ? (TO)

TT=19901.2

 ? (TO)

TT=19902.6
GolombRuler/
GolombRuler-a3v18-nodv-09_c18.xml 		OPT
f=44
TT=14.848
T1=1.24
 OPT
f=44
TT=14.848
T1=1.24
 OPT
f=44
TT=43.334
T1=7.46
 OPT
f=44
TT=43.989
T1=7.48
GolombRuler/
GolombRuler-a3v18-nodv-10_c18.xml 		OPT
f=55
TT=49.322
T1=2.06
 OPT
f=55
TT=49.322
T1=2.06
 OPT
f=55
TT=421.038
T1=54.03
 OPT
f=55
TT=509.474
T1=65.84
GolombRuler/
GolombRuler-a3v18-nodv-11_c18.xml 		OPT
f=72
TT=1822.17
T1=3.99
 OPT
f=72
TT=1822.17
T1=3.99
 OPT
f=72
TT=14373.5
T1=1788.35
 OPT
f=72
TT=13196
T1=1661.49
GraphColoring/
GraphColoring-2-fullins-5_c18.xml 		OPT
f=6
TT=356.811
T1=5.42
 OPT
f=6
TT=356.811
T1=5.42
 SAT (TO)
f=6
TT=16967.6
T1=1010.8
 SAT (TO)
f=6
TT=17031.8
T1=1023.78
GraphColoring/
GraphColoring-3-fullins-5_c18.xml 		OPT
f=7
TT=9358.44
T1=10.93
 OPT
f=7
TT=9358.44
T1=10.93
 SAT (TO)
f=1990
TT=19189.9
T1=2475.67
 SAT (TO)
f=1988
TT=19670.6
T1=2505.19
GraphColoring/
GraphColoring-4-fullins-4_c18.xml 		OPT
f=7
TT=95.105
T1=3.88
 OPT
f=7
TT=95.105
T1=3.88
 OPT
f=7
TT=5554.82
T1=450.47
 OPT
f=7
TT=6027.57
T1=398.89
GraphColoring/
GraphColoring-4-fullins-5_c18.xml 		SAT
f=8
TT=19908.3
T1=35.83
 SAT (TO)
f=8
TT=19908.3
T1=35.83
 ?

TT=3129.45

 ?

TT=2600.6
GraphColoring/
GraphColoring-5-fullins-3_c18.xml 		OPT
f=7
TT=13.211
T1=1.38
 OPT
f=7
TT=13.211
T1=1.38
 OPT
f=7
TT=41.459
T1=4.73
 OPT
f=7
TT=49.346
T1=4.33
GraphColoring/
GraphColoring-5-fullins-4_c18.xml 		OPT
f=8
TT=500.122
T1=5.38
 OPT
f=8
TT=500.122
T1=5.38
 SAT (TO)
f=353
TT=19850.2
T1=2520.06
 SAT (TO)
f=392
TT=19918.9
T1=2519.58
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)
GraphColoring/
GraphColoring-qg-order100_c18.xml 		SAT
f=104
TT=19059.4
T1=2068.6
 SAT (TO)
f=104
TT=19059.4
T1=2068.6
 ?

TT=1918.78

 ?

TT=1415.28
GraphColoring/
GraphColoring-qg-order30_c18.xml 		SAT
f=29
TT=20076
T1=7.59
 SAT (TO)
f=29
TT=20076
T1=7.59
 SAT (TO)
f=30
TT=19832.3
T1=1724.02
 SAT (TO)
f=30
TT=19933.6
T1=1624.73
GraphColoring/
GraphColoring-qg-order40_c18.xml 		SAT
f=39
TT=20009.6
T1=31.68
 SAT (TO)
f=39
TT=20009.6
T1=31.68
 SAT (TO)
f=1533
TT=19362.2
T1=2513.89
 SAT (TO)
f=1534
TT=19658.8
T1=2499.95
GraphColoring/
GraphColoring-qg-order60_c18.xml 		SAT
f=59
TT=19880.9
T1=363.18
 SAT (TO)
f=59
TT=19880.9
T1=363.18
 ?

TT=3876.91

 ?

TT=2291.08
GraphColoring/
GraphColoring-queen5-5_c18.xml 		OPT
f=4
TT=2.143
T1=0.8
 OPT
f=4
TT=2.143
T1=0.8
 OPT
f=4
TT=8.661
T1=2.5
 OPT
f=4
TT=9.032
T1=2.54
Knapsack/
Knapsack-30-100-00_c18.xml 		OPT
f=709
TT=5.364
T1=0.71
 OPT
f=709
TT=5.364
T1=0.71
 OPT
f=709
TT=7.407
T1=2.06
 OPT
f=709
TT=7.33
T1=2.37
Knapsack/
Knapsack-30-100-01_c18.xml 		OPT
f=871
TT=4.623
T1=0.73
 OPT
f=871
TT=4.623
T1=0.73
 OPT
f=871
TT=7.242
T1=2.25
 OPT
f=871
TT=8.201
T1=2.35
Knapsack/
Knapsack-40-150-00_c18.xml 		OPT
f=932
TT=28.487
T1=3.09
 OPT
f=932
TT=28.487
T1=3.09
 OPT
f=932
TT=21.276
T1=4.03
 OPT
f=932
TT=21.021
T1=3.95
Knapsack/
Knapsack-40-150-01_c18.xml 		OPT
f=1128
TT=19.375
T1=1.3
 OPT
f=1128
TT=19.375
T1=1.3
 OPT
f=1128
TT=10.621
T1=2.69
 OPT
f=1128
TT=11.518
T1=2.8
Knapsack/
Knapsack-50-200-00_c18.xml 		OPT
f=960
TT=65.509
T1=9.07
 OPT
f=960
TT=65.509
T1=9.07
 OPT
f=960
TT=24.729
T1=3.68
 OPT
f=960
TT=24.308
T1=3.67
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)
Knapsack/
Knapsack-50-200-01_c18.xml 		OPT
f=1297
TT=37.872
T1=1.24
 OPT
f=1297
TT=37.872
T1=1.24
 OPT
f=1297
TT=26.511
T1=4.28
 OPT
f=1297
TT=32.292
T1=4.97
Knapsack/
Knapsack-60-250-00_c18.xml 		OPT
f=1404
TT=811.333
T1=2.33
 OPT
f=1404
TT=811.333
T1=2.33
 OPT
f=1404
TT=504.01
T1=59.93
 OPT
f=1404
TT=602.559
T1=72.15
Knapsack/
Knapsack-60-250-01_c18.xml 		OPT
f=1323
TT=710.241
T1=3
 OPT
f=1323
TT=710.241
T1=3
 OPT
f=1323
TT=225.752
T1=24.47
 OPT
f=1323
TT=227.513
T1=24.93
Knapsack/
Knapsack-70-300-00_c18.xml 		OPT
f=1425
TT=2712.32
T1=2.02
 OPT
f=1425
TT=2712.32
T1=2.02
 OPT
f=1425
TT=1817.28
T1=220.01
 OPT
f=1425
TT=1520.19
T1=174.59
Knapsack/
Knapsack-70-300-01_c18.xml 		OPT
f=1465
TT=4157.81
T1=36.94
 OPT
f=1465
TT=4157.81
T1=36.94
 OPT
f=1465
TT=2615.28
T1=293.3
 OPT
f=1465
TT=2407.65
T1=265.06
Knapsack/
Knapsack-80-350-00_c18.xml 		SAT
f=1564
TT=19401.3
T1=170.65
 SAT (TO)
f=1564
TT=19401.3
T1=170.65
 OPT
f=1564
TT=11162.5
T1=1240.92
 OPT
f=1564
TT=10531.1
T1=1215.03
Knapsack/
Knapsack-80-350-01_c18.xml 		OPT
f=1668
TT=12552.2
T1=1623.03
 OPT
f=1668
TT=12552.2
T1=1623.03
 OPT
f=1668
TT=2618.87
T1=306.59
 OPT
f=1668
TT=2878.68
T1=335.13
Knapsack/
Knapsack-90-400-00_c18.xml 		SAT
f=1551
TT=19675.2
T1=49.17
 SAT (TO)
f=1551
TT=19675.2
T1=49.17
 SAT (TO)
f=1513
TT=19880.6
T1=2139.02
 SAT (TO)
f=1529
TT=19885.3
T1=2495.89
Knapsack/
Knapsack-90-400-01_c18.xml 		OPT
f=1681
TT=17741.7
T1=3.09
 OPT
f=1681
TT=17741.7
T1=3.09
 OPT
f=1681
TT=10152.9
T1=1689.14
 OPT
f=1681
TT=11642.9
T1=1570.29
LowAutocorrelation/
LowAutocorrelation-015_c18.xml 		OPT
f=15
TT=19.044
T1=1.02
 OPT
f=15
TT=19.044
T1=1.02
 OPT
f=15
TT=9.843
T1=2.54
 OPT
f=15
TT=8.934
T1=2.34
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)
LowAutocorrelation/
LowAutocorrelation-020_c18.xml 		OPT
f=26
TT=151.37
T1=2.53
 OPT
f=26
TT=151.37
T1=2.53
 OPT
f=26
TT=20.996
T1=3.08
 OPT
f=26
TT=23.783
T1=3.53
LowAutocorrelation/
LowAutocorrelation-021_c18.xml 		OPT
f=26
TT=273.076
T1=10.67
 OPT
f=26
TT=273.076
T1=10.67
 OPT
f=26
TT=23.334
T1=3.75
 OPT
f=26
TT=30.06
T1=4.25
LowAutocorrelation/
LowAutocorrelation-022_c18.xml 		OPT
f=39
TT=780.945
T1=3
 OPT
f=39
TT=780.945
T1=3
 OPT
f=39
TT=53.305
T1=3.41
 OPT
f=39
TT=59.985
T1=3.36
LowAutocorrelation/
LowAutocorrelation-023_c18.xml 		OPT
f=47
TT=2003.72
T1=2.72
 OPT
f=47
TT=2003.72
T1=2.72
 OPT
f=47
TT=116.518
T1=3.19
 OPT
f=47
TT=147.34
T1=2.96
LowAutocorrelation/
LowAutocorrelation-024_c18.xml 		OPT
f=36
TT=2216.11
T1=47.99
 OPT
f=36
TT=2216.11
T1=47.99
 OPT
f=36
TT=185.13
T1=9.14
 OPT
f=36
TT=219.22
T1=9.94
LowAutocorrelation/
LowAutocorrelation-025_c18.xml 		OPT
f=36
TT=3191.11
T1=68.65
 OPT
f=36
TT=3191.11
T1=68.65
 OPT
f=36
TT=289.687
T1=9.19
 OPT
f=36
TT=295.737
T1=9.23
LowAutocorrelation/
LowAutocorrelation-026_c18.xml 		OPT
f=45
TT=8840.97
T1=22.82
 OPT
f=45
TT=8840.97
T1=22.82
 OPT
f=45
TT=607.861
T1=4.96
 OPT
f=45
TT=727.553
T1=5.32
LowAutocorrelation/
LowAutocorrelation-027_c18.xml 		OPT
f=37
TT=6262.31
T1=297.94
 OPT
f=37
TT=6262.31
T1=297.94
 OPT
f=37
TT=964.482
T1=29.08
 OPT
f=37
TT=945.852
T1=28.69
LowAutocorrelation/
LowAutocorrelation-028_c18.xml 		SAT
f=50
TT=20060.2
T1=737.34
 SAT (TO)
f=50
TT=20060.2
T1=737.34
 OPT
f=50
TT=2376.53
T1=52.48
 OPT
f=50
TT=2725.5
T1=59.32
LowAutocorrelation/
LowAutocorrelation-030_c18.xml 		SAT
f=59
TT=20066.1
T1=793.68
 SAT (TO)
f=59
TT=20066.1
T1=793.68
 OPT
f=59
TT=9382.62
T1=57.97
 OPT
f=59
TT=12892.4
T1=77.52
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)
LowAutocorrelation/
LowAutocorrelation-035_c18.xml 		SAT
f=81
TT=20063.9
T1=2092.9
 SAT (TO)
f=81
TT=20063.9
T1=2092.9
 SAT (TO)
f=73
TT=19949.1
T1=481.72
 SAT (TO)
f=73
TT=19977.6
T1=367.3
LowAutocorrelation/
LowAutocorrelation-040_c18.xml 		SAT
f=180
TT=20093.3
T1=2084.94
 SAT (TO)
f=180
TT=20093.3
T1=2084.94
 SAT (TO)
f=136
TT=19952
T1=504.83
 SAT (TO)
f=136
TT=19962.3
T1=921.25
LowAutocorrelation/
LowAutocorrelation-050_c18.xml 		SAT
f=377
TT=20090.2
T1=1200.07
 SAT (TO)
f=377
TT=20090.2
T1=1200.07
 SAT (TO)
f=257
TT=19945.1
T1=1437.43
 SAT (TO)
f=257
TT=19943.7
T1=1949.94
Mario/
Mario-easy-2_c18.xml 		OPT
f=628
TT=2.595
T1=0.84
 OPT
f=628
TT=2.595
T1=0.84
 OPT
f=628
TT=8.935
T1=2.79
 OPT
f=628
TT=8.287
T1=2.67
Mario/
Mario-easy-4_c18.xml 		OPT
f=545
TT=4.581
T1=1.03
 OPT
f=545
TT=4.581
T1=1.03
 OPT
f=545
TT=8.818
T1=2.58
 OPT
f=545
TT=8.179
T1=2.52
Mario/
Mario-easy-5_c18.xml 		OPT
f=445
TT=5.802
T1=0.91
 OPT
f=445
TT=5.802
T1=0.91
 OPT
f=445
TT=8.53
T1=2.64
 OPT
f=445
TT=8.256
T1=2.61
Mario/
Mario-n-medium-2_c18.xml 		OPT
f=1053
TT=336.907
T1=25.72
 OPT
f=1053
TT=336.907
T1=25.72
 OPT
f=1053
TT=83.768
T1=7.41
 OPT
f=1053
TT=70.651
T1=6.09
Mario/
Mario-n-medium-3_c18.xml 		OPT
f=943
TT=177.617
T1=4.78
 OPT
f=943
TT=177.617
T1=4.78
 OPT
f=943
TT=40.881
T1=6.3
 OPT
f=943
TT=45.306
T1=6.76
Mario/
Mario-n-medium-4_c18.xml 		OPT
f=832
TT=153.966
T1=4.56
 OPT
f=832
TT=153.966
T1=4.56
 OPT
f=832
TT=42.413
T1=6.53
 OPT
f=832
TT=51.313
T1=7.55
Mario/
Mario-n-medium-5_c18.xml 		OPT
f=771
TT=169.914
T1=6.08
 OPT
f=771
TT=169.914
T1=6.08
 OPT
f=771
TT=41.03
T1=5.4
 OPT
f=771
TT=49.815
T1=6.29
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)
Mario/
Mario-t-hard-1_c18.xml 		OPT
f=4783
TT=18.848
T1=4.19
 OPT
f=4783
TT=18.848
T1=4.19
 OPT
f=4783
TT=28.336
T1=6.69
 OPT
f=4783
TT=30.352
T1=6.5
Mario/
Mario-t-hard-2_c18.xml 		OPT
f=4850
TT=68.642
T1=15.86
 OPT
f=4850
TT=68.642
T1=15.86
 OPT
f=4850
TT=31.019
T1=6.82
 OPT
f=4850
TT=30.169
T1=7.12
Mario/
Mario-t-hard-5_c18.xml 		OPT
f=4482
TT=24.926
T1=4.51
 OPT
f=4482
TT=24.926
T1=4.51
 OPT
f=4482
TT=26.582
T1=6.15
 OPT
f=4482
TT=28.471
T1=6.32
NurseRostering/
NurseRostering-00_c18.xml 		OPT
f=1202
TT=43.942
T1=4.86
 OPT
f=1202
TT=43.942
T1=4.86
 Wrong Cert.

TT=17.389

 Wrong Opt.
f=1207
TT=23.51
T1=4.76
NurseRostering/
NurseRostering-01_c18.xml 		OPT
f=607
TT=106.709
T1=10.81
 OPT
f=607
TT=106.709
T1=10.81
 OPT
f=607
TT=102.045
T1=14.75
 Wrong Cert.

TT=48.271
NurseRostering/
NurseRostering-02_c18.xml 		SAT
f=1422
TT=20064.2
T1=1972.73
 SAT (TO)
f=1422
TT=20064.2
T1=1972.73
 Wrong Cert.

TT=20028.1

 SAT (TO)
f=2166
TT=20000.8
T1=2140.26
NurseRostering/
NurseRostering-03_c18.xml 		SAT
f=1601
TT=20031.2
T1=689.62
 SAT (TO)
f=1601
TT=20031.2
T1=689.62
 Wrong Cert.

TT=20033.9

 Wrong Cert.

TT=20041.8
NurseRostering/
NurseRostering-04_c18.xml 		SAT
f=2619
TT=20008.7
T1=75.89
 SAT (TO)
f=2619
TT=20008.7
T1=75.89
 Wrong Cert.

TT=20032

 ? (TO)

TT=20038.4
NurseRostering/
NurseRostering-05_c18.xml 		SAT
f=2827
TT=20005.2
T1=1078.56
 SAT (TO)
f=2827
TT=20005.2
T1=1078.56
 ?

TT=16.711

 ?

TT=18.132
NurseRostering/
NurseRostering-06_c18.xml 		SAT
f=4569
TT=20047.8
T1=22.51
 SAT (TO)
f=4569
TT=20047.8
T1=22.51
 ? (TO)

TT=17560.4

 ?

TT=20.5
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)
NurseRostering/
NurseRostering-07_c18.xml 		SAT
f=5067
TT=20015.5
T1=41.63
 SAT (TO)
f=5067
TT=20015.5
T1=41.63
 ? (TO)

TT=19990.9

 ?

TT=17.797
NurseRostering/
NurseRostering-08_c18.xml 		SAT
f=10125
TT=20047.1
T1=127.96
 SAT (TO)
f=10125
TT=20047.1
T1=127.96
 ?

TT=26.421

 ?

TT=26.094
NurseRostering/
NurseRostering-09_c18.xml 		SAT
f=2455
TT=19998.6
T1=1366.09
 SAT (TO)
f=2455
TT=19998.6
T1=1366.09
 ?

TT=26.172

 ?

TT=25.901
NurseRostering/
NurseRostering-10_c18.xml 		SAT
f=10766
TT=20050
T1=1841.4
 SAT (TO)
f=10766
TT=20050
T1=1841.4
 ? (TO)

TT=20023.3

 ? (TO)

TT=20042.2
NurseRostering/
NurseRostering-11_c18.xml



? (TO)

TT=20086.2

 ? (TO)

TT=20032.4

 ? (TO)

TT=20052.1
NurseRostering/
NurseRostering-12_c18.xml



? (TO)

TT=20062.7

 ? (TO)

TT=20026.7

 ? (TO)

TT=20044.3
NurseRostering/
NurseRostering-13_c18.xml



? (TO)

TT=20001.4

 ? (TO)

TT=19991.3

 ? (TO)

TT=20000.9
NurseRostering/
NurseRostering-14_c18.xml



? (TO)

TT=20086

 ?

TT=36.123

 ?

TT=28.842
NurseRostering/
NurseRostering-15_c18.xml



? (TO)

TT=20060.7

 ? (TO)

TT=20050.5

 ? (TO)

TT=20042.6
NurseRostering/
NurseRostering-16_c18.xml



? (TO)

TT=20035.9

 ?

TT=31.133

 ? (TO)

TT=20044.5
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)
NurseRostering/
NurseRostering-17_c18.xml



? (TO)

TT=20079.7

 ?

TT=34.767

 ? (TO)

TT=20048.2
NurseRostering/
NurseRostering-18_c18.xml



? (TO)

TT=20062

 ? (TO)

TT=20043.4

 ? (TO)

TT=20040.7
NurseRostering/
NurseRostering-19_c18.xml



? (TO)

TT=20056.5

 ? (TO)

TT=20026.9

 ? (TO)

TT=20029.3
NurseRostering/
NurseRostering-20_c18.xml



? (TO)

TT=19981.5

 ? (TO)

TT=19911.3

 ? (TO)

TT=19919.7
PeacableArmies/
PeacableArmies-m1-05_c18.xml 		OPT
f=4
TT=4.641
T1=1.01
 OPT
f=4
TT=4.641
T1=1.01
 OPT
f=4
TT=8.264
T1=2.68
 OPT
f=4
TT=7.313
T1=2.65
PeacableArmies/
PeacableArmies-m1-07_c18.xml 		OPT
f=7
TT=112.098
T1=1.52
 OPT
f=7
TT=112.098
T1=1.52
 OPT
f=7
TT=48.499
T1=3.19
 OPT
f=7
TT=50.359
T1=3.19
PeacableArmies/
PeacableArmies-m1-10_c18.xml 		SAT
f=14
TT=19748.2
T1=10.84
 SAT (TO)
f=14
TT=19748.2
T1=10.84
 SAT (TO)
f=13
TT=19934.1
T1=1222.27
 SAT (TO)
f=13
TT=19923.5
T1=1557.49
PeacableArmies/
PeacableArmies-m1-15_c18.xml 		SAT
f=31
TT=20060.2
T1=52.07
 SAT (TO)
f=31
TT=20060.2
T1=52.07
 SAT (TO)
f=17
TT=19933
T1=1789.09
 SAT (TO)
f=17
TT=19930
T1=1370.37
PeacableArmies/
PeacableArmies-m1-20_c18.xml 		SAT
f=52
TT=20057.5
T1=245.21
 SAT (TO)
f=52
TT=20057.5
T1=245.21
 SAT (TO)
f=16
TT=20011.2
T1=338.92
 SAT (TO)
f=16
TT=20007.7
T1=301.01
PeacableArmies/
PeacableArmies-m1-30_c18.xml 		SAT
f=105
TT=19958.9
T1=641.87
 SAT (TO)
f=105
TT=19958.9
T1=641.87
 SAT (TO)
f=20
TT=19974.2
T1=1534.82
 SAT (TO)
f=20
TT=19970.1
T1=1436.32
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)
PeacableArmies/
PeacableArmies-m1-50_c18.xml 		SAT
f=214
TT=19389.3
T1=1969.21
 SAT (TO)
f=214
TT=19389.3
T1=1969.21
 SAT (TO)
f=15
TT=19705.9
T1=1495.93
 SAT (TO)
f=15
TT=19696.5
T1=1760.95
PeacableArmies/
PeacableArmies-m2-05_c18.xml 		OPT
f=4
TT=3.334
T1=0.84
 OPT
f=4
TT=3.334
T1=0.84
 OPT
f=4
TT=13.167
T1=2.74
 OPT
f=4
TT=12.224
T1=2.55
PeacableArmies/
PeacableArmies-m2-07_c18.xml 		OPT
f=7
TT=31.229
T1=1.18
 OPT
f=7
TT=31.229
T1=1.18
 SAT (TO)
f=7
TT=19906.7
T1=78.63
 SAT (TO)
f=7
TT=19916.7
T1=92.14
PeacableArmies/
PeacableArmies-m2-10_c18.xml 		SAT
f=14
TT=20056.3
T1=2.44
 SAT (TO)
f=14
TT=20056.3
T1=2.44
 SAT (TO)
f=9
TT=19907.8
T1=33.82
 SAT (TO)
f=9
TT=19929.6
T1=37.29
PeacableArmies/
PeacableArmies-m2-15_c18.xml 		SAT
f=28
TT=20054.5
T1=29.36
 SAT (TO)
f=28
TT=20054.5
T1=29.36
 SAT (TO)
f=10
TT=19944.3
T1=97.7
 SAT (TO)
f=10
TT=19940.8
T1=75.6
PeacableArmies/
PeacableArmies-m2-20_c18.xml 		SAT
f=48
TT=20065.9
T1=16.72
 SAT (TO)
f=48
TT=20065.9
T1=16.72
 SAT (TO)
f=10
TT=19967.9
T1=13.41
 SAT (TO)
f=10
TT=19940.4
T1=16.04
PeacableArmies/
PeacableArmies-m2-30_c18.xml 		SAT
f=95
TT=20021.8
T1=85.34
 SAT (TO)
f=95
TT=20021.8
T1=85.34
 SAT (TO)
f=10
TT=20034.8
T1=2084.73
 SAT (TO)
f=10
TT=20031.1
T1=1910.33
PeacableArmies/
PeacableArmies-m2-50_c18.xml 		SAT
f=250
TT=19747.7
T1=1261.32
 SAT (TO)
f=250
TT=19747.7
T1=1261.32
 SAT (TO)
f=2
TT=20000.8
T1=20.28
 SAT (TO)
f=2
TT=20004.7
T1=20.44
PizzaVoucher/
PizzaVoucher-10a_c18.xml 		OPT
f=210
TT=12.718
T1=2.21
 OPT
f=210
TT=12.718
T1=2.21
 OPT
f=210
TT=436.445
T1=54.45
 OPT
f=210
TT=471.142
T1=58.93
PizzaVoucher/
PizzaVoucher-10b_c18.xml 		OPT
f=28
TT=12.792
T1=1.07
 OPT
f=28
TT=12.792
T1=1.07
 OPT
f=28
TT=501.389
T1=62.3
 OPT
f=28
TT=501.005
T1=62.07
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)
PizzaVoucher/
PizzaVoucher-12a_c18.xml 		OPT
f=40
TT=27.426
T1=3.31
 OPT
f=40
TT=27.426
T1=3.31
 ? (TO)

TT=20047.5

 ? (TO)

TT=20034
PizzaVoucher/
PizzaVoucher-12b_c18.xml 		OPT
f=40
TT=45.917
T1=1.12
 OPT
f=40
TT=45.917
T1=1.12
 ? (TO)

TT=20007.4

 ? (TO)

TT=20015.9
PizzaVoucher/
PizzaVoucher-15a_c18.xml 		OPT
f=42
TT=14688.1
T1=90.09
 OPT
f=42
TT=14688.1
T1=90.09
 ? (TO)

TT=20028.6

 ? (TO)

TT=20028.3
PizzaVoucher/
PizzaVoucher-15b_c18.xml 		SAT
f=42
TT=20055.1
T1=88.54
 SAT (TO)
f=42
TT=20055.1
T1=88.54
 ? (TO)

TT=20011.7

 ? (TO)

TT=20033.1
PizzaVoucher/
PizzaVoucher-18a_c18.xml 		SAT
f=49
TT=20046
T1=2405.94
 SAT (TO)
f=49
TT=20046
T1=2405.94
 ? (TO)

TT=19964.1

 ? (TO)

TT=19990.1
PizzaVoucher/
PizzaVoucher-18b_c18.xml 		SAT
f=54
TT=20053.7
T1=53.08
 SAT (TO)
f=54
TT=20053.7
T1=53.08
 ? (TO)

TT=19986.9

 ? (TO)

TT=19976.3
PizzaVoucher/
PizzaVoucher-22a_c18.xml 		SAT
f=61
TT=20058.5
T1=1489.38
 SAT (TO)
f=61
TT=20058.5
T1=1489.38
 ? (TO)

TT=19974.9

 ? (TO)

TT=19986.7
PizzaVoucher/
PizzaVoucher-22b_c18.xml 		SAT
f=52
TT=20066.6
T1=305.97
 SAT (TO)
f=52
TT=20066.6
T1=305.97
 ? (TO)

TT=19979.7

 ? (TO)

TT=19967.5
PseudoBoolean-opt/
Pb-circ10-3_c18.xml 		SAT
f=354
TT=20054.6
T1=366.36
 SAT (TO)
f=354
TT=20054.6
T1=366.36
 ? (TO)

TT=20044.2

 ? (TO)

TT=20049.4
PseudoBoolean-opt/
Pb-circ4-3_c18.xml 		OPT
f=20
TT=8.798
T1=0.94
 OPT
f=20
TT=8.798
T1=0.94
 OPT
f=20
TT=13.449
T1=3.21
 OPT
f=20
TT=13.768
T1=3.12
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)
PseudoBoolean-opt/
Pb-circ6-3_c18.xml 		SAT
f=66
TT=20086
T1=256.43
 SAT (TO)
f=66
TT=20086
T1=256.43
 SAT (TO)
f=70
TT=20045.6
T1=718.24
 SAT (TO)
f=70
TT=20040.6
T1=850.19
PseudoBoolean-opt/
Pb-circ8-3_c18.xml 		SAT
f=166
TT=20088.4
T1=140.55
 SAT (TO)
f=166
TT=20088.4
T1=140.55
 ? (TO)

TT=20065.4

 ? (TO)

TT=20063.7
PseudoBoolean-opt/
Pb-garden-100x100_c18.xml 		SAT
f=2858
TT=20091.2
T1=18.59
 SAT (TO)
f=2858
TT=20091.2
T1=18.59
 SAT (TO)
f=9869
TT=19991.9
T1=1837.64
 SAT (TO)
f=9869
TT=19992.3
T1=2300.27
PseudoBoolean-opt/
Pb-garden-15x15_c18.xml 		SAT
f=57
TT=20039.7
T1=459.89
 SAT (TO)
f=57
TT=20039.7
T1=459.89
 SAT (TO)
f=166
TT=19924.5
T1=2005.02
 SAT (TO)
f=166
TT=19926.3
T1=2206.06
PseudoBoolean-opt/
Pb-garden-4x4_c18.xml 		OPT
f=4
TT=1.146
T1=0.54
 OPT
f=4
TT=1.146
T1=0.54
 OPT
f=4
TT=5.892
T1=2.11
 OPT
f=4
TT=5.41
T1=2.06
PseudoBoolean-opt/
Pb-garden-7x7_c18.xml 		OPT
f=12
TT=266.318
T1=0.84
 OPT
f=12
TT=266.318
T1=0.84
 OPT
f=12
TT=99.398
T1=13.8
 OPT
f=12
TT=105.156
T1=14.4
PseudoBoolean-opt/
Pb-garden-9x9_c18.xml 		SAT
f=20
TT=19431.1
T1=4.22
 SAT (TO)
f=20
TT=19431.1
T1=4.22
 SAT (TO)
f=27
TT=19935.9
T1=2413.52
 SAT (TO)
f=28
TT=19917.8
T1=1603.15
PseudoBoolean-opt/
Pb-radar-10-10-45-050-100_c18.xml 		SAT
f=5
TT=20058.3
T1=817.36
 SAT (TO)
f=5
TT=20058.3
T1=817.36
 SAT (TO)
f=32
TT=19916.1
T1=1995.04
 SAT (TO)
f=36
TT=19934.7
T1=6.16
PseudoBoolean-opt/
Pb-radar-10-20-45-050-100_c18.xml 		SAT
f=10
TT=20007.7
T1=33.21
 SAT (TO)
f=10
TT=20007.7
T1=33.21
 SAT (TO)
f=116
TT=19935.1
T1=2497.73
 SAT (TO)
f=116
TT=19936.5
T1=2439.15
PseudoBoolean-opt/
Pb-radar-30-30-45-050-100_c18.xml 		SAT
f=85
TT=19669.8
T1=1567.06
 SAT (TO)
f=85
TT=19669.8
T1=1567.06
 SAT (TO)
f=2347
TT=19714
T1=2365.92
 SAT (TO)
f=2345
TT=19721.3
T1=2225.72
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)
PseudoBoolean-opt/
Pb-radar-30-70-45-050-100_c18.xml 		SAT
f=360
TT=18932
T1=2496.72
 SAT (TO)
f=360
TT=18932
T1=2496.72
 SAT (TO)
f=9294
TT=18705.6
T1=2475.92
 SAT (TO)
f=9288
TT=18679.1
T1=2502.72
QuadraticAssignment/
QuadraticAssignment-esc128_c18.xml 		SAT
f=32
TT=20013.7
T1=24.7
 SAT (TO)
f=32
TT=20013.7
T1=24.7
 SAT (TO)
f=118
TT=20054.4
T1=363.99
 SAT (TO)
f=132
TT=20050.9
T1=407.92
QuadraticAssignment/
QuadraticAssignment-esc16a_c18.xml 		SAT
f=34
TT=20065.2
T1=3.95
 SAT (TO)
f=34
TT=20065.2
T1=3.95
 OPT
f=34
TT=14574.9
T1=1030.82
 OPT
f=34
TT=17876.4
T1=1232.22
QuadraticAssignment/
QuadraticAssignment-esc16d_c18.xml 		OPT
f=8
TT=190.048
T1=0.95
 OPT
f=8
TT=190.048
T1=0.95
 OPT
f=8
TT=85.327
T1=10.38
 OPT
f=8
TT=94.462
T1=11.73
QuadraticAssignment/
QuadraticAssignment-esc32a_c18.xml 		SAT
f=70
TT=20086.3
T1=1016.37
 SAT (TO)
f=70
TT=20086.3
T1=1016.37
 SAT (TO)
f=112
TT=19988.8
T1=2515.37
 SAT (TO)
f=117
TT=19959.1
T1=2273.61
QuadraticAssignment/
QuadraticAssignment-esc32d_c18.xml 		SAT
f=103
TT=20072.7
T1=80.52
 SAT (TO)
f=103
TT=20072.7
T1=80.52
 SAT (TO)
f=127
TT=20006.3
T1=399.07
 SAT (TO)
f=124
TT=19978.6
T1=1401.93
QuadraticAssignment/
QuadraticAssignment-esc64a_c18.xml 		SAT
f=58
TT=20085
T1=3.08
 SAT (TO)
f=58
TT=20085
T1=3.08
 SAT (TO)
f=79
TT=20005.8
T1=5.54
 SAT (TO)
f=79
TT=19990.4
T1=6.91
QuadraticAssignment/
QuadraticAssignment-had12_c18.xml 		SAT
f=830
TT=20046.2
T1=633.55
 SAT (TO)
f=830
TT=20046.2
T1=633.55
 SAT (TO)
f=826
TT=19957.8
T1=1585.06
 SAT (TO)
f=826
TT=19961.5
T1=2182.04
QuadraticAssignment/
QuadraticAssignment-had14_c18.xml 		SAT
f=1366
TT=20053.9
T1=78.53
 SAT (TO)
f=1366
TT=20053.9
T1=78.53
 SAT (TO)
f=1375
TT=19995.7
T1=150.05
 SAT (TO)
f=1372
TT=19963.1
T1=685.21
QuadraticAssignment/
QuadraticAssignment-had16_c18.xml 		SAT
f=1861
TT=20055
T1=2266.48
 SAT (TO)
f=1861
TT=20055
T1=2266.48
 SAT (TO)
f=1913
TT=19963.4
T1=219.45
 SAT (TO)
f=1910
TT=19983.3
T1=1606.83
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)
QuadraticAssignment/
QuadraticAssignment-had18_c18.xml 		SAT
f=2742
TT=20062.4
T1=2126.64
 SAT (TO)
f=2742
TT=20062.4
T1=2126.64
 SAT (TO)
f=2759
TT=19990.2
T1=1407.44
 SAT (TO)
f=2761
TT=19998.3
T1=1355.01
QuadraticAssignment/
QuadraticAssignment-had20_c18.xml 		SAT
f=3572
TT=20067.1
T1=2100.93
 SAT (TO)
f=3572
TT=20067.1
T1=2100.93
 SAT (TO)
f=3580
TT=19986.1
T1=452.48
 SAT (TO)
f=3580
TT=20019.1
T1=2188.23
QuadraticAssignment/
QuadraticAssignment-qap_c18.xml 		OPT
f=4776
TT=3.8
T1=0.79
 OPT
f=4776
TT=3.8
T1=0.79
 OPT
f=4776
TT=8.398
T1=2.5
 OPT
f=4776
TT=8.188
T1=2.47
QuadraticAssignment/
QuadraticAssignment-sko42_c18.xml 		SAT
f=9095
TT=20044.4
T1=118.88
 SAT (TO)
f=9095
TT=20044.4
T1=118.88
 SAT (TO)
f=9204
TT=20045.9
T1=1245.94
 SAT (TO)
f=9242
TT=20041.2
T1=1007.57
QuadraticAssignment/
QuadraticAssignment-sko49_c18.xml 		SAT
f=12886
TT=20005.5
T1=919.06
 SAT (TO)
f=12886
TT=20005.5
T1=919.06
 SAT (TO)
f=13461
TT=20048.7
T1=1069.74
 SAT (TO)
f=13461
TT=20050.7
T1=1026.84
QuadraticAssignment/
QuadraticAssignment-sko56_c18.xml 		SAT
f=19322
TT=19929.6
T1=1267.28
 SAT (TO)
f=19322
TT=19929.6
T1=1267.28
 ? (TO)

TT=20041.2

 ? (TO)

TT=20045.7
QuadraticAssignment/
QuadraticAssignment-sko64_c18.xml 		SAT
f=26874
TT=19862.1
T1=2032.1
 SAT (TO)
f=26874
TT=19862.1
T1=2032.1
 SAT (TO)
f=27942
TT=20017.8
T1=2361.77
 SAT (TO)
f=27938
TT=20013.5
T1=2195.97
QuadraticAssignment/
QuadraticAssignment-sko72_c18.xml 		SAT
f=36562
TT=19485.5
T1=1475.51
 SAT (TO)
f=36562
TT=19485.5
T1=1475.51
 ? (TO)

TT=19991.3

 ? (TO)

TT=19998
QuadraticAssignment/
QuadraticAssignment-sko81_c18.xml 		SAT
f=50633
TT=19392.9
T1=2204.54
 SAT (TO)
f=50633
TT=19392.9
T1=2204.54
 ? (TO)

TT=19957.4

 ? (TO)

TT=19952.9
QuadraticAssignment/
QuadraticAssignment-sko90_c18.xml



?

TT=3779.9

 ?

TT=1090.17

 ? (TO)

TT=19358.5
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)
Rcpsp/
Rcpsp-j120-01-01_c18.xml 		SAT
f=108
TT=20077.2
T1=19.78
 SAT (TO)
f=108
TT=20077.2
T1=19.78
 SAT (TO)
f=105
TT=8992.66
T1=576.34
 SAT (TO)
f=106
TT=13338.5
T1=833.77
Rcpsp/
Rcpsp-j120-01-02_c18.xml 		OPT
f=109
TT=3286.93
T1=412.89
 OPT
f=109
TT=3286.93
T1=412.89
 OPT
f=109
TT=117.728
T1=75.64
 OPT
f=109
TT=634.342
T1=518.12
Rcpsp/
Rcpsp-j120-01-03_c18.xml 		SAT
f=126
TT=20057.7
T1=982.28
 SAT (TO)
f=126
TT=20057.7
T1=982.28
 SAT (TO)
f=130
TT=2555.09
T1=1000.13
 SAT (TO)
f=130
TT=2551.66
T1=38.23
Rcpsp/
Rcpsp-j120-01-04_c18.xml 		OPT
f=97
TT=103.037
T1=12.84
 OPT
f=97
TT=103.037
T1=12.84
 OPT
f=97
TT=144.564
T1=16.72
 OPT
f=97
TT=102.051
T1=70.16
Rcpsp/
Rcpsp-j30-01-01_c18.xml 		OPT
f=43
TT=2.085
T1=0.77
 OPT
f=43
TT=2.085
T1=0.77
 OPT
f=43
TT=11.935
T1=3.69
 OPT
f=43
TT=10.085
T1=3.58
Rcpsp/
Rcpsp-j30-01-02_c18.xml 		OPT
f=47
TT=1.863
T1=0.73
 OPT
f=47
TT=1.863
T1=0.73
 OPT
f=47
TT=10.08
T1=3.42
 OPT
f=47
TT=9.149
T1=3.27
Rcpsp/
Rcpsp-j30-01-03_c18.xml 		OPT
f=47
TT=1.99
T1=0.77
 OPT
f=47
TT=1.99
T1=0.77
 OPT
f=47
TT=10.499
T1=3.88
 OPT
f=47
TT=8.809
T1=2.99
Rcpsp/
Rcpsp-j30-01-04_c18.xml 		OPT
f=62
TT=1.931
T1=0.75
 OPT
f=62
TT=1.931
T1=0.75
 OPT
f=62
TT=11.639
T1=3.61
 OPT
f=62
TT=10.777
T1=3.61
Rcpsp/
Rcpsp-j60-01-01_c18.xml 		OPT
f=77
TT=2.484
T1=0.84
 OPT
f=77
TT=2.484
T1=0.84
 OPT
f=77
TT=16.256
T1=5.9
 OPT
f=77
TT=17.752
T1=6.01
Rcpsp/
Rcpsp-j60-01-02_c18.xml 		OPT
f=68
TT=3.781
T1=1.03
 OPT
f=68
TT=3.781
T1=1.03
 OPT
f=68
TT=18.85
T1=6.51
 OPT
f=68
TT=20.306
T1=6.43
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)
Rcpsp/
Rcpsp-j60-01-03_c18.xml 		OPT
f=68
TT=3.036
T1=0.94
 OPT
f=68
TT=3.036
T1=0.94
 OPT
f=68
TT=18.366
T1=6.74
 OPT
f=68
TT=18.334
T1=6.39
Rcpsp/
Rcpsp-j60-01-04_c18.xml 		OPT
f=91
TT=2.715
T1=0.87
 OPT
f=91
TT=2.715
T1=0.87
 OPT
f=91
TT=15.067
T1=4.55
 OPT
f=91
TT=15.076
T1=4.24
Rcpsp/
Rcpsp-j90-01-01_c18.xml 		OPT
f=73
TT=18.15
T1=2.89
 OPT
f=73
TT=18.15
T1=2.89
 OPT
f=73
TT=32.422
T1=11.85
 OPT
f=73
TT=27.078
T1=9.92
Rcpsp/
Rcpsp-j90-01-02_c18.xml 		OPT
f=92
TT=3.265
T1=0.99
 OPT
f=92
TT=3.265
T1=0.99
 OPT
f=92
TT=29.004
T1=11.11
 OPT
f=92
TT=22.049
T1=8.99
Rcpsp/
Rcpsp-j90-01-03_c18.xml 		OPT
f=66
TT=20.722
T1=2.27
 OPT
f=66
TT=20.722
T1=2.27
 OPT
f=66
TT=29.572
T1=10.76
 OPT
f=66
TT=28.961
T1=9.64
Rcpsp/
Rcpsp-j90-01-04_c18.xml 		OPT
f=86
TT=34.966
T1=1.21
 OPT
f=86
TT=34.966
T1=1.21
 OPT
f=86
TT=38.422
T1=13.19
 OPT
f=86
TT=36.381
T1=11.07
Rlfap/Rlfap-opt/
Rlfap-graph-01-opt_c18.xml 		SAT
f=20
TT=19940.2
T1=359.35
 SAT (TO)
f=20
TT=19940.2
T1=359.35
 Wrong Opt.
f=36
TT=10.582
T1=3.14
 SAT (TO)
f=42
TT=14712.9
T1=2091.77
Rlfap/Rlfap-opt/
Rlfap-graph-02-opt_c18.xml 		SAT
f=16
TT=19906.4
T1=241.52
 SAT (TO)
f=16
TT=19906.4
T1=241.52
 Wrong Opt.
f=34
TT=14.996
T1=4.69
 SAT (TO)
f=42
TT=7463.75
T1=1865.96
Rlfap/Rlfap-opt/
Rlfap-graph-03-opt_c18.xml 		OPT
f=380
TT=10.47
T1=2.29
 OPT
f=380
TT=10.47
T1=2.29
 OPT
f=380
TT=12782.5
T1=1610.95
 OPT
f=380
TT=1753.52
T1=225.63
Rlfap/Rlfap-opt/
Rlfap-graph-04-opt_c18.xml 		OPT
f=394
TT=17.741
T1=3.44
 OPT
f=394
TT=17.741
T1=3.44
 ? (TO)

TT=20059.5

 ? (TO)

TT=20062.7
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)
Rlfap/Rlfap-opt/
Rlfap-graph-05-opt_c18.xml 		SAT
f=20333
TT=19579.2
T1=483.25
 SAT (TO)
f=20333
TT=19579.2
T1=483.25
 SAT (TO)
f=74931
TT=20052.2
T1=1787.9
 SAT (TO)
f=79194
TT=20051.9
T1=2463.71
Rlfap/Rlfap-opt/
Rlfap-graph-06-opt_c18.xml 		SAT
f=64511
TT=19386.5
T1=252.79
 SAT (TO)
f=64511
TT=19386.5
T1=252.79
 SAT (TO)
f=238216
TT=20046
T1=1337.62
 SAT (TO)
f=226389
TT=20048.2
T1=2141.6
Rlfap/Rlfap-opt/
Rlfap-graph-07-opt_c18.xml 		SAT
f=16158
TT=19968.3
T1=30.34
 SAT (TO)
f=16158
TT=19968.3
T1=30.34
 SAT (TO)
f=203038
TT=20040.1
T1=1515.09
 SAT (TO)
f=225556
TT=20055
T1=2385.54
Rlfap/Rlfap-opt/
Rlfap-graph-08-opt_c18.xml 		SAT
f=22
TT=19183.7
T1=415.34
 SAT (TO)
f=22
TT=19183.7
T1=415.34
 Wrong Opt.
f=48
TT=21.001
T1=6.03
 ? (TO)

TT=2527.44
Rlfap/Rlfap-opt/
Rlfap-graph-09-opt_c18.xml 		SAT
f=22
TT=19668
T1=1216.25
 SAT (TO)
f=22
TT=19668
T1=1216.25
 Wrong Opt.
f=46
TT=27.502
T1=8.05
 ? (TO)

TT=2527.28
Rlfap/Rlfap-opt/
Rlfap-graph-10-opt_c18.xml 		OPT
f=394
TT=30.102
T1=5.43
 OPT
f=394
TT=30.102
T1=5.43
 ? (TO)

TT=20027.8

 ? (TO)

TT=20034.3
Rlfap/Rlfap-opt/
Rlfap-graph-11-opt_c18.xml 		SAT
f=125358
TT=15300.4
T1=967.51
 SAT (TO)
f=125358
TT=15300.4
T1=967.51
 SAT (TO)
f=445367
TT=20021.4
T1=2462.81
 SAT (TO)
f=451649
TT=20041.5
T1=2421.5
Rlfap/Rlfap-opt/
Rlfap-graph-12-opt_c18.xml 		SAT
f=86625
TT=19692.8
T1=125.06
 SAT (TO)
f=86625
TT=19692.8
T1=125.06
 SAT (TO)
f=497984
TT=19964.1
T1=1249.88
 SAT (TO)
f=529787
TT=20021.9
T1=2462.28
Rlfap/Rlfap-opt/
Rlfap-graph-13-opt_c18.xml 		SAT
f=181772
TT=16607.8
T1=1373.33
 SAT (TO)
f=181772
TT=16607.8
T1=1373.33
 SAT (TO)
f=672682
TT=19975.1
T1=2428.4
 SAT (TO)
f=668785
TT=20007.6
T1=1604.21
Rlfap/Rlfap-opt/
Rlfap-graph-14-opt_c18.xml 		SAT
f=18
TT=17909.9
T1=1439.53
 SAT (TO)
f=18
TT=17909.9
T1=1439.53
 Wrong Opt.
f=28
TT=24.88
T1=7.07
 ? (TO)

TT=2526.42
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)
Rlfap/Rlfap-opt/
Rlfap-scen-01-opt_c18.xml 		SAT
f=20
TT=15864.9
T1=2414.96
 SAT (TO)
f=20
TT=15864.9
T1=2414.96
 Wrong Opt.
f=42
TT=25.951
T1=7.3
 ?

TT=72.024
Rlfap/Rlfap-opt/
Rlfap-scen-02-opt_c18.xml 		SAT
f=14
TT=20018.5
T1=22.84
 SAT (TO)
f=14
TT=20018.5
T1=22.84
 Wrong Opt.
f=28
TT=11.606
T1=3.38
 SAT (TO)
f=40
TT=5376.93
T1=2235.85
Rlfap/Rlfap-opt/
Rlfap-scen-03-opt_c18.xml 		SAT
f=14
TT=19931.5
T1=75.28
 SAT (TO)
f=14
TT=19931.5
T1=75.28
 Wrong Opt.
f=40
TT=16.362
T1=4.79
 ? (TO)

TT=2525.51
Rlfap/Rlfap-opt/
Rlfap-scen-04-opt_c18.xml 		OPT
f=46
TT=130.9
T1=19.83
 OPT
f=46
TT=130.9
T1=19.83
 OPT
f=46
TT=21.112
T1=5.75
 ? (TO)

TT=11478.3
Rlfap/Rlfap-opt/
Rlfap-scen-05-opt_c18.xml 		OPT
f=792
TT=14.675
T1=3.15
 OPT
f=792
TT=14.675
T1=3.15
 OPT
f=792
TT=159.654
T1=16.96
 OPT
f=792
TT=339.356
T1=40.19
Rlfap/Rlfap-opt/
Rlfap-scen-06-opt_c18.xml 		SAT
f=36922
TT=19353.5
T1=264.4
 SAT (TO)
f=36922
TT=19353.5
T1=264.4
 SAT (TO)
f=124706
TT=20054.9
T1=2004.79
 SAT (TO)
f=127991
TT=20046.9
T1=1203.55
Rlfap/Rlfap-opt/
Rlfap-scen-07-opt_c18.xml 		SAT
f=51074811
TT=18442.7
T1=456.33
 SAT (TO)
f=51074811
TT=18442.7
T1=456.33
 ?

TT=833.034

 ?

TT=822.538
Rlfap/Rlfap-opt/
Rlfap-scen-08-opt_c18.xml 		SAT
f=2415
TT=19150.1
T1=1053.53
 SAT (TO)
f=2415
TT=19150.1
T1=1053.53
 SAT (TO)
f=8284
TT=19974.8
T1=2330.96
 SAT (TO)
f=8302
TT=20011.5
T1=2388.53
Rlfap/Rlfap-opt/
Rlfap-scen-09-opt_c18.xml 		SAT
f=37682
TT=19849.7
T1=1686.26
 SAT (TO)
f=37682
TT=19849.7
T1=1686.26
 SAT (TO)
f=518090
TT=20020.3
T1=1076.21
 SAT (TO)
f=516544
TT=20040.2
T1=2377.6
Rlfap/Rlfap-opt/
Rlfap-scen-10-opt_c18.xml 		SAT
f=260923
TT=19755.9
T1=843.49
 SAT (TO)
f=260923
TT=19755.9
T1=843.49
 SAT (TO)
f=11173673
TT=19937.3
T1=2280.88
 SAT (TO)
f=12195767
TT=19994.2
T1=2378.16
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)
Rlfap/Rlfap-opt/
Rlfap-scen-11-opt_c18.xml 		SAT
f=28
TT=20071.3
T1=1883.31
 SAT (TO)
f=28
TT=20071.3
T1=1883.31
 Wrong Opt.
f=46
TT=152.753
T1=22.61
 ? (TO)

TT=2527.15
SteelMillSlab/
SteelMillSlab-m1-2-0_c18.xml 		SAT
f=382
TT=20092.8
T1=82.13
 SAT (TO)
f=382
TT=20092.8
T1=82.13
 ? (TO)

TT=19886.2

 ? (TO)

TT=19879.4
SteelMillSlab/
SteelMillSlab-m1-2-2_c18.xml 		SAT
f=802
TT=20092.8
T1=76.37
 SAT (TO)
f=802
TT=20092.8
T1=76.37
 ? (TO)

TT=19846.3

 ? (TO)

TT=19846
SteelMillSlab/
SteelMillSlab-m1-3-0_c18.xml 		SAT
f=124
TT=20091.7
T1=75.15
 SAT (TO)
f=124
TT=20091.7
T1=75.15
 ? (TO)

TT=19848.3

 ? (TO)

TT=19889
SteelMillSlab/
SteelMillSlab-m1-3-2_c18.xml 		SAT
f=622
TT=20094.7
T1=72.87
 SAT (TO)
f=622
TT=20094.7
T1=72.87
 ? (TO)

TT=19870

 ? (TO)

TT=19874.4
SteelMillSlab/
SteelMillSlab-m1-4-0_c18.xml 		SAT
f=352
TT=20092.7
T1=92.62
 SAT (TO)
f=352
TT=20092.7
T1=92.62
 ? (TO)

TT=19854.7

 ? (TO)

TT=19860.6
SteelMillSlab/
SteelMillSlab-m1-simple_c18.xml 		OPT
f=0
TT=2.544
T1=0.83
 OPT
f=0
TT=2.544
T1=0.83
 OPT
f=0
TT=7.514
T1=2.57
 OPT
f=0
TT=7.452
T1=2.56
SteelMillSlab/
SteelMillSlab-m2-2-0_c18.xml 		SAT
f=382
TT=19984.6
T1=615.44
 SAT (TO)
f=382
TT=19984.6
T1=615.44
 ? (TO)

TT=19959.2

 ? (TO)

TT=19958.7
SteelMillSlab/
SteelMillSlab-m2-2-2_c18.xml 		SAT
f=802
TT=19971.9
T1=602.13
 SAT (TO)
f=802
TT=19971.9
T1=602.13
 ? (TO)

TT=19970.4

 ? (TO)

TT=19957
SteelMillSlab/
SteelMillSlab-m2-3-0_c18.xml 		SAT
f=124
TT=19989.9
T1=610.91
 SAT (TO)
f=124
TT=19989.9
T1=610.91
 ? (TO)

TT=19951.8

 ? (TO)

TT=19957.6
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)
SteelMillSlab/
SteelMillSlab-m2-3-2_c18.xml 		SAT
f=622
TT=19982.1
T1=632.34
 SAT (TO)
f=622
TT=19982.1
T1=632.34
 ? (TO)

TT=19945.8

 ? (TO)

TT=19959.2
SteelMillSlab/
SteelMillSlab-m2-4-0_c18.xml 		SAT
f=352
TT=19986.5
T1=587.24
 SAT (TO)
f=352
TT=19986.5
T1=587.24
 ? (TO)

TT=19961.4

 ? (TO)

TT=19944.8
SteelMillSlab/
SteelMillSlab-m2-simple_c18.xml 		OPT
f=0
TT=3.897
T1=1.16
 OPT
f=0
TT=3.897
T1=1.16
 OPT
f=0
TT=8.125
T1=2.61
 OPT
f=0
TT=8.102
T1=2.51
SteelMillSlab/
SteelMillSlab-m2s-2-0_c18.xml 		SAT
f=154
TT=19074.9
T1=349.63
 SAT (TO)
f=154
TT=19074.9
T1=349.63
 ? (TO)

TT=19949.4

 ? (TO)

TT=19955.1
SteelMillSlab/
SteelMillSlab-m2s-2-2_c18.xml 		SAT
f=338
TT=19985.2
T1=164.14
 SAT (TO)
f=338
TT=19985.2
T1=164.14
 ? (TO)

TT=19931.8

 ? (TO)

TT=19964.3
SteelMillSlab/
SteelMillSlab-m2s-3-0_c18.xml 		SAT
f=87
TT=18266.6
T1=2217.48
 SAT (TO)
f=87
TT=18266.6
T1=2217.48
 ? (TO)

TT=19955.3

 ? (TO)

TT=19960.7
SteelMillSlab/
SteelMillSlab-m2s-3-2_c18.xml 		SAT
f=301
TT=18508
T1=769.96
 SAT (TO)
f=301
TT=18508
T1=769.96
 SAT (TO)
f=386
TT=19947
T1=546.85
 SAT (TO)
f=386
TT=19947.2
T1=613.89
SteelMillSlab/
SteelMillSlab-m2s-4-0_c18.xml 		SAT
f=183
TT=19984.5
T1=884.72
 SAT (TO)
f=183
TT=19984.5
T1=884.72
 ? (TO)

TT=19934.6

 ? (TO)

TT=19965.1
StillLife/
StillLife-wastage-08_c18.xml 		OPT
f=36
TT=5.085
T1=1.25
 OPT
f=36
TT=5.085
T1=1.25
 OPT
f=36
TT=38.366
T1=7.18
 OPT
f=36
TT=39.214
T1=6.59
StillLife/
StillLife-wastage-09_c18.xml 		OPT
f=43
TT=48.571
T1=2.85
 OPT
f=43
TT=48.571
T1=2.85
 OPT
f=43
TT=378.26
T1=17.35
 OPT
f=43
TT=320.159
T1=11.04
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)
StillLife/
StillLife-wastage-10_c18.xml 		OPT
f=54
TT=71.559
T1=2.12
 OPT
f=54
TT=71.559
T1=2.12
 OPT
f=54
TT=1808.78
T1=149.18
 OPT
f=54
TT=2223.78
T1=190.05
StillLife/
StillLife-wastage-11_c18.xml 		OPT
f=64
TT=1806.44
T1=17.7
 OPT
f=64
TT=1806.44
T1=17.7
 SAT (TO)
f=62
TT=19937.6
T1=521.32
 SAT (TO)
f=62
TT=19966
T1=1633.11
StillLife/
StillLife-wastage-12_c18.xml 		SAT
f=76
TT=20036.5
T1=90.08
 SAT (TO)
f=76
TT=20036.5
T1=90.08
 SAT (TO)
f=70
TT=19939.5
T1=1769.99
 SAT (TO)
f=71
TT=19979.4
T1=2404.15
StillLife/
StillLife-wastage-13_c18.xml 		OPT
f=90
TT=11171
T1=242.81
 OPT
f=90
TT=11171
T1=242.81
 SAT (TO)
f=80
TT=19968.7
T1=2186.29
 SAT (TO)
f=81
TT=19968.9
T1=2388.72
StillLife/
StillLife-wastage-14_c18.xml 		SAT
f=101
TT=20058.6
T1=237.1
 SAT (TO)
f=101
TT=20058.6
T1=237.1
 SAT (TO)
f=89
TT=19966.3
T1=560.54
 SAT (TO)
f=88
TT=20002.2
T1=2275.06
StillLife/
StillLife-wastage-15_c18.xml 		SAT
f=116
TT=20073.4
T1=702.59
 SAT (TO)
f=116
TT=20073.4
T1=702.59
 SAT (TO)
f=97
TT=19958.8
T1=2466.76
 SAT (TO)
f=95
TT=19972.2
T1=1179.46
StillLife/
StillLife-wastage-17_c18.xml 		SAT
f=145
TT=20066.2
T1=142.62
 SAT (TO)
f=145
TT=20066.2
T1=142.62
 SAT (TO)
f=115
TT=19947.2
T1=1892.24
 SAT (TO)
f=113
TT=19964.5
T1=558.12
StillLife/
StillLife-wastage-19_c18.xml 		SAT
f=176
TT=20077.3
T1=298.11
 SAT (TO)
f=176
TT=20077.3
T1=298.11
 SAT (TO)
f=129
TT=19978.9
T1=283.51
 SAT (TO)
f=135
TT=19993.9
T1=2456.92
StillLife/
StillLife-wastage-21_c18.xml 		SAT
f=209
TT=20063.5
T1=1828.73
 SAT (TO)
f=209
TT=20063.5
T1=1828.73
 SAT (TO)
f=164
TT=20008.9
T1=1869.83
 SAT (TO)
f=164
TT=20012
T1=2282.6
StillLife/
StillLife-wastage-25_c18.xml 		SAT
f=295
TT=20050.6
T1=47.02
 SAT (TO)
f=295
TT=20050.6
T1=47.02
 SAT (TO)
f=215
TT=20024.8
T1=180.09
 SAT (TO)
f=213
TT=19983.4
T1=1488.51
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)
StillLife/
StillLife-wastage-30_c18.xml 		SAT
f=420
TT=20055.7
T1=31.18
 SAT (TO)
f=420
TT=20055.7
T1=31.18
 SAT (TO)
f=266
TT=19994.4
T1=1965.66
 SAT (TO)
f=266
TT=20001.4
T1=788.98
SumColoring/
SumColoring-1-fullins-3_c18.xml 		OPT
f=24
TT=5.235
T1=1.11
 OPT
f=24
TT=5.235
T1=1.11
 OPT
f=24
TT=1827.76
T1=229.79
 OPT
f=24
TT=1463.31
T1=183.43
SumColoring/
SumColoring-1-fullins-4_c18.xml 		SAT
f=83
TT=19965.3
T1=2253.22
 SAT (TO)
f=83
TT=19965.3
T1=2253.22
 SAT (TO)
f=3346
TT=20059.4
T1=2510.45
 SAT (TO)
f=3404
TT=20062.2
T1=2518.4
SumColoring/
SumColoring-1-fullins-5_c18.xml 		SAT
f=241
TT=20009.2
T1=2.12
 SAT (TO)
f=241
TT=20009.2
T1=2.12
 SAT (TO)
f=51060
TT=20045.3
T1=2515.56
 SAT (TO)
f=51119
TT=20049.4
T1=2517.48
SumColoring/
SumColoring-dsjc-125-1_c18.xml 		SAT
f=231
TT=19964
T1=99.55
 SAT (TO)
f=231
TT=19964
T1=99.55
 SAT (TO)
f=11198
TT=20041.5
T1=2439.18
 SAT (TO)
f=11356
TT=20035.9
T1=2498.82
SumColoring/
SumColoring-dsjc-125-5_c18.xml 		SAT
f=1094
TT=19912
T1=1650.56
 SAT (TO)
f=1094
TT=19912
T1=1650.56
 SAT (TO)
f=12392
TT=20052.5
T1=2518.41
 SAT (TO)
f=12378
TT=20056.6
T1=2516.89
SumColoring/
SumColoring-dsjc-125-9_c18.xml 		SAT
f=2709
TT=19333
T1=1349.82
 SAT (TO)
f=2709
TT=19333
T1=1349.82
 SAT (TO)
f=11359
TT=20054.7
T1=2366.01
 SAT (TO)
f=11359
TT=20052.7
T1=2441.52
SumColoring/
SumColoring-dsjc-250-1_c18.xml 		SAT
f=921
TT=19439.6
T1=1659.14
 SAT (TO)
f=921
TT=19439.6
T1=1659.14
 SAT (TO)
f=54216
TT=20049.2
T1=2507.8
 SAT (TO)
f=54166
TT=20054.9
T1=2519.93
SumColoring/
SumColoring-dsjc-250-5_c18.xml 		SAT
f=3924
TT=19469.6
T1=2056.83
 SAT (TO)
f=3924
TT=19469.6
T1=2056.83
 SAT (TO)
f=54375
TT=20035.6
T1=2519.09
 SAT (TO)
f=54313
TT=20029.8
T1=2516.01
SumColoring/
SumColoring-dsjc-250-9_c18.xml 		SAT
f=10183
TT=20067.3
T1=9.3
 SAT (TO)
f=10183
TT=20067.3
T1=9.3
 SAT (TO)
f=49202
TT=20001.5
T1=2519.16
 SAT (TO)
f=49220
TT=19996.7
T1=2513.06
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)
SumColoring/
SumColoring-myciel3_c18.xml 		OPT
f=10
TT=1.345
T1=0.59
 OPT
f=10
TT=1.345
T1=0.59
 OPT
f=10
TT=6.623
T1=2.23
 OPT
f=10
TT=6.471
T1=2.16
SumColoring/
SumColoring-myciel4_c18.xml 		OPT
f=22
TT=4.026
T1=0.85
 OPT
f=22
TT=4.026
T1=0.85
 OPT
f=22
TT=165.989
T1=22.34
 OPT
f=22
TT=144.454
T1=19.38
SumColoring/
SumColoring-myciel5_c18.xml 		OPT
f=46
TT=769.111
T1=9.59
 OPT
f=46
TT=769.111
T1=9.59
 SAT (TO)
f=770
TT=19997.3
T1=2512.25
 SAT (TO)
f=764
TT=19998.3
T1=2499.55
SumColoring/
SumColoring-myciel6_c18.xml 		SAT
f=105
TT=19964
T1=6.39
 SAT (TO)
f=105
TT=19964
T1=6.39
 SAT (TO)
f=3480
TT=20056.8
T1=2506.9
 SAT (TO)
f=3503
TT=20061.1
T1=2505.81
SumColoring/
SumColoring-myciel7_c18.xml 		SAT
f=201
TT=19958.1
T1=92.98
 SAT (TO)
f=201
TT=19958.1
T1=92.98
 SAT (TO)
f=16842
TT=20048.7
T1=2507.22
 SAT (TO)
f=16866
TT=20047.1
T1=2519.43
Tal/
Tal-01_c18.xml 		OPT
f=6
TT=3.586
T1=1.18
 OPT
f=6
TT=3.586
T1=1.18
 OPT
f=6
TT=4.205
T1=1.9
 OPT
f=6
TT=4.803
T1=1.92
Tal/
Tal-02_c18.xml 		OPT
f=86
TT=28.378
T1=12.22
 OPT
f=86
TT=28.378
T1=12.22
 Wrong UNSAT

TT=3.498

 OPT
f=86
TT=14.131
T1=4.32
Tal/
Tal-03_c18.xml 		OPT
f=96
TT=175.687
T1=54.72
 OPT
f=96
TT=175.687
T1=54.72
 Wrong UNSAT

TT=4.085

 OPT
f=96
TT=49.895
T1=6.23
Tal/
Tal-04_c18.xml 		OPT
f=142
TT=905.398
T1=58.01
 OPT
f=142
TT=905.398
T1=58.01
 Wrong UNSAT

TT=3.797

 OPT
f=142
TT=318.465
T1=7.23
Tal/
Tal-05_c18.xml 		OPT
f=16
TT=292.779
T1=20.47
 OPT
f=16
TT=292.779
T1=20.47
 Wrong UNSAT

TT=4.019

 OPT
f=16
TT=74.112
T1=11.34
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)
Tal/
Tal-06_c18.xml 		OPT
f=94
TT=10257.3
T1=1301.07
 OPT
f=94
TT=10257.3
T1=1301.07
 Wrong UNSAT

TT=4.057

 OPT
f=94
TT=8086.54
T1=729.54
Tal/
Tal-07_c18.xml 		SAT
f=150
TT=19949.1
T1=913.81
 SAT (TO)
f=150
TT=19949.1
T1=913.81
 Wrong UNSAT

TT=4.241

 SAT (TO)
f=190
TT=20010
T1=1754.2
Tal/
Tal-08_c18.xml 		SAT
f=146
TT=19926.9
T1=422.02
 SAT (TO)
f=146
TT=19926.9
T1=422.02
 Wrong UNSAT

TT=4.286

 SAT (TO)
f=210
TT=20041.8
T1=2297.27
Tal/
Tal-09_c18.xml 		SAT
f=130
TT=19927.6
T1=249.42
 SAT (TO)
f=130
TT=19927.6
T1=249.42
 Wrong UNSAT

TT=4.586

 SAT (TO)
f=264
TT=20024.6
T1=2055.94
Tal/
Tal-10_c18.xml 		SAT
f=256
TT=19880.2
T1=202.27
 SAT (TO)
f=256
TT=19880.2
T1=202.27
 Wrong UNSAT

TT=4.644

 ? (TO)

TT=20040.5
TemplateDesign/
TemplateDesign-m1-1_c18.xml 		OPT
f=2
TT=2.176
T1=0.76
 OPT
f=2
TT=2.176
T1=0.76
 OPT
f=2
TT=10.608
T1=3.93
 OPT
f=2
TT=10.666
T1=3.92
TemplateDesign/
TemplateDesign-m1-2_c18.xml 		OPT
f=2
TT=3.46
T1=0.97
 OPT
f=2
TT=3.46
T1=0.97
 OPT
f=2
TT=10.23
T1=2.96
 OPT
f=2
TT=9.97
T1=2.89
TemplateDesign/
TemplateDesign-m1-catfood_c18.xml 		OPT
f=2
TT=5.046
T1=1.21
 OPT
f=2
TT=5.046
T1=1.21
 OPT
f=2
TT=9.672
T1=3.2
 OPT
f=2
TT=11.487
T1=3.29
TemplateDesign/
TemplateDesign-m1-herbs_c18.xml 		OPT
f=2
TT=96.784
T1=14.15
 OPT
f=2
TT=96.784
T1=14.15
 ? (TO)

TT=19932.3

 ? (TO)

TT=19928.1
TemplateDesign/
TemplateDesign-m1-magazine_c18.xml 		SAT
f=30
TT=20010.5
T1=576.03
 SAT (TO)
f=30
TT=20010.5
T1=576.03
 ? (TO)

TT=19753.6

 ? (TO)

TT=19913.7
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)
TemplateDesign/
TemplateDesign-m1s-1_c18.xml 		OPT
f=2
TT=2.209
T1=0.73
 OPT
f=2
TT=2.209
T1=0.73
 OPT
f=2
TT=9.31
T1=3.24
 OPT
f=2
TT=9.667
T1=3.31
TemplateDesign/
TemplateDesign-m1s-2_c18.xml 		OPT
f=2
TT=3.705
T1=0.89
 OPT
f=2
TT=3.705
T1=0.89
 OPT
f=2
TT=8.48
T1=2.88
 OPT
f=2
TT=8.511
T1=2.84
TemplateDesign/
TemplateDesign-m1s-catfood_c18.xml 		OPT
f=2
TT=4.028
T1=1.01
 OPT
f=2
TT=4.028
T1=1.01
 OPT
f=2
TT=10.063
T1=3.26
 OPT
f=2
TT=9.182
T1=3.13
TemplateDesign/
TemplateDesign-m1s-herbs_c18.xml 		OPT
f=2
TT=286.758
T1=37.85
 OPT
f=2
TT=286.758
T1=37.85
 OPT
f=2
TT=41.935
T1=8.54
 OPT
f=2
TT=474.557
T1=98.95
TemplateDesign/
TemplateDesign-m1s-magazine_c18.xml 		SAT
f=13
TT=19985.2
T1=433.72
 SAT (TO)
f=13
TT=19985.2
T1=433.72
 SAT (TO)
f=24
TT=19874
T1=32.88
 SAT (TO)
f=26
TT=19835
T1=21.39
TemplateDesign/
TemplateDesign-m2-1_c18.xml 		OPT
f=2
TT=1.562
T1=0.65
 OPT
f=2
TT=1.562
T1=0.65
 OPT
f=2
TT=8.966
T1=3.31
 OPT
f=2
TT=8.326
T1=3.2
TemplateDesign/
TemplateDesign-m2-2_c18.xml 		OPT
f=2
TT=2.1
T1=0.75
 OPT
f=2
TT=2.1
T1=0.75
 OPT
f=2
TT=10.437
T1=2.94
 OPT
f=2
TT=10.323
T1=2.85
TemplateDesign/
TemplateDesign-m2-catfood_c18.xml 		OPT
f=2
TT=3.11
T1=0.91
 OPT
f=2
TT=3.11
T1=0.91
 OPT
f=2
TT=26.45
T1=5.44
 OPT
f=2
TT=21.466
T1=4.46
TemplateDesign/
TemplateDesign-m2-herbs_c18.xml 		OPT
f=2
TT=142.409
T1=18.63
 OPT
f=2
TT=142.409
T1=18.63
 ? (TO)

TT=19962.1

 ? (TO)

TT=19964.6
TemplateDesign/
TemplateDesign-m2-magazine_c18.xml 		SAT
f=50
TT=20079.9
T1=48.66
 SAT (TO)
f=50
TT=20079.9
T1=48.66
 ? (TO)

TT=19943.3

 ? (TO)

TT=19991.9
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)
TravelingTournament/
TravelingTournament-a2-galaxy04_c18.xml 		OPT
f=517
TT=5.251
T1=1.2
 OPT
f=517
TT=5.251
T1=1.2
 OPT
f=517
TT=11.233
T1=3.37
 OPT
f=517
TT=10.283
T1=3.27
TravelingTournament/
TravelingTournament-a2-galaxy06_c18.xml 		SAT
f=1587
TT=20075.4
T1=1794.52
 SAT (TO)
f=1587
TT=20075.4
T1=1794.52
 SAT (TO)
f=1601
TT=20041.5
T1=776.59
 SAT (TO)
f=1601
TT=20002.1
T1=268.85
TravelingTournament/
TravelingTournament-a2-galaxy08_c18.xml 		SAT
f=3286
TT=20091.9
T1=2267.85
 SAT (TO)
f=3286
TT=20091.9
T1=2267.85
 SAT (TO)
f=3367
TT=20053.6
T1=2066.57
 SAT (TO)
f=3334
TT=20024
T1=2051.23
TravelingTournament/
TravelingTournament-a2-galaxy10_c18.xml 		SAT
f=6257
TT=20078
T1=2044.84
 SAT (TO)
f=6257
TT=20078
T1=2044.84
 SAT (TO)
f=6805
TT=20060.6
T1=1742.48
 SAT (TO)
f=6805
TT=20064.6
T1=1776.04
TravelingTournament/
TravelingTournament-a2-galaxy12_c18.xml 		SAT
f=10674
TT=20076.7
T1=979.92
 SAT (TO)
f=10674
TT=20076.7
T1=979.92
 ? (TO)

TT=20059.9

 ? (TO)

TT=20062.1
TravelingTournament/
TravelingTournament-a2-galaxy14_c18.xml 		SAT
f=16321
TT=20049.7
T1=374.43
 SAT (TO)
f=16321
TT=20049.7
T1=374.43
 ? (TO)

TT=20054.5

 ? (TO)

TT=20056.2
TravelingTournament/
TravelingTournament-a2-galaxy16_c18.xml 		SAT
f=23523
TT=19971.4
T1=1484.13
 SAT (TO)
f=23523
TT=19971.4
T1=1484.13
 ? (TO)

TT=20048.5

 ? (TO)

TT=20051.3
TravelingTournament/
TravelingTournament-a3-galaxy04_c18.xml 		OPT
f=416
TT=5.315
T1=1.25
 OPT
f=416
TT=5.315
T1=1.25
 OPT
f=416
TT=12.484
T1=4.31
 OPT
f=416
TT=13.753
T1=3.88
TravelingTournament/
TravelingTournament-a3-galaxy06_c18.xml 		SAT
f=1403
TT=20063.4
T1=2239.44
 SAT (TO)
f=1403
TT=20063.4
T1=2239.44
 SAT (TO)
f=1395
TT=20041.5
T1=2376.62
 SAT (TO)
f=1402
TT=19997.1
T1=781.18
TravelingTournament/
TravelingTournament-a3-galaxy08_c18.xml 		SAT
f=2828
TT=20093.8
T1=1362.41
 SAT (TO)
f=2828
TT=20093.8
T1=1362.41
 SAT (TO)
f=3090
TT=20053.9
T1=67.09
 SAT (TO)
f=3090
TT=20016.1
T1=68.28
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)
TravelingTournament/
TravelingTournament-a3-galaxy10_c18.xml 		SAT
f=5647
TT=20081.5
T1=26.12
 SAT (TO)
f=5647
TT=20081.5
T1=26.12
 SAT (TO)
f=6360
TT=20063.5
T1=2417.04
 SAT (TO)
f=6360
TT=20066.2
T1=2453.65
TravelingTournament/
TravelingTournament-a3-galaxy12_c18.xml 		SAT
f=9584
TT=20071.1
T1=137.3
 SAT (TO)
f=9584
TT=20071.1
T1=137.3
 ? (TO)

TT=20064.2

 ? (TO)

TT=20064.1
TravelingTournament/
TravelingTournament-a3-galaxy14_c18.xml 		SAT
f=15022
TT=20050.7
T1=355.71
 SAT (TO)
f=15022
TT=20050.7
T1=355.71
 ? (TO)

TT=20058.5

 ? (TO)

TT=20059.5
TravelingTournament/
TravelingTournament-a3-galaxy16_c18.xml 		SAT
f=20261
TT=20004.4
T1=149.1
 SAT (TO)
f=20261
TT=20004.4
T1=149.1
 ? (TO)

TT=20050.7

 ? (TO)

TT=20049.9
TravellingSalesman/
TravellingSalesman-10-20-00_c18.xml 		OPT
f=47
TT=11.038
T1=0.69
 OPT
f=47
TT=11.038
T1=0.69
 OPT
f=47
TT=9.695
T1=2.22
 OPT
f=47
TT=8.861
T1=2.24
TravellingSalesman/
TravellingSalesman-100-50-00_c18.xml 		SAT
f=466
TT=19994.5
T1=8.7
 SAT (TO)
f=466
TT=19994.5
T1=8.7
 SAT (TO)
f=3549
TT=20005.3
T1=2450.2
 SAT (TO)
f=3538
TT=20010.1
T1=2044.81
TravellingSalesman/
TravellingSalesman-15-30-00_c18.xml 		OPT
f=93
TT=622.285
T1=2.39
 OPT
f=93
TT=622.285
T1=2.39
 OPT
f=93
TT=377.172
T1=8.19
 OPT
f=93
TT=477.034
T1=10.21
TravellingSalesman/
TravellingSalesman-150-50-00_c18.xml 		SAT
f=582
TT=19896.4
T1=33.4
 SAT (TO)
f=582
TT=19896.4
T1=33.4
 SAT (TO)
f=5592
TT=20016.9
T1=2441.16
 SAT (TO)
f=5591
TT=20035.5
T1=2374.9
TravellingSalesman/
TravellingSalesman-20-30-00_c18.xml 		SAT
f=104
TT=20080
T1=200.57
 SAT (TO)
f=104
TT=20080
T1=200.57
 SAT (TO)
f=126
TT=19933.8
T1=2183.87
 SAT (TO)
f=140
TT=19948.2
T1=2508.96
TravellingSalesman/
TravellingSalesman-25-30-00_c18.xml 		SAT
f=119
TT=20061.4
T1=968.6
 SAT (TO)
f=119
TT=20061.4
T1=968.6
 SAT (TO)
f=259
TT=19960.5
T1=2283.26
 SAT (TO)
f=259
TT=19960
T1=2387.87
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)
TravellingSalesman/
TravellingSalesman-30-30-00_c18.xml 		SAT
f=127
TT=20057.1
T1=2168.63
 SAT (TO)
f=127
TT=20057.1
T1=2168.63
 SAT (TO)
f=372
TT=19958.9
T1=2489.84
 SAT (TO)
f=372
TT=19941.7
T1=1908.66
TravellingSalesman/
TravellingSalesman-35-30-00_c18.xml 		SAT
f=164
TT=20065.4
T1=150.9
 SAT (TO)
f=164
TT=20065.4
T1=150.9
 SAT (TO)
f=507
TT=19952.7
T1=2312.99
 SAT (TO)
f=507
TT=19964.7
T1=1864.79
TravellingSalesman/
TravellingSalesman-40-30-00_c18.xml 		SAT
f=187
TT=20062.4
T1=1.2
 SAT (TO)
f=187
TT=20062.4
T1=1.2
 SAT (TO)
f=615
TT=19959.6
T1=2090.66
 SAT (TO)
f=617
TT=19972.9
T1=2490.34
TravellingSalesman/
TravellingSalesman-45-30-00_c18.xml 		SAT
f=199
TT=20059.7
T1=1.37
 SAT (TO)
f=199
TT=20059.7
T1=1.37
 SAT (TO)
f=697
TT=19971.8
T1=2168.63
 SAT (TO)
f=706
TT=19985.3
T1=2514.29
TravellingSalesman/
TravellingSalesman-50-30-00_c18.xml 		SAT
f=207
TT=20057.9
T1=1.76
 SAT (TO)
f=207
TT=20057.9
T1=1.76
 SAT (TO)
f=817
TT=19978.8
T1=2479.77
 SAT (TO)
f=824
TT=19991.3
T1=1589.51
TravellingSalesman/
TravellingSalesman-75-50-00_c18.xml 		SAT
f=403
TT=20054.3
T1=134.03
 SAT (TO)
f=403
TT=20054.3
T1=134.03
 SAT (TO)
f=2538
TT=19967.6
T1=975.09
 SAT (TO)
f=2545
TT=19971.3
T1=1623.66



StatisticsChoco-solver
4.0.7b par (e747e1e)
(complete)		OscaR - Parallel with EPS
2018-07-02
(complete)		OscaR - Parallel with EPS
2018-08-14
(complete)
Number of times the solver is able to give the best known answer32400
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)		32400