2018 XCSP3 competition: mini-solvers track: 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:
cosoco 1.12 (complete)
GG's minicp 2018-04-29 (complete)
MiniCPFever 2018-04-29 (complete)
slowpoke 2018-04-29 (incomplete)
Solver of Xavier Schul & Yvhan Smal 2018-04-28 (incomplete)
SuperSolver_Macq_Stevenart 2018-04-27 (incomplete)
The dodo solver 2018-04-29 (complete)

Bench nameBest results
on this
instance		cosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
Auction/Auction-sum/
Auction-sum-decay100_c18.xml 		SAT
f=775413
TT=2520.06
T1=2197.48
 SAT (TO)
f=539206
TT=2520.1
T1=2355.29
 SAT (TO)
f=519550
TT=2520.09
T1=2011.68
 SAT (TO)
f=775413
TT=2520.06
T1=2197.48
 SAT (TO)
f=314370
TT=2520.07
T1=26.83
 SAT (TO)
f=356732
TT=2520.06
T1=2183.45
 SAT
f=632978
TT=303.049
T1=254.01
 SAT (TO)
f=325462
TT=2520.05
T1=16.48
Auction/Auction-sum/
Auction-sum-decay200_c18.xml 		SAT
f=1436430
TT=2520.11
T1=1891.35
 SAT (TO)
f=751088
TT=2519.74
T1=2519.81
 SAT (TO)
f=810522
TT=2520.11
T1=484.04
 SAT (TO)
f=1436430
TT=2520.11
T1=1891.35
 SAT (TO)
f=417425
TT=2520.04
T1=2.83
 SAT (TO)
f=442141
TT=2520.07
T1=2461.5
 SAT
f=984576
TT=306.143
T1=263.93
 SAT (TO)
f=457836
TT=2520.05
T1=294.8
Auction/Auction-sum/
Auction-sum-decay300_c18.xml 		SAT
f=1931334
TT=2520.12
T1=2291.12
 SAT (TO)
f=892556
TT=2519.74
T1=2519.7
 SAT (TO)
f=951699
TT=2520.08
T1=2001.07
 SAT (TO)
f=1931334
TT=2520.12
T1=2291.12
 SAT (TO)
f=447988
TT=2520.06
T1=6.26
 SAT (TO)
f=597293
TT=2520.12
T1=2436.08
 SAT
f=1199976
TT=303.166
T1=296.08
 SAT (TO)
f=599258
TT=2520.12
T1=49.86
Auction/Auction-sum/
Auction-sum-decay400_c18.xml 		SAT
f=2415777
TT=2520.15
T1=2496.14
 SAT (TO)
f=868923
TT=2520.1
T1=2519.97
 SAT (TO)
f=824765
TT=2520.08
T1=722.44
 SAT (TO)
f=2415777
TT=2520.15
T1=2496.14
 SAT (TO)
f=355039
TT=2520.13
T1=3.15
 SAT (TO)
f=494343
TT=2520.03
T1=2251.91
 SAT
f=1191978
TT=303.117
T1=250.2
 SAT (TO)
f=726732
TT=2520.1
T1=298.35
Auction/Auction-sum/
Auction-sum-decay500_c18.xml 		SAT
f=2700422
TT=2520.13
T1=2320.06
 SAT (TO)
f=1052397
TT=2520
T1=2519.78
 SAT (TO)
f=1150321
TT=2520.06
T1=459.85
 SAT (TO)
f=2700422
TT=2520.13
T1=2320.06
 SAT (TO)
f=322308
TT=2520.07
T1=4.02
 SAT (TO)
f=469182
TT=2520.08
T1=2347.29
 SAT
f=1305447
TT=303.55
T1=297.86
 SAT (TO)
f=621609
TT=2520.1
T1=334.54
Auction/Auction-sum/
Auction-sum-example_c18.xml 		OPT
f=54
TT=0.005
T1=0
 OPT
f=54
TT=0.005
T1=0
 SAT (TO)
f=54
TT=2520.05
T1=0.29
 SAT (TO)
f=54
TT=2522.31
T1=0.29
 SAT (TO)
f=54
TT=2520.04
T1=0.29
 OPT
f=54
TT=0.483
T1=0.28
 SAT
f=54
TT=302.458
T1=0.29
 SAT (TO)
f=54
TT=2520.1
T1=0.28
Auction/Auction-sum/
Auction-sum-matching040_c18.xml 		SAT
f=3906753
TT=2520.05
T1=2439.99
 SAT (TO)
f=3906753
TT=2520.05
T1=2439.99
 ?

TT=2.513

 ?

TT=2.523

 ?

TT=2.531

 ?

TT=2.493

 ?

TT=2.493

 ?

TT=2.522
Auction/Auction-sum/
Auction-sum-matching080_c18.xml 		SAT
f=9752865
TT=2520.07
T1=2477.68
 SAT (TO)
f=9752865
TT=2520.07
T1=2477.68
 ?

TT=2.584

 ?

TT=2.607

 ?

TT=2.658

 ?

TT=2.595

 ?

TT=2.596

 ?

TT=2.599
Bacp/Bacp-m2/
Bacp-m2-05_c18.xml 		OPT
f=9
TT=0.025
T1=0.01
 OPT
f=9
TT=0.025
T1=0.01
 SAT (TO)
f=9
TT=2520.03
T1=0.43
 SAT (TO)
f=9
TT=2520.07
T1=0.39
 SAT (TO)
f=9
TT=2520.1
T1=0.39
 OPT
f=9
TT=1.351
T1=0.38
 SAT
f=9
TT=303.367
T1=0.39
 SAT (TO)
f=9
TT=2520.06
T1=0.38
Bacp/Bacp-m2/
Bacp-m2-06_c18.xml 		OPT
f=10
TT=3.243
T1=0.01
 OPT
f=10
TT=3.243
T1=0.01
 SAT (TO)
f=10
TT=2520.07
T1=0.45
 SAT (TO)
f=10
TT=2520.08
T1=0.91
 SAT (TO)
f=10
TT=2520.1
T1=0.45
 OPT
f=10
TT=6.972
T1=0.41
 SAT
f=10
TT=303.618
T1=0.43
 SAT (TO)
f=10
TT=2520.09
T1=0.42
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
Bacp/Bacp-m2/
Bacp-m2-07a_c18.xml 		SAT
f=12
TT=304.142
T1=0.02
 SAT (TO)
f=12
TT=2520.08
T1=0.02
 SAT (TO)
f=12
TT=2520.05
T1=0.48
 SAT (TO)
f=12
TT=2520.04
T1=0.86
 SAT (TO)
f=12
TT=2520.09
T1=0.59
 SAT (TO)
f=12
TT=2520.08
T1=0.61
 SAT
f=12
TT=304.142
T1=0.6
 SAT (TO)
f=12
TT=2520.1
T1=1.11
Bacp/Bacp-m2/
Bacp-m2-07b_c18.xml 		SAT
f=13
TT=303.97
T1=0.03
 SAT (TO)
f=13
TT=2520.1
T1=0.03
 SAT (TO)
f=13
TT=2520.05
T1=0.52
 SAT (TO)
f=13
TT=2520.12
T1=1.79
 SAT (TO)
f=13
TT=2520.09
T1=0.46
 SAT (TO)
f=13
TT=2520.02
T1=0.44
 SAT
f=13
TT=303.97
T1=0.44
 SAT (TO)
f=13
TT=2520.06
T1=0.46
Bacp/Bacp-m2/
Bacp-m2-08a_c18.xml 		SAT
f=17
TT=2519.79
T1=0.27
 SAT (TO)
f=17
TT=2519.79
T1=0.27
 SAT (TO)
f=17
TT=2520.11
T1=73.56
 SAT (TO)
f=17
TT=2520.07
T1=0.83
 SAT (TO)
f=17
TT=2520.11
T1=0.64
 SAT (TO)
f=17
TT=2520.08
T1=106.94
 SAT
f=21
TT=304.925
T1=28.64
 SAT (TO)
f=17
TT=2520.05
T1=1.46
Bacp/Bacp-m2/
Bacp-m2-08b_c18.xml 		SAT
f=17
TT=2519.79
T1=0.58
 SAT (TO)
f=17
TT=2519.79
T1=1.86
 SAT (TO)
f=17
TT=2520.04
T1=128.91
 SAT (TO)
f=17
TT=2520.09
T1=0.72
 SAT (TO)
f=17
TT=2520.09
T1=0.58
 SAT (TO)
f=17
TT=2520.11
T1=124.29
 SAT
f=21
TT=304.806
T1=9.96
 SAT (TO)
f=17
TT=2520.1
T1=1.61
Bacp/Bacp-m2/
Bacp-m2-10a-nodv_c18.xml 		SAT
f=14
TT=304.939
T1=0.12
 SAT (TO)
f=14
TT=2519.94
T1=0.12
 SAT (TO)
f=14
TT=2520.05
T1=0.58
 SAT (TO)
f=14
TT=2520.1
T1=2.37
 SAT (TO)
f=16
TT=2520.13
T1=0.55
 SAT (TO)
f=15
TT=2520.07
T1=3.22
 SAT
f=14
TT=304.939
T1=183.03
 SAT (TO)
f=14
TT=2520.06
T1=860.4
Bacp/Bacp-m2/
Bacp-m2-10a_c18.xml 		SAT
f=14
TT=2520.13
T1=3.77
 ? (TO)

TT=2520.05

 ? (TO)

TT=2520.07

 SAT (TO)
f=14
TT=2520.13
T1=3.77
 ? (TO)

TT=2520.11

 ? (TO)

TT=2520.01

 ? (TO)

TT=2520.03

 ? (TO)

TT=2520.11
Bacp/Bacp-m2/
Bacp-m2-10b_c18.xml 		SAT
f=14
TT=2519.94
T1=0.19
 SAT (TO)
f=14
TT=2519.94
T1=0.19
 SAT (TO)
f=14
TT=2520.11
T1=2.39
 SAT (TO)
f=14
TT=2520.04
T1=0.57
 SAT (TO)
f=14
TT=2520.04
T1=0.65
 SAT (TO)
f=14
TT=2520.08
T1=1.03
 SAT
f=16
TT=305.162
T1=24.43
 SAT (TO)
f=14
TT=2520.06
T1=1.75
Bacp/Bacp-m2/
Bacp-m2-12a-nodv_c18.xml 		SAT
f=17
TT=2519.8
T1=0.72
 SAT (TO)
f=17
TT=2519.8
T1=0.72
 ? (TO)

TT=2520.11

 ? (TO)

TT=2520.04

 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.11

 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.06
Bacp/Bacp-m2/
Bacp-m2-12a_c18.xml 		SAT
f=17
TT=2520.04
T1=33.23
 ? (TO)

TT=2520.09

 ? (TO)

TT=2520.05

 SAT (TO)
f=17
TT=2520.04
T1=33.23
 ? (TO)

TT=2520.11

 ? (TO)

TT=2520.05

 ? (TO)

TT=2520.04

 ? (TO)

TT=2520.09
Bacp/Bacp-m2/
Bacp-m2-12b_c18.xml 		SAT
f=17
TT=2519.94
T1=0.07
 SAT (TO)
f=17
TT=2519.94
T1=0.07
 SAT (TO)
f=18
TT=2520.11
T1=6.22
 SAT (TO)
f=17
TT=2520.1
T1=0.8
 SAT (TO)
f=17
TT=2520.15
T1=0.8
 SAT (TO)
f=17
TT=2520.11
T1=1.39
 SAT
f=20
TT=305.313
T1=0.61
 SAT (TO)
f=17
TT=2520.13
T1=5.29
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
CrosswordDesign/
CrosswordDesign-03-4-rom_c18.xml 		OPT
f=12
TT=0.053
T1=0.05
 OPT
f=12
TT=0.053
T1=0.05
 OPT
f=12
TT=1.659
T1=0.62
 SAT (TO)
f=12
TT=2520.04
T1=0.51
 SAT (TO)
f=12
TT=2520.11
T1=0.55
 OPT
f=12
TT=1.62
T1=0.66
 SAT
f=12
TT=302.584
T1=0.55
 SAT (TO)
f=12
TT=2520.05
T1=0.49
CrosswordDesign/
CrosswordDesign-04-4-rom_c18.xml 		OPT
f=24
TT=0.398
T1=0.32
 OPT
