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		0.917427	0.49063	4270196
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		3.7316201	1.53615	4270197

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	0.87279397	0.48350599	4270127
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	0.94676399	0.62513602	4270094
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	0.96477997	0.73398298	4270145
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.01717	0.658104	4270297
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.03269	0.63075697	4270439
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.05489	0.639296	4270023
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.06716	0.552347	4270236
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.06732	0.54979903	4270237
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.07196	0.68113601	4270301
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	1.07568	0.54396403	4270060
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.0917701	0.71034801	4270298
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	1.15188	0.69215798	4270076
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	1.16168	0.57411999	4270162
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	1.1904	0.721973	4270314
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	1.20029	0.72292298	4270169
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	1.22734	0.62502098	4270095
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	1.2868299	0.611857	4270167
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	1.30476	0.66114599	4270241
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	1.37464	0.641927	4270171
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	1.38647	0.877765	4270168
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	1.3881299	0.88734698	4270166
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	1.393	0.78336102	4270046
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	1.45488	0.73050398	4270054
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	1.48352	0.65428603	4270059
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	1.49754	0.81514502	4270128
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	1.5305099	0.69255102	4270240
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	1.6445	0.78354901	4270096
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	1.6672699	0.88675398	4270144
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	1.7215101	0.87675601	4270238
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	1.7229	0.72903401	4270429
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	1.7516	0.763291	4270129
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	1.86756	0.92365098	4270299
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	1.90756	0.94059199	4270302
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	2.05492	1.01998	4270077
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	2.0867701	0.97776502	4270177
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	2.1357501	1.02613	4270242
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	2.2163401	1.06411	4270061
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	2.2402999	0.89249498	4270430
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	2.42101	1.02868	4270157
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	2.4584401	1.1027499	4270300
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	2.47927	1.06917	4270425
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	2.5120201	1.06489	4270050
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	2.52895	0.94323802	4270042
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	2.9294701	1.08749	4270049
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	2.9918101	1.29915	4270043
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	3.1930101	1.14847	4270099
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	3.2927599	1.29075	4270231
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	3.3531799	1.29864	4270235
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	3.39026	1.21284	4270055
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	3.4819801	2.3721499	4270366
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	3.5611801	1.69016	4270111
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	3.7286501	1.56946	4270315
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	4.0605898	1.64074	4270048
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	4.74298	2.4726501	4270151
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	OPT	0	5.1032801	1.8658201	4270199
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	5.1175399	2.6875899	4270181
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	5.29635	2.62885	4270112
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	5.61905	2.72455	4270152
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	5.6334	3.31215	4270103
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	5.96984	2.48822	4270192
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	6.3332801	2.68258	4270110
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	6.4439101	2.6252601	4270383
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	7.0730901	2.64991	4270385
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	7.2101102	3.6979599	4270062
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	8.0220098	4.02776	4270437
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	8.1211205	4.0402999	4270057
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	8.2588501	3.0465901	4270234
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	9.2000198	3.59359	4270384
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	9.2161999	6.0622602	4270130
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	9.2665396	5.4260998	4270058
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	10.5288	7.2137799	4270367
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	10.601	6.1907001	4270053
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	16.280001	12.8076	4270032
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	16.787001	14.3803	4270146
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	18.011299	15.9197	4270163
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	20.833	15.3616	4270415
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	23.1717	20.1094	4270316
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	24.762199	18.224899	4270230
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	25.357401	22.4105	4270440
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	26.3801	19.9347	4270414
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	28.8253	25.698299	4270317
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	29.9517	25.840401	4270036
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	30.529499	26.604601	4270424
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	31.9729	21.979401	4270368
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	34.412701	30.426701	4270044
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	40.336399	28.758699	4270405
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	47.957802	44.261799	4270182
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	51.863899	46.985699	4270047
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	52.1152	48.012798	4270180
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	53.090599	49.635899	4270115
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	61.331501	57.789299	4270051
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	63.3083	59.909698	4270029
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	66.6362	62.912601	4270116
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	66.902199	62.988602	4270117
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	66.926399	63.0429	4270063
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	77.542099	72.963699	4270198
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	98.208397	94.591202	4270113
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	118.539	114.14	4270056
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	OPT	4	185.536	179.67599	4270433
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	191.455	186.435	4270114
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	OPT	326	202.024	193.968	4270386

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	SAT (TO)	-7758	242.435	240.022	4270175
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	242.522	240.021	4270156
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	3	242.62199	240.02	4270159
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	242.886	240.01199	4270158
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	243.01601	240.022	4270303
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	80	243.28999	240.021	4270312
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	70	243.30499	240.02299	4270313
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	17	243.315	240.022	4270019
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	7	243.327	240.024	4270172
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	106	243.37199	240.022	4270339
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	243.536	240.022	4270109
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	120	243.543	240.021	4270337
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	225	243.56799	240.022	4270165
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1920	243.58099	240.035	4270364
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	102	243.59801	240.022	4270065
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	105	243.66299	240.05	4270080
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	54	243.681	240.021	4270307
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	59	243.75999	240.022	4270308
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	54	243.769	240.022	4270306
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	SAT (TO)	44	243.783	240.024	4270078
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	SAT (TO)	1165	243.795	240.021	4270045
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	SAT (TO)	26	243.819	240.022	4270131
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	243.827	240.02	4270431
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	143	243.839	240.021	4270340
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	98	243.907	240.024	4270148
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	43	243.92599	240.026	4270304
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	243.935	240.021	4270434
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	163	243.935	240.021	4270066
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	243.963	240.022	4270334
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	244.015	240.021	4270160
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	14	244.05	240.013	4270017
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	53	244.05499	240.022	4270305
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	69	244.112	240.02299	4270309
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	244.12801	240.022	4270365
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	SAT (TO)	265	244.13499	240.021	4270068
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	244.155	240.024	4270441
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	SAT (TO)	415	244.162	240.021	4270070
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	244.162	240.022	4270106
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	244.17	240.022	4270436
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	200	244.207	240.02	4270343
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	118395	244.23399	240.022	4270193
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	74	244.258	240.02299	4270311
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	184	244.263	240.02	4270342
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	244.287	240.02299	4270098
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	244.29201	240.022	4270100
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	244.30099	240.02499	4270105
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	66	244.30901	240.02299	4270310
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	SAT (TO)	60	244.36	240.021	4270064
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	191	244.375	240.022	4270341
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	84	244.38901	240.02499	4270318
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	16	244.392	240.02901	4270018
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	127	244.392	240.02299	4270081
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1359	244.394	240.022	4270187
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	5	244.399	240.026	4270154
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	11	244.42101	240.02299	4270176
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	190	244.425	240.024	4270133
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	2937	244.435	240.02499	4270359
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	253	244.452	240.03101	4270136
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1393	244.474	240.03	4270186
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	SAT (TO)	566	244.52901	240.02499	4270031
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6089385	244.567	240.021	4270191
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	128	244.58	240.02299	4270338
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	124	244.58099	240.024	4270132
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	204	244.604	240.021	4270344
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3156	244.621	240.021	4270353
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2287	244.63901	240.022	4270358
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1473	244.647	240.022	4270350
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	215	244.64799	240.02299	4270134
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1747	244.70399	240.022	4270351
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	244.73399	240.021	4270104
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	63	244.785	240.02	4270079
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	211	244.80299	240.021	4270345
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	244.826	240.02	4270427
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	1760	244.82899	240.086	4270052
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1202	244.894	240.022	4270349
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	95	244.905	240.02299	4270319
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	199	244.912	240.035	4270083
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	244.914	240.021	4270426
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3215	244.966	240.02499	4270361
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	1921	244.97501	240.033	4270356
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1116	244.97501	240.024	4270126
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	SAT (TO)	266	244.996	240.021	4270069
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	617	245.03101	240.032	4270030
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1329	245.035	240.034	4270121
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1339	245.056	240.024	4270348
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1447	245.065	240.028	4270125
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	SAT (TO)	193	245.114	240.019	4270067
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	80	245.123	240.019	4270183
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	3294	245.125	240.037	4270362
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	982	245.14101	240.02499	4270119
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1095	245.158	240.02499	4270123
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	1030	245.158	240.026	4270124
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2612	245.213	240.024	4270354
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	437	245.215	240.021	4270347
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3521	245.224	240.021	4270188
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1393	245.22701	240.02299	4270363
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1243	245.24001	240.026	4270122
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	608	245.27699	240.024	4270164
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1228	245.31799	240.02299	4270178
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	2	245.34801	240.02	4269998
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	1092	245.36099	240.024	4270355
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	147	245.366	240.024	4270034
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	433	245.375	240.022	4270346
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	245.379	240.03	4270438
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	SAT (TO)	1399	245.407	240.024	4270118
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	7	245.41901	240.022	4270432
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	526	245.423	240.021	4270333
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	532	245.425	240.02	4270326
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	2898	245.436	240.02499	4270360
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	571	245.44299	240.02299	4270138
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2319	245.451	240.02299	4270352
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	SAT (TO)	6	245.46201	240.022	4270435
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	511	245.463	240.02499	4270137
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	104	245.47701	240.03101	4270184
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3509127	245.491	240.022	4270179
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	138	245.539	240.02299	4270035
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	482	245.66299	240.021	4270332
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	158	245.75999	240.02299	4270082
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	236	245.765	240.02299	4270135
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	238	245.786	240.024	4270320
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	363	245.843	240.021	4270325
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	497	245.908	240.021	4270331
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	SAT (TO)	148	245.939	240.02	4270033
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	SAT (TO)	0	245.97501	240.024	4269979
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1357	245.98801	240.02	4270266
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	87	246.05901	240.019	4270244
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	335	246.08299	240.024	4270324
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	SAT (TO)	14	246.105	240.024	4270423
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	87	246.105	240.024	4270101
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	16417	246.144	240.022	4270185
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	620	246.147	240.021	4270139
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	289	246.21201	240.02299	4270322
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	0	246.246	240.022	4269965
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	303	246.259	240.02299	4270323
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	63	246.28999	240.036	4270102
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1476	246.42999	240.026	4270141
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	267	246.464	240.024	4270321
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	106	246.51801	240.02	4270233
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	SAT (TO)	-143	246.535	240.024	4270170
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	246.567	240.02	4270428
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	SAT (TO)	0	246.588	240.024	4269976
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	0	246.694	240.12601	4269966
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	40	246.70399	240.026	4270108
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	373	246.757	240.02499	4270086
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	SAT (TO)	3	246.823	240.024	4270200
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1375	246.832	240.022	4270246
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	906	246.909	240.02699	4270140
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	655	246.925	240.02499	4270335
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	209702	246.933	240.02499	4270194
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	136	246.939	240.022	4270243
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1483	247.05499	240.024	4270357
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	692	247.064	240.02499	4270336
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	SAT (TO)	9	247.09599	240.024	4270202
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	247.10699	240.036	4270097
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	247.177	240.026	4270416
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	2036	247.205	240.02699	4270143
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	43	247.25101	240.03	4270107
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1562	247.32401	240.026	4270142
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	926	247.425	240.021	4270120
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	718	247.437	240.024	4270394
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	138	247.54201	240.019	4270245
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	SAT (TO)	1320	247.728	240.02	4270264
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	461	247.73801	240.024	4270389
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	SAT (TO)	95	247.82899	240.024	4270229
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	196	247.871	240.019	4270232
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	443	248.25101	240.133	4270388
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	119	248.36301	240.019	4270239
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	1000	248.765	240.026	4270087
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	460	248.97501	240.02499	4270387
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	412	249.17	240.02499	4270390
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7447576	250.383	240.02901	4270195
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	276	251.77	240.034	4270084
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	616	252.026	240.02699	4270088
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	0	252.131	226.839	4270010

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	?	138.47301	92.647598	4270009
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	?	153.33501	104.514	4270013
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	?	154.006	104.382	4270014
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	?	160.39101	111.718	4270012
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	?	167.03799	124.892	4270011

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	243.00301	240.021	4270020
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	? (TO)	243.02499	240.021	4270024
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	243.086	240.02299	4270016
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	? (TO)	243.186	240.021	4270026
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	243.19299	240.02299	4269994
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	243.256	240.022	4269989
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	243.276	240.019	4269986
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	? (TO)	243.313	240.022	4270015
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	243.39301	240.021	4269996
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	243.395	240.02	4269987
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	243.416	240.024	4270173
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	243.536	240.034	4269982
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	? (TO)	243.545	240.02	4270028
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	243.573	240.021	4269995
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	243.642	240.02	4269990
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	243.66901	240.024	4270002
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	243.69901	240.02	4269997
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	243.69901	240.022	4269988
Opd/Opd-sum-large/ Opd-12-350-100.xml	? (TO)	243.739	240.022	4270150
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	243.866	240.024	4270003
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	243.888	240.02	4269993
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	243.918	240.022	4270022
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	243.92799	240.021	4270071
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	243.937	240.021	4270072
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	? (TO)	243.946	240.022	4270021
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	? (TO)	243.95	240.02299	4269984
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	243.951	240.021	4270075
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	243.95599	240.022	4269983
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	244.00101	240.022	4269992
Opd/Opd-sum-large/ Opd-10-360-120.xml	? (TO)	244.071	240.022	4270149
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	244.299	240.022	4270174
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	? (TO)	244.33299	240.02901	4270409
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	244.367	240.019	4269985
Opd/Opd-sum-large/ Opd-07-350-100.xml	? (TO)	244.369	240.032	4270147
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	244.418	240.021	4269981
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	244.437	240.021	4270074
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	244.47501	240.021	4270073
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	244.595	240.022	4270039
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	244.724	240.02299	4270255
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	? (TO)	244.737	240.022	4270329
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	? (TO)	244.767	240.022	4270000
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	? (TO)	244.81599	240.03	4270382
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	244.886	240.02	4269991
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	? (TO)	244.88699	240.019	4270025
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	? (TO)	244.90199	240.022	4270328
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	? (TO)	244.907	240.033	4270417
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	? (TO)	244.951	240.02299	4270330
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	? (TO)	244.95799	240.022	4270001
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	? (TO)	245.09	240.02	4270027
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	245.10001	240.02	4270278
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	? (TO)	245.12199	240.022	4269999
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	245.15601	240.019	4270275
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	? (TO)	245.174	240.03101	4270372
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	245.24001	240.02699	4269967
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	245.284	240.02499	4269971
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	? (TO)	245.32201	240.022	4270327
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	245.345	240.022	4270253
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	? (TO)	245.368	240.104	4270374
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	245.451	240.02299	4270038
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	245.576	240.022	4270267
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	245.599	240.02299	4270040
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	? (TO)	245.608	240.02299	4270004
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	245.63	240.02499	4269969
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	245.66	240.02499	4269974
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	245.68201	240.019	4270250
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	? (TO)	245.703	240.02499	4270371
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	245.745	240.034	4269970
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	? (TO)	245.759	240.09	4270373
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	245.867	240.02	4270257
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	? (TO)	245.912	240.03799	4270418
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	245.925	240.024	4269973
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	245.92599	240.024	4270279
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	245.944	240.02499	4269977
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	245.97099	240.024	4270205
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	? (TO)	246.005	240.024	4270248
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	246.10201	240.054	4270041
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	246.239	240.024	4269972
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	246.261	240.02299	4270037
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	? (TO)	246.28	240.034	4270419
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	246.287	240.024	4270204
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	246.317	240.037	4270209
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	246.34599	240.024	4270203
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	? (TO)	246.36501	240.036	4270378
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	246.401	240.02499	4269975
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	? (TO)	246.457	240.035	4270408
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	246.48599	240.02299	4270201
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	246.52499	240.02499	4270274
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	246.548	240.02901	4270276
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	246.56799	240.024	4269980
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	? (TO)	246.617	240.048	4270380
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	? (TO)	246.619	240.02299	4269964
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	246.673	240.024	4270271
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	246.716	240.02499	4270206
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	? (TO)	246.743	240.035	4270377
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	? (TO)	246.745	240.01801	4270406
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	246.81	240.01401	4270249
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	246.813	240.02901	4270190
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	? (TO)	246.836	240.035	4270379
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	246.862	240.022	4270251
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	246.886	240.019	4270254
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	246.899	240.024	4269978
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	247.00999	240.02	4270258
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	247.036	240.011	4270247
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	247.06	240.028	4270207
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	? (TO)	247.112	240.02299	4270395
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	247.133	240.024	4270277
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	247.17	240.03101	4269968
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	? (TO)	247.17799	240.037	4270410
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	? (TO)	247.185	240.037	4270376
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	247.202	240.039	4270259
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	? (TO)	247.217	240.037	4270381
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	247.351	240.02299	4270256
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	? (TO)	247.351	240.05	4270375
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	247.38499	240.034	4270270
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	247.423	240.028	4270210
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	247.466	240.022	4270273
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	247.50101	240.019	4270269
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	247.64101	240.019	4270272
Opd/Opd-sum-large/ Opd-29-350-100.xml	? (TO)	247.657	240.02699	4270153
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	247.80099	240.03	4270006
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	247.90601	240.02699	4270005
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	247.931	240.024	4270262
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	? (TO)	247.936	240.03101	4270407
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	? (TO)	247.942	240.02299	4270393
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	248.009	240.017	4270211
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	248.06599	240.02	4270252
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	248.071	240.02901	4270208
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	248.13699	240.026	4270268
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	? (TO)	248.616	240.036	4270265
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	248.62	240.02299	4270260
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	? (TO)	248.80499	240.021	4270391
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	249.132	240.02299	4270263
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	? (TO)	249.222	240.04201	4270085
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	249.334	240.02901	4270212
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	249.373	240.026	4270093
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	250.13901	240.019	4270261
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	250.14999	240.019	4270398
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	? (TO)	250.64999	240.022	4270392
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	250.806	240.024	4270396
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	? (TO)	250.819	240.033	4270420
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	251.112	240.019	4270399
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	? (TO)	251.59399	240.03	4270090
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	252.05701	161.239	4270413
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	252.062	197.533	4270412
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	252.065	240.02699	4270092
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	? (TO)	252.06799	240.026	4270089
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	? (TO)	252.099	172.067	4270370
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	252.892	240.032	4270189
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	253.22	240.019	4270397
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	? (TO)	253.778	240.034	4270411
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	254.556	240.03999	4270008
Opd/Opd-sum-large/ Opd-46-350-100.xml	? (TO)	255.024	240.02901	4270155
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	256.24301	240.047	4270007
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	257.573	163.953	4270369
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	? (TO)	260.76001	240.03999	4270421
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	? (TO)	260.85901	240.037	4270091

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

Result page for solver choco-solver 4.0.5 seq (2017-08-09) (complete)

Category "optimization problem" (COP)

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

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

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

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

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