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.1901	0.85085601	4256185
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		2.92063	1.45403	4256186

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	1.12896	0.88364798	4256066
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.26656	0.87896699	4256308
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	1.28316	0.92669702	4256033
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.31999	0.90325099	4255945
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.3542	0.94180399	4256202
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.3641599	0.94129097	4256309
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	1.4623801	0.95880502	4256158
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	1.50126	0.95242703	4256151
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	1.5152	0.97933602	4256067
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.5223401	0.96212101	4256312
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	1.5404	0.96775597	4256084
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	1.54467	0.98594099	4256155
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	1.54486	0.980308	4256325
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	1.619	1.0223	4256034
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	1.65916	1.1277601	4255985
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	1.66524	1.0349801	4256157
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.68523	0.994376	4256230
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	1.7024699	0.93860602	4255993
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	1.70979	0.99612099	4256049
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	1.73028	1.1693799	4256156
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	1.77509	1.0101	4255998
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	1.78014	1.01027	4256015
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	1.7972	1.04526	4256050
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.91152	1.14211	4256231
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	1.91906	1.05369	4256051
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	1.9428999	1.1841	4256160
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	1.99735	1.10651	4256016
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	2.0021701	1.10759	4256229
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	2.0172801	1.21811	4256068
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	2.0376501	1.11835	4255999
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	2.0805099	1.1443	4256125
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	2.0929699	1.1345201	4256232
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	2.25488	1.1636	4256000
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	2.30498	1.23347	4255968
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	2.4600301	1.32807	4256096
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	2.5552199	1.32989	4256276
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	2.59025	1.31624	4255971
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	2.6243401	1.34567	4256235
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	2.78986	1.50003	4256152
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	2.83325	1.40955	4256124
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	2.8391399	1.44015	4256310
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	2.84939	1.38696	4255997
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	2.9279799	1.39473	4256001
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	3.0062301	1.45865	4256035
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	3.10145	2.5836301	4256274
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	3.12148	1.53272	4256275
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	3.1837699	1.42609	4255989
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	3.2786701	1.6065	4256313
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	3.2848499	1.53325	4255983
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	3.4721301	1.55665	4255982
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	3.4823799	1.64066	4256234
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	3.52739	1.54632	4255981
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	3.56213	1.65343	4256090
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	3.6064501	1.95445	4256166
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	3.62375	2.7383101	4256054
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	3.80496	1.64073	4255988
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	3.8327601	1.70005	4255990
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	3.83917	1.96096	4256311
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	4.0322099	1.84833	4256069
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	4.3642201	1.79752	4255994
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	4.77981	2.1299801	4255996
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	4.8464999	2.23913	4256236
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	4.8994298	2.8076999	4256326
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	5.04844	3.1963601	4256002
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	5.1695099	2.4751999	4255986
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	5.5266199	3.1458099	4256225
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	5.7045598	2.4665401	4255957
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	5.7864599	3.6816199	4256203
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	5.9812002	5.0313902	4256052
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	6.0681801	3.03039	4256120
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	6.1441598	2.5936501	4255987
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	6.2207599	4.0826602	4256181
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	6.25563	2.6040399	4256083
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	6.25983	5.34623	4256053
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	6.3211098	5.3188	4256055
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	6.5755501	3.52491	4255992
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	OPT	44	6.7931099	4.5580401	4256017
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	7.3159599	6.38727	4256056
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	7.33675	4.6987801	4255984
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	7.3761101	4.5122499	4256206
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	7.37641	3.0116301	4255972
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	7.5207601	4.3130298	4256228
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	7.9545202	3.6211901	4256224
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	8.0132303	5.6810002	4256042
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	8.4667997	4.1578598	4255975
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	8.4986601	5.0970702	4256085
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	9.3978205	6.5901799	4255995
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	12.032	9.9089098	4256003
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	OPT	476	12.8968	12.2894	4255970
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	OPT	937	12.9504	12.0381	4256059
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	13.4324	11.5696	4256169
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	OPT	92	18.4881	14.665	4256223
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	OPT	1334	19.1138	15.7303	4255991
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	20.371201	10.5752	4256207
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	23.2953	18.2164	4256038
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	24.534401	20.250299	4256132
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	26.3027	23.655001	4256070
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	27.3358	24.533701	4256327
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	OPT	3	33.344101	30.841999	4256037
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	OPT	55	37.235699	34.315601	4256018
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	OPT	992	44.8489	43.908699	4256058
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	52.5215	27.5453	4256208
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	59.399799	58.4147	4256057
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	59.440399	34.272598	4255956
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	59.696701	56.966999	4256187
Opd/Opd-sum-small/ Opd-10-038-010.xml	OPT	2	62.645401	57.4963	4256098
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	OPT	1477	86.639603	85.601898	4256064
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	91.233398	49.273899	4255947
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	OPT	1333	96.641502	95.625801	4256061
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	97.2584	94.772102	4256171
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	97.4524	95.040802	4256170
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	OPT	1358	148.87199	147.642	4256060
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	OPT	1134	153.263	152.082	4256062
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	OPT	5	155.431	153.634	4256161
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	OPT	1058	169.91	168.755	4256063
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	172.058	166.815	4256091
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	OPT	326	225.673	220.942	4256277

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1220	241.425	240.017	4256065
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	359	242.515	240.024	4256154
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	14	242.623	240.03	4255939
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	17	242.65401	240.02901	4255941
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	128966	242.705	240.02299	4256182
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	242.72501	240.01199	4256345
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	227	242.765	240.02699	4256349
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	221	242.793	240.013	4256348
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	209	242.80901	240.013	4256350
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	21	242.851	240.032	4255946
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	29	242.881	240.026	4255943
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	450	242.911	240.01199	4256351
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	32	242.96201	240.013	4256319
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	14	242.974	240.02	4255940
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	30	243.05299	240.02299	4256315
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	211898	243.062	240.022	4256183
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	4937352	243.07899	240.024	4256168
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	697	243.105	240.02299	4256352
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	31	243.114	240.02299	4256314
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	32	243.116	240.02299	4256318
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	30	243.129	240.013	4256322
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	34	243.15401	240.02299	4256316
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	243.16	240.024	4256204
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	918	243.179	240.022	4256356
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	968	243.2	240.02299	4256355
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	94	243.228	240.02299	4256004
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	31	243.23199	240.047	4255937
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	32	243.246	240.02299	4256324
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	243.278	240.02299	4256205
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1816	243.291	240.026	4256167
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	32	243.29601	240.02299	4256321
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1301	243.298	240.028	4256360
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	32	243.308	240.013	4256317
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	901	243.312	240.01401	4256354
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	146	243.317	240.01401	4256005
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	812	243.37	240.01199	4256353
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1608	243.384	240.02901	4256359
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	31	243.422	240.013	4256320
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	16927	243.47099	240.024	4256174
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	2611	243.47701	240.019	4256358
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1562	243.53999	240.028	4256361
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	478	243.54601	240.02901	4256020
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	1149	243.59599	240.02699	4256366
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	130	243.61301	240.02299	4256172
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	243.619	240.013	4256045
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	30	243.644	240.013	4256323
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	3678	243.65401	240.035	4256343
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	74	243.664	240.02499	4256165
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	94	243.716	240.019	4256019
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	2462	243.743	240.01801	4256357
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	243.758	240.02901	4256044
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	3572	243.79201	240.028	4256342
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	594	243.85201	240.024	4256226
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	3658	243.884	240.02699	4256344
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	790	243.905	240.02699	4256153
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1504	243.908	240.02499	4256175
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1407	243.93401	240.024	4256176
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	170	243.983	240.01401	4256021
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	135	244.065	240.02299	4256173
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1530	244.133	240.02901	4256362
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6958736	244.145	240.032	4256180
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1358	244.196	240.022	4256260
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	341	244.23399	240.02699	4256075
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	2327	244.258	240.02	4256367
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	140	244.263	240.019	4256239
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	476	244.27	240.013	4256022
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	7	244.27	240.02299	4255906
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	271	244.282	240.02699	4256073
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	244.285	240.024	4256238
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	500	244.291	240.024	4256023
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	2	244.31	240.02901	4255920
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	324	244.34	240.033	4256074
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	491	244.353	240.02	4256278
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	SAT (TO)	1329	244.36	240.024	4256242
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	4	244.427	240.034	4255922
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	124	244.44501	240.015	4256071
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	3	244.44901	240.035	4255923
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	108	244.498	240.01199	4256233
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1691	244.498	240.026	4256368
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	6	244.573	240.03101	4255921
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	500	244.58501	240.01601	4256025
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	455	244.58701	240.024	4256279
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	77	244.61099	240.028	4256330
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	SAT (TO)	42	244.614	240.02499	4256328
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1353	244.627	240.03	4256374
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2637	244.63	240.03999	4256369
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	100	244.64	240.047	4256089
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	SAT (TO)	21	244.642	240.036	4255926
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	676	244.645	240.02499	4256286
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	130	244.69099	240.013	4256237
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	496	244.72501	240.032	4256024
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3723	244.799	240.033	4256364
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	226	244.838	240.02499	4256072
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	100	244.85899	240.024	4256227
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	3223	244.86	240.035	4256371
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	246	244.89301	240.037	4256333
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	11	244.89999	240.033	4256128
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	200	244.91299	240.022	4255967
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	199	244.944	240.037	4256332
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	4	244.998	240.022	4255888
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	245.005	240.02299	4256126
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	3238	245.04201	240.033	4256370
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	180	245.045	240.034	4256331
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2696	245.061	240.022	4256363
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	100	245.132	240.03	4256087
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2650	245.13699	240.03101	4256365
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	291	245.20799	240.035	4256335
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	242	245.23199	240.035	4256334
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	75	245.246	240.02499	4256329
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3866	245.302	240.034	4256372
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	1420	245.35899	240.02499	4256078
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	1031	245.373	240.028	4256076
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	1211	245.438	240.02499	4256077
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	245.451	240.02499	4256097
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	436	245.46001	240.015	4256281
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	1000	245.481	240.021	4256027
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	10	245.513	240.02	4256133
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	245.533	240.01801	4256121
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	SAT (TO)	1461	245.537	240.015	4256263
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	3054	245.54601	240.032	4256079
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	4119	245.57001	240.037	4256373
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	547	245.589	240.036	4256340
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	1000	245.604	240.026	4256029
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	467	245.66701	240.028	4256280
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	3	245.66901	240.035	4255887
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	293	245.677	240.03999	4256336
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	30	245.69099	240.02699	4256048
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1343	245.71899	240.01401	4256240
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	7	245.755	240.024	4256131
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	519	245.793	240.036	4256338
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	1000	245.819	240.02299	4256028
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	120	245.855	240.045	4256088
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	1000	245.882	240.028	4256026
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	245.90601	240.03101	4256039
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	2087	245.98599	240.033	4256375
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	7	246.022	240.02299	4256129
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	4440	246.07001	240.028	4256080
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	112	246.117	240.035	4255974
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	12	246.127	240.03	4256123
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	13	246.12801	240.026	4256122
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	478	246.133	240.05	4256337
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1318	246.149	240.03799	4256259
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	SAT (TO)	1000	246.155	240.03101	4256030
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	6	246.189	240.022	4255886
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	696	246.194	240.035	4256341
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	246.21201	240.02299	4256211
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	SAT (TO)	1000	246.228	240.021	4256031
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	640	246.25	240.03101	4256283
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	126	246.257	240.03101	4255965
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	8844	246.26801	240.03999	4256082
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	6306	246.29201	240.032	4256081
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	736	246.347	240.02499	4256282
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	SAT (TO)	6	246.438	240.01801	4256119
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	246.457	240.03	4256095
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	226	246.48801	240.02699	4255966
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	669	246.533	240.033	4256339
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	246.556	240.019	4256099
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	123	246.61	240.03101	4255973
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	SAT (TO)	3	246.66	240.021	4256210
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	5421	246.71899	240.032	4256346
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	167	246.73	240.017	4255964
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	9	246.849	240.02699	4256093
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	703	247.058	240.02499	4256285
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	247.19099	240.037	4256212
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	5632	247.30701	240.021	4256347
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	550	247.38901	240.041	4255969
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	100	247.408	240.03799	4256086
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	86	247.741	240.022	4256040
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	248.701	240.043	4255948
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	3	249.05	240.02901	4256213
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	4	249.267	240.048	4255949
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	28	249.29401	240.041	4256043
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	249.5	240.043	4255958
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	4	250.73599	240.037	4256214
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	471	250.77299	240.03	4256215
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	746	251.351	240.02901	4256217
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	4	251.381	240.04201	4255950
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	792	251.562	240.03999	4256218
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	659	251.834	240.041	4256216
Opd/Opd-sum-large/ Opd-29-350-100.xml	SAT (TO)	100	251.94901	240.035	4256092
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	66	251.95799	240.03799	4256041
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	SAT (TO)	0	252.078	183.855	4255934
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	558	252.10201	202.946	4255962
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	SAT (TO)	0	252.105	173.162	4255933
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	SAT (TO)	31	252.125	215.34399	4255929
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	SAT (TO)	0	252.127	203.44299	4255931
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	SAT (TO)	836	252.134	170.351	4255963
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	0	252.14	222.547	4255932
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7689140	252.15199	230.655	4256184
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	SAT (TO)	0	252.16	177.56799	4255935
Opd/Opd-sum-large/ Opd-46-350-100.xml	SAT (TO)	100	252.162	228.056	4256094
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	SAT (TO)	0	252.16701	181.561	4255936
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	2287	252.168	218.758	4256046
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	SAT (TO)	55	252.177	217.46001	4255930
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	SAT (TO)	37	252.61301	240.02699	4255927
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	SAT (TO)	339	252.81	211.711	4255952
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	SAT (TO)	614	253.07001	179.821	4255953
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	928	253.07401	240.04201	4256219
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	1069	253.638	240.04601	4256221
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	1021	253.672	240.034	4256220
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	SAT (TO)	7	253.728	240.03101	4255924
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	1167	253.93401	240.041	4256222
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	331	254.106	240.05299	4256047
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	4	254.528	240.03799	4255951
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	5	254.703	240.036	4255959
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	SAT (TO)	11	255.177	240.036	4255925
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	145	257.858	240.03799	4255961
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	5	258.12601	240.039	4255960
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	1556	261.401	240.25101	4256036

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	?		1.25574	0.78833503	4256164
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	?		4.9141202	2.2974999	4256159

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	241.089	240.00999	4256162
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	242.09801	240.011	4256163
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	242.256	240.01199	4256009
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	242.453	240.01199	4255895
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	242.52299	240.011	4255891
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	242.52299	240.01199	4256010
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	242.52901	240.01199	4255944
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	242.536	240.01199	4255893
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	242.567	240.01199	4255892
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	242.632	240.01199	4255898
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	? (TO)	242.675	240.011	4255901
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	242.68201	240.01199	4255889
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	242.778	240.01199	4256014
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	242.802	240.011	4255899
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	? (TO)	242.80299	240.01199	4256188
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	242.813	240.01199	4255900
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	242.849	240.013	4256013
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	242.851	240.01199	4255896
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	242.87601	240.01199	4255894
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	243.013	240.011	4255890
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	? (TO)	243.17799	240.01199	4256258
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	243.36501	240.01199	4255911
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	? (TO)	243.535	240.01199	4256177
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	? (TO)	243.597	240.011	4256189
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	243.612	240.01199	4256190
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	243.66	240.011	4256011
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	243.666	240.01199	4255938
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	243.828	240.02299	4256192
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	243.83299	240.01199	4256262
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	243.942	240.01199	4256241
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	243.97	240.02299	4256193
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	243.974	240.01199	4255913
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	243.976	240.013	4255914
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	244.002	240.01199	4256268
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	244.005	240.01199	4256261
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	244.117	240.01199	4255912
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	244.142	240.01199	4255905
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	? (TO)	244.188	240.011	4256008
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	244.291	240.01199	4256012
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	244.315	240.013	4256191
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	244.40199	240.01199	4255919
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	244.50999	240.01199	4256252
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	? (TO)	244.50999	240.024	4256117
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	? (TO)	244.51199	240.01199	4256007
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	244.524	240.01401	4256245
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	? (TO)	244.577	240.01601	4256130
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	244.65401	240.013	4256246
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	244.687	240.013	4256257
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	244.70599	240.01401	4255915
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	244.812	240.01199	4256267
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	244.82201	240.01199	4255903
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	244.83299	240.021	4256194
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	244.946	240.024	4256195
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	245.005	240.01199	4256248
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	? (TO)	245.088	240.01199	4256006
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	245.099	240.019	4256250
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	245.214	240.01199	4255910
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	245.22	240.013	4256243
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	? (TO)	245.248	240.01601	4256127
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	245.252	240.009	4256251
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	245.32899	240.013	4256269
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	245.347	240.01801	4256264
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	245.45599	240.013	4255907
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	245.52901	240.009	4256270
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	245.563	240.009	4256244
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	245.72501	240.013	4256288
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	245.84599	240.013	4256273
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	245.862	240.013	4256247
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	245.886	240.01199	4255902
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	245.935	240.01601	4255918
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	245.97301	240.01601	4255916
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	245.989	240.013	4256266
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	245.989	240.013	4255917
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	246.07001	240.01199	4255897
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	246.088	240.013	4256287
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	246.207	240.019	4256265
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	246.354	240.01601	4255904
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	246.411	240.01199	4256253
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	? (TO)	246.50999	240.013	4256284
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	246.62399	240.022	4256196
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	246.701	240.01199	4256289
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	246.79601	240.01401	4255942
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	246.897	240.01199	4256272
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	246.92999	240.015	4255908
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	247.036	240.01401	4255909
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	247.06799	240.009	4256256
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	247.073	240.02299	4255978
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	247.08701	240.01401	4256290
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	247.39	240.013	4256249
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	247.42	240.013	4256271
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	247.966	240.024	4255979
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	248.004	240.09599	4256254
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	248.29601	240.01199	4256255
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	249.09599	240.021	4256197
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	249.24001	240.02299	4255976
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	249.302	240.02499	4255980
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	249.394	240.02299	4255977
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	252.056	240.02499	4256032
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	252.058	240.022	4256198
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	252.123	212.94901	4256178
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	252.125	227.92799	4256201
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	252.642	240.026	4255928
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	253.519	102.311	4255955
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	254.55901	240.02299	4256199
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	255.467	240.028	4256179
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	255.80499	110.231	4255954
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	258.47101	240.03	4256200
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	259.95401	112.959	4256209

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

Result page for solver OscaR - Conflict Ordering 2017-07-26 (complete)

Category "optimization problem" (COP)

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

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

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

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

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