f=24
TT=0.398
T1=0.32
 OPT
f=24
TT=6.113
T1=2.15
 SAT (TO)
f=22
TT=2520.12
T1=84.16
 SAT (TO)
f=24
TT=2520.06
T1=1.74
 OPT
f=24
TT=4.388
T1=2.1
 SAT
f=24
TT=303.243
T1=1.36
 SAT (TO)
f=24
TT=2520.04
T1=1.68
CrosswordDesign/
CrosswordDesign-05-4-rom_c18.xml 		OPT
f=38
TT=24.077
T1=10.74
 OPT
f=38
TT=24.077
T1=10.74
 OPT
f=38
TT=103.596
T1=40.38
 SAT (TO)
f=25
TT=2520.05
T1=694.66
 SAT (TO)
f=38
TT=2520.08
T1=184.46
 OPT
f=38
TT=255.716
T1=147.64
 SAT
f=19
TT=303.972
T1=266.76
 SAT (TO)
f=19
TT=2520.09
T1=4.66
CrosswordDesign/
CrosswordDesign-06-4-rom_c18.xml 		SAT
f=54
TT=2520.09
T1=1551.96
 SAT (TO)
f=54
TT=2520.09
T1=1551.96
 ?

TT=33.232

 SAT (TO)
f=32
TT=2520.13
T1=717.97
 SAT (TO)
f=44
TT=2520.11
T1=747.92
 SAT (TO)
f=31
TT=2520.1
T1=2389.8
 SAT
f=6
TT=308.355
T1=16.06
 SAT (TO)
f=18
TT=2520.05
T1=13.46
CrosswordDesign/
CrosswordDesign-07-4-rom_c18.xml 		SAT
f=55
TT=2519.69
T1=2420.93
 SAT (TO)
f=55
TT=2519.69
T1=2420.93
 ?

TT=32.746

 SAT (TO)
f=12
TT=2520.13
T1=2451.33
 ?

TT=44.849

 SAT (TO)
f=0
TT=2520.07
T1=278.55
 SAT
f=0
TT=325.084
T1=186.63
 SAT (TO)
f=0
TT=2520.15
T1=32.7
CrosswordDesign/
CrosswordDesign-08-4-rom_c18.xml 		SAT
f=4
TT=2520.05
T1=57.71
 SAT (TO)
f=4
TT=2520.05
T1=57.71
 ?

TT=29.115

 ?

TT=55.128

 ?

TT=34.758

 ?

TT=74.696

 ?

TT=53.457

 ?

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



? (TO)

TT=2520.08

 ?

TT=26.247

 ?

TT=55.205

 ?

TT=40.016

 ?

TT=75.097

 ?

TT=63.717

 ?

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



? (TO)

TT=2520.07

 ?

TT=29.678

 ?

TT=56.508

 ?

TT=38.405

 ?

TT=66.647

 ?

TT=45.889

 ?

TT=38.262
CrosswordDesign/
CrosswordDesign-11-4-rom_c18.xml 		SAT
f=65
TT=2520.09
T1=1916.11
 SAT (TO)
f=65
TT=2520.09
T1=1916.11
 ?

TT=26.723

 ?

TT=52.845

 ?

TT=33.509

 ?

TT=67.127

 ?

TT=57.315

 ?

TT=36.693
CrosswordDesign/
CrosswordDesign-12-4-rom_c18.xml 		SAT
f=76
TT=2520.09
T1=1509.07
 SAT (TO)
f=76
TT=2520.09
T1=1509.07
 ?

TT=33.476

 ?

TT=60.199

 ?

TT=35.784

 ?

TT=65.316

 ?

TT=51.004

 ?

TT=36.904
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
CrosswordDesign/
CrosswordDesign-13-4-rom_c18.xml 		SAT
f=71
TT=2520.07
T1=2076.15
 SAT (TO)
f=71
TT=2520.07
T1=2076.15
 ?

TT=39.01

 ?

TT=91.165

 ?

TT=39.057

 ?

TT=86.645

 ?

TT=77.291

 ?

TT=44.303
CrosswordDesign/
CrosswordDesign-14-4-rom_c18.xml 		SAT
f=57
TT=2520.06
T1=2456.31
 SAT (TO)
f=57
TT=2520.06
T1=2456.31
 ?

TT=39.129

 ?

TT=48.055

 ?

TT=43.319

 ?

TT=61.648

 ?

TT=57.658

 ?

TT=47.846
CrosswordDesign/
CrosswordDesign-15-4-rom_c18.xml 		SAT
f=43
TT=2520.11
T1=1941.87
 SAT (TO)
f=43
TT=2520.11
T1=1941.87
 ?

TT=42.319

 ?

TT=50.029

 ?

TT=41.921

 ?

TT=73.035

 ?

TT=63.246

 ?

TT=46.696
Fapp/Fapp-ext/
Fapp-ext-01-0200_c18.xml 		SAT
f=35891368
TT=2520.06
T1=1722.46
 SAT (TO)
f=35891368
TT=2520.06
T1=1722.46
 SAT (TO)
f=98242966
TT=2520.14
T1=191.83
 ? (TO)

TT=2520.12

 SAT (TO)
f=80533724
TT=2520.14
T1=2493.19
 SAT (TO)
f=98253049
TT=2520.08
T1=2416.57
 SAT
f=98252677
TT=333.357
T1=316.56
 SAT (TO)
f=98243090
TT=2520.14
T1=2176.73
Fapp/Fapp-ext/
Fapp-ext-02-0250_c18.xml 		SAT
f=181903419
TT=2520.12
T1=2446.21
 SAT (TO)
f=181903419
TT=2520.12
T1=2446.21
 SAT (TO)
f=201569901
TT=2520.14
T1=444.32
 SAT (TO)
f=228636201
TT=2520.09
T1=2487.88
 SAT (TO)
f=201740834
TT=2520.14
T1=119.97
 SAT (TO)
f=201740847
TT=2520.09
T1=2000.32
 ? (TO)

TT=2520.1

 SAT (TO)
f=201697974
TT=2520.11
T1=2452.61
Fapp/Fapp-ext/
Fapp-ext-03-0300_c18.xml 		SAT
f=470973176
TT=2520.12
T1=335.73
 SAT (TO)
f=470973176
TT=2520.12
T1=335.73
 ?

TT=787.335

 ?

TT=131.957

 ?

TT=346.269

 ?

TT=138.134

 ?

TT=339.62

 ?

TT=341.687
Fapp/Fapp-ext/
Fapp-ext-04-0300_c18.xml 		SAT
f=244954546
TT=2519.99
T1=999.51
 SAT (TO)
f=244954546
TT=2519.99
T1=999.51
 ?

TT=1348.12

 ?

TT=125.228

 ?

TT=338.63

 ?

TT=132.403

 ?

TT=331.829

 ?

TT=328.836
Fapp/Fapp-ext/
Fapp-ext-05-0350_c18.xml 		SAT
f=536857239
TT=2519.85
T1=779.87
 SAT (TO)
f=536857239
TT=2519.85
T1=779.87
 ?

TT=1575.34

 ?

TT=593.77

 ?

TT=316.685

 ? (TO)

TT=2528.11

 ?

TT=270.025

 ?

TT=459.026
Fapp/Fapp-ext/
Fapp-ext-ex1_c18.xml 		OPT
f=523
TT=0.4
T1=0.36
 OPT
f=523
TT=0.4
T1=0.36
 SAT (TO)
f=523
TT=2520.09
T1=2.48
 SAT (TO)
f=523
TT=2520.12
T1=0.88
 SAT (TO)
f=523
TT=2520.09
T1=0.88
 SAT (TO)
f=1291
TT=2520.1
T1=10.19
 SAT
f=523
TT=303.657
T1=4.44
 SAT (TO)
f=523
TT=2520.04
T1=0.75
Fapp/Fapp-ext/
Fapp-ext-ex2_c18.xml 		OPT
f=13871
TT=0.547
T1=0.54
 OPT
f=13871
TT=0.547
T1=0.54
 SAT (TO)
f=13871
TT=2520.06
T1=1.1
 SAT (TO)
f=13871
TT=2520.06
T1=2.23
 SAT (TO)
f=13871
TT=2520.05
T1=0.95
 OPT
f=13871
TT=4.738
T1=1.7
 SAT
f=13871
TT=305.115
T1=1.37
 SAT (TO)
f=13871
TT=2520.07
T1=1.07
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
Fapp/Fapp-ext/
Fapp-ext-test01-0150_c18.xml 		SAT
f=18299400
TT=2519.71
T1=931.68
 SAT (TO)
f=18299400
TT=2519.71
T1=931.68
 SAT (TO)
f=41141603
TT=2520.14
T1=123.61
 SAT (TO)
f=51771746
TT=2520.14
T1=2490.33
 SAT (TO)
f=45711678
TT=2520.05
T1=2444.46
 SAT (TO)
f=45718449
TT=2520.1
T1=1211.72
 SAT
f=41141589
TT=341.789
T1=274.46
 SAT (TO)
f=45704624
TT=2520.1
T1=1791.5
Fapp/Fapp-ext/
Fapp-ext-test02-0250_c18.xml 		SAT
f=89983130
TT=2520.03
T1=2469.3
 SAT (TO)
f=89983130
TT=2520.03
T1=2469.3
 ?

TT=831.585

 ?

TT=164.663

 ?

TT=177.937

 ?

TT=179.744

 ?

TT=240.32

 ?

TT=341.912
Fapp/Fapp-ext/
Fapp-ext-test03-0400_c18.xml 		SAT
f=287165498
TT=2520.07
T1=1855.53
 SAT (TO)
f=287165498
TT=2520.07
T1=1855.53
 ?

TT=857.922

 ?

TT=210.807

 ?

TT=233.808

 ?

TT=208.083

 ?

TT=359.939

 ?

TT=377.737
GolombRuler/
GolombRuler-a3v18-07_c18.xml 		OPT
f=25
TT=0.04
T1=0.02
 OPT
f=25
TT=0.04
T1=0.02
 SAT (TO)
f=27
TT=2520.04
T1=0.37
 Wrong UNSAT

TT=1.845

 SAT (TO)
f=25
TT=2520.04
T1=0.37
 OPT
f=25
TT=2.093
T1=0.35
 SAT
f=25
TT=302.907
T1=0.4
 SAT (TO)
f=25
TT=2520.05
T1=0.37
GolombRuler/
GolombRuler-a3v18-08_c18.xml 		OPT
f=34
TT=0.295
T1=0.1
 OPT
f=34
TT=0.295
T1=0.1
 SAT (TO)
f=40
TT=2520.08
T1=0.44
 Wrong UNSAT

TT=4.424

 SAT (TO)
f=34
TT=2520.06
T1=1.18
 OPT
f=34
TT=5.769
T1=0.4
 SAT
f=34
TT=302.65
T1=0.52
 SAT (TO)
f=34
TT=2520.1
T1=0.57
GolombRuler/
GolombRuler-a3v18-09_c18.xml 		OPT
f=44
TT=1.824
T1=0.79
 OPT
f=44
TT=1.824
T1=1.34
 SAT (TO)
f=56
TT=2520.09
T1=0.47
 Wrong UNSAT

TT=25.796

 SAT (TO)
f=44
TT=2520.03
T1=3.01
 OPT
f=44
TT=45.754
T1=0.79
 SAT
f=44
TT=302.621
T1=14.97
 SAT (TO)
f=44
TT=2520.03
T1=1.34
GolombRuler/
GolombRuler-a3v18-10_c18.xml 		OPT
f=55
TT=14.985
T1=4.07
 OPT
f=55
TT=14.985
T1=8.85
 SAT (TO)
f=80
TT=2520.05
T1=0.37
 Wrong UNSAT

TT=241.494

 SAT (TO)
f=55
TT=2520.09
T1=84.66
 OPT
f=55
TT=443.958
T1=4.07
 SAT
f=56
TT=302.817
T1=2.57
 SAT (TO)
f=60
TT=2520.05
T1=1.23
GolombRuler/
GolombRuler-a3v18-11_c18.xml 		OPT
f=72
TT=372.302
T1=22.72
 OPT
f=72
TT=372.302
T1=77.17
 SAT (TO)
f=96
TT=2520.11
T1=0.38
 SAT (TO)
f=72
TT=2520.07
T1=227.96
 SAT (TO)
