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

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-4-30-2.xml	UNSAT		420.398	420.416	4408933

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-bgr/ Pb-bgr-04.xml	OPT	6	0.012674	0.012977	4408902
Ramsey/Ramsey-m1-s1/ Ramsey-13.xml	OPT	2	0.027502	0.0278541	4408939
Ramsey/Ramsey-m1-s1/ Ramsey-14.xml	OPT	2	0.041313	0.041497	4409009
Fastfood/Fastfood-m1-s1/ Fastfood-ff34.xml	OPT	2	0.059671	0.060002	4408903
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P347-Q487.xml	OPT	347	0.087265	0.087524	4408882
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P211-Q347.xml	OPT	211	0.100893	0.102038	4408892
Fastfood/Fastfood-m1-s1/ Fastfood-ff82.xml	OPT	7	0.105221	0.108491	4408893
Tpp/Tpp-zinc-s1/ Tpp-4-3-20-1.xml	OPT	126	0.119033	0.119293	4409019
Tpp/Tpp-zinc-s1/ Tpp-5-3-20-1.xml	OPT	141	0.15389	0.153882	4409022
Tpp/Tpp-zinc-s1/ Tpp-6-3-20-1.xml	OPT	131	0.191092	0.191392	4409025
Tpp/Tpp-zinc-s1/ Tpp-3-5-30-1.xml	OPT	171	0.215432	0.215759	4409001
Tpp/Tpp-zinc-s1/ Tpp-4-5-20-1.xml	OPT	115	0.248867	0.24913	4408930
Tpp/Tpp-zinc-s1/ Tpp-7-3-20-1.xml	OPT	125	0.262341	0.264061	4408946
ChessboardColoration/ChessboardColoration-m1-s2/ ChessboardColoration-08-10.xml	OPT	2	0.288704	0.290541	4409020
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-05-07.xml	OPT	2	0.313605	0.318099	4408920
ChessboardColoration/ChessboardColoration-m1-s1/ ChessboardColoration-09-09.xml	OPT	2	0.317791	0.317601	4409010
Ramsey/Ramsey-int-s1/ Ramsey-int-13.xml	OPT	2	0.318535	0.319906	4409006
Tpp/Tpp-zinc-s1/ Tpp-4-5-30-1.xml	OPT	140	0.322507	0.322673	4408985
Tpp/Tpp-zinc-s1/ Tpp-6-3-30-1.xml	OPT	164	0.329048	0.333363	4408991
Tpp/Tpp-zinc-s1/ Tpp-7-3-30-1.xml	OPT	147	0.363762	0.363909	4409029
Tpp/Tpp-zinc-s1/ Tpp-6-5-20-1.xml	OPT	102	0.559833	0.560399	4408953
Tpp/Tpp-zinc-s1/ Tpp-5-5-30-1.xml	OPT	165	0.699774	0.704477	4408996
Tpp/Tpp-zinc-s1/ Tpp-7-5-20-1.xml	OPT	105	1.04066	1.04099	4408979
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-8.xml	OPT	60	1.14307	10.2807	4408901
GraphColoring/GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml	OPT	6	1.1958	1.19612	4408890
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash608GPIA.xml	OPT	3	1.33979	1.34543	4408889
Fastfood/Fastfood-m1-s1/ Fastfood-ff85.xml	OPT	566	1.42691	1.42663	4408904
Tpp/Tpp-zinc-s1/ Tpp-6-5-30-1.xml	OPT	132	1.77426	1.77482	4409030
Fastfood/Fastfood-m1-s1/ Fastfood-ff87.xml	OPT	307	1.77999	1.78408	4408884
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml	OPT	4	1.94899	1.95025	4408964
Tpp/Tpp-zinc-s1/ Tpp-7-5-30-1.xml	OPT	124	2.07135	2.07174	4409005
StillLife/StillLife-m1-s1/ StillLife-04-09.xml	OPT	20	2.10733	2.10857	4408883
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml	OPT	4	2.19767	2.19925	4408956
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-0.xml	OPT	65	4.65925	12.0639	4408975
Mario/ Mario-zinc-s1/Mario-t-hard-1.xml	OPT	4783	5.04745	5.0495	4409032
GolombRuler/ GolombRuler-a3v18-09_c18.xml	OPT	44	5.30716	5.30866	4408969
Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml	OPT	394	5.71928	5.7202	4409007
NurseRostering/ NurseRostering-01_c18.xml	OPT	607	6.21449	6.21716	4408900
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	6.92584	6.9266	4408899
StillLife/StillLife-m1-s1/ StillLife-03-14.xml	OPT	22	7.74496	7.74686	4408894
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-5.xml	OPT	34	8.30892	8.311	4408906
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-09-09.xml	OPT	2	9.52375	9.52507	4408992
PeacableArmies/ PeacableArmies-m2-07_c18.xml	OPT	7	9.6335	9.63382	4409028
StillLife/StillLife-m1-s1/ StillLife-05-09.xml	OPT	26	9.7849	9.81394	4408905
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-01.xml	OPT	1128	10.0347	10.0364	4408886
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	10.0508	10.0525	4408897
Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml	OPT	221	10.7492	10.7515	4409111
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-5.xml	OPT	67	12.4565	12.4594	4409024
Mario/ Mario-zinc-s1/Mario-t-hard-5.xml	OPT	4482	17.286	17.2887	4409013
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-3.xml	OPT	88	19.6897	19.691	4408885
Fastfood/Fastfood-m1-s1/ Fastfood-ff61.xml	OPT	152	22.3116	22.3176	4408907
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15a.xml	OPT	4948	22.6255	22.6282	4409021
GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml	OPT	44	26.1087	26.1182	4409018
Fastfood/Fastfood-m1-s1/ Fastfood-ff62.xml	OPT	125	26.5435	26.5537	4408887
Fastfood/Fastfood-m1-s1/ Fastfood-ff73.xml	OPT	582	29.2305	29.2381	4408932
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-00.xml	OPT	960	29.3268	29.3369	4408943
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16e.xml	OPT	14	30.6029	30.6035	4408888
Fastfood/Fastfood-m1-s1/ Fastfood-ff50.xml	OPT	624	30.8007	30.7982	4408912
Mario/ Mario-zinc-s1/Mario-t-hard-2.xml	OPT	4850	31.2963	31.3052	4409002
Fastfood/Fastfood-m1-s1/ Fastfood-ff21.xml	OPT	583	32.5332	32.533	4408958
Fastfood/Fastfood-m1-s1/ Fastfood-ff59.xml	OPT	242	33.8999	33.9001	4408891
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	34.31	34.3226	4408924
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-05.xml	OPT	1105	37.7318	37.7387	4408951
Fastfood/Fastfood-m1-s1/ Fastfood-ff60.xml	OPT	192	45.1183	45.1124	4408898
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	47.3002	47.2951	4408941
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-07.xml	OPT	1070	48.0876	48.0898	4408926
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	49.4245	49.438	4408970
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-jnh210.xml	OPT	88	51.7646	51.7642	4408896
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-018.xml	OPT	25	60.2937	60.2935	4408910
GolombRuler/ GolombRuler-a3v18-10_c18.xml	OPT	55	62.9608	62.9668	4408976
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	64.1664	64.1689	4409012
PseudoBoolean/ PseudoBoolean-opt-fx/Pb-fx84.xml	OPT	8	65.1811	65.1991	4409065
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr18a.xml	OPT	5549	65.9638	65.9752	4409027
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-06.xml	OPT	1079	74.6709	74.6879	4408935
GraphColoring/GraphColoring-m1-mono/ GraphColoring-david.xml	OPT	10	84.4319	84.4304	4408911
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-09.xml	OPT	1241	86.7936	86.7969	4409090
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-11.xml	OPT	1049	87.1314	87.1388	4408916
Fastfood/Fastfood-m1-s1/ Fastfood-ff56.xml	OPT	1664	89.786	89.7742	4409094
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-04.xml	OPT	1289	108.21	108.202	4408937
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-03.xml	OPT	1109	124.023	124.042	4408927
StillLife/StillLife-m1-s1/ StillLife-05-11.xml	OPT	32	125.754	125.757	4408987
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-019.xml	OPT	29	127.871	127.87	4408993
GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml	OPT	8	139.089	139.104	4408928
PeacableArmies/ PeacableArmies-m1-07_c18.xml	OPT	7	146.824	146.839	4409003
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-14.xml	OPT	1121	205.614	205.635	4409088
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	OPT	992	221.329	221.318	4408918
Mario/Mario-zinc-s1/ Mario-n-medium-4.xml	OPT	832	233.001	233.073	4408988
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-02.xml	OPT	1003	243.622	243.63	4409091
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml	OPT	4	269.82	269.847	4409092
Mario/Mario-zinc-s1/ Mario-n-medium-3.xml	OPT	943	278.501	278.522	4408995
Warehouse/Warehouse-m1-s1/ Warehouse-cap081.xml	OPT	804126	301.733	301.783	4409008
Warehouse/Warehouse-m1-s1/ Warehouse-cap101.xml	OPT	804126	302.754	302.799	4408999
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10a.xml	OPT	67514	308.153	308.236	4409061
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	310.503	310.522	4408925
Cutstock/Cutstock-zinc-s1/ Cutstock-t09-6.xml	OPT	89	334.51	334.525	4409097
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml	OPT	6	338.591	338.625	4408984
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-021.xml	OPT	26	360.785	360.781	4408957
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-13.xml	OPT	1427	363.924	363.959	4409089
StillLife/StillLife-m1-s1/ StillLife-04-14.xml	OPT	30	392.73	392.797	4408982
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	408.954	408.95	4408963
StillLife/StillLife-wst-s1/ StillLife-wastage-10.xml	OPT	54	419.582	419.621	4408923
Mario/Mario-zinc-s1/ Mario-n-medium-5.xml	OPT	771	425.784	425.796	4408990
Mario/Mario-zinc-s1/ Mario-n-medium-2.xml	OPT	1053	552.992	553.008	4409087
StillLife/StillLife-m1-s1/ StillLife-05-12.xml	OPT	34	569.983	569.993	4409004
GraphColoring/GraphColoring-m1-mono/ GraphColoring-myciel5.xml	OPT	5	637.08	637.121	4408962
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-scr15.xml	OPT	25570	732.092	732.12	4408959
GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml	OPT	55	864.729	864.713	4408945
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-opt-4-30-1.xml	OPT	2	986.427	986.417	4409063
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	OPT	5	1164.35	1164.39	4409064
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-opt-4-30-3.xml	OPT	2	1185.22	1185.21	4409062
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-11.xml	OPT	76	1274.95	1274.91	4408977
Tal/ Tal-03_c18.xml	OPT	96	1312.54	1312.37	4408989
StillLife/StillLife-m1-s1/ StillLife-04-15.xml	OPT	32	1500.58	1500.62	4408971
GolombRuler/ GolombRuler-a3v18-11_c18.xml	OPT	72	1790.83	1791.09	4409170
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-17.xml	OPT	85	1950.41	1950.53	4408936
Cutstock/Cutstock-zinc-s1/ Cutstock-t09-2.xml	OPT	102	2205.24	2205.23	4408980

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-30-15-1.xml	SAT (TO)	8	2400	2399.9	4408909
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-1.xml	SAT (TO)	276	2400.01	2401.01	4408908
StillLife/StillLife-m1-s1/ StillLife-06-12.xml	SAT (TO)	37	2400.01	2400.2	4409041
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-15-1.xml	SAT (TO)	11	2400.01	2400.01	4408974
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-8.xml	SAT (TO)	-15984	2400.01	2400.2	4408950
Vrp/Vrp-zinc-s1/ Vrp-A-n38-k5.xml	SAT (TO)	1967	2400.01	2400.2	4409151
Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml	SAT (TO)	17	2400.02	2399.7	4409123
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	SAT (TO)	499	2400.02	2399.9	4409098
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml	SAT (TO)	24	2400.02	2400.3	4409166
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-8.xml	SAT (TO)	-24000	2400.02	2400.11	4408919
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-10.xml	SAT (TO)	104	2400.02	2400.01	4409037
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-4.xml	SAT (TO)	48	2400.02	2400.11	4409017
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	SAT (TO)	349	2400.02	2399.9	4408983
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	96	2400.03	2400.01	4409127
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-072.xml	SAT (TO)	996	2400.03	2400.01	4409172
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32b3.xml	SAT (TO)	331	2400.03	2400.2	4409067
Ramsey/Ramsey-m1-s1/ Ramsey-45.xml	SAT (TO)	4	2400.03	2400.4	4409138
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-5.xml	SAT (TO)	-25000	2400.03	2400.11	4408929
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-14.xml	SAT (TO)	91	2400.03	2400.11	4409035
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-5.xml	SAT (TO)	338	2400.03	2400.8	4408944
StillLife/StillLife-m1-s1/ StillLife-05-15.xml	SAT (TO)	41	2400.03	2400.11	4409043
GolombRuler/ GolombRuler-a3v18-13_c18.xml	SAT (TO)	113	2400.03	2400.01	4409178
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	66	2400.03	2400.4	4409114
Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml	SAT (TO)	20	2400.03	2400.2	4409168
StillLife/StillLife-m1-s1/ StillLife-07-10.xml	SAT (TO)	39	2400.03	2400.01	4409040
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-4.xml	SAT (TO)	-24000	2400.04	2400.01	4409075
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-1.xml	SAT (TO)	-24000	2400.04	2400.01	4409077
StillLife/StillLife-m1-s1/ StillLife-06-11.xml	SAT (TO)	34	2400.04	2400.01	4409042
Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml	SAT (TO)	578394884	2400.04	2400.21	4408972
Vrp/Vrp-zinc-s1/ Vrp-P-n40-k5.xml	SAT (TO)	1209	2400.04	2400.11	4409143
Opd/Opd-sum-small/ Opd-11-011-005.xml	SAT (TO)	3	2400.04	2400.11	4408960
Auction/Auction-sum/ Auction-sum-decay300_c18.xml	SAT (TO)	1695417	2400.04	2400.11	4409142
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-090.xml	SAT (TO)	1541	2400.04	2400.3	4409109
OpenStacks/ OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml	SAT (TO)	47	2400.04	2400.21	4408981
Cutstock/Cutstock-zinc-s1/ Cutstock-t09-7.xml	SAT (TO)	161	2400.04	2400.11	4409096
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o33-h381-bal-1.xml	SAT (TO)	33	2400.04	2400.2	4409141
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-19.xml	SAT (TO)	234	2400.04	2400.01	4409136
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-088.xml	SAT (TO)	1876	2400.04	2400.2	4409165
StillLife/StillLife-m1-s1/ StillLife-08-09.xml	SAT (TO)	40	2400.04	2400.01	4409039
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-12.xml	SAT (TO)	105	2400.04	2400.11	4409036
PizzaVoucher/ PizzaVoucher-12a_c18.xml	SAT (TO)	40	2400.04	2400.11	4408978
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-2.xml	SAT (TO)	-24000	2400.04	2400.2	4409076
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-lseu.xml	SAT (TO)	1120	2400.04	2400.01	4408931
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-00.xml	SAT (TO)	93	2400.04	2400.01	4409038
GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml	SAT (TO)	12	2400.04	2400.01	4408961
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	17	2400.04	2400.11	4409117
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-28-4-7-3.xml	SAT (TO)	-28000	2400.05	2400.01	4409069
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbo-30-15-1.xml	SAT (TO)	8	2400.05	2400.01	4408895
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	SAT (TO)	1	2400.05	2400.01	4409026
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-6.xml	SAT (TO)	312	2400.05	2400.5	4408934
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-kra30b.xml	SAT (TO)	59555	2400.05	2400.2	4409162
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-1.xml	SAT (TO)	48	2400.05	2400.11	4409179
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-031.xml	SAT (TO)	75	2400.05	2400.11	4409181
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-11.xml	SAT (TO)	221	2400.05	2400.11	4409133
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-086.xml	SAT (TO)	1495	2400.05	2400.2	4409153
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr22a.xml	SAT (TO)	3078	2400.05	2400.11	4408914
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-6.xml	SAT (TO)	-24000	2400.05	2400.11	4409074
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-04.xml	SAT (TO)	116	2400.05	2400.11	4408938
Vrp/Vrp-zinc-s1/ Vrp-P-n16-k8.xml	SAT (TO)	450	2400.05	2400.11	4408952
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-3.xml	SAT (TO)	-24000	2400.05	2400.2	4408917
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-7.xml	SAT (TO)	-24000	2400.05	2400.11	4409073
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-6.xml	SAT (TO)	-25000	2400.05	2400.01	4409071
TravellingSalesman/TravellingSalesman-m1-n35/ TravellingSalesman-35-30-07.xml	SAT (TO)	276	2400.05	2400.01	4409137
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-02.xml	SAT (TO)	967	2400.05	2400.11	4409122
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml	SAT (TO)	310	2400.06	2399.9	4409066
Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml	SAT (TO)	181624473	2400.06	2400.2	4408913
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-13.xml	SAT (TO)	1300	2400.06	2399.9	4409134
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-0.xml	SAT (TO)	-25000	2400.06	2400.2	4409072
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-078.xml	SAT (TO)	1131	2400.06	2400.2	4409176
Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml	SAT (TO)	58361	2400.06	2402	4409160
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-4.xml	SAT (TO)	348	2400.06	2400.4	4408966
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-08-10.xml	SAT (TO)	3	2400.06	2400.11	4409100
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-0.xml	SAT (TO)	139	2400.06	2400.1	4409014
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml	SAT (TO)	398	2400.06	2399.9	4409128
Auction/Auction-sum/ Auction-sum-matching040_c18.xml	SAT (TO)	11182902	2400.06	2400.21	4409131
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-00.xml	SAT (TO)	202	2400.06	2399.9	4409169
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbp-15-15-1.xml	SAT (TO)	4	2400.07	2400.6	4408948
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-10-20-1.xml	SAT (TO)	6	2400.07	2400.11	4409080
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-0.xml	SAT (TO)	-19000	2400.07	2400.11	4409078
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	SAT (TO)	125	2400.07	2400.2	4409023
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbp-15-15-1.xml	SAT (TO)	4	2400.07	2399.9	4408955
StillLife/StillLife-m1-s1/ StillLife-05-14.xml	SAT (TO)	40	2400.07	2400.11	4409044
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-75.xml	SAT (TO)	0	2400.07	2400.11	4409115
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-18-3-6-8.xml	SAT (TO)	-6986	2400.07	2400.3	4408940
TravellingSalesman/TravellingSalesman-m1-n25/ TravellingSalesman-25-30-03.xml	SAT (TO)	206	2400.07	2400.11	4409161
Fapp/Fapp-m2s/ Fapp-m2s-17-0300_c18.xml	SAT (TO)	374253920	2400.07	2400.31	4408994
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	2400.07	2399.9	4409093
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-15-30-1.xml	SAT (TO)	9	2400.07	2399.9	4409081
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-0.xml	SAT (TO)	317	2400.08	2400.4	4408986
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-3.xml	SAT (TO)	321	2400.08	2399.9	4408947
GraphColoring/GraphColoring-m1-mono/ GraphColoring-school1.xml	SAT (TO)	13	2400.08	2400.2	4409126
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-10-20-1.xml	SAT (TO)	6	2400.08	2400.3	4409084
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	137	2400.08	2400.2	4409180
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-8.xml	SAT (TO)	387	2400.08	2400.7	4408965
Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml	SAT (TO)	229229905	2400.09	2400.01	4408942
Cutstock/Cutstock-zinc-s1/ Cutstock-t03-4.xml	SAT (TO)	19	2400.09	2400.5	4409132
OpenStacks/ OpenStacks-m1-s1/OpenStacks-m1-gp-050-1.xml	SAT (TO)	47	2400.09	2400.11	4409000
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-par16-3.xml	SAT (TO)	1015	2400.09	2399.9	4408915
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-11-13.xml	SAT (TO)	3	2400.09	2399.9	4409177
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml	SAT (TO)	11	2400.1	2399.8	4408998
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa50a.xml	SAT (TO)	31710	2400.1	2400.21	4409157
BinPacking/ BinPacking-mdd-fu/BinPacking-mdd-fu0120-05.xml	SAT (TO)	6	2400.1	2400.2	4409112
Fapp/Fapp-ext/ Fapp-ext-05-0350_c18.xml	SAT (TO)	529692396	2400.1	2400.82	4409107
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml	SAT (TO)	13	2400.1	2400.2	4409079
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-9.xml	SAT (TO)	-25000	2400.1	2399.9	4409070
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml	SAT (TO)	13	2400.1	2400.2	4409083
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	816	2400.11	2400.5	4409139

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-07.xml	? (NS)	0.026479	0.026838	4409056
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-02.xml	? (NS)	0.027433	0.0276779	4409058
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-05.xml	? (NS)	0.02777	0.0275991	4409057
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-41-06.xml	? (NS)	0.030258	0.0305321	4409055
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-45-01.xml	? (NS)	0.031252	0.0314761	4409054
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-05.xml	? (NS)	0.046947	0.0472041	4409052
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-07.xml	? (NS)	0.047627	0.048005	4409051
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-26-09.xml	? (NS)	0.047899	0.0482011	4409050
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-01.xml	? (NS)	0.049037	0.0488929	4409053
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-03.xml	? (NS)	0.055241	0.0565931	4409048
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-46-08.xml	? (NS)	0.055279	0.0555099	4409047
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-01.xml	? (NS)	0.055729	0.056193	4409049
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-06-08.xml	? (NS)	0.058768	0.058884	4409046
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-41-06.xml	? (NS)	0.10468	0.110134	4409060
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-43-06.xml	? (NS)	0.10513	0.110152	4409059

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/ BinPacking-mdd-fu/BinPacking-mdd-fu1000-02.xml	? (TO)	2400.01	2400.11	4409116
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4m.xml	? (TO)	2400.02	2400.11	4409103
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-2.xml	? (TO)	2400.02	2400.6	4409173
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-5.xml	? (TO)	2400.02	2400.7	4409159
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-hanoi4.xml	? (TO)	2400.03	2400.3	4409068
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-1.xml	? (TO)	2400.03	2400.5	4409124
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w2d.xml	? (TO)	2400.03	2400.11	4409119
Cutstock/Cutstock-zinc-s1/ Cutstock-t14-9.xml	? (TO)	2400.03	2400.01	4409095
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-0.xml	? (TO)	2400.03	2400.01	4409099
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c1w2b.xml	? (TO)	2400.04	2400.11	4409108
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	? (TO)	2400.04	2400.01	4409045
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml	? (TO)	2400.04	2400.11	4409082
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b1r5.xml	? (TO)	2400.04	2400.11	4409101
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-01.xml	? (TO)	2400.04	2400.01	4409113
Scheduling/Scheduling-js-taillard/ Taillard-js-100-20-6.xml	? (TO)	2400.04	2400.7	4409171
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4n.xml	? (TO)	2400.04	2400.11	4409102
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w1b1r5.xml	? (TO)	2400.04	2400.01	4408921
Cutstock/Cutstock-zinc-s1/ Cutstock-t10-4.xml	? (TO)	2400.05	2400.11	4409174
NurseRostering/ NurseRostering-18_c18.xml	? (TO)	2400.05	2399.8	4409164
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	? (TO)	2400.06	2400.2	4409152
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-195.xml	? (TO)	2400.06	2400.11	4409121
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-04.xml	? (TO)	2400.07	2399.9	4409110
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r1.xml	? (TO)	2400.07	2400.01	4409118
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n2c3w1r.xml	? (TO)	2400.09	2400.2	4409120
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4k.xml	? (TO)	2400.1	2399.9	4409104
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-1.xml	? (TO)	2400.1	2400.91	4409105
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	2400.1	2400.11	4409167
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml	? (TO)	2400.11	2400.5	4409175

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	? (MO)	287.138	289.034	4409015
GolombRuler/GolombRuler-a4-s1/ GolombRuler-11-a4.xml	? (MO)	287.531	289.363	4409163
Tal/ Tal-05_c18.xml	? (MO)	546.836	548.838	4409034
Opd/Opd-sum-small/ Opd-15-015-004.xml	? (MO)	1173.98	1176.04	4408968
Opd/Opd-sum-small/ Opd-10-015-006.xml	? (MO)	1176.74	1178.6	4408954
Opd/Opd-sum-small/ Opd-10-030-009.xml	? (MO)	1292.45	1294.37	4409086
Opd/Opd-sum-small/ Opd-19-020-009.xml	? (MO)	1296.65	1298.73	4409144
Opd/Opd-sum-small/ Opd-10-031-009.xml	? (MO)	1323.52	1325.74	4409085
Opd/Opd-sum-small/ Opd-10-032-009.xml	? (MO)	1369.72	1371.44	4408922
Opd/Opd-sum-small/ Opd-09-024-008.xml	? (MO)	1391.51	1393.45	4409016
TemplateDesign/ TemplateDesign-m2-herbs_c18.xml	? (MO)	1452.32	1454.21	4409033
SteelMillSlab/ SteelMillSlab-bench_9_13.xml	? (MO)	1506.79	1508.95	4409149
SteelMillSlab/ SteelMillSlab-bench_13_19.xml	? (MO)	1510.85	1513.03	4409154
SteelMillSlab/ SteelMillSlab-bench_9_11.xml	? (MO)	1513.83	1516.23	4409150
SteelMillSlab/ SteelMillSlab-bench_3_12.xml	? (MO)	1514.29	1516.37	4409140
SteelMillSlab/ SteelMillSlab-bench_13_6.xml	? (MO)	1516.27	1518.18	4409135
SteelMillSlab/ SteelMillSlab-bench_15_2.xml	? (MO)	1517.02	1519.16	4409125
SteelMillSlab/ SteelMillSlab-bench_12_14.xml	? (MO)	1522.79	1525.21	4409156
Opd/Opd-sum-large/ Opd-15-035-010.xml	? (MO)	1525.88	1528.22	4408973
SteelMillSlab/ SteelMillSlab-bench_17_11.xml	? (MO)	1527.72	1529.88	4409145
SteelMillSlab/ SteelMillSlab-bench_14_1.xml	? (MO)	1536.38	1538.66	4409129
SteelMillSlab/ SteelMillSlab-bench_16_2.xml	? (MO)	1537.47	1539.81	4409130
SteelMillSlab/ SteelMillSlab-bench_19_19.xml	? (MO)	1556.8	1558.68	4409148
SteelMillSlab/ SteelMillSlab-bench_20_8.xml	? (MO)	1557.32	1559.33	4409147
SteelMillSlab/ SteelMillSlab-bench_11_1.xml	? (MO)	1558.44	1560.95	4409106
SteelMillSlab/ SteelMillSlab-bench_5_11.xml	? (MO)	1563.35	1565.26	4409155
Opd/Opd-sum-small/ Opd-10-037-014.xml	? (MO)	1631.48	1633.44	4408967
SteelMillSlab/ SteelMillSlab-bench_10_9.xml	? (MO)	1753.81	1755.92	4409146
Opd/Opd-sum-large/ Opd-16-035-010.xml	? (MO)	1786.96	1789.69	4408949
Opd/Opd-sum-small/ Opd-10-038-010.xml	? (MO)	1975.23	1977.18	4408997
Opd/Opd-sum-large/ Opd-04-350-100.xml	? (MO)	2104.77	2106.9	4409031
Opd/Opd-sum-large/ Opd-03-350-100.xml	? (MO)	2105.44	2107.6	4409011
Opd/Opd-sum-large/ Opd-09-350-100.xml	? (MO)	2123.49	2125.4	4409158

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

Result page for solver cosoco 2.0 (complete)

Category "optimization problem" (COP)

Solver proved unsatisfiability (UNSATISFIABLE) (1 run) [Show/Hide]

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

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

Solver does not handle one of the constraint (15 runs) [Show/Hide]

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

Solver exceeded the memory limit (no solution given) (33 runs) [Show/Hide]