2017 XCSP3 competition: fast COP track (sequential and parallel solvers): benchmarks results per solver

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-03.xml	UNSAT		1.05665	0.77461702	4258173
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		3.2014999	2.2040601	4258174

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	0.59515899	0.67523998	4258054
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	0.95082003	0.77542502	4258139
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.0717	0.79885298	4258297
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.0797	0.78762102	4258296
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.10659	0.80957198	4258300
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	1.12146	0.87440199	4258055
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.39861	0.927917	4258190
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	1.48629	0.85673201	4258021
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	1.55478	1.0341001	4258298
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.61145	0.99519497	4257933
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	1.7727799	0.98434699	4258056
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	2.04001	1.17554	4258301
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	2.07072	1.1926	4258299
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	2.1806901	1.2677799	4258140
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	2.4890001	1.56669	4258057
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	2.7472999	1.82979	4258072
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	2.8443401	1.59598	4258154
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	3.33988	1.79987	4258194
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	4.0580001	2.2520199	4257944
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	4.5497499	2.5761001	4257935
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	4.9473801	2.79142	4258195
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	5.1951199	3.0895901	4257973
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	5.2115002	3.3636601	4258148
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	7.4564199	4.6936402	4258022
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	7.6872301	5.1612501	4257981
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	10.5	7.4626398	4258196
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	12.4154	9.4992905	4258112
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	14.646	10.7192	4258313
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	16.4771	13.9571	4258073
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	18.080999	7.3034401	4257986
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	18.314501	15.046	4258084
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	24.232599	11.784	4257987
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	33.247299	27.9109	4258023
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	33.7845	32.165298	4258058
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	42.087799	38.7906	4257985
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	51.406799	39.462101	4258071
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	52.029701	19.4753	4258003
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	OPT	3	58.2654	52.818802	4258032
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	58.416801	36.663399	4257988
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	OPT	3	58.558498	54.347599	4258025
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	59.3274	57.0938	4258038
Opd/Opd-sum-small/ Opd-10-031-009.xml	OPT	2	70.680702	67.364799	4258085
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	81.8573	77.452599	4258113
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	OPT	2	82.627502	70.088997	4258197
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	121.313	116.701	4258078
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	126.148	123.23	4258037
Opd/Opd-sum-small/ Opd-10-038-010.xml	OPT	2	130.47501	126.687	4258086
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	134.425	132.047	4258039
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	146.44901	141.19299	4257977
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	OPT	2	149.689	131.084	4258198
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	156.215	151.55	4258159
Opd/Opd-sum-small/ Opd-09-037-012.xml	OPT	3	169.51801	166.00301	4258083
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	175.00301	170.74001	4258079
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	201.355	72.295601	4258004
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	203.46001	177.162	4257945
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	213.39999	209.075	4258108
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	215.517	183.04201	4257989
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	217.50101	213.04601	4257984
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	OPT	-178	247.142	239.37	4258147

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	242.075	240.214	4258302
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	55	242.22301	240.224	4258306
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	44	242.29201	240.21201	4258303
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	55	242.375	240.21201	4258305
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	242.48	240.214	4258192
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	51	242.48599	240.21201	4258304
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	6	242.832	240.214	4258149
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	SAT (TO)	821	242.952	240.224	4258042
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	SAT (TO)	1172	242.998	240.215	4258045
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1031	243.024	240.214	4258053
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	120	243.07001	240.215	4258059
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	64	243.11099	240.215	4258312
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	191	243.132	240.216	4258061
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	170	243.16499	240.216	4258060
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	55	243.196	240.22701	4258308
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	57	243.27499	240.215	4258307
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	251	243.43401	240.22701	4258142
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	73	243.459	240.215	4258310
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	64	243.485	240.213	4258311
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	SAT (TO)	1	243.48599	240.216	4258175
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	253	243.536	240.228	4258063
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	64	243.54201	240.213	4258309
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	8	243.54201	240.226	4258153
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	SAT (TO)	897	243.564	240.22701	4258040
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1186	243.811	240.26401	4258048
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	SAT (TO)	658	243.985	240.216	4257974
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	244.216	240.217	4258087
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	SAT (TO)	881	244.256	240.22501	4258044
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	204	244.269	240.228	4258062
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	244.299	240.226	4258193
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	SAT (TO)	1005	244.32401	240.22501	4258041
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	SAT (TO)	1916	244.537	240.228	4257971
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	SAT (TO)	389	244.674	240.23199	4257983
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	SAT (TO)	3458	244.77699	240.28101	4257978
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	SAT (TO)	1100	244.821	240.216	4258191
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	656	244.894	240.23	4258066
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	535	244.90601	240.22	4258064
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	SAT (TO)	149211	245.02299	240.21899	4258169
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	515	245.03799	240.231	4258065
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	143234	245.172	240.21899	4258170
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	141	245.26801	240.217	4258333
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	SAT (TO)	1273	245.34399	240.229	4257972
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	SAT (TO)	9243	245.36301	240.336	4258157
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	SAT (TO)	116	245.452	240.229	4257980
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	SAT (TO)	8	245.46001	240.22701	4258120
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	SAT (TO)	28	245.64799	240.231	4257976
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	265	245.80701	240.226	4258336
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	SAT (TO)	1938	245.883	240.222	4258158
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	3858	245.89	240.218	4257979
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	SAT (TO)	175	245.89999	240.23	4257975
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	192	245.972	240.21899	4258338
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	SAT (TO)	24	246.10699	240.23	4257982
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	SAT (TO)	3	246.28799	240.23199	4257970
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	SAT (TO)	6	246.43401	240.231	4257969
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	709	246.439	240.24699	4258141
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	260	246.54601	240.218	4258337
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	246.711	240.217	4258033
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1200	246.964	240.254	4258155
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	250281	247.81599	240.21899	4258171
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	1106	248.686	240.22501	4258067
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	9	249.73199	240.231	4258109
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	350	249.785	240.231	4258339
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	196	250.28101	240.22501	4258160
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	17495	250.356	240.23199	4258162
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	1425	252.086	225.74001	4258354
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1600	252.091	223.04401	4258347
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1606	252.118	223.144	4258349
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1720	252.14	220.94501	4258350
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	2537	252.16299	178.85899	4258356
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1353	252.17	224.144	4258348
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	186	252.187	148.965	4257992
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	147	252.19701	136.849	4258199
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	SAT (TO)	75	252.19701	199.037	4257991
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1998	253.42	240.241	4258069
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	525	254.13901	240.22301	4258340
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1632	254.73	240.23801	4258068
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	SAT (TO)	296	255.56	240.222	4258263
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	151	255.62601	240.23599	4258161
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	644	256.91501	240.22301	4258341
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	SAT (TO)	8	256.991	240.23199	4258030
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	2824	262.70801	240.25	4258070

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	?	1.84742	1.26845	4258217
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	?	2.39589	1.39255	4258218
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	?	2.5079601	1.3845	4258220
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	?	2.5290899	1.43053	4258219
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	?	15.6676	6.5036302	4258222
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	?	15.7847	6.3642902	4258221
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	?	19.507099	8.0172796	4258223
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	?	61.870701	23.118	4258224
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	?	67.559196	25.165899	4258225
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	?	100.637	36.9361	4258227
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	?	110.197	39.508999	4258226
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	?	121.872	102.499	4257966
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	?	147.685	121.427	4257967
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	?	173.84399	144.582	4257965
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	?	194.343	162.67599	4257964
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	?	206.097	180.476	4257968

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	? (TO)	241.53101	240.218	4258050
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	? (TO)	241.556	240.22	4258043
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	? (TO)	241.563	240.216	4258046
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	? (TO)	241.61099	240.215	4258052
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	? (TO)	241.657	240.217	4258047
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	? (TO)	241.769	240.215	4258051
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	? (TO)	241.85699	240.217	4258049
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	? (TO)	243.845	240.26401	4258176
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	244.18201	240.239	4257893
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	? (TO)	244.297	240.27901	4258177
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	? (TO)	244.67599	240.23801	4257894
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	? (TO)	244.914	240.255	4257931
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	245.119	240.254	4257932
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	245.511	240.22	4258150
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	245.52499	240.265	4258178
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	245.895	240.27	4258179
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	? (TO)	246.20799	240.229	4258163
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	246.403	240.259	4258180
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	246.511	240.235	4257898
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	? (TO)	246.774	240.24001	4257927
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	? (TO)	247.03999	240.243	4257929
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	247.09801	240.23801	4257891
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	? (TO)	247.255	240.242	4257934
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	247.522	240.243	4257907
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	247.911	240.263	4258181
Opd/Opd-sum-large/ Opd-46-035-010.xml	? (TO)	248.239	240.243	4258081
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	? (TO)	248.69	240.22501	4258314
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	? (TO)	249.078	240.22501	4258107
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	? (TO)	249.384	240.257	4257925
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	? (TO)	249.47	240.23199	4258164
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	? (TO)	249.82899	240.228	4258119
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	? (TO)	249.834	240.22501	4258117
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	? (TO)	249.98199	240.22501	4258114
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	? (TO)	250.039	240.237	4258315
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	? (TO)	250.575	240.245	4257928
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	250.89999	240.261	4258182
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	252.067	228.25301	4257901
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	? (TO)	252.07201	189.444	4258165
Opd/Opd-sum-large/ Opd-12-350-100.xml	? (TO)	252.07201	142.36099	4258077
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	? (TO)	252.077	154.84599	4258156
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	? (TO)	252.101	222.136	4257874
Opd/Opd-sum-large/ Opd-07-350-100.xml	? (TO)	252.11	195.851	4258074
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	252.11099	218.46001	4258187
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	? (TO)	252.12199	226.03	4257876
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	252.127	224.556	4257926
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	? (TO)	252.12801	154.755	4258362
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	252.129	199.76801	4258188
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	? (TO)	252.133	189.047	4257908
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	? (TO)	252.134	176.84599	4258265
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	? (TO)	252.13901	223.03101	4257875
Opd/Opd-sum-large/ Opd-10-360-120.xml	? (TO)	252.14101	150.44299	4258076
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	? (TO)	252.15401	218.039	4258115
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	252.158	225.854	4257895
Opd/Opd-sum-large/ Opd-10-325-100.xml	? (TO)	252.159	175.354	4258075
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	? (TO)	252.168	216.142	4258317
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	? (TO)	252.16901	179.856	4258351
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	? (TO)	252.19901	221.034	4258118
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	? (TO)	252.203	107.551	4258358
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	? (TO)	252.213	165.76601	4258152
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	? (TO)	252.23801	179.86099	4258357
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	? (TO)	252.27	189.04201	4258111
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	? (TO)	252.306	180.55099	4258116
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	252.311	106.063	4257912
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	252.33501	84.853203	4258240
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	? (TO)	252.347	195.556	4258121
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	252.411	240.259	4258183
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	252.73199	240.23399	4257899
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	253.07001	97.816704	4258244
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	? (TO)	253.103	240.222	4258143
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	? (TO)	253.14799	240.222	4258145
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	253.22701	240.258	4258184
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	253.241	83.409302	4257930
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	? (TO)	253.297	86.561401	4258210
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	? (TO)	253.354	240.222	4258144
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	253.422	105.481	4257916
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	? (TO)	253.45399	240.222	4258146
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	253.55901	83.525597	4258257
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	253.694	109.003	4258166
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	253.769	84.428001	4258238
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	? (TO)	253.90601	84.1521	4257955
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	? (TO)	254.065	108.453	4258168
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	254.291	93.543404	4257888
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	? (TO)	254.828	86.859802	4257937
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	? (TO)	255.02699	109.432	4258320
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	255.187	86.204903	4258260
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	? (TO)	255.75101	104.532	4257910
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	? (TO)	255.787	201.355	4258318
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	? (TO)	256.02701	93.370796	4258031
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	256.06601	91.158699	4257943
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	? (TO)	256.12399	89.158897	4258012
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	256.255	84.0522	4258249
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	? (TO)	256.30099	95.447601	4258028
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	256.63699	85.849197	4258002
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	? (TO)	256.716	240.228	4258110
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	? (TO)	256.73599	88.961899	4258017
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	? (TO)	256.76999	84.851097	4258270
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	? (TO)	256.81201	88.865601	4258007
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	? (TO)	256.836	88.8442	4257939
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	256.892	108.155	4258167
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	? (TO)	256.89401	100.944	4258332
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	? (TO)	256.91299	240.23199	4258342
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	257.02802	82.5392	4258229
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	? (TO)	257.08499	240.231	4258316
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	? (TO)	257.22699	89.450699	4258013
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	? (TO)	257.34698	86.292198	4257954
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	? (TO)	257.38501	84.3517	4258360
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	? (TO)	257.388	84.962601	4258359
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	? (TO)	257.66101	84.958099	4258352
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	257.72699	86.448502	4257999
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	? (TO)	258.004	88.442299	4258010
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	258.00601	84.203102	4258253
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	? (TO)	258.26401	240.23399	4258344
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	258.43301	85.887604	4257906
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	258.504	106.842	4257913
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	258.707	178.43201	4258189
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	258.83701	84.644302	4258245
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	? (TO)	258.83801	86.2827	4257959
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	? (TO)	259.12299	105.55	4258334
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	? (TO)	259.181	83.737999	4258228
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	? (TO)	259.258	90.745102	4257949
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	259.289	93.7509	4257885
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	? (TO)	259.29501	86.655602	4258018
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	259.30899	86.846802	4257997
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	259.323	85.2491	4258234
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	? (TO)	259.48401	85.241699	4258247
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	? (TO)	259.61801	84.949699	4258246
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	259.65799	84.482803	4258254
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	? (TO)	259.77701	88.375198	4257940
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	? (TO)	259.78201	86.951897	4258212
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	259.82999	96.345497	4257882
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	? (TO)	259.83899	90.779404	4257951
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	259.84601	83.640701	4257900
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	? (TO)	259.85199	87.246101	4257919
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	? (TO)	259.86301	103.454	4257914
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	259.86401	103.458	4257917
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	? (TO)	259.87	86.257896	4258273
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	? (TO)	259.87201	88.741203	4258215
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	? (TO)	259.87701	111.855	4257993
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	259.89899	106.267	4257915
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	? (TO)	259.909	86.987602	4258206
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	259.92599	87.850502	4257877
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	259.92599	86.220398	4258278
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	? (TO)	259.92999	87.6661	4257994
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	? (TO)	259.931	86.251404	4258271
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	? (TO)	259.94	232.539	4258343
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	259.94501	96.054298	4257890
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	259.94699	84.855103	4258252
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	? (TO)	259.95401	92.050499	4257950
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	? (TO)	259.95499	91.425201	4257957
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	? (TO)	259.957	93.079498	4257941
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	? (TO)	259.95901	86.340698	4257996
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	259.95999	94.853798	4257879
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	? (TO)	259.96899	86.197197	4257952
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	? (TO)	259.974	111.541	4258324
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	259.97601	86.455498	4258000
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	? (TO)	259.98199	86.944801	4258211
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	? (TO)	259.98499	84.246902	4257960
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	? (TO)	259.98901	110.552	4258329
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	? (TO)	259.991	109.448	4258321
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	? (TO)	259.991	86.452499	4257920
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	? (TO)	259.99799	86.058701	4258353
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	260	88.387001	4258237
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	? (TO)	260.00101	100.853	4257911
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	? (TO)	260.004	111.059	4258322
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	260.004	88.676102	4257892
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	260.00699	95.784103	4258020
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	? (TO)	260.008	87.740097	4257924
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	260.02301	79.168503	4258151
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	? (TO)	260.02399	85.953003	4257995
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	? (TO)	260.02499	84.752098	4257961
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	260.02701	85.060799	4257896
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	260.02802	92.945198	4257881
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	? (TO)	260.03201	90.455803	4258014
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	? (TO)	260.03299	93.8498	4258029
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	? (TO)	260.03799	85.945503	4258274
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	260.04501	100.648	4258243
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	260.04999	91.169296	4258241
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	? (TO)	260.052	88.650299	4258008
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	? (TO)	260.05701	88.951302	4258005
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	? (TO)	260.06201	85.648003	4257956
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	? (TO)	260.06299	205.839	4258355
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	? (TO)	260.064	87.482399	4258207
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	? (TO)	260.07001	87.7407	4258202
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	? (TO)	260.073	100.67	4258330
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	? (TO)	260.07401	87.647598	4258213
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	? (TO)	260.07501	88.328003	4257958
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	260.07901	92.757004	4257880
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	? (TO)	260.07999	111.252	4258319
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	? (TO)	260.082	84.164101	4257962
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	? (TO)	260.08301	89.454201	4258011
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	260.08401	90.378899	4257942
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	? (TO)	260.08701	101.164	4258346
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	? (TO)	260.08899	87.945396	4257923
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	260.09299	84.448196	4257905
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	? (TO)	260.09299	220.349	4257990
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	260.09399	101.769	4257918
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	? (TO)	260.09799	87.180099	4258200
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	? (TO)	260.099	102.674	4258172
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	260.10001	96.353897	4257886
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	260.10501	85.185898	4257897
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	? (TO)	260.10599	88.971703	4258203
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	? (TO)	260.10699	105.558	4258105
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	? (TO)	260.10699	87.095703	4257953
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	260.108	87.757896	4257998
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	260.108	83.837601	4258235
Opd/Opd-sum-large/ Opd-29-350-100.xml	? (TO)	260.116	86.379997	4258080
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	? (TO)	260.116	81.673599	4257963
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	260.12201	86.746803	4258250
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	? (TO)	260.12701	88.360901	4258006
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	? (TO)	260.13	109.055	4258328
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	? (TO)	260.13	85.060402	4258363
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	? (TO)	260.13501	107.748	4258335
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	? (TO)	260.138	109.848	4258325
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	? (TO)	260.13901	88.642899	4257947
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	? (TO)	260.14499	87.824303	4258208
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	? (TO)	260.147	86.601402	4258205
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	260.14899	93.246498	4257883
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	? (TO)	260.14999	87.946701	4258027
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	? (TO)	260.15399	88.049103	4257921
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	260.16101	87.967796	4258019
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	? (TO)	260.16199	97.945297	4257889
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	? (TO)	260.16299	89.350998	4257946
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	? (TO)	260.16901	89.345802	4257936
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	? (TO)	260.17401	87.446198	4258214
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	? (TO)	260.17499	89.747299	4258015
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	? (TO)	260.17499	108.652	4258327
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	260.177	86.867104	4258239
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	? (TO)	260.17899	106.066	4258331
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	260.17899	85.548599	4258231
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	? (TO)	260.18201	89.242203	4258016
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	? (TO)	260.186	84.052399	4258230
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	? (TO)	260.189	87.699799	4258035
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	? (TO)	260.198	87.4571	4258268
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	260.20099	86.405197	4258259
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	? (TO)	260.20599	93.687897	4258034
Opd/Opd-sum-large/ Opd-46-350-100.xml	? (TO)	260.21701	84.990799	4258082
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	? (TO)	260.22	103.949	4258345
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	? (TO)	260.22	85.352303	4258361
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	? (TO)	260.22198	88.344101	4257922
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	? (TO)	260.224	111.344	4258326
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	260.22601	88.574303	4257878
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	? (TO)	260.23499	111.052	4258323
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	260.24301	86.908401	4258277
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	? (TO)	260.24799	86.150497	4258266
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	? (TO)	260.24899	90.452797	4258026
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	? (TO)	260.25	87.253601	4258267
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	260.25	86.653603	4257902
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	? (TO)	260.25699	88.940598	4258216
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	260.26001	87.157799	4258001
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	? (TO)	260.26599	84.056	4258248
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	260.26599	85.438103	4258251
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	? (TO)	260.26801	90.343002	4258009
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	260.27499	85.223099	4258258
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	260.276	85.505501	4258276
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	? (TO)	260.276	90.548897	4257948
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	? (TO)	260.27701	86.359001	4258272
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	260.27802	89.026398	4257904
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	260.29001	85.556602	4258232
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	? (TO)	260.29099	87.441399	4258201
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	? (TO)	260.29501	94.002098	4258024
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	260.298	83.993797	4258256
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	260.298	97.747704	4257887
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	260.29999	87.279099	4258261
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	? (TO)	260.30301	87.0578	4258269
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	? (TO)	260.30399	89.373299	4258036
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	260.30801	86.118896	4258275
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	260.314	84.690598	4258255
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	260.315	94.252296	4257884
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	? (TO)	260.323	88.553101	4257938
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	260.33899	83.7257	4258236
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	260.35699	101.289	4258242
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	260.358	85.657997	4258233
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	? (TO)	260.37701	87.1147	4258209
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	? (TO)	260.388	89.574799	4258204
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	260.41599	85.575203	4257903
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	? (TO)	260.435	103.065	4257909
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	? (TO)	261.79401	240.252	4258262
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	262.41501	240.242	4258186
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	263.5	240.24899	4258185
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	? (TO)	263.76999	240.239	4258264

2017 XCSP3 competition: fast COP track (sequential and parallel solvers): benchmarks results per solver

Result page for solver sat4j-CSP 2017-07-05 (complete)

Category "optimization problem" (COP)

Solver proved unsatisfiability (UNSATISFIABLE) (2 runs) [Show/Hide]

Solver found optimum (OPTIMUM FOUND) (59 runs) [Show/Hide]

Solver timed out but found at least a solution (81 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (16 runs) [Show/Hide]

Solver timed out (no solution given) (280 runs) [Show/Hide]