f=72
TT=2520.04
T1=259.52
 SAT (TO)
f=72
TT=2520.04
T1=22.72
 SAT
f=74
TT=302.564
T1=1.67
 SAT (TO)
f=78
TT=2520.03
T1=1.35
GolombRuler/
GolombRuler-a3v18-12_c18.xml 		SAT
f=85
TT=2520.11
T1=884.65
 SAT (TO)
f=91
TT=2520.08
T1=295.53
 SAT (TO)
f=121
TT=2520.04
T1=0.42
 SAT (TO)
f=91
TT=2520.12
T1=709.01
 SAT (TO)
f=85
TT=2520.11
T1=884.65
 SAT (TO)
f=91
TT=2520.02
T1=58.03
 SAT
f=93
TT=302.398
T1=13.41
 SAT (TO)
f=105
TT=2520.12
T1=2.02
GolombRuler/
GolombRuler-a3v18-13_c18.xml 		SAT
f=109
TT=2520.09
T1=1970.47
 SAT (TO)
f=113
TT=2520.1
T1=883.56
 SAT (TO)
f=147
TT=2520.07
T1=0.41
 SAT (TO)
f=109
TT=2520.09
T1=1970.47
 SAT (TO)
f=114
TT=2520.1
T1=588.7
 SAT (TO)
f=110
TT=2520.05
T1=954.26
 SAT
f=116
TT=302.626
T1=297.86
 SAT (TO)
f=124
TT=2520.12
T1=4.62
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
GolombRuler/
GolombRuler-a3v18-14_c18.xml 		SAT
f=135
TT=2520.08
T1=294.31
 SAT (TO)
f=141
TT=2520.1
T1=1719.39
 SAT (TO)
f=177
TT=2520.05
T1=0.42
 SAT (TO)
f=135
TT=2520.08
T1=649.77
 SAT (TO)
f=140
TT=2520.04
T1=2021.9
 SAT (TO)
f=135
TT=2520.11
T1=294.31
 SAT
f=145
TT=302.543
T1=49.94
 SAT (TO)
f=168
TT=2520.03
T1=4.77
GolombRuler/
GolombRuler-a3v18-15_c18.xml 		SAT
f=161
TT=2520.04
T1=947
 SAT (TO)
f=176
TT=2520.08
T1=1602.13
 SAT (TO)
f=161
TT=2520.04
T1=947
 SAT (TO)
f=162
TT=2520.05
T1=2245.15
 SAT (TO)
f=170
TT=2520.06
T1=805.67
 SAT (TO)
f=162
TT=2520.11
T1=1668.27
 SAT
f=173
TT=302.702
T1=38.49
 SAT (TO)
f=197
TT=2520.09
T1=0.73
GolombRuler/
GolombRuler-a3v18-16_c18.xml 		SAT
f=192
TT=2520.07
T1=2448.4
 SAT (TO)
f=212
TT=2520.08
T1=336.49
 SAT (TO)
f=192
TT=2520.07
T1=2448.4
 SAT (TO)
f=204
TT=2520.09
T1=2185.72
 SAT (TO)
f=201
TT=2520.09
T1=1640.01
 SAT (TO)
f=196
TT=2520.09
T1=2183.36
 SAT
f=202
TT=302.686
T1=30.84
 SAT (TO)
f=226
TT=2520.02
T1=8.52
GolombRuler/
GolombRuler-a3v18-nodv-09_c18.xml 		OPT
f=44
TT=11.609
T1=4.5
 OPT
f=44
TT=11.609
T1=9.07
 SAT (TO)
f=56
TT=2520.09
T1=0.69
 Wrong UNSAT

TT=97.566

 SAT (TO)
f=44
TT=2520.03
T1=6.41
 OPT
f=44
TT=75.611
T1=4.5
 SAT
f=64
TT=302.573
T1=9.26
 SAT (TO)
f=52
TT=2520.1
T1=248.77
GolombRuler/
GolombRuler-a3v18-nodv-10_c18.xml 		OPT
f=55
TT=174.122
T1=132.1
 OPT
f=55
TT=174.122
T1=144.03
 SAT (TO)
f=80
TT=2520.08
T1=0.98
 Wrong UNSAT

TT=858.026

 SAT (TO)
f=55
TT=2520.11
T1=336.78
 OPT
f=55
TT=1285.07
T1=132.1
 SAT
f=80
TT=303.25
T1=1.04
 SAT (TO)
f=73
TT=2520.04
T1=2276.37
GolombRuler/
GolombRuler-a3v18-nodv-11_c18.xml 		SAT
f=72
TT=2519.98
T1=379.97
 SAT (TO)
f=72
TT=2519.98
T1=379.97
 SAT (TO)
f=96
TT=2520.13
T1=1.27
 SAT (TO)
f=72
TT=2520.1
T1=625.97
 SAT (TO)
f=74
TT=2520.06
T1=2061.87
 SAT (TO)
f=76
TT=2520.04
T1=898.27
 SAT
f=96
TT=302.555
T1=3.16
 SAT (TO)
f=96
TT=2520.05
T1=0.97
GraphColoring/
GraphColoring-2-fullins-5_c18.xml 		OPT
f=6
TT=354.284
T1=1.97
 OPT
f=6
TT=354.284
T1=1.97
 SAT (TO)
f=7
TT=2520.12
T1=4.27
 SAT (TO)
f=851
TT=2520.12
T1=3.05
 SAT (TO)
f=6
TT=2520.13
T1=6.19
 SAT (TO)
f=7
TT=2520.11
T1=3.85
 SAT
f=7
TT=306.979
T1=4.07
 SAT (TO)
f=6
TT=2520.08
T1=11.52
GraphColoring/
GraphColoring-3-fullins-5_c18.xml 		SAT
f=7
TT=315.869
T1=5.69
 SAT (TO)
f=7
TT=2519.82
T1=5.69
 SAT (TO)
f=8
TT=2520.09
T1=7.34
 SAT (TO)
f=2029
TT=2520.09
T1=10.16
 SAT (TO)
f=7
TT=2520.07
T1=11.03
 SAT (TO)
f=8
TT=2520.09
T1=6.48
 SAT
f=7
TT=315.869
T1=16.7
 SAT (TO)
f=7
TT=2520.07
T1=489.71
GraphColoring/
GraphColoring-4-fullins-4_c18.xml 		OPT
f=7
TT=15.13
T1=1.06
 OPT
f=7
TT=15.13
T1=1.06
 SAT (TO)
f=8
TT=2520.05
T1=1.94
 SAT (TO)
f=689
TT=2520.04
T1=1.74
 SAT (TO)
f=7
TT=2520.03
T1=2.93
 SAT (TO)
f=8
TT=2520.05
T1=1.66
 SAT
f=7
TT=304.802
T1=5.17
 SAT (TO)
f=7
TT=2520.07
T1=7.52
GraphColoring/
GraphColoring-4-fullins-5_c18.xml 		SAT
f=8
TT=2519.92
T1=13.49
 SAT (TO)
f=8
TT=2519.92
T1=13.49
 SAT (TO)
f=9
TT=2520.81
T1=37.61
 SAT (TO)
f=4145
TT=2520.12
T1=38.43
 SAT (TO)
f=8
TT=2520.14
T1=67.94
 SAT (TO)
f=9
TT=2520.14
T1=32.4
 SAT
f=9
TT=349.552
T1=75.63
 ? (NS)

TT=47.67
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
GraphColoring/
GraphColoring-5-fullins-3_c18.xml 		OPT
f=7
TT=0.358
T1=0.13
 OPT
f=7
TT=0.358
T1=0.13
 SAT (TO)
f=7
TT=2520.12
T1=0.58
 SAT (TO)
f=153
TT=2520.09
T1=0.6
 SAT (TO)
f=7
TT=2520.03
T1=0.58
 SAT (TO)
f=7
TT=2520.1
T1=0.57
 SAT
f=7
TT=303.84
T1=0.58
 SAT (TO)
f=7
TT=2520.08
T1=0.57
GraphColoring/
GraphColoring-5-fullins-4_c18.xml 		OPT
f=8
TT=206.048
T1=1.85
 OPT
f=8
TT=206.048
T1=1.85
 SAT (TO)
f=9
TT=2520.06
T1=2.14
 SAT (TO)
f=1084
TT=2520.12
T1=3.25
 SAT (TO)
f=8
TT=2520.06
T1=4.52
 SAT (TO)
f=9
TT=2520.09
T1=2.69
 SAT
f=8
TT=306.713
T1=7.4
 SAT (TO)
f=8
TT=2520.1
T1=8.41
GraphColoring/
GraphColoring-qg-order100_c18.xml



? (MO)

TT=70.092

 ?

TT=113.742

 ?

TT=83.821

 ?

TT=87.587

 ?

TT=88.506

 ?

TT=78.15

 ?

TT=86.12
GraphColoring/
GraphColoring-qg-order30_c18.xml 		SAT
f=29
TT=2520.01
T1=4.51
 SAT (TO)
f=29
TT=2520.01
T1=4.51
 SAT (TO)
f=35
TT=2520.09
T1=8.02
 SAT (TO)
f=899
TT=2520.12
T1=5.82
 SAT (TO)
f=29
TT=2520.08
T1=124.08
 SAT (TO)
f=35
TT=2520.11
T1=5.97
 SAT
f=33
TT=310.036
T1=108.72
 SAT (TO)
f=30
TT=2520.08
T1=436.31
GraphColoring/
GraphColoring-qg-order40_c18.xml 		SAT
f=39
TT=2519.93
T1=10.81
 SAT (TO)
f=39
TT=2519.93
T1=10.81
 SAT (TO)
f=49
TT=2520.21
T1=21.44
 SAT (TO)
f=1599
TT=2520.11
T1=17.06
 SAT (TO)
f=40
TT=2520.12
T1=425.92
 SAT (TO)
f=49
TT=2520.07
T1=20.28
 SAT
f=53
TT=319.095
T1=11.52
 SAT (TO)
f=49
TT=2520.06
T1=22
GraphColoring/
GraphColoring-qg-order60_c18.xml 		SAT
f=59
TT=2519.41
T1=81.19
 SAT (TO)
f=59
TT=2519.41
T1=81.19
 ?

TT=67.798

 ?

TT=68.257

 ?

TT=72.695

 ?

TT=75.694

 ?

TT=77.96

 ?

TT=63.292
GraphColoring/
GraphColoring-queen5-5_c18.xml 		OPT
f=4
TT=0.029
T1=0.03
 OPT
f=4
TT=0.029
T1=0.03
 SAT (TO)
f=4
TT=2520.08
T1=0.4
 SAT (TO)
f=4
TT=2520.07
T1=0.42
 SAT (TO)
f=4
TT=2520.02
T1=0.41
 OPT
f=4
TT=0.896
T1=0.41
 SAT
f=4
TT=304.08
T1=0.4
 SAT (TO)
f=4
TT=2520.12
T1=0.41
Knapsack/
Knapsack-30-100-00_c18.xml 		OPT
f=709
TT=0.747
T1=0.33
 OPT
f=709
TT=0.747
T1=0.43
 SAT (TO)
f=709
TT=2520.09
T1=0.34
 SAT (TO)
f=709
TT=2520.11
T1=0.34
 SAT (TO)
f=512
TT=2520.1
T1=0.36
 OPT
f=709
TT=2.379
T1=1.07
 SAT
f=709
TT=302.473
T1=0.33
 SAT (TO)
f=709
TT=2520.02
T1=0.85
Knapsack/
Knapsack-30-100-01_c18.xml 		OPT
f=871
TT=0.462
T1=0.33
 OPT
f=871
TT=0.462
T1=0.35
 SAT (TO)
f=871
TT=2520.11
T1=0.33
 SAT (TO)
f=871
TT=2521.47
T1=0.37
 SAT (TO)
f=871
TT=2520.03
T1=0.37
 OPT
f=871
TT=1.05
T1=0.36
 SAT
f=871
TT=302.045
T1=0.35
 SAT (TO)
f=871
TT=2520.09
T1=0.35
Knapsack/
Knapsack-40-150-00_c18.xml 		OPT
f=932
TT=26.848
T1=0.39
 OPT
f=932
TT=26.848
T1=20.45
 SAT (TO)
f=932
TT=2520.11
T1=1.24
 ? (TO)

TT=2527.9

 SAT (TO)
