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		8.1603498	4.0339799	4259664
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		10.2726	4.9631901	4259665

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	6.3872399	3.5268199	4259545
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	6.8350301	3.77882	4259787
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	6.9235802	3.6924601	4259512
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	7.0655198	3.86746	4259681
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	7.65978	3.7590001	4259424
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	8.0647497	4.1154799	4259635
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	8.13486	4.12713	4259788
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	8.1588497	4.1798801	4259791
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	8.1898499	3.99598	4259637
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	8.31744	4.31429	4259630
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	8.6791697	4.191	4259636
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	8.7215405	4.0739002	4259477
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	8.7714396	4.3100801	4259804
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	8.9279499	4.4635401	4259639
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	9.3513803	4.3900299	4259634
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	9.4218502	4.2980199	4259513
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	9.6354904	4.41506	4259478
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	9.7497702	4.6356001	4259708
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	9.9568596	4.4961901	4259563
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	9.9595499	4.4876399	4259709
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	10.0156	4.47966	4259494
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	10.0332	4.5994401	4259546
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	10.0631	4.6443	4259711
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	10.1073	4.7062502	4259603
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	10.1939	4.63762	4259710
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	10.2233	4.5421801	4259479
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	11.042	5.9410601	4259529
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	11.3573	4.96315	4259426
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	11.3899	5.0093598	4259435
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	11.5221	5.4444799	4259789
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	11.8226	5.1969099	4259480
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	11.836	5.3304601	4259714
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	11.9391	5.1747298	4259514
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	12.0131	5.8960099	4259599
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	12.0341	5.51582	4259604
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	12.2263	5.13694	4259495
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	12.3796	5.9110699	4259792
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	12.764	5.7669501	4259476
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	13.3732	5.68818	4259521
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	13.4061	5.6630301	4259713
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	13.8139	7.0331898	4259547
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	13.8333	7.1813698	4259790
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	14.699	5.9225702	4259468
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	15.0669	7.38727	4259528
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	15.1039	6.9085398	4259753
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	15.4109	6.75143	4259660
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	15.4457	8.6054497	4259481
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	15.5532	6.2146702	4259460
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	15.6152	6.2140198	4259467
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	15.7394	8.4285803	4259631
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	15.9004	8.4617004	4259645
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	16.1961	7.6002798	4259715
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	16.610001	8.29352	4259755
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	16.754801	6.6497102	4259461
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	17.039301	7.56458	4259475
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	17.209299	6.69559	4259575
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	17.751301	7.1863999	4259473
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	18.764	9.9068003	4259462
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	19.457001	8.6352901	4259754
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	19.5091	8.6824598	4259466
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	20.8305	9.0804195	4259562
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	OPT	29	23.614	11.358	4259527
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	23.8183	11.7584	4259530
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	25.1984	13.9689	4259465
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	26.7864	16.4174	4259666
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	27.2351	20.8715	4259685
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	28.040899	18.2096	4259469
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	36.4408	23.2013	4259471
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	37.5672	27.782801	4259704
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	37.588699	30.281799	4259482
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	41.573399	26.2894	4259436
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	41.576698	30.197399	4259548
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	47.4105	34.4902	4259805
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	OPT	44	47.638699	35.130901	4259496
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	53.144901	44.361698	4259649
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	68.436203	48.130501	4259447
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	72.401703	56.488098	4259517
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	93.825104	70.769203	4259474
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	95.631401	61.5508	4259648
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	118.906	106.325	4259611
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	120.746	109.055	4259463
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	131.09801	124.038	4259686
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	135.52699	112.543	4259806
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	151.269	140.69099	4259707
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	OPT	55	189.42599	175.298	4259497
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	197.91499	173.035	4259535
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	222.76199	198.709	4259564
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	234.28799	211.86501	4259450

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	248.98599	240.033	4259516
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	249.21899	240.03799	4259524
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	SAT (TO)	2	249.58299	240.033	4259687
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	249.69501	240.04201	4259523
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	93	250.55299	240.036	4259483
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	SAT (TO)	887	250.73	240.033	4259533
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	110	250.755	240.033	4259712
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	SAT (TO)	105	251.35201	240.047	4259703
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	149	251.55099	240.033	4259484
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	104	251.718	240.033	4259706
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	SAT (TO)	8	251.998	240.032	4259650
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1134	252.054	226.04401	4259541
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	252.062	225.235	4259576
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	SAT (TO)	1429	252.067	226.235	4259536
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	937	252.07001	229.53999	4259538
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	252.07001	227.537	4259827
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	SAT (TO)	-7772	252.07201	216.63699	4259643
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1358	252.07401	226.832	4259539
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	1144	252.077	219.246	4259701
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	743	252.078	221.35699	4259697
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	346	252.078	218.936	4259813
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	123	252.08099	221.94701	4259444
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	5	252.08099	226.145	4259574
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	0	252.082	223.55499	4259411
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	992	252.08501	227.43201	4259537
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	166	252.08501	223.45	4259429
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3169398	252.08501	228.944	4259647
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	111	252.088	226.64799	4259809
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	652	252.093	202.658	4259836
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1046	252.093	227.95399	4259560
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	220	252.09399	226.33501	4259553
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	4	252.095	224.745	4259644
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	1500	252.09599	171.974	4259822
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	167	252.097	226.04201	4259552
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	94	252.099	225.35201	4259808
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	687	252.10001	224.054	4259696
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	617	252.10001	205.463	4259837
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	468	252.10201	223.54401	4259557
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	SAT (TO)	954	252.104	227.14101	4259534
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	362	252.104	225.94501	4259504
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	322	252.108	219.54401	4259812
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	4226	252.108	86.675003	4259826
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	106	252.10899	223.745	4259453
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	SAT (TO)	1021	252.11099	225.743	4259532
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	224	252.112	221.237	4259633
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	139	252.112	227.243	4259428
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	1043	252.112	217.95799	4259700
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	369	252.11301	225.05299	4259694
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	286	252.114	211.548	4259439
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	314	252.11501	221.64799	4259811
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	223	252.116	219.647	4259430
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	134	252.117	225.942	4259551
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	262	252.117	226.157	4259502
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	254	252.117	215.457	4259438
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1056	252.117	224.44701	4259559
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	120	252.117	228.649	4259828
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	706	252.118	230.24899	4259558
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	1604	252.118	223.451	4259561
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	98	252.12	228.44299	4259427
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1220	252.121	226.93401	4259544
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	309	252.121	225.653	4259503
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	890	252.12199	223.95599	4259505
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	237	252.12399	231.14301	4259554
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	1712	252.125	158.771	4259821
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	1552	252.125	165.69701	4259823
Opd/Opd-sum-large/ Opd-13-035-010.xml	SAT (TO)	4	252.12601	220.536	4259569
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	1058	252.127	227.642	4259542
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	378	252.12801	218.55701	4259814
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	999	252.12801	219.953	4259506
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1477	252.12801	230.83501	4259543
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	346	252.131	214.85201	4259820
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	586	252.133	222.245	4259695
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	999	252.13499	219.85699	4259507
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	6	252.13699	225.235	4259640
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	289	252.13901	216.252	4259819
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1333	252.14	226.937	4259540
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	585	252.14101	220.16	4259817
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	SAT (TO)	7	252.14101	232.83701	4259609
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	3	252.142	225.83701	4259577
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	253	252.144	220.16901	4259810
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	398	252.14799	216.05099	4259818
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	439	252.149	224.84801	4259555
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	991	252.15199	219.35699	4259699
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	4575483	252.15401	218.647	4259659
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	SAT (TO)	932	252.155	241.83501	4259531
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	423	252.15601	223.34599	4259556
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	252.158	225.04601	4259578
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	455	252.161	219.356	4259815
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	SAT (TO)	0	252.161	225.858	4259370
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	488	252.17	217.953	4259816
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	893	252.19099	222.866	4259698
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	322	252.37801	204.492	4259440
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	86	252.507	240.033	4259717
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	SAT (TO)	96	252.509	240.033	4259702
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	147	252.672	240.034	4259718
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	SAT (TO)	326	252.70799	240.033	4259756
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	29	252.72301	240.033	4259416
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	13	252.737	240.03101	4259418
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	252.85001	240.032	4259683
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	137	252.96899	240.039	4259716
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	253.12	240.032	4259824
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	SAT (TO)	3	253.228	240.033	4259688
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	21	253.28999	240.032	4259425
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	SAT (TO)	2	253.32401	240.045	4259382
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	14	253.64799	240.032	4259420
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	28	253.649	240.04601	4259422
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	SAT (TO)	3	253.68401	240.033	4259689
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	SAT (TO)	1	253.85001	240.039	4259667
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	437	253.92101	240.035	4259758
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	404	254.00301	240.036	4259760
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	254.151	240.039	4259690
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	119651	254.605	240.032	4259661
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	SAT (TO)	5	254.632	240.039	4259668
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	104	254.672	240.033	4259829
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	13	254.739	240.033	4259419
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	116	254.937	240.061	4259652
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	477	255.737	240.034	4259757
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	255.83701	240.04401	4259518
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	467	255.85001	240.037	4259759
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	1334	256.354	240.041	4259470
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	256.388	240.033	4259608
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	128	256.55701	240.043	4259830
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1322	256.798	240.034	4259654
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	198845	256.931	240.041	4259662
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	82	256.987	240.033	4259802
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	173	257.04501	240.039	4259831
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1306	257.05701	240.04401	4259739
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	75	257.24399	240.032	4259801
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	71	257.32901	240.033	4259799
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	810	257.362	240.03799	4259845
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	257.46301	240.036	4259600
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	74	257.46701	240.034	4259803
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	87	257.53799	240.048	4259651
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	257.71899	240.041	4259610
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	67	257.793	240.034	4259800
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	662	257.79999	240.035	4259762
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	947	257.89001	240.035	4259841
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	55	257.95599	240.033	4259796
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	SAT (TO)	26	258.077	240.035	4259549
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	58	258.13199	240.034	4259798
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	4	258.26401	240.075	4259692
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	4	258.26801	240.077	4259691
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1291	258.271	240.03799	4259655
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	1070	258.47299	240.032	4259846
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	805	258.48199	240.041	4259839
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	54	258.48499	240.033	4259795
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1237	258.58899	240.034	4259646
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	6	258.69501	240.03799	4259606
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	57	258.70401	240.033	4259797
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	1269	258.742	240.032	4259842
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	805	258.832	240.045	4259847
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	80	258.83401	240.03999	4259519
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	94	258.83899	240.035	4259498
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	15814	258.871	240.034	4259653
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	114	258.901	240.034	4259499
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	92	258.923	240.033	4259550
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	731	259.008	240.033	4259838
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	259.01901	240.039	4259522
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	259.103	240.033	4259605
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1067	259.20599	240.034	4259854
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	882	259.21899	240.04201	4259840
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	1635	259.25601	240.033	4259848
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	177	259.27301	240.03999	4259832
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	780	259.32599	240.043	4259853
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	SAT (TO)	29	259.66	240.043	4259417
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	259.70999	240.039	4259602
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	41	259.93399	240.033	4259794
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	561	259.948	240.047	4259632
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	9	260.008	240.035	4259612
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	185	260.01401	240.049	4259833
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	1418	260.22601	240.05901	4259844
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	260.35199	240.033	4259793
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	1717	260.47699	240.04401	4259843
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	1866	260.49799	240.033	4259849
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	260.71899	240.035	4259601
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	1555	260.828	240.035	4259850
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	42	260.939	240.043	4259526
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	1888	260.95999	240.034	4259851
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	148	261.01401	240.035	4259500
Opd/Opd-sum-large/ Opd-14-035-010.xml	SAT (TO)	4	261.05099	240.036	4259570
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	2183	261.24399	240.05499	4259525
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	5	261.39999	240.03799	4259607
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	2357	261.48599	240.04601	4259852
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	222	261.556	240.04601	4259834
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	161	261.64099	240.04601	4259443
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	4	261.66599	240.036	4259693
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	SAT (TO)	13	261.772	240.045	4259596
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	206	261.936	240.041	4259835
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	SAT (TO)	5	262.254	240.03999	4259598
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	181	262.328	240.052	4259501
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	401	262.45801	240.041	4259520
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	1768	262.61499	240.043	4259515
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3250	262.65701	240.04401	4259656
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	SAT (TO)	41	262.94199	240.04401	4259807
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	SAT (TO)	1100	263.29199	240.032	4259682
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	SAT (TO)	-165	263.45099	240.056	4259638
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	263.73901	240.034	4259684
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	4	263.94299	240.041	4259437
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	SAT (TO)	171	264.06	240.035	4259454

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	?		5.8923702	3.38204	4259472
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	?		6.2813802	3.46735	4259464

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	? (TO)	249.658	240.213	4259486
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	? (TO)	249.897	240.252	4259705
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	249.96899	240.22099	4259488
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	? (TO)	250.032	240.213	4259487
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	? (TO)	250.342	240.20599	4259485
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	250.787	240.22099	4259489
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	? (TO)	251.021	240.248	4259385
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	251.028	240.228	4259491
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	251.201	240.239	4259384
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	251.20399	240.311	4259423
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	251.496	240.22099	4259490
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	251.784	240.241	4259493
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	251.784	240.231	4259492
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	252.5	225.214	4259641
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	252.662	228.39301	4259511
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	? (TO)	252.87199	240.31799	4259721
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	252.892	240.327	4259720
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	? (TO)	253.09599	230.955	4259451
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	? (TO)	253.256	225.207	4259445
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	? (TO)	253.285	231.006	4259449
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	? (TO)	253.401	225.246	4259448
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	? (TO)	253.57001	240.32401	4259719
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	253.617	229.073	4259371
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	? (TO)	253.68201	216.855	4259413
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	? (TO)	253.93201	213.063	4259412
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	253.938	240.23399	4259398
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	? (TO)	253.97301	214.007	4259415
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	? (TO)	254.05499	240.325	4259765
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	? (TO)	254.084	219.04401	4259431
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	254.127	214.04401	4259733
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	254.13699	215.045	4259734
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	? (TO)	254.14301	227.532	4259508
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	254.159	180.847	4259735
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	? (TO)	254.166	225.729	4259509
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	? (TO)	254.17799	196.336	4259441
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	? (TO)	254.194	174.33701	4259442
Opd/Opd-sum-large/ Opd-07-350-100.xml	? (TO)	254.21201	228.642	4259565
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	254.31599	226.429	4259510
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	254.369	240.37399	4259386
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	254.412	240.382	4259736
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	? (TO)	254.47	214.532	4259410
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	? (TO)	254.55299	240.35699	4259737
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	? (TO)	254.729	240.276	4259763
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	254.733	240.40401	4259722
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	254.80901	240.261	4259669
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	254.923	240.259	4259670
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	? (TO)	254.936	240.369	4259738
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	? (TO)	254.97301	240.283	4259761
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	255.078	240.256	4259392
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	255.08501	226.382	4259457
Opd/Opd-sum-large/ Opd-29-350-100.xml	? (TO)	255.226	227.334	4259571
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	255.23	228.52	4259368
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	255.31599	219.924	4259458
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	? (TO)	255.46899	240.28	4259764
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	? (TO)	255.573	185.836	4259432
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	255.592	240.33701	4259391
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	255.625	222.116	4259456
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	? (TO)	255.793	240.26601	4259399
Opd/Opd-sum-large/ Opd-10-360-120.xml	? (TO)	255.799	226.686	4259567
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	? (TO)	255.869	213.989	4259414
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	255.896	240.23	4259390
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	255.965	223.22	4259455
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	256.13	228.136	4259376
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	256.26801	161.05299	4259434
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	256.353	240.513	4259741
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	256.362	224.2	4259459
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	256.47	240.297	4259671
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	256.48401	240.295	4259672
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	256.58401	240.51199	4259742
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	256.67099	221.48	4259404
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	256.69	240.522	4259740
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	257.16	240.34801	4259674
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	257.22501	223.638	4259403
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	? (TO)	257.48599	240.46001	4259367
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	257.60901	219.62199	4259406
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	257.625	240.573	4259745
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	257.95001	240.32401	4259673
Opd/Opd-sum-large/ Opd-46-035-010.xml	? (TO)	257.99899	226.134	4259572
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	258.082	240.57201	4259746
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	258.15302	240.601	4259388
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	258.22101	221.37399	4259407
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	258.379	240.37801	4259675
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	258.39801	240.478	4259744
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	258.46399	240.48801	4259743
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	? (TO)	258.55801	240.466	4259401
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	258.66199	240.61301	4259723
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	258.698	240.423	4259676
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	258.81799	241.089	4259421
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	? (TO)	258.89301	240.42999	4259366
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	258.95801	240.29201	4259642
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	259.01999	240.63901	4259725
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	259.03201	160.14799	4259433
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	259.034	240.644	4259747
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	259.202	226.843	4259732
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	? (TO)	259.29001	240.40601	4259400
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	? (TO)	259.38	240.472	4259402
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	259.43201	218.052	4259369
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	259.50299	240.226	4259389
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	? (TO)	259.55701	240.483	4259405
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	259.72501	219.439	4259408
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	259.80499	217.545	4259409
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	? (TO)	259.81201	132.209	4259663
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	260.04599	139.194	4259658
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	260.07599	240.44501	4259766
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	260.18399	240.722	4259393
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	260.18701	196.94299	4259657
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	? (TO)	260.20001	92.683296	4259825
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	260.33899	240.422	4259677
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	260.37399	240.43401	4259767
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	260.63599	240.724	4259394
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	260.67599	240.67101	4259396
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	? (TO)	260.80899	240.42101	4259365
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	261.138	240.63	4259724
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	261.54199	240.86099	4259748
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	261.71799	240.658	4259679
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	261.746	240.59801	4259678
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	261.77802	240.67101	4259680
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	261.854	240.806	4259749
Opd/Opd-sum-large/ Opd-46-350-100.xml	? (TO)	261.995	242.032	4259573
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	262.23599	240.78999	4259387
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	? (TO)	262.452	240.338	4259452
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	262.681	240.793	4259381
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	263.729	241.414	4259383
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	264.22101	241.09599	4259727
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	264.33401	240.80701	4259374
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	264.37299	241.075	4259726
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	264.58099	240.858	4259378
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	? (TO)	264.86801	240.366	4259446
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	264.94501	240.703	4259769
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	264.96799	241.82201	4259397
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	265.35999	240.72701	4259768
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	265.46201	240.692	4259375
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	265.659	240.09599	4259372
Opd/Opd-sum-large/ Opd-10-325-100.xml	? (TO)	265.69601	240.94299	4259566
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	266.22501	240.87399	4259379
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	266.582	243.748	4259373
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	266.923	241.464	4259750
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	267.078	241.076	4259377
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	267.104	241.55701	4259752
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	267.85599	241.577	4259730
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	? (TO)	267.91599	240.38699	4259380
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	268.02301	241.58	4259751
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	268.90601	241.58299	4259729
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	269.01199	241.495	4259731
Opd/Opd-sum-large/ Opd-12-350-100.xml	? (TO)	269.12399	240.11	4259568
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	269.86401	241.60699	4259728
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	271.737	240.439	4259395

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

Result page for solver Concrete 3.4 (complete)

Category "optimization problem" (COP)

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

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

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

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

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