f=755
TT=2520.11
T1=0.38
 OPT
f=932
TT=120.451
T1=91.09
 SAT
f=932
TT=302.036
T1=0.39
 SAT (TO)
f=932
TT=2520.08
T1=14.32
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
Knapsack/
Knapsack-40-150-01_c18.xml 		OPT
f=1128
TT=19.141
T1=0.42
 OPT
f=1128
TT=19.141
T1=17.95
 SAT (TO)
f=1128
TT=2520.04
T1=0.95
 SAT (TO)
f=1128
TT=2522
T1=0.42
 SAT (TO)
f=901
TT=2520.07
T1=0.36
 OPT
f=1128
TT=34.159
T1=28.04
 SAT
f=1128
TT=302.161
T1=0.53
 SAT (TO)
f=1128
TT=2520.07
T1=5.58
Knapsack/
Knapsack-50-200-00_c18.xml 		OPT
f=960
TT=39.576
T1=0.4
 OPT
f=960
TT=60.795
T1=60.41
 SAT (TO)
f=960
TT=2520.02
T1=0.88
 SAT (TO)
f=960
TT=2520.06
T1=0.4
 SAT (TO)
f=691
TT=2520.08
T1=0.34
 OPT
f=960
TT=39.576
T1=26.52
 SAT
f=960
TT=302.594
T1=0.49
 SAT (TO)
f=960
TT=2520.07
T1=8.31
Knapsack/
Knapsack-50-200-01_c18.xml 		OPT
f=1297
TT=84.628
T1=0.53
 OPT
f=1297
TT=84.628
T1=78.67
 SAT (TO)
f=1297
TT=2520.02
T1=0.97
 SAT (TO)
f=1297
TT=2520.04
T1=0.53
 SAT (TO)
f=719
TT=2520.02
T1=0.34
 OPT
f=1297
TT=157.38
T1=88.21
 SAT
f=1297
TT=302.025
T1=0.79
 SAT (TO)
f=1297
TT=2520.09
T1=97.68
Knapsack/
Knapsack-60-250-00_c18.xml 		SAT
f=1404
TT=302.522
T1=0.56
 SAT (TO)
f=1378
TT=2520.01
T1=2423.46
 SAT (TO)
f=1404
TT=2520.03
T1=98.37
 SAT (TO)
f=1404
TT=2520.14
T1=0.56
 SAT (TO)
f=767
TT=2520.04
T1=0.34
 SAT (TO)
f=1286
TT=2520.08
T1=1353.4
 SAT
f=1404
TT=302.522
T1=0.79
 SAT (TO)
f=1404
TT=2520.11
T1=122.92
Knapsack/
Knapsack-60-250-01_c18.xml 		OPT
f=1323
TT=1600.84
T1=0.47
 OPT
f=1323
TT=1600.84
T1=1499.42
 SAT (TO)
f=1323
TT=2520.12
T1=3.38
 SAT (TO)
f=1323
TT=2520.13
T1=0.47
 SAT (TO)
f=845
TT=2520.12
T1=0.36
 OPT
f=1323
TT=2160.31
T1=1396.25
 SAT
f=1323
TT=301.993
T1=0.55
 SAT (TO)
f=1313
TT=2520.1
T1=484.14
Knapsack/
Knapsack-70-300-00_c18.xml 		SAT
f=1425
TT=2520.06
T1=0.56
 SAT (TO)
f=1327
TT=2519.96
T1=2484.21
 SAT (TO)
f=1425
TT=2520.06
T1=163.45
 SAT (TO)
f=1425
TT=2520.07
T1=0.56
 SAT (TO)
f=643
TT=2520.09
T1=0.35
 SAT (TO)
f=1192
TT=2520.02
T1=1763.18
 SAT
f=1422
TT=301.975
T1=9.67
 SAT (TO)
f=1366
TT=2520.11
T1=2363.02
Knapsack/
Knapsack-70-300-01_c18.xml 		SAT
f=1465
TT=302
T1=0.56
 SAT (TO)
f=1378
TT=2520.08
T1=2300.2
 SAT (TO)
f=1465
TT=2520.06
T1=12.82
 SAT (TO)
f=1465
TT=2520.1
T1=0.56
 SAT (TO)
f=756
TT=2520.07
T1=0.36
 SAT (TO)
f=1196
TT=2520.1
T1=2338.95
 SAT
f=1465
TT=302
T1=11.65
 SAT (TO)
f=1366
TT=2520.09
T1=398.9
Knapsack/
Knapsack-80-350-00_c18.xml 		SAT
f=1564
TT=302.239
T1=6.28
 SAT (TO)
f=1375
TT=2519.95
T1=2509.47
 SAT (TO)
f=1564
TT=2520.12
T1=321.65
 SAT (TO)
f=1564
TT=2520.13
T1=82.03
 SAT (TO)
f=752
TT=2520.05
T1=0.36
 SAT (TO)
f=1243
TT=2520.09
T1=1802.19
 SAT
f=1564
TT=302.239
T1=6.28
 SAT (TO)
f=1447
TT=2520.03
T1=148.12
Knapsack/
Knapsack-80-350-01_c18.xml 		SAT
f=1668
TT=302.063
T1=0.39
 SAT (TO)
f=1535
TT=2520.11
T1=417.3
 SAT (TO)
f=1668
TT=2520.02
T1=83.58
 SAT (TO)
f=1668
TT=2520.07
T1=0.39
 SAT (TO)
f=831
TT=2520.1
T1=0.38
 SAT (TO)
f=1350
TT=2520.05
T1=1970.36
 SAT
f=1668
TT=302.063
T1=3.66
 SAT (TO)
f=1601
TT=2520.09
T1=2175.64
Knapsack/
Knapsack-90-400-00_c18.xml 		SAT
f=1551
TT=2520.04
T1=69.03
 SAT (TO)
f=1286
TT=2519.95
T1=2508.86
 SAT (TO)
f=1551
TT=2520.04
T1=566.89
 SAT (TO)
f=1551
TT=2520.11
T1=69.03
 SAT (TO)
f=669
TT=2520.02
T1=0.33
 SAT (TO)
f=1192
TT=2520.04
T1=1375.11
 SAT
f=1547
TT=302.583
T1=4.59
 SAT (TO)
f=1418
TT=2520.06
T1=1781.17
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
Knapsack/
Knapsack-90-400-01_c18.xml 		SAT
f=1681
TT=302.08
T1=0.48
 SAT (TO)
f=1292
TT=2519.98
T1=2427.76
 SAT (TO)
f=1681
TT=2520.03
T1=173.61
 SAT (TO)
f=1681
TT=2520.1
T1=0.48
 SAT (TO)
f=571
TT=2520.03
T1=0.35
 SAT (TO)
f=1248
TT=2520.11
T1=1095.51
 SAT
f=1681
TT=302.08
T1=3.49
 SAT (TO)
f=1352
TT=2520.1
T1=977.34
LowAutocorrelation/
LowAutocorrelation-015_c18.xml 		OPT
f=15
TT=7.739
T1=0.24
 OPT
f=15
TT=7.739
T1=0.24
 ?

TT=0.633

 ?

TT=0.641

 ?

TT=0.647

 ?

TT=0.635

 ?

TT=0.643

 ?

TT=0.648
LowAutocorrelation/
LowAutocorrelation-020_c18.xml 		OPT
f=26
TT=549.024
T1=289.52
 OPT
f=26
TT=549.024
T1=289.52
 ?

TT=0.715

 ?

TT=0.712

 ?

TT=0.711

 ?

TT=0.731

 ?

TT=0.713

 ?

TT=0.698
LowAutocorrelation/
LowAutocorrelation-021_c18.xml 		OPT
f=26
TT=1039.43
T1=78.78
 OPT
f=26
TT=1039.43
T1=78.78
 ?

TT=0.71

 ?

TT=0.712

 ?

TT=0.735

 ?

TT=0.721

 ?

TT=0.726

 ?

TT=0.722
LowAutocorrelation/
LowAutocorrelation-022_c18.xml 		SAT
f=39
TT=2519.93
T1=523.42
 SAT (TO)
f=39
TT=2519.93
T1=523.42
 ?

TT=0.748

 ?

TT=0.748

 ?

TT=0.747

 ?

TT=0.757

 ?

TT=0.756

 ?

TT=0.756
LowAutocorrelation/
LowAutocorrelation-023_c18.xml 		SAT
f=47
TT=2520.08
T1=191.71
 SAT (TO)
f=47
TT=2520.08
T1=191.71
 ?

TT=0.746

 ?

TT=0.756

 ?

TT=0.761

 ?

TT=0.784

 ?

TT=0.763

 ?

TT=0.77
LowAutocorrelation/
LowAutocorrelation-024_c18.xml 		SAT
f=56
TT=2520.08
T1=73.84
 SAT (TO)
f=56
TT=2520.08
T1=73.84
 ?

TT=0.768

 ?

TT=0.766

 ?

TT=0.774

 ?

TT=0.812

 ?

TT=0.789

 ?

TT=0.787
LowAutocorrelation/
LowAutocorrelation-025_c18.xml 		SAT
f=48
TT=2519.96
T1=691.35
 SAT (TO)
f=48
TT=2519.96
T1=691.35
 ?

TT=0.779

 ?

TT=0.788

 ?

TT=0.786

 ?

TT=0.816

 ?

TT=0.787

 ?

TT=0.804
LowAutocorrelation/
LowAutocorrelation-026_c18.xml 		SAT
f=53
TT=2519.95
T1=1439.65
 SAT (TO)
f=53
TT=2519.95
T1=1439.65
 ?

TT=0.785

 ?

TT=0.793

 ?

TT=0.805

 ?

TT=0.804

 ?

TT=0.795

 ?

TT=0.802
LowAutocorrelation/
LowAutocorrelation-027_c18.xml 		SAT
f=61
TT=2519.94
T1=1158.4
 SAT (TO)
f=61
TT=2519.94
T1=1158.4
 ?

TT=0.8

 ?

TT=0.819

 ?

TT=0.81

 ?

TT=0.822

 ?

TT=0.808

 ?

TT=0.817
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
LowAutocorrelation/
LowAutocorrelation-028_c18.xml 		SAT
f=74
TT=2519.83
T1=1269.97
 SAT (TO)
f=74
TT=2519.83
T1=1269.97
 ?

TT=0.823

 ?

TT=0.837

 ?

TT=0.827

 ?

TT=0.841

 ?

TT=0.832

 ?

TT=0.835
LowAutocorrelation/
LowAutocorrelation-030_c18.xml 		SAT
f=131
TT=2519.96
T1=185.46
 SAT (TO)
f=131
TT=2519.96
T1=185.46
 ?

TT=0.858

 ?

TT=0.863

 ?

TT=0.842

 ?

TT=0.866

 ?

TT=0.846

 ?

TT=0.873
LowAutocorrelation/
LowAutocorrelation-035_c18.xml 		SAT
f=197
TT=2519.94
T1=1606.35
 SAT (TO)
f=197
TT=2519.94
T1=1606.35
 ?

TT=0.925

 ?

TT=0.931

 ?

TT=0.937

 ?

TT=0.946

 ?

TT=0.924

 ?

TT=0.942
LowAutocorrelation/
LowAutocorrelation-040_c18.xml 		SAT
f=500
TT=2519.96
T1=2.7
 SAT (TO)
f=500
TT=2519.96
T1=2.7
 ?

TT=1.006

 ?

TT=1.005

 ?

TT=1.003

 ?

TT=1.004

 ?

TT=1.01

 ?

TT=1.005
LowAutocorrelation/
LowAutocorrelation-050_c18.xml 		SAT
f=649
TT=2520.09
T1=275.64
 SAT (TO)
f=649
TT=2520.09
T1=275.64
 ?

TT=1.238

 ?

TT=1.249

 ?

TT=1.279

 ?

TT=1.285

 ?

TT=1.259

 ?

TT=1.271
PseudoBoolean-opt/
Pb-circ10-3_c18.xml 		SAT
f=364
TT=2520.01
T1=926.76
 SAT (TO)
f=364
TT=2520.01
T1=926.76
 ? (TO)

TT=2520.03

 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.08

 ? (TO)

TT=2520.07

 ? (TO)

TT=2520.03

 ? (TO)

TT=2520.02
PseudoBoolean-opt/
Pb-circ4-3_c18.xml 		OPT
f=20
TT=12.891
T1=0.07
 OPT
f=20
TT=12.891
T1=0.07
 SAT (TO)
f=26
TT=2520.06
T1=0.64
 SAT (TO)
f=20
TT=2520.09
T1=5.54
 SAT (TO)
f=20
TT=2520.02
T1=0.76
 OPT
f=20
TT=23.951
T1=0.77
 SAT
f=24
TT=303.865
T1=0.48
 SAT (TO)
f=20
TT=2520.11
T1=0.74
PseudoBoolean-opt/
Pb-circ6-3_c18.xml 		SAT
f=66
TT=2519.98
T1=788.49
 SAT (TO)
f=66
TT=2519.98
T1=788.49
 ? (TO)

TT=2520.07

 SAT (TO)
f=72
TT=2520.11
T1=2431.91
 SAT (TO)
f=72
TT=2520.08
T1=727.09
 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.05

 SAT (TO)
f=76
TT=2520.12
T1=2218.41
PseudoBoolean-opt/
Pb-circ8-3_c18.xml 		SAT
f=176
TT=2520.05
T1=1004.31
 SAT (TO)
f=176
TT=2520.05
T1=1004.31
 ? (TO)

TT=2520.06

 ? (TO)

TT=2520.03

 ? (TO)

TT=2520.06

 ? (TO)

TT=2520.08

 ? (TO)

TT=2520.11

 ? (TO)

TT=2520.1
PseudoBoolean-opt/
Pb-garden-100x100_c18.xml 		SAT
f=2675
TT=2519.99
T1=21.18
 SAT (TO)
f=2675
TT=2519.99
T1=21.18
 SAT (TO)
f=3362
TT=2520.08
T1=1665.19
 SAT (TO)
f=3352
TT=2520.09
T1=2110.98
 SAT (TO)
f=3383
TT=2520.11
T1=44.85
 SAT (TO)
f=3375
TT=2520.13
T1=1900.38
 SAT
f=3365
TT=306.301
T1=244.97
 ? (NS)

TT=7.378
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
PseudoBoolean-opt/
Pb-garden-15x15_c18.xml 		SAT
f=56
TT=2520.03
T1=96.25
 SAT (TO)
f=66
TT=2520.08
T1=0.02
 SAT (TO)
f=69
TT=2520.02
T1=1131.18
 SAT (TO)
f=56
TT=2520.03
T1=96.25
 SAT (TO)
f=74
TT=2520.09
T1=0.52
 SAT (TO)
f=72
TT=2520.08
T1=7.33
 SAT
f=60
TT=304.719
T1=265.82
 SAT (TO)
f=65
TT=2520.09
T1=232.46
PseudoBoolean-opt/
Pb-garden-4x4_c18.xml 		OPT
f=4
TT=0.006
T1=0
 OPT
f=4
TT=0.006
T1=0
 SAT (TO)
f=4
TT=2520.02
T1=0.31
 SAT (TO)
f=4
TT=2520.45
T1=0.3
 SAT (TO)
f=4
TT=2520.09
T1=0.31
 OPT
f=4
TT=0.52
T1=0.29
 SAT
f=4
TT=47.631
T1=0.3
 SAT (TO)
f=4
TT=2520.11
T1=0.29
PseudoBoolean-opt/
Pb-garden-7x7_c18.xml 		OPT
f=12
TT=75.13
T1=8.41
 OPT
f=12
TT=285.318
T1=236.89
 SAT (TO)
f=13
TT=2520.08
T1=2.12
 SAT (TO)
f=12
TT=2520.07
T1=542.59
 SAT (TO)
f=16
TT=2520.12
T1=0.33
 OPT
f=12
TT=75.13
T1=15.86
 SAT
f=13
TT=303.664
T1=0.92
 SAT (TO)
f=12
TT=2520.11
T1=8.41
PseudoBoolean-opt/
Pb-garden-9x9_c18.xml 		SAT
f=20
TT=2520.05
T1=2434.61
 SAT (TO)
f=22
TT=2519.93
T1=0.01
 SAT (TO)
f=21
TT=2520.12
T1=34.99
 SAT (TO)
f=21
TT=2520.07
T1=0.95
 SAT (TO)
f=28
TT=2520.06
T1=0.34
 SAT (TO)
f=22
TT=2520.13
T1=1266.89
 SAT
f=21
TT=303.821
T1=2.99
 SAT (TO)
f=20
TT=2520.05
T1=2434.61
PseudoBoolean-opt/
Pb-radar-10-10-45-050-100_c18.xml 		SAT
f=4
TT=303.722
T1=20.88
 SAT (TO)
f=11
TT=2520.06
T1=1.54
 SAT (TO)
f=4
TT=2520.09
T1=2433.79
 SAT (TO)
f=4
TT=2520.06
T1=392.33
 SAT (TO)
f=23
TT=2520.11
T1=0.75
 SAT (TO)
f=15
TT=2520.06
T1=577.25
 SAT
f=4
TT=303.722
T1=20.88
 SAT (TO)
f=6
TT=2520.11
T1=187.68
PseudoBoolean-opt/
Pb-radar-10-20-45-050-100_c18.xml 		SAT
f=4
TT=2520.1
T1=333.13
 SAT (TO)
f=19
TT=2520.1
T1=2288.33
 SAT (TO)
f=21
TT=2520.09
T1=705.24
 SAT (TO)
f=4
TT=2520.1
T1=333.13
 SAT (TO)
f=36
TT=2520.08
T1=0.72
 SAT (TO)
f=29
TT=2520.08
T1=1743.21
 SAT
f=5
TT=304.902
T1=292.12
 SAT (TO)
f=22
TT=2520.08
T1=1047.36
PseudoBoolean-opt/
Pb-radar-30-30-45-050-100_c18.xml 		SAT
f=58
TT=2520.05
T1=2514.89
 SAT (TO)
f=124
TT=2520.04
T1=1555.99
 SAT (TO)
f=240
TT=2520.13
T1=1337.99
 SAT (TO)
f=58
TT=2520.05
T1=2514.89
 SAT (TO)
f=267
TT=2520.12
T1=5.24
 SAT (TO)
f=253
TT=2520.05
T1=1903.78
 SAT
f=209
TT=306.155
T1=289.52
 SAT (TO)
f=178
TT=2520.1
T1=280.29
PseudoBoolean-opt/
Pb-radar-30-70-45-050-100_c18.xml 		SAT
f=473
TT=2520.13
T1=2468.06
 SAT (TO)
f=491
TT=2519.68
T1=1535.74
 SAT (TO)
f=640
TT=2520.14
T1=705.11
 SAT (TO)
f=473
TT=2520.13
T1=2468.06
 SAT (TO)
f=666
TT=2520.07
T1=65.4
 SAT (TO)
f=659
TT=2520.05
T1=1667.26
 SAT
f=621
TT=306.525
T1=195.37
 SAT (TO)
f=659
TT=2520.07
T1=19.59
QuadraticAssignment/
QuadraticAssignment-esc128_c18.xml 		SAT
f=32
TT=2520.12
T1=52.77
 SAT (TO)
f=42
TT=2520.1
T1=1057.24
 SAT (TO)
f=32
TT=2520.12
T1=503.74
 SAT (TO)
f=32
TT=2520.12
T1=52.77
 SAT (TO)
f=77
TT=2520.11
T1=4.9
 SAT (TO)
f=80
TT=2520.05
T1=2.84
 SAT
f=50
TT=305.886
T1=282.44
 SAT (TO)
f=36
TT=2520.13
T1=122.92
QuadraticAssignment/
QuadraticAssignment-esc16a_c18.xml 		SAT
f=34
TT=302.659
T1=1.44
 SAT (TO)
f=34
TT=2519.8
T1=1.44
 SAT (TO)
f=39
TT=2520.06
T1=0.36
 SAT (TO)
f=34
TT=2520.11
T1=2.32
 SAT (TO)
f=36
TT=2520.07
T1=0.43
 SAT (TO)
f=34
TT=2520.07
T1=96.01
 SAT
f=34
TT=302.659
T1=1.9
 SAT (TO)
f=34
TT=2520.03
T1=10.12
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
QuadraticAssignment/
QuadraticAssignment-esc16d_c18.xml 		OPT
f=8
TT=139.294
T1=0.03
 OPT
f=8
TT=139.294
T1=0.03
 SAT (TO)
f=8
TT=2520.02
T1=0.61
 SAT (TO)
f=8
TT=2520.1
T1=0.45
 SAT (TO)
f=8
TT=2520.09
T1=0.56
 SAT (TO)
f=8
TT=2520.05
T1=78.66
 SAT
f=8
TT=302.734
T1=0.53
 SAT (TO)
f=8
TT=2520.03
T1=0.98
QuadraticAssignment/
QuadraticAssignment-esc32a_c18.xml 		SAT
f=65
TT=2520.05
T1=20.34
 SAT (TO)
f=93
TT=2520.03
T1=2049.59
 SAT (TO)
f=75
TT=2520.1
T1=5.26
 SAT (TO)
f=65
TT=2520.05
T1=20.34
 SAT (TO)
f=137
TT=2520.08
T1=38.05
 SAT (TO)
f=120
TT=2520.03
T1=1951.81
 SAT
f=68
TT=303.258
T1=222.69
 SAT (TO)
f=73
TT=2520.08
T1=813.22
QuadraticAssignment/
QuadraticAssignment-esc32d_c18.xml 		SAT
f=100
TT=303.064
T1=4.96
 SAT (TO)
f=110
TT=2519.81
T1=24.57
 SAT (TO)
f=112
TT=2520.03
T1=0.86
 SAT (TO)
f=100
TT=2520.03
T1=4.96
 SAT (TO)
f=150
TT=2520.04
T1=0.99
 SAT (TO)
f=125
TT=2520.11
T1=2369.93
 SAT
f=100
TT=303.064
T1=55.41
 SAT (TO)
f=115
TT=2520.06
T1=45.7
QuadraticAssignment/
QuadraticAssignment-esc64a_c18.xml 		SAT
f=58
TT=303.945
T1=0.67
 SAT (TO)
f=58
TT=2520.09
T1=0.67
 SAT (TO)
f=58
TT=2520.02
T1=0.83
 SAT (TO)
f=58
TT=2520.07
T1=1.4
 SAT (TO)
f=114
TT=2520.03
T1=0.66
 SAT (TO)
f=123
TT=2520.12
T1=0.62
 SAT
f=58
TT=303.945
T1=50.78
 SAT (TO)
f=58
TT=2520.09
T1=597.75
QuadraticAssignment/
QuadraticAssignment-had12_c18.xml 		SAT
f=826
TT=302.804
T1=6.44
 SAT (TO)
f=832
TT=2520.08
T1=1735.78
 SAT (TO)
f=896
TT=2520.04
T1=0.57
 SAT (TO)
f=828
TT=2520.06
T1=176.56
 SAT (TO)
f=884
TT=2520.09
T1=1.8
 SAT (TO)
f=840
TT=2520.1
T1=1017.06
 SAT
f=826
TT=302.804
T1=6.44
 SAT (TO)
f=900
TT=2520.06
T1=0.5
QuadraticAssignment/
QuadraticAssignment-had14_c18.xml 		SAT
f=1362
TT=2520.06
T1=1927.11
 SAT (TO)
f=1385
TT=2520.06
T1=207.58
 SAT (TO)
f=1512
TT=2520.06
T1=0.53
 SAT (TO)
f=1362
TT=2520.06
T1=1927.11
 SAT (TO)
f=1463
TT=2520.1
T1=10.39
 SAT (TO)
f=1438
TT=2520.08
T1=927.94
 SAT
f=1372
TT=302.77
T1=4.09
 SAT (TO)
f=1476
TT=2520.1
T1=1.61
QuadraticAssignment/
QuadraticAssignment-had16_c18.xml 		SAT
f=1885
TT=302.889
T1=53.06
 SAT (TO)
f=1934
TT=2519.92
T1=1921.44
 SAT (TO)
f=2026
TT=2520.04
T1=0.86
 SAT (TO)
f=1908
TT=2520.08
T1=2489.51
 SAT (TO)
f=2020
TT=2520.08
T1=12.04
 SAT (TO)
f=1974
TT=2520.02
T1=41.37
 SAT
f=1885
TT=302.889
T1=53.06
 SAT (TO)
f=2021
TT=2520.04
T1=2.11
QuadraticAssignment/
QuadraticAssignment-had18_c18.xml 		SAT
f=2712
TT=303.052
T1=44.87
 SAT (TO)
f=2775
TT=2519.74
T1=1888.77
 SAT (TO)
f=2850
TT=2520.07
T1=1.12
 SAT (TO)
f=2793
TT=2520.1
T1=2109.78
 SAT (TO)
f=2883
TT=2520.08
T1=56.88
 SAT (TO)
f=2839
TT=2520.11
T1=2491.76
 SAT
f=2712
TT=303.052
T1=44.87
 SAT (TO)
f=2885
TT=2520.04
T1=9.37
QuadraticAssignment/
QuadraticAssignment-had20_c18.xml 		SAT
f=3474
TT=303.053
T1=168.94
 SAT (TO)
f=3668
TT=2520.04
T1=1698.36
 SAT (TO)
f=3837
TT=2520.07
T1=1.5
 SAT (TO)
f=3728
TT=2520.1
T1=1695.16
 SAT (TO)
f=3736
TT=2520.05
T1=6.5
 SAT (TO)
f=3725
TT=2520.09
T1=115.28
 SAT
f=3474
TT=303.053
T1=168.94
 SAT (TO)
f=3733
TT=2520.11
T1=7.6
QuadraticAssignment/
QuadraticAssignment-qap_c18.xml 		OPT
f=4776
TT=0.378
T1=0.35
 OPT
f=4776
TT=0.378
T1=0.35
 SAT (TO)
f=5344
TT=2520.05
T1=0.46
 SAT (TO)
f=4776
TT=2520.09
T1=1.57
 SAT (TO)
f=4776
TT=2520.1
T1=0.54
 OPT
f=4776
TT=1.938
T1=0.79
 SAT
f=4776
TT=301.842
T1=1.28
 SAT (TO)
f=4776
TT=2520.07
T1=0.91
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
QuadraticAssignment/
QuadraticAssignment-sko42_c18.xml 		SAT
f=9512
TT=2520.07
T1=2184.49
 SAT (TO)
f=9512
TT=2520.07
T1=2184.49
 SAT (TO)
f=10091
TT=2520.06
T1=10.25
 SAT (TO)
f=9982
TT=2520.03
T1=9.05
 SAT (TO)
f=9791
TT=2520.08
T1=71.18
 SAT (TO)
f=9923
TT=2520.1
T1=988.54
 SAT
f=10108
TT=308.484
T1=1.43
 SAT (TO)
f=10041
TT=2520.05
T1=5.32
QuadraticAssignment/
QuadraticAssignment-sko49_c18.xml 		SAT
f=13783
TT=2520.06
T1=742.16
 SAT (TO)
f=13783
TT=2520.06
T1=742.16
 SAT (TO)
f=14190
TT=2520.11
T1=11.81
 SAT (TO)
f=14752
TT=2520.05
T1=18.61
 SAT (TO)
f=14104
TT=2520.09
T1=685.45
 SAT (TO)
f=14115
TT=2520.14
T1=1822.25
 SAT
f=14220
TT=307.277
T1=1.6
 SAT (TO)
f=14151
TT=2520.05
T1=12.09
QuadraticAssignment/
QuadraticAssignment-sko56_c18.xml 		SAT
f=20529
TT=2520.04
T1=2323.22
 SAT (TO)
f=20529
TT=2520.04
T1=2323.22
 SAT (TO)
f=21286
TT=2520.13
T1=27.9
 SAT (TO)
f=21439
TT=2520.04
T1=35.88
 SAT (TO)
f=20649
TT=2520.06
T1=97.22
 SAT (TO)
f=21001
TT=2520.14
T1=1491.88
 SAT
f=21131
TT=305.715
T1=2.62
 SAT (TO)
f=21114
TT=2520.09
T1=6.96
QuadraticAssignment/
QuadraticAssignment-sko64_c18.xml 		SAT
f=28923
TT=2520.12
T1=280.92
 SAT (TO)
f=28923
TT=2520.12
T1=280.92
 SAT (TO)
f=29809
TT=2520.12
T1=21.96
 SAT (TO)
f=29996
TT=2520.04
T1=61.97
 SAT (TO)
f=29202
TT=2520.08
T1=90.92
 SAT (TO)
f=29180
TT=2520.05
T1=778.76
 SAT
f=29753
TT=306.17
T1=3.88
 SAT (TO)
f=29546
TT=2520.08
T1=6.01
QuadraticAssignment/
QuadraticAssignment-sko72_c18.xml 		SAT
f=38953
TT=2519.88
T1=392.95
 SAT (TO)
f=38953
TT=2519.88
T1=392.95
 SAT (TO)
f=39929
TT=2520.1
T1=837.71
 SAT (TO)
f=40699
TT=2520.11
T1=115.77
 SAT (TO)
f=39813
TT=2520.04
T1=229.21
 SAT (TO)
f=39747
TT=2520.11
T1=2258.15
 SAT
f=40167
TT=307.962
T1=6.37
 SAT (TO)
f=39968
TT=2520.06
T1=13.84
QuadraticAssignment/
QuadraticAssignment-sko81_c18.xml 		SAT
f=53146
TT=2520.1
T1=278.88
 SAT (TO)
f=53487
TT=2520.03
T1=1018.19
 SAT (TO)
f=54281
TT=2520.09
T1=8.52
 SAT (TO)
f=55097
TT=2520.11
T1=210.63
 SAT (TO)
f=53146
TT=2520.1
T1=278.88
 SAT (TO)
f=53599
TT=2520.09
T1=806.91
 SAT
f=54111
TT=311.308
T1=10.5
 SAT (TO)
f=53834
TT=2520.1
T1=12.37
QuadraticAssignment/
QuadraticAssignment-sko90_c18.xml 		SAT
f=67376
TT=2520.13
T1=161.39
 SAT (TO)
f=67850
TT=2520.02
T1=1262.28
 SAT (TO)
f=67862
TT=2520.13
T1=13.18
 SAT (TO)
f=69326
TT=2520.11
T1=357.13
 SAT (TO)
f=67376
TT=2520.13
T1=161.39
 SAT (TO)
f=67480
TT=2520.07
T1=2455.64
 SAT
f=67650
TT=316.557
T1=19.35
 SAT (TO)
f=67621
TT=2520.08
T1=14.61
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-01-opt_c18.xml 		SAT
f=20
TT=2519.92
T1=5.51
 SAT (TO)
f=20
TT=2519.92
T1=5.51
 ? (NS)

TT=3.181

 ? (NS)

TT=2.548

 ? (NS)

TT=2.915

 ? (NS)

TT=2.711

 ? (NS)

TT=2.894

 ? (NS)

TT=2.923
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-02-opt_c18.xml 		SAT
f=14
TT=2519.73
T1=0.82
 SAT (TO)
f=14
TT=2519.73
T1=0.82
 ? (NS)

TT=3.928

 ? (NS)

TT=3.676

 ? (NS)

TT=3.94

 ? (NS)

TT=3.227

 ? (NS)

TT=3.148

 ? (NS)

TT=3.586
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-03-opt_c18.xml 		OPT
f=380
TT=0.353
T1=0.35
 OPT
f=380
TT=0.353
T1=0.35
 SAT (TO)
f=380
TT=2520.12
T1=2.76
 SAT (TO)
f=764
TT=2520.05
T1=562.94
 SAT (TO)
f=380
TT=2520.12
T1=2.04
 OPT
f=380
TT=6.097
T1=2.18
 SAT
f=380
TT=306.221
T1=2.21
 SAT (TO)
f=380
TT=2520.08
T1=2.06
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-04-opt_c18.xml 		OPT
f=394
TT=0.66
T1=0.66
 OPT
f=394
TT=0.66
T1=0.66
 SAT (TO)
f=394
TT=2520.1
T1=5.23
 SAT (TO)
f=792
TT=2520.07
T1=125.88
 SAT (TO)
f=394
TT=2520.04
T1=8.05
 OPT
f=394
TT=12.152
T1=7.78
 SAT
f=736
TT=308.709
T1=172.63
 SAT (TO)
f=394
TT=2520.1
T1=4.78
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-05-opt_c18.xml 		OPT
f=221
TT=40.826
T1=11.41
 ? (exit code)

TT=4.79

 SAT (TO)
f=221
TT=2520.09
T1=14.11
 SAT (TO)
f=221
TT=2520.04
T1=11.41
 SAT (TO)
f=221
TT=2520.6
T1=41.54
 OPT
f=221
TT=40.826
T1=13.73
 SAT
f=221
TT=317.007
T1=14.99
 SAT (TO)
f=221
TT=2520.05
T1=13.18
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-06-opt_c18.xml



? (exit code)

TT=11.29

 ? (TO)

TT=2520.08

 ? (TO)

TT=2520.09

 ? (TO)

TT=2520.06

 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.07

 ? (TO)

TT=2520.06
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-07-opt_c18.xml 		SAT
f=4324
TT=2520.09
T1=173.03
 SAT (TO)
f=10185
TT=2519.67
T1=53.1
 SAT (TO)
f=6941
TT=2520.15
T1=34.79
 SAT (TO)
f=4324
TT=2520.09
T1=173.03
 SAT (TO)
f=7537
TT=2520.11
T1=40.27
 SAT (TO)
f=18289
TT=2520.14
T1=1105.36
 SAT
f=4336
TT=330.447
T1=232.6
 SAT (TO)
f=5364
TT=2520.13
T1=2309.88
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-08-opt_c18.xml 		SAT
f=20
TT=2520.09
T1=31.33
 SAT (TO)
f=20
TT=2520.09
T1=31.33
 ? (NS)

TT=5.981

 ? (NS)

TT=5.731

 ? (NS)

TT=12.803

 ? (NS)

TT=4.567

 ? (NS)

TT=4.444

 ? (NS)

TT=4.979
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-09-opt_c18.xml 		SAT
f=18
TT=2520.04
T1=28.43
 SAT (TO)
f=18
TT=2520.04
T1=28.43
 ? (NS)

TT=7.297

 ? (NS)

TT=5.298

 ? (NS)

TT=27.927

 ? (NS)

TT=9.756

 ? (NS)

TT=9.336

 ? (NS)

TT=9.77
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-10-opt_c18.xml 		OPT
f=394
TT=0.832
T1=0.83
 OPT
f=394
TT=0.832
T1=0.83
 SAT (TO)
f=394
TT=2520.08
T1=8.83
 SAT (TO)
f=792
TT=2520.14
T1=4.36
 SAT (TO)
f=394
TT=2520.07
T1=209.48
 SAT (TO)
f=792
TT=2520.03
T1=7.6
 SAT
f=778
TT=312.139
T1=12.04
 SAT (TO)
f=778
TT=2520.09
T1=8.46
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-11-opt_c18.xml



? (exit code)

TT=26.316

 ? (TO)

TT=2520.03

 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.17

 ? (TO)

TT=2520.13

 ? (TO)

TT=2520.04

 ? (TO)

TT=2520.07
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-12-opt_c18.xml 		SAT
f=34807
TT=2520.14
T1=2168.97
 ? (exit code)

TT=9.936

 ? (TO)

TT=2520.07

 ? (TO)

TT=2520.06

 ? (TO)

TT=2520.08

 ? (TO)

TT=2520.12

 ? (TO)

TT=2520.09

 SAT (TO)
f=34807
TT=2520.14
T1=2168.97
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-13-opt_c18.xml



? (exit code)

TT=46.537

 ? (TO)

TT=2520.27

 ? (TO)

TT=2520.11

 ? (TO)

TT=2520.08

 ? (TO)

TT=2520.05

 ? (TO)

TT=2520.04

 ? (TO)

TT=2520.09
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-14-opt_c18.xml 		SAT
f=14
TT=2520.08
T1=2.27
 SAT (TO)
f=14
TT=2520.08
T1=2.27
 ? (NS)

TT=6.462

 ? (NS)

TT=5.304

 ? (NS)

TT=14.04

 ? (NS)

TT=4.52

 ? (NS)

TT=4.429

 ? (NS)

TT=9.631
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-01-opt_c18.xml 		SAT
f=16
TT=2520.07
T1=1.89
 SAT (TO)
f=16
TT=2520.07
T1=1.89
 ? (NS)

TT=7.951

 ? (NS)

TT=5.63

 ? (NS)

TT=28.727

 ? (NS)

TT=11.007

 ? (NS)

TT=10.528

 ? (NS)

TT=10.268
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-02-opt_c18.xml 		SAT
f=14
TT=2520.09
T1=0.12
 SAT (TO)
f=14
TT=2520.09
T1=0.12
 ? (NS)

TT=3.509

 ? (NS)

TT=2.625

 ? (NS)

TT=5.259

 ? (NS)

TT=2.822

 ? (NS)

TT=2.901

 ? (NS)

TT=2.945
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-03-opt_c18.xml 		SAT
f=14
TT=2520.07
T1=4.82
 SAT (TO)
f=14
TT=2520.07
T1=4.82
 ? (NS)

TT=4.893

 ? (NS)

TT=3.55

 ? (NS)

TT=8.352

 ? (NS)

TT=4.146

 ? (NS)

TT=4.382

 ? (NS)

TT=4.082
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-04-opt_c18.xml 		OPT
f=46
TT=0.616
T1=0.61
 OPT
f=46
TT=0.616
T1=0.61
 ? (NS)

TT=14.48

 ? (NS)

TT=10.896

 ? (NS)

TT=13.744

 ? (NS)

TT=11.526

 ? (NS)

TT=11.283

 ? (NS)

TT=11.825
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-05-opt_c18.xml 		OPT
f=792
TT=0.486
T1=0.48
 OPT
f=792
TT=0.486
T1=0.48
 SAT (TO)
f=792
TT=2520.11
T1=4.82
 SAT (TO)
f=792
TT=2520.07
T1=3.27
 SAT (TO)
f=792
TT=2520.04
T1=4.09
 OPT
f=792
TT=8.116
T1=3.78
 SAT
f=792
TT=309.996
T1=3.78
 SAT (TO)
f=792
TT=2520.11
T1=4.02
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-06-opt_c18.xml



? (exit code)

TT=9.847

 ? (TO)

TT=2520.03

 ? (TO)

TT=2520.09

 ? (TO)

TT=2520.08

 ? (TO)

TT=2520.12

 ? (TO)

TT=2520.04

 ? (TO)

TT=2520.07
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-07-opt_c18.xml



? (exit code)

TT=14.523

 ?

TT=41.936

 ?

TT=68.889

 ?

TT=214.75

 ?

TT=95.56

 ?

TT=116.849

 ?

TT=288.395
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-08-opt_c18.xml



? (exit code)

TT=31.389

 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.05

 ? (TO)

TT=2520.15

 ? (TO)

TT=2520.09

 ? (TO)

TT=2520.04

 ? (NS)

TT=1018.53
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-09-opt_c18.xml 		SAT
f=24191
TT=2520.1
T1=1005.78
 ? (exit code)

TT=21.828

 ? (TO)

TT=2520.03

 SAT (TO)
f=24191
TT=2520.1
T1=1005.78
 SAT (TO)
f=33935
TT=2520.1
T1=67.91
 ? (TO)

TT=2520.13

 ? (TO)

TT=2520.16

 SAT (TO)
f=29377
TT=2520.13
T1=1158.43
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-10-opt_c18.xml 		SAT
f=647980
TT=2520.14
T1=2370.07
 ? (exit code)

TT=36.844

 ? (TO)

TT=2520.13

 SAT (TO)
f=647980
TT=2520.14
T1=2370.07
 SAT (TO)
f=2513863
TT=2520.16
T1=75.76
 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.15

 SAT (TO)
f=1851143
TT=2520.08
T1=2156.16
Rlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-11-opt_c18.xml 		SAT
f=22
TT=2520.05
T1=4.45
 SAT (TO)
f=22
TT=2520.05
T1=4.45
 ? (NS)

TT=5.976

 ? (NS)

TT=3.858

 ? (NS)

TT=15.786

 ? (NS)

TT=4.69

 ? (NS)

TT=4.783

 ? (NS)

TT=4.949
SteelMillSlab_Mini/
SteelMillSlab-m2s-mini-2_0_c18.xml 		SAT
f=282
TT=2519.88
T1=76.28
 SAT (TO)
f=282
TT=2519.88
T1=76.28
 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.11

 ? (TO)

TT=2520.03

 ? (TO)

TT=2520.03

 ? (TO)

TT=2520.15

 ? (NS)

TT=14.979
SteelMillSlab_Mini/
SteelMillSlab-m2s-mini-2_1_c18.xml 		SAT
f=452
TT=2519.52
T1=27.19
 SAT (TO)
f=452
TT=2519.52
T1=27.19
 ? (TO)

TT=2520.12

 ? (TO)

TT=2520.06

 ? (TO)

TT=2520.08

 ? (TO)

TT=2520.08

 ? (TO)

TT=2520.11

 ? (NS)

TT=15
SteelMillSlab_Mini/
SteelMillSlab-m2s-mini-2_2_c18.xml 		SAT
f=264
TT=2519.79
T1=102.22
 SAT (TO)
f=264
TT=2519.79
T1=102.22
 ? (TO)

TT=2520.09

 ? (TO)

TT=2520.07

 ? (TO)

TT=2520.05

 ? (TO)

TT=2520.04

 ? (TO)

TT=2520.12

 ? (NS)

TT=14.88
SteelMillSlab_Mini/
SteelMillSlab-m2s-mini-3_0_c18.xml 		SAT
f=252
TT=2519.48
T1=84.9
 SAT (TO)
f=252
TT=2519.48
T1=84.9
 ? (TO)

TT=2520.15

 ? (TO)

TT=2520.06

 ? (TO)

TT=2520.06

 ? (TO)

TT=2520.09

 ? (TO)

TT=2520.1

 ? (NS)

TT=14.446
SteelMillSlab_Mini/
SteelMillSlab-m2s-mini-3_2_c18.xml 		SAT
f=410
TT=2520.11
T1=46
 SAT (TO)
f=410
TT=2520.11
T1=46
 ? (TO)

TT=2520.11

 ? (TO)

TT=2520.07

 ? (TO)

TT=2520.09

 ? (TO)

TT=2520.08

 ? (TO)

TT=2520.09

 ? (NS)

TT=14.837
SteelMillSlab_Mini/
SteelMillSlab-m2s-mini-4_0_c18.xml 		SAT
f=168
TT=2519.67
T1=70.23
 SAT (TO)
f=168
TT=2519.67
T1=70.23
 ? (TO)

TT=2520.11

 ? (TO)

TT=2520.11

 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.03

 ? (TO)

TT=2520.03

 ? (NS)

TT=14.631
SteelMillSlab_Mini/
SteelMillSlab-m2s-mini-5_0_c18.xml 		SAT
f=190
TT=2519.64
T1=35.62
 SAT (TO)
f=190
TT=2519.64
T1=35.62
 ? (TO)

TT=2520.04

 ? (TO)

TT=2520.04

 ? (TO)

TT=2520.08

 ? (TO)

TT=2520.04

 ? (TO)

TT=2520.04

 ? (NS)

TT=14.81
SteelMillSlab_Mini/
SteelMillSlab-m2s-mini-6_0_c18.xml 		SAT
f=125
TT=2519.74
T1=96.73
 SAT (TO)
f=125
TT=2519.74
T1=96.73
 ? (TO)

TT=2520.12

 ? (TO)

TT=2520.09

 ? (TO)

TT=2520.06

 ? (TO)

TT=2520.03

 ? (TO)

TT=2520.17

 ? (NS)

TT=14.681
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
SteelMillSlab_Mini/
SteelMillSlab-m2s-mini-7_0_c18.xml 		SAT
f=143
TT=2520.11
T1=127.68
 SAT (TO)
f=143
TT=2520.11
T1=127.68
 ? (TO)

TT=2520.09

 ? (TO)

TT=2520.12

 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.1

 ? (TO)

TT=2520.07

 ? (NS)

TT=14.275
SteelMillSlab_Mini/
SteelMillSlab-m2s-mini-simple_c18.xml 		OPT
f=0
TT=0.016
T1=0.01
 OPT
f=0
TT=0.016
T1=0.01
 SAT (TO)
f=0
TT=2520.09
T1=0.43
 SAT (TO)
f=0
TT=2520.09
T1=1.01
 SAT (TO)
f=0
TT=2520.08
T1=0.42
 OPT
f=0
TT=0.851
T1=0.41
 SAT
f=0
TT=304.916
T1=0.42
 SAT (TO)
f=0
TT=2520.09
T1=0.41
SumColoring/
SumColoring-1-fullins-3_c18.xml 		OPT
f=24
TT=0.514
T1=0.05
 OPT
f=24
TT=0.514
T1=0.05
 SAT (TO)
f=28
TT=2520.07
T1=0.62
 SAT (TO)
f=24
TT=2520.11
T1=16.76
 SAT (TO)
f=24
TT=2520.06
T1=5.59
 OPT
f=24
TT=107.442
T1=15.76
 SAT
f=28
TT=302.935
T1=0.67
 SAT (TO)
f=24
TT=2520.04
T1=2.16
SumColoring/
SumColoring-1-fullins-4_c18.xml 		SAT
f=83
TT=303.884
T1=13.22
 SAT (TO)
f=84
TT=2519.74
T1=23.25
 SAT (TO)
f=117
TT=2520.04
T1=1008.08
 SAT (TO)
f=83
TT=2520.07
T1=308.29
 SAT (TO)
f=105
TT=2520.06
T1=84.79
 SAT (TO)
f=111
TT=2520.04
T1=496.39
 SAT
f=83
TT=303.884
T1=13.22
 SAT (TO)
f=87
TT=2520.07
T1=655.44
SumColoring/
SumColoring-1-fullins-5_c18.xml 		SAT
f=262
TT=2520.12
T1=811.5
 SAT (TO)
f=290
TT=2520.08
T1=12.02
 SAT (TO)
f=375
TT=2520.06
T1=0.94
 SAT (TO)
f=262
TT=2520.12
T1=811.5
 SAT (TO)
f=367
TT=2520.09
T1=77.83
 SAT (TO)
f=375
TT=2520.07
T1=0.93
 SAT
f=283
TT=309.492
T1=145.5
 SAT (TO)
f=313
TT=2520.1
T1=979.31
SumColoring/
SumColoring-dsjc-125-1_c18.xml 		SAT
f=228
TT=305.957
T1=256.59
 SAT (TO)
f=241
TT=2520.08
T1=4.44
 SAT (TO)
f=271
TT=2520.04
T1=451.26
 SAT (TO)
f=233
TT=2520.11
T1=36.98
 SAT (TO)
f=274
TT=2520.06
T1=9.96
 SAT (TO)
f=270
TT=2520.02
T1=89.69
 SAT
f=228
TT=305.957
T1=256.59
 SAT (TO)
f=253
TT=2520.05
T1=2209.6
SumColoring/
SumColoring-dsjc-125-5_c18.xml 		SAT
f=1010
TT=2520.1
T1=1343.79
 SAT (TO)
f=1123
TT=2520.07
T1=87.06
 SAT (TO)
f=1256
TT=2520.09
T1=276.07
 SAT (TO)
f=1010
TT=2520.1
T1=1343.79
 SAT (TO)
f=1289
TT=2520.06
T1=1.16
 SAT (TO)
f=1289
TT=2520.1
T1=1.28
 SAT
f=1111
TT=309.153
T1=272.75
 SAT (TO)
f=1125
TT=2520.06
T1=1398.97
SumColoring/
SumColoring-dsjc-125-9_c18.xml 		SAT
f=2532
TT=2520.09
T1=2335.8
 SAT (TO)
f=2797
TT=2519.73
T1=40.93
 SAT (TO)
f=3135
TT=2520.06
T1=6.41
 SAT (TO)
f=2532
TT=2520.09
T1=2335.8
 SAT (TO)
f=3115
TT=2520.1
T1=25.9
 SAT (TO)
f=3115
TT=2520.04
T1=1.63
 SAT
f=2804
TT=308.042
T1=226.47
 SAT (TO)
f=2823
TT=2520.08
T1=1705.89
SumColoring/
SumColoring-dsjc-250-1_c18.xml 		SAT
f=818
TT=2520.11
T1=2248.8
 SAT (TO)
f=928
TT=2519.93
T1=74.68
 SAT (TO)
f=1025
TT=2520.09
T1=6.06
 SAT (TO)
f=818
TT=2520.11
T1=2248.8
 SAT (TO)
f=1031
TT=2520.08
T1=1.95
 SAT (TO)
f=1025
TT=2520.05
T1=5.48
 SAT
f=895
TT=310.774
T1=263.77
 SAT (TO)
f=958
TT=2520.03
T1=1269.99
SumColoring/
SumColoring-dsjc-250-5_c18.xml 		SAT
f=3694
TT=2520.12
T1=2500.2
 SAT (TO)
f=3949
TT=2520.05
T1=2.56
 SAT (TO)
f=4362
TT=2520.08
T1=66.49
 SAT (TO)
f=3694
TT=2520.12
T1=2500.2
 SAT (TO)
f=4370
TT=2520.03
T1=3.54
 SAT (TO)
f=4362
TT=2520.12
T1=58.7
 SAT
f=4370
TT=308.144
T1=2.55
 SAT (TO)
f=4116
TT=2520.07
T1=1197.9
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
SumColoring/
SumColoring-dsjc-250-9_c18.xml 		SAT
f=9608
TT=2520.07
T1=2486.62
 SAT (TO)
f=10090
TT=2520.04
T1=126.37
 SAT (TO)
f=10673
TT=2520.11
T1=1376.82
 SAT (TO)
f=9608
TT=2520.07
T1=2486.62
 SAT (TO)
f=10623
TT=2520.06
T1=9.34
 SAT (TO)
f=10673
TT=2520.06
T1=1125.65
 SAT
f=10636
TT=314.642
T1=267.04
 SAT (TO)
f=10297
TT=2520.12
T1=1133.17
SumColoring/
SumColoring-myciel3_c18.xml 		OPT
f=10
TT=0.008
T1=0
 OPT
f=10
TT=0.008
T1=0
 SAT (TO)
f=10
TT=2520.04
T1=0.35
 SAT (TO)
f=10
TT=2520.06
T1=0.57
 SAT (TO)
f=10
TT=2520.06
T1=0.35
 OPT
f=10
TT=0.687
T1=0.33
 SAT
f=10
TT=2.177
T1=0.34
 SAT (TO)
f=10
TT=2520.05
T1=0.33
SumColoring/
SumColoring-myciel4_c18.xml 		OPT
f=22
TT=0.236
T1=0.07
 OPT
f=22
TT=0.236
T1=0.07
 SAT (TO)
f=22
TT=2520.11
T1=0.41
 SAT (TO)
f=22
TT=2520.05
T1=1.43
 SAT (TO)
f=22
TT=2520.03
T1=0.71
 OPT
f=22
TT=20.81
T1=11.47
 SAT
f=22
TT=302.738
T1=0.68
 SAT (TO)
f=22
TT=2520.09
T1=1.5
SumColoring/
SumColoring-myciel5_c18.xml 		OPT
f=46
TT=1545.7
T1=227.41
 OPT
f=46
TT=1545.7
T1=227.41
 SAT (TO)
f=47
TT=2520.03
T1=22.95
 SAT (TO)
f=47
TT=2520.1
T1=9.96
 SAT (TO)
f=50
TT=2520.11
T1=960.31
 SAT (TO)
f=57
TT=2520.01
T1=37.22
 SAT
f=47
TT=303.387
T1=28.85
 SAT (TO)
f=46
TT=2520.08
T1=1048.02
SumColoring/
SumColoring-myciel6_c18.xml 		SAT
f=98
TT=2520.09
T1=6.79
 SAT (TO)
f=118
TT=2520.07
T1=364.95
 SAT (TO)
f=108
TT=2520.03
T1=31.65
 SAT (TO)
f=98
TT=2520.09
T1=6.79
 SAT (TO)
f=136
TT=2520.05
T1=0.55
 SAT (TO)
f=136
TT=2520.12
T1=0.55
 SAT
f=108
TT=305.041
T1=2.66
 SAT (TO)
f=108
TT=2520.08
T1=1371.12
SumColoring/
SumColoring-myciel7_c18.xml 		SAT
f=208
TT=2520.07
T1=14.49
 SAT (TO)
f=251
TT=2520.06
T1=0.37
 SAT (TO)
f=226
TT=2520.07
T1=964.57
 SAT (TO)
f=208
TT=2520.07
T1=14.49
 SAT (TO)
f=255
TT=2520.12
T1=0.85
 SAT (TO)
f=255
TT=2520.03
T1=0.83
 SAT
f=224
TT=309.534
T1=4.36
 SAT (TO)
f=220
TT=2520.08
T1=2203.39
TravellingSalesman/
TravellingSalesman-10-20-00_c18.xml 		OPT
f=47
TT=1.931
T1=0.05
 OPT
f=47
TT=1.931
T1=0.05
 SAT (TO)
f=48
TT=2520.1
T1=0.34
 SAT (TO)
f=47
TT=2520.06
T1=0.7
 SAT (TO)
f=47
TT=2520.05
T1=0.36
 OPT
f=47
TT=2.009
T1=0.37
 SAT
f=47
TT=302.636
T1=0.38
 SAT (TO)
f=47
TT=2520.1
T1=0.36
TravellingSalesman/
TravellingSalesman-100-50-00_c18.xml 		SAT
f=451
TT=2520
T1=37.2
 SAT (TO)
f=451
TT=2520
T1=37.2
 SAT (TO)
f=1342
TT=2520.07
T1=2251.73
 SAT (TO)
f=464
TT=2520.14
T1=1933.83
 SAT (TO)
f=1319
TT=2520.05
T1=840.43
 SAT (TO)
f=1377
TT=2520.07
T1=1547.52
 SAT
f=1125
TT=306.673
T1=197.47
 SAT (TO)
f=499
TT=2520.13
T1=1455.96
TravellingSalesman/
TravellingSalesman-15-30-00_c18.xml 		OPT
f=93
TT=580.839
T1=0.36
 SAT (TO)
f=93
TT=2520.08
T1=6.05
 SAT (TO)
f=101
TT=2520.07
T1=0.47
 SAT (TO)
f=93
TT=2520.11
T1=0.36
 SAT (TO)
f=93
TT=2520.07
T1=5.6
 OPT
f=93
TT=580.839
T1=7.92
 SAT
f=93
TT=302.848
T1=0.61
 SAT (TO)
f=93
TT=2520.02
T1=6.53
TravellingSalesman/
TravellingSalesman-150-50-00_c18.xml 		SAT
f=537
TT=2519.96
T1=74.37
 SAT (TO)
f=537
TT=2519.96
T1=74.37
 SAT (TO)
f=2226
TT=2520.12
T1=2.85
 SAT (TO)
f=600
TT=2520.09
T1=935.23
 SAT (TO)
f=2044
TT=2520.1
T1=2125.09
 SAT (TO)
f=2092
TT=2520.06
T1=2376.48
 SAT
f=1923
TT=304.838
T1=293.02
 SAT (TO)
f=764
TT=2520.06
T1=2429.02
Bench nameBest resultscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
TravellingSalesman/
TravellingSalesman-20-30-00_c18.xml 		SAT
f=104
TT=302.882
T1=0.53
 SAT (TO)
f=104
TT=2519.68
T1=1773.23
 SAT (TO)
f=104
TT=2520.03
T1=0.53
 SAT (TO)
f=104
TT=2520.1
T1=6.01
 SAT (TO)
f=114
TT=2520.04
T1=87.88
 SAT (TO)
f=104
TT=2520.03
T1=2180.05
 SAT
f=104
TT=302.882
T1=1.86
 SAT (TO)
f=104
TT=2520.08
T1=174.27
TravellingSalesman/
TravellingSalesman-25-30-00_c18.xml 		SAT
f=113
TT=303.201
T1=2.7
 SAT (TO)
f=118
TT=2519.89
T1=52.61
 SAT (TO)
f=124
TT=2520.04
T1=3.7
 SAT (TO)
f=115
TT=2520.08
T1=19.6
 SAT (TO)
f=138
TT=2520.07
T1=68.99
 SAT (TO)
f=133
TT=2520.08
T1=228.52
 SAT
f=113
TT=303.201
T1=2.7
 SAT (TO)
f=115
TT=2520.12
T1=13.12
TravellingSalesman/
TravellingSalesman-30-30-00_c18.xml 		SAT
f=126
TT=302.917
T1=18.74
 SAT (TO)
f=132
TT=2519.94
T1=6.73
 SAT (TO)
f=142
TT=2520.1
T1=11.56
 SAT (TO)
f=126
TT=2520.09
T1=2333.02
 SAT (TO)
f=171
TT=2520.06
T1=124.58
 SAT (TO)
f=175
TT=2520.02
T1=1467.55
 SAT
f=126
TT=302.917
T1=18.74
 SAT (TO)
f=126
TT=2520.11
T1=177.13
TravellingSalesman/
TravellingSalesman-35-30-00_c18.xml 		SAT
f=148
TT=2520.12
T1=86.14
 SAT (TO)
f=162
TT=2519.86
T1=202.47
 SAT (TO)
f=163
TT=2520.07
T1=20.02
 SAT (TO)
f=153
TT=2520.05
T1=2220.3
 SAT (TO)
f=218
TT=2520.1
T1=93.91
 SAT (TO)
f=230
TT=2520.09
T1=2457.67
 SAT
f=172
TT=303.644
T1=20.51
 SAT (TO)
f=148
TT=2520.12
T1=86.14
TravellingSalesman/
TravellingSalesman-40-30-00_c18.xml 		SAT
f=163
TT=303.843
T1=107.42
 SAT (TO)
f=188
TT=2519.78
T1=1.08
 SAT (TO)
f=221
TT=2520.1
T1=383.1
 SAT (TO)
f=171
TT=2520.11
T1=2368.06
 SAT (TO)
f=257
TT=2520.05
T1=741.29
 SAT (TO)
f=261
TT=2520.06
T1=938.47
 SAT
f=163
TT=303.843
T1=107.42
 SAT (TO)
f=167
TT=2520.1
T1=37.81
TravellingSalesman/
TravellingSalesman-45-30-00_c18.xml 		SAT
f=171
TT=2520.06
T1=1905.29
 SAT (TO)
f=192
TT=2520.11
T1=760.85
 SAT (TO)
f=220
TT=2520.03
T1=592.13
 SAT (TO)
f=181
TT=2520.03
T1=99.18
 SAT (TO)
f=263
TT=2520.03
T1=179.47
 SAT (TO)
f=270
TT=2520.07
T1=2296.41
 SAT
f=178
TT=304.061
T1=278.99
 SAT (TO)
f=171
TT=2520.06
T1=1905.29
TravellingSalesman/
TravellingSalesman-50-30-00_c18.xml 		SAT
f=182
TT=2520.11
T1=923.61
 SAT (TO)
f=190
TT=2520.09
T1=63.11
 SAT (TO)
f=238
TT=2520.13
T1=877.85
 SAT (TO)
f=190
TT=2520.1
T1=125.87
 SAT (TO)
f=359
TT=2520.07
T1=746.42
 SAT (TO)
f=362
TT=2520.07
T1=858.26
 SAT
f=237
TT=303.962
T1=274.77
 SAT (TO)
f=182
TT=2520.11
T1=923.61
TravellingSalesman/
TravellingSalesman-75-50-00_c18.xml 		SAT
f=357
TT=2520.02
T1=0.59
 SAT (TO)
f=357
TT=2520.02
T1=0.59
 SAT (TO)
f=949
TT=2520.07
T1=2497.78
 SAT (TO)
f=357
TT=2520.04
T1=2125.05
 SAT (TO)
f=1027
TT=2520.04
T1=1821.56
 SAT (TO)
f=1100
TT=2520.11
T1=1082.85
 SAT
f=724
TT=306.015
T1=271.73
 SAT (TO)
f=428
TT=2520.07
T1=1811.48



Statisticscosoco
1.12
(complete)		GG's minicp
2018-04-29
(complete)		MiniCPFever
2018-04-29
(complete)		slowpoke
2018-04-29
(incomplete)		Solver of Xavier Schul & Yvhan Smal
2018-04-28
(incomplete)		SuperSolver_Macq_Stevenart
2018-04-27
(incomplete)		The dodo solver
2018-04-29
(complete)
Number of times the solver is able to give the best known answer122225012442318
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)		11353045235