2018 XCSP3 competition: fast COP track: benchmarks results per solver

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
Auction/Auction-cnt/ Auction-cnt-example_c18.xml	OPT	54	0.815633	0.463172	4301444
Auction/Auction-sum/ Auction-sum-example_c18.xml	OPT	54	0.826116	0.463755	4301420
PseudoBoolean-opt/ Pb-garden-4x4_c18.xml	OPT	4	0.878296	0.478785	4301342
SumColoring/ SumColoring-myciel3_c18.xml	OPT	10	1.02716	0.533559	4301567
TemplateDesign/ TemplateDesign-m2-1_c18.xml	OPT	2	1.07008	0.542939	4301801
Rcpsp/ Rcpsp-j30-01-02_c18.xml	OPT	47	1.19273	0.599657	4301906
TemplateDesign/ TemplateDesign-m1s-1_c18.xml	OPT	2	1.21512	0.595339	4301792
TemplateDesign/ TemplateDesign-m2-2_c18.xml	OPT	2	1.21947	0.594094	4301789
TemplateDesign/ TemplateDesign-m1-1_c18.xml	OPT	2	1.22149	0.595579	4301783
GraphColoring/ GraphColoring-queen5-5_c18.xml	OPT	4	1.25432	0.602955	4301393
Rcpsp/ Rcpsp-j30-01-01_c18.xml	OPT	43	1.29328	0.619415	4301894
Mario/ Mario-easy-2_c18.xml	OPT	628	1.31773	0.624734	4301984
Rcpsp/ Rcpsp-j30-01-03_c18.xml	OPT	47	1.33774	0.643712	4301909
TemplateDesign/ TemplateDesign-m2-catfood_c18.xml	OPT	2	1.36772	0.626227	4301786
SteelMillSlab/ SteelMillSlab-m1-simple_c18.xml	OPT	0	1.39213	0.647059	4302140
TemplateDesign/ TemplateDesign-m1s-2_c18.xml	OPT	2	1.42035	0.648863	4301771
TemplateDesign/ TemplateDesign-m1-2_c18.xml	OPT	2	1.50447	0.678998	4301807
TemplateDesign/ TemplateDesign-m1s-catfood_c18.xml	OPT	2	1.55122	0.878038	4301795
Tal/ Tal-01_c18.xml	OPT	6	1.57741	0.721611	4301324
Rcpsp/ Rcpsp-j60-01-01_c18.xml	OPT	77	1.72916	0.754862	4301900
PeacableArmies/ PeacableArmies-m2-05_c18.xml	OPT	4	1.75198	0.765366	4301972
Bacp/Bacp-m1/ Bacp-m1-05_c18.xml	OPT	9	1.75415	0.764722	4302248
Rcpsp/ Rcpsp-j60-01-03_c18.xml	OPT	68	1.76401	0.768021	4301918
TemplateDesign/ TemplateDesign-m1-catfood_c18.xml	OPT	2	1.76753	0.769395	4301774
SteelMillSlab/ SteelMillSlab-m2-simple_c18.xml	OPT	0	1.79336	0.779606	4302149
CrosswordDesign/ CrosswordDesign-03-4-rom_c18.xml	OPT	12	1.826	0.786943	4301717
PeacableArmies/ PeacableArmies-m1-05_c18.xml	OPT	4	1.91761	0.814785	4301966
Bacp/Bacp-m2/ Bacp-m2-05_c18.xml	OPT	9	1.97909	0.84711	4302212
Rcpsp/ Rcpsp-j30-01-04_c18.xml	OPT	62	2.03627	1.18178	4301897
QuadraticAssignment/ QuadraticAssignment-qap_c18.xml	OPT	4776	2.34352	1.04341	4301639
Fapp/Fapp-m2s/ Fapp-m2s-ex2_c18.xml	OPT	13871	2.39013	0.934055	4301693
GolombRuler/ GolombRuler-a3v18-07_c18.xml	OPT	25	2.69747	1.06108	4301828
Mario/ Mario-easy-5_c18.xml	OPT	445	2.71282	1.05747	4302002
Rcpsp/ Rcpsp-j90-01-02_c18.xml	OPT	92	3.02642	1.21396	4301921
Fapp/Fapp-m2s/ Fapp-m2s-ex1_c18.xml	OPT	523	3.14268	1.18314	4301648
Knapsack/ Knapsack-30-100-01_c18.xml	OPT	871	3.51614	1.33951	4302014
CrosswordDesign/ CrosswordDesign-04-4-rom_c18.xml	OPT	24	3.53863	1.93081	4301705
Rcpsp/ Rcpsp-j60-01-04_c18.xml	OPT	91	3.78364	1.47662	4301936
Rcpsp/ Rcpsp-j60-01-02_c18.xml	OPT	68	3.82809	1.48157	4301933
TravelingTournament/ TravelingTournament-a2-galaxy04_c18.xml	OPT	517	4.11452	1.89822	4302056
Mario/ Mario-easy-4_c18.xml	OPT	545	4.51842	1.83424	4301990
Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml	OPT	792	4.67704	1.60873	4301480
Knapsack/ Knapsack-30-100-00_c18.xml	OPT	709	5.56867	2.02124	4302053
Rlfap/Rlfap-opt/ Rlfap-graph-03-opt_c18.xml	OPT	380	5.89789	2.59074	4301504
PseudoBoolean-opt/ Pb-circ4-3_c18.xml	OPT	20	6.02372	3.25661	4301366
GraphColoring/ GraphColoring-5-fullins-3_c18.xml	OPT	7	6.03878	2.61565	4301381
TravelingTournament/ TravelingTournament-a3-galaxy04_c18.xml	OPT	416	6.41119	2.39446	4302077
TravellingSalesman/ TravellingSalesman-10-20-00_c18.xml	OPT	47	6.5575	3.33086	4302119
SumColoring/ SumColoring-myciel4_c18.xml	OPT	22	6.57372	4.67971	4301582
Tal/ Tal-02_c18.xml	OPT	86	7.25381	3.35317	4301336
Bacp/Bacp-m2/ Bacp-m2-06_c18.xml	OPT	10	7.76028	5.09227	4302197
Rlfap/Rlfap-opt/ Rlfap-graph-04-opt_c18.xml	OPT	394	7.96241	2.71674	4301495
GolombRuler/ GolombRuler-a3v18-08_c18.xml	OPT	34	8.66983	4.71255	4301837
SumColoring/ SumColoring-1-fullins-3_c18.xml	OPT	24	9.31067	7.7438	4301555
Rcpsp/ Rcpsp-j90-01-03_c18.xml	OPT	66	9.7306	3.83206	4301924
LowAutocorrelation/ LowAutocorrelation-015_c18.xml	OPT	15	9.94452	5.51168	4301879
Bacp/Bacp-m1/ Bacp-m1-06_c18.xml	OPT	10	10.0192	7.1887	4302254
Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml	OPT	394	11.7087	5.38165	4301543
PizzaVoucher/ PizzaVoucher-10a_c18.xml	OPT	210	11.7141	8.26704	4301741
StillLife/ StillLife-wastage-08_c18.xml	OPT	36	13.7858	10.2618	4301237
Mario/ Mario-t-hard-1_c18.xml	OPT	4783	14.4981	11.2189	4301996
Rcpsp/ Rcpsp-j90-01-01_c18.xml	OPT	73	14.5207	7.53594	4301903
Mario/ Mario-t-hard-5_c18.xml	OPT	4482	14.5804	11.4461	4301999
Mario/ Mario-t-hard-2_c18.xml	OPT	4850	15.8807	12.6684	4301987
PeacableArmies/ PeacableArmies-m2-07_c18.xml	OPT	7	22.2788	18.3009	4301981
NurseRostering/ NurseRostering-00_c18.xml	OPT	1202	23.9224	18.5386	4301303
Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml	OPT	46	26.0945	18.9291	4301525
PeacableArmies/ PeacableArmies-m1-07_c18.xml	OPT	7	33.3812	29.895	4301951
Knapsack/ Knapsack-40-150-01_c18.xml	OPT	1128	38.8655	34.52	4302041
PseudoBoolean-opt/ Pb-garden-7x7_c18.xml	OPT	12	47.5326	43.5251	4301354
QuadraticAssignment/ QuadraticAssignment-esc16d_c18.xml	OPT	8	56.8913	52.4184	4301636
Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml	OPT	162507055	68.7953	57.187	4301687
GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml	OPT	44	69.9165	66.4823	4301843
GolombRuler/ GolombRuler-a3v18-09_c18.xml	OPT	44	71.5452	67.8662	4301849
CrosswordDesign/ CrosswordDesign-05-4-rom_c18.xml	OPT	38	72.629	68.4117	4301723
GraphColoring/ GraphColoring-4-fullins-4_c18.xml	OPT	7	74.5843	70.1759	4301396
Knapsack/ Knapsack-40-150-00_c18.xml	OPT	932	82.7064	77.1972	4302044
Mario/ Mario-n-medium-3_c18.xml	OPT	943	83.269	78.4287	4302011
Mario/ Mario-n-medium-5_c18.xml	OPT	771	87.2321	82.2835	4302005
StillLife/ StillLife-wastage-09_c18.xml	OPT	43	102.766	99.1872	4301228
Mario/ Mario-n-medium-4_c18.xml	OPT	832	124.685	118.816	4302008
NurseRostering/ NurseRostering-01_c18.xml	OPT	607	134.405	129.156	4301267
Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml	OPT	63832030	162.011	147.383	4301696
TemplateDesign/ TemplateDesign-m1s-herbs_c18.xml	OPT	2	162.908	157.455	4301810
Mario/ Mario-n-medium-2_c18.xml	OPT	1053	169.378	164.871	4301993
Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml	OPT	506362597	183.764	165.81	4301690
Tal/ Tal-03_c18.xml	OPT	96	241.604	234.587	4301330
Fapp/Fapp-m2s/ Fapp-m2s-17-0300_c18.xml	OPT	130971634	242.71	225.813	4301675
PizzaVoucher/ PizzaVoucher-10b_c18.xml	OPT	28	243.298	239.994	4301750

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
TemplateDesign/ TemplateDesign-m2-herbs_c18.xml	SAT (TO)	23	252.021	245.024	4301798
GolombRuler/ GolombRuler-a3v18-12_c18.xml	SAT (TO)	104	252.024	247.214	4301840
PeacableArmies/ PeacableArmies-m2-10_c18.xml	SAT (TO)	10	252.024	246.314	4301957
Auction/Auction-sum/ Auction-sum-decay100_c18.xml	SAT (TO)	590630	252.024	246.713	4301411
PizzaVoucher/ PizzaVoucher-18a_c18.xml	SAT (TO)	57	252.025	247.414	4301738
Auction/Auction-cnt/ Auction-cnt-decay300_c18.xml	SAT (TO)	1589004	252.026	246.315	4301441
StillLife/ StillLife-wastage-17_c18.xml	SAT (TO)	119	252.026	245.815	4301222
PizzaVoucher/ PizzaVoucher-12a_c18.xml	SAT (TO)	40	252.026	248.613	4301765
StillLife/ StillLife-wastage-25_c18.xml	SAT (TO)	248	252.026	246.02	4301225
PeacableArmies/ PeacableArmies-m1-10_c18.xml	SAT (TO)	13	252.027	246.713	4301960
PeacableArmies/ PeacableArmies-m1-15_c18.xml	SAT (TO)	19	252.029	247.023	4301963
PeacableArmies/ PeacableArmies-m1-20_c18.xml	SAT (TO)	25	252.029	244.915	4301945
TravellingSalesman/ TravellingSalesman-15-30-00_c18.xml	SAT (TO)	93	252.03	248.313	4302101
TravellingSalesman/ TravellingSalesman-100-50-00_c18.xml	SAT (TO)	484	252.03	246.313	4302107
QuadraticAssignment/ QuadraticAssignment-had14_c18.xml	SAT (TO)	1409	252.03	248.313	4301627
GolombRuler/ GolombRuler-a3v18-16_c18.xml	SAT (TO)	227	252.031	247.514	4301819
PseudoBoolean-opt/ Pb-circ10-3_c18.xml	SAT (TO)	364	252.031	245.025	4301345
Bacp/Bacp-m2/ Bacp-m2-12a-nodv_c18.xml	SAT (TO)	17	252.031	246.818	4302200
StillLife/ StillLife-wastage-13_c18.xml	SAT (TO)	75	252.031	247.214	4301231
Bacp/Bacp-m1/ Bacp-m1-10a-nodv_c18.xml	SAT (TO)	14	252.032	248.313	4302224
Auction/Auction-cnt/ Auction-cnt-decay100_c18.xml	SAT (TO)	604812	252.034	246.514	4301447
GraphColoring/ GraphColoring-5-fullins-4_c18.xml	SAT (TO)	8	252.034	246.023	4301402
PseudoBoolean-opt/ Pb-circ6-3_c18.xml	SAT (TO)	70	252.034	248.023	4301339
SumColoring/ SumColoring-dsjc-125-1_c18.xml	SAT (TO)	233	252.035	248.613	4301552
PseudoBoolean-opt/ Pb-circ8-3_c18.xml	SAT (TO)	178	252.036	246.515	4301351
Rcpsp/ Rcpsp-j90-01-04_c18.xml	SAT (TO)	86	252.036	246.02	4301939
Bacp/Bacp-m1/ Bacp-m1-07a_c18.xml	SAT (TO)	12	252.036	248.513	4302239
Knapsack/ Knapsack-50-200-00_c18.xml	SAT (TO)	960	252.037	246.416	4302029
Knapsack/ Knapsack-80-350-01_c18.xml	SAT (TO)	1512	252.037	246.718	4302050
Knapsack/ Knapsack-80-350-00_c18.xml	SAT (TO)	1389	252.037	247.024	4302047
Auction/Auction-sum/ Auction-sum-decay200_c18.xml	SAT (TO)	1193486	252.038	246.615	4301417
NurseRostering/ NurseRostering-07_c18.xml	SAT (TO)	5922	252.039	242.316	4301279
TravelingTournament/ TravelingTournament-a2-galaxy06_c18.xml	SAT (TO)	1637	252.041	246.414	4302086
QuadraticAssignment/ QuadraticAssignment-esc128_c18.xml	SAT (TO)	32	252.042	246.125	4301624
Bacp/Bacp-m2/ Bacp-m2-12a_c18.xml	SAT (TO)	17	252.042	247.023	4302191
Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml	SAT (TO)	37373	252.043	241.421	4301471
CrosswordDesign/ CrosswordDesign-06-4-rom_c18.xml	SAT (TO)	52	252.043	240.229	4301729
QuadraticAssignment/ QuadraticAssignment-had18_c18.xml	SAT (TO)	2774	252.043	247.312	4301597
Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml	SAT (TO)	17	252.044	246.615	4302203
Bacp/Bacp-m1/ Bacp-m1-07b_c18.xml	SAT (TO)	13	252.044	248.213	4302251
PeacableArmies/ PeacableArmies-m2-15_c18.xml	SAT (TO)	11	252.045	245.813	4301942
StillLife/ StillLife-wastage-15_c18.xml	SAT (TO)	98	252.045	246.913	4301219
Rlfap/Rlfap-opt/ Rlfap-graph-12-opt_c18.xml	SAT (TO)	83493	252.045	241.617	4301492
QuadraticAssignment/ QuadraticAssignment-had16_c18.xml	SAT (TO)	1960	252.045	247.413	4301615
GolombRuler/ GolombRuler-a3v18-13_c18.xml	SAT (TO)	133	252.046	247.913	4301825
Bacp/Bacp-m1/ Bacp-m1-10b_c18.xml	SAT (TO)	14	252.046	247.914	4302236
TravelingTournament/ TravelingTournament-a2-galaxy16_c18.xml	SAT (TO)	23746	252.047	237.52	4302080
SumColoring/ SumColoring-dsjc-125-9_c18.xml	SAT (TO)	2787	252.047	246.813	4301579
TravelingTournament/ TravelingTournament-a2-galaxy08_c18.xml	SAT (TO)	3320	252.047	243.714	4302089
Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml	SAT (TO)	18	252.048	244.914	4301522
PseudoBoolean-opt/ Pb-radar-10-20-45-050-100_c18.xml	SAT (TO)	13	252.049	248.813	4301375
Auction/Auction-cnt/ Auction-cnt-matching080_c18.xml	SAT (TO)	30568459	252.05	246.914	4301465
QuadraticAssignment/ QuadraticAssignment-esc16a_c18.xml	SAT (TO)	34	252.05	248.212	4301633
LowAutocorrelation/ LowAutocorrelation-027_c18.xml	SAT (TO)	77	252.051	247.216	4301858
Rcpsp/ Rcpsp-j120-01-01_c18.xml	SAT (TO)	115	252.051	245.216	4301915
Rcpsp/ Rcpsp-j120-01-03_c18.xml	SAT (TO)	130	252.054	245.515	4301930
TravellingSalesman/ TravellingSalesman-35-30-00_c18.xml	SAT (TO)	173	252.054	247.713	4302110
Rlfap/Rlfap-opt/ Rlfap-scen-02-opt_c18.xml	SAT (TO)	14	252.055	243.511	4301510
TravellingSalesman/ TravellingSalesman-25-30-00_c18.xml	SAT (TO)	121	252.055	247.315	4302104
LowAutocorrelation/ LowAutocorrelation-024_c18.xml	SAT (TO)	56	252.055	247.913	4301867
Rlfap/Rlfap-opt/ Rlfap-scen-06-opt_c18.xml	SAT (TO)	34635	252.055	245.126	4301531
QuadraticAssignment/ QuadraticAssignment-esc64a_c18.xml	SAT (TO)	58	252.056	246.722	4301603
PseudoBoolean-opt/ Pb-radar-10-10-45-050-100_c18.xml	SAT (TO)	4	252.056	247.914	4301348
SumColoring/ SumColoring-1-fullins-4_c18.xml	SAT (TO)	97	252.057	248.413	4301558
PizzaVoucher/ PizzaVoucher-18b_c18.xml	SAT (TO)	80	252.057	248.213	4301747
Knapsack/ Knapsack-60-250-01_c18.xml	SAT (TO)	1313	252.058	246.318	4302026
Tal/ Tal-04_c18.xml	SAT (TO)	142	252.058	244.218	4301309
PeacableArmies/ PeacableArmies-m2-30_c18.xml	SAT (TO)	10	252.059	243.227	4301969
TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml	SAT (TO)	14558	252.059	238.618	4302083
TravellingSalesman/ TravellingSalesman-45-30-00_c18.xml	SAT (TO)	203	252.061	247.513	4302098
GraphColoring/ GraphColoring-4-fullins-5_c18.xml	SAT (TO)	8	252.061	244.127	4301399
GolombRuler/ GolombRuler-a3v18-14_c18.xml	SAT (TO)	166	252.061	248.122	4301822
Bacp/Bacp-m1/ Bacp-m1-12b_c18.xml	SAT (TO)	17	252.062	248.813	4302221
Knapsack/ Knapsack-50-200-01_c18.xml	SAT (TO)	1297	252.062	247.036	4302023
Fapp/Fapp-m2s/ Fapp-m2s-test01-0150_c18.xml	SAT (TO)	18292601	252.062	241.222	4301645
Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml	SAT (TO)	18	252.063	245.414	4301528
Rlfap/Rlfap-opt/ Rlfap-graph-06-opt_c18.xml	SAT (TO)	69941	252.063	243.817	4301489
Bacp/Bacp-m2/ Bacp-m2-07b_c18.xml	SAT (TO)	13	252.064	248.213	4302209
PeacableArmies/ PeacableArmies-m2-20_c18.xml	SAT (TO)	10	252.065	244.222	4301954
Bacp/Bacp-m1/ Bacp-m1-10a_c18.xml	SAT (TO)	14	252.065	248.314	4302227
Fapp/Fapp-m2s/ Fapp-m2s-01-0200_c18.xml	SAT (TO)	98309624	252.065	242.721	4301684
NurseRostering/ NurseRostering-03_c18.xml	SAT (TO)	1502	252.065	245.716	4301276
Bacp/Bacp-m2/ Bacp-m2-10b_c18.xml	SAT (TO)	14	252.065	248.123	4302188
LowAutocorrelation/ LowAutocorrelation-026_c18.xml	SAT (TO)	61	252.066	247.125	4301864
Auction/Auction-cnt/ Auction-cnt-matching040_c18.xml	SAT (TO)	7828656	252.066	248.023	4301468
SumColoring/ SumColoring-myciel6_c18.xml	SAT (TO)	122	252.067	248.513	4301585
Rcpsp/ Rcpsp-j120-01-02_c18.xml	SAT (TO)	114	252.067	244.715	4301912
SumColoring/ SumColoring-dsjc-125-5_c18.xml	SAT (TO)	1086	252.068	247.413	4301576
Rlfap/Rlfap-opt/ Rlfap-graph-01-opt_c18.xml	SAT (TO)	20	252.068	244.314	4301498
LowAutocorrelation/ LowAutocorrelation-040_c18.xml	SAT (TO)	224	252.068	246.515	4301861
Fapp/Fapp-m2s/ Fapp-m2s-16-0260_c18.xml	SAT (TO)	372140116	252.068	233.155	4301654
GolombRuler/ GolombRuler-a3v18-10_c18.xml	SAT (TO)	59	252.069	247.815	4301834
Auction/Auction-sum/ Auction-sum-decay500_c18.xml	SAT (TO)	2788055	252.07	246.913	4301435
PseudoBoolean-opt/ Pb-radar-30-30-45-050-100_c18.xml	SAT (TO)	130	252.07	246.137	4301369
SumColoring/ SumColoring-myciel7_c18.xml	SAT (TO)	267	252.07	247.714	4301546
LowAutocorrelation/ LowAutocorrelation-025_c18.xml	SAT (TO)	44	252.073	247.126	4301876
SumColoring/ SumColoring-dsjc-250-5_c18.xml	SAT (TO)	3979	252.073	245.917	4301561
PizzaVoucher/ PizzaVoucher-15a_c18.xml	SAT (TO)	44	252.074	248.123	4301759
QuadraticAssignment/ QuadraticAssignment-sko42_c18.xml	SAT (TO)	9220	252.074	247.024	4301606
NurseRostering/ NurseRostering-06_c18.xml	SAT (TO)	4456	252.074	243.416	4301297
LowAutocorrelation/ LowAutocorrelation-050_c18.xml	SAT (TO)	433	252.074	245.915	4301870
Auction/Auction-cnt/ Auction-cnt-decay500_c18.xml	SAT (TO)	2474766	252.075	246.914	4301459
StillLife/ StillLife-wastage-11_c18.xml	SAT (TO)	56	252.075	247.813	4301210
QuadraticAssignment/ QuadraticAssignment-esc32d_c18.xml	SAT (TO)	104	252.075	246.813	4301630
PizzaVoucher/ PizzaVoucher-12b_c18.xml	SAT (TO)	42	252.076	249.021	4301756
LowAutocorrelation/ LowAutocorrelation-021_c18.xml	SAT (TO)	34	252.076	246.814	4301855
Auction/Auction-cnt/ Auction-cnt-decay200_c18.xml	SAT (TO)	1190035	252.077	246.713	4301450
QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml	SAT (TO)	13374	252.077	245.515	4301621
TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml	SAT (TO)	17126	252.078	240.128	4302062
Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml	SAT (TO)	24	252.078	243.124	4301537
Rlfap/Rlfap-opt/ Rlfap-graph-07-opt_c18.xml	SAT (TO)	14479	252.078	243.82	4301486
Bacp/Bacp-m2/ Bacp-m2-08a_c18.xml	SAT (TO)	17	252.079	247.714	4302185
PseudoBoolean-opt/ Pb-garden-15x15_c18.xml	SAT (TO)	63	252.081	247.915	4301357
TravellingSalesman/ TravellingSalesman-40-30-00_c18.xml	SAT (TO)	199	252.082	247.613	4302122
Knapsack/ Knapsack-90-400-00_c18.xml	SAT (TO)	1366	252.083	247.414	4302020
QuadraticAssignment/ QuadraticAssignment-had12_c18.xml	SAT (TO)	845	252.083	248.712	4301588
PseudoBoolean-opt/ Pb-garden-100x100_c18.xml	SAT (TO)	2864	252.083	246.04	4301372
NurseRostering/ NurseRostering-02_c18.xml	SAT (TO)	1527	252.083	246.81	4301300
SumColoring/ SumColoring-dsjc-250-9_c18.xml	SAT (TO)	15018	252.084	244.319	4301549
PeacableArmies/ PeacableArmies-m2-50_c18.xml	SAT (TO)	6	252.084	240.725	4301975
StillLife/ StillLife-wastage-19_c18.xml	SAT (TO)	152	252.085	245.914	4301216
LowAutocorrelation/ LowAutocorrelation-022_c18.xml	SAT (TO)	39	252.085	247.816	4301873
Auction/Auction-sum/ Auction-sum-decay300_c18.xml	SAT (TO)	1658038	252.085	245.715	4301438
PseudoBoolean-opt/ Pb-radar-30-70-45-050-100_c18.xml	SAT (TO)	586	252.088	245.533	4301360
NurseRostering/ NurseRostering-10_c18.xml	SAT (TO)	11310	252.088	242.137	4301270
SumColoring/ SumColoring-myciel5_c18.xml	SAT (TO)	51	252.089	249.032	4301570
Knapsack/ Knapsack-90-400-01_c18.xml	SAT (TO)	1501	252.089	247.215	4302035
Bacp/Bacp-m2/ Bacp-m2-10a_c18.xml	SAT (TO)	14	252.089	248.813	4302194
GolombRuler/ GolombRuler-a3v18-11_c18.xml	SAT (TO)	78	252.09	247.913	4301813
StillLife/ StillLife-wastage-10_c18.xml	SAT (TO)	53	252.09	247.812	4301213
PizzaVoucher/ PizzaVoucher-15b_c18.xml	SAT (TO)	45	252.09	247.912	4301762
NurseRostering/ NurseRostering-08_c18.xml	SAT (TO)	10030	252.09	242.126	4301288
Tal/ Tal-06_c18.xml	SAT (TO)	114	252.091	245.715	4301327
NurseRostering/ NurseRostering-09_c18.xml	SAT (TO)	2850	252.092	241.418	4301264
SumColoring/ SumColoring-1-fullins-5_c18.xml	SAT (TO)	241	252.092	247.913	4301573
Bacp/Bacp-m1/ Bacp-m1-08a_c18.xml	SAT (TO)	17	252.093	248.212	4302233
LowAutocorrelation/ LowAutocorrelation-028_c18.xml	SAT (TO)	94	252.093	247.415	4301885
Tal/ Tal-05_c18.xml	SAT (TO)	16	252.094	246.126	4301321
Bacp/Bacp-m2/ Bacp-m2-08b_c18.xml	SAT (TO)	17	252.095	248.032	4302215
Auction/Auction-sum/ Auction-sum-matching040_c18.xml	SAT (TO)	8382363	252.096	247.315	4301429
Bacp/Bacp-m1/ Bacp-m1-12a_c18.xml	SAT (TO)	17	252.097	248.214	4302242
GraphColoring/ GraphColoring-qg-order60_c18.xml	SAT (TO)	59	252.101	241.924	4301387
PeacableArmies/ PeacableArmies-m1-50_c18.xml	SAT (TO)	63	252.101	238.138	4301978
LowAutocorrelation/ LowAutocorrelation-023_c18.xml	SAT (TO)	51	252.103	247.514	4301891
Auction/Auction-cnt/ Auction-cnt-decay400_c18.xml	SAT (TO)	2091019	252.103	245.615	4301456
TravellingSalesman/ TravellingSalesman-75-50-00_c18.xml	SAT (TO)	408	252.103	246.613	4302113
LowAutocorrelation/ LowAutocorrelation-035_c18.xml	SAT (TO)	137	252.105	246.321	4301852
QuadraticAssignment/ QuadraticAssignment-sko56_c18.xml	SAT (TO)	19417	252.107	246.317	4301594
Bacp/Bacp-m1/ Bacp-m1-12a-nodv_c18.xml	SAT (TO)	17	252.107	248.034	4302230
Auction/Auction-sum/ Auction-sum-decay400_c18.xml	SAT (TO)	2178480	252.107	247.314	4301432
GolombRuler/ GolombRuler-a3v18-15_c18.xml	SAT (TO)	200	252.108	247.624	4301831
Auction/Auction-sum/ Auction-sum-matching080_c18.xml	SAT (TO)	29379027	252.108	247.225	4301414
StillLife/ StillLife-wastage-12_c18.xml	SAT (TO)	70	252.109	247.414	4301243
TravellingSalesman/ TravellingSalesman-20-30-00_c18.xml	SAT (TO)	104	252.109	247.512	4302131
GraphColoring/ GraphColoring-qg-order40_c18.xml	SAT (TO)	39	252.109	244.516	4301384
TravellingSalesman/ TravellingSalesman-50-30-00_c18.xml	SAT (TO)	210	252.11	247.512	4302128
GolombRuler/ GolombRuler-a3v18-nodv-11_c18.xml	SAT (TO)	78	252.11	247.713	4301846
StillLife/ StillLife-wastage-30_c18.xml	SAT (TO)	367	252.11	245.715	4301207
LowAutocorrelation/ LowAutocorrelation-030_c18.xml	SAT (TO)	115	252.111	247.024	4301882
StillLife/ StillLife-wastage-21_c18.xml	SAT (TO)	171	252.111	247.123	4301234
QuadraticAssignment/ QuadraticAssignment-had20_c18.xml	SAT (TO)	3628	252.111	248.12	4301591
Tal/ Tal-09_c18.xml	SAT (TO)	158	252.111	245.816	4301333
Knapsack/ Knapsack-70-300-01_c18.xml	SAT (TO)	1406	252.112	245.916	4302038
SumColoring/ SumColoring-dsjc-250-1_c18.xml	SAT (TO)	925	252.112	247.813	4301564
LowAutocorrelation/ LowAutocorrelation-020_c18.xml	SAT (TO)	26	252.112	247.315	4301888
Rlfap/Rlfap-opt/ Rlfap-scen-10-opt_c18.xml	SAT (TO)	158233	252.113	240.717	4301513
Tal/ Tal-07_c18.xml	SAT (TO)	210	252.113	245.417	4301312
NurseRostering/ NurseRostering-04_c18.xml	SAT (TO)	2428	252.114	245.926	4301249
GraphColoring/ GraphColoring-2-fullins-5_c18.xml	SAT (TO)	6	252.114	246.116	4301405
PseudoBoolean-opt/ Pb-garden-9x9_c18.xml	SAT (TO)	22	252.114	247.519	4301363
NurseRostering/ NurseRostering-05_c18.xml	SAT (TO)	3032	252.115	244.125	4301255
TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml	SAT (TO)	21058	252.115	237.519	4302071
TravelingTournament/ TravelingTournament-a3-galaxy08_c18.xml	SAT (TO)	3019	252.115	244.024	4302065
TravelingTournament/ TravelingTournament-a3-galaxy06_c18.xml	SAT (TO)	1464	252.115	246.711	4302074
Bacp/Bacp-m2/ Bacp-m2-07a_c18.xml	SAT (TO)	12	252.116	248.314	4302206
StillLife/ StillLife-wastage-14_c18.xml	SAT (TO)	88	252.116	246.515	4301240
Bacp/Bacp-m2/ Bacp-m2-10a-nodv_c18.xml	SAT (TO)	14	252.116	248.713	4302218
Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml	SAT (TO)	29741	252.117	244.915	4301519
TravelingTournament/ TravelingTournament-a2-galaxy10_c18.xml	SAT (TO)	6382	252.117	241.417	4302059
Knapsack/ Knapsack-70-300-00_c18.xml	SAT (TO)	1318	252.117	248.123	4302032
TravellingSalesman/ TravellingSalesman-150-50-00_c18.xml	SAT (TO)	608	252.118	245.218	4302125
TravelingTournament/ TravelingTournament-a2-galaxy12_c18.xml	SAT (TO)	10912	252.118	242.515	4302092
PeacableArmies/ PeacableArmies-m1-30_c18.xml	SAT (TO)	43	252.119	242.721	4301948
GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml	SAT (TO)	59	252.12	247.713	4301816
TravelingTournament/ TravelingTournament-a3-galaxy10_c18.xml	SAT (TO)	5686	252.12	241.715	4302068
Bacp/Bacp-m1/ Bacp-m1-08b_c18.xml	SAT (TO)	17	252.122	248.414	4302245
Rcpsp/ Rcpsp-j120-01-04_c18.xml	SAT (TO)	98	252.124	244.819	4301927
QuadraticAssignment/ QuadraticAssignment-esc32a_c18.xml	SAT (TO)	69	252.125	245.124	4301609
Knapsack/ Knapsack-60-250-00_c18.xml	SAT (TO)	1332	252.125	247.616	4302017
TravellingSalesman/ TravellingSalesman-30-30-00_c18.xml	SAT (TO)	134	252.126	248.022	4302116
GraphColoring/ GraphColoring-3-fullins-5_c18.xml	SAT (TO)	7	252.133	245.341	4301390
GraphColoring/ GraphColoring-qg-order30_c18.xml	SAT (TO)	29	252.156	246.239	4301408
TravelingTournament/ TravelingTournament-a3-galaxy12_c18.xml	SAT (TO)	9651	252.179	242.238	4302095

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml	?	62.3968	25.1442	4301732
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml	?	201.326	172.107	4301708
CrosswordDesign/ CrosswordDesign-07-4-rom_c18.xml	?	203.221	146.096	4301714
CrosswordDesign/ CrosswordDesign-08-4-rom_c18.xml	?	225.113	186.401	4301699

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PizzaVoucher/ PizzaVoucher-22a_c18.xml	? (TO)	252.029	248.413	4301744
SteelMillSlab/ SteelMillSlab-m1-2-0_c18.xml	? (TO)	252.035	244.928	4302164
NurseRostering/ NurseRostering-16_c18.xml	? (TO)	252.036	242.817	4301261
SteelMillSlab/ SteelMillSlab-m2s-3-2_c18.xml	? (TO)	252.037	243.717	4302173
SteelMillSlab/ SteelMillSlab-m2s-3-0_c18.xml	? (TO)	252.038	243.617	4302176
Tal/ Tal-10_c18.xml	? (TO)	252.042	244.818	4301318
SteelMillSlab/ SteelMillSlab-m1-2-2_c18.xml	? (TO)	252.045	245.027	4302155
TemplateDesign/ TemplateDesign-m1-magazine_c18.xml	? (TO)	252.052	242.126	4301804
SteelMillSlab/ SteelMillSlab-m2s-2-0_c18.xml	? (TO)	252.052	243.918	4302179
SteelMillSlab/ SteelMillSlab-m2-2-2_c18.xml	? (TO)	252.055	242.917	4302152
NurseRostering/ NurseRostering-14_c18.xml	? (TO)	252.06	243.418	4301258
TemplateDesign/ TemplateDesign-m1-herbs_c18.xml	? (TO)	252.065	245.416	4301780
SteelMillSlab/ SteelMillSlab-m2-3-0_c18.xml	? (TO)	252.068	243.319	4302158
SteelMillSlab/ SteelMillSlab-m2-2-0_c18.xml	? (TO)	252.07	243.318	4302143
QuadraticAssignment/ QuadraticAssignment-sko64_c18.xml	? (TO)	252.073	245.32	4301618
NurseRostering/ NurseRostering-19_c18.xml	? (TO)	252.074	239.918	4301246
PizzaVoucher/ PizzaVoucher-22b_c18.xml	? (TO)	252.077	248.315	4301753
Fapp/Fapp-m2s/ Fapp-m2s-08-0700_c18.xml	? (TO)	252.077	217.242	4301681
CrosswordDesign/ CrosswordDesign-09-4-rom_c18.xml	? (TO)	252.081	234.665	4301702
NurseRostering/ NurseRostering-13_c18.xml	? (TO)	252.086	234.619	4301294
QuadraticAssignment/ QuadraticAssignment-sko72_c18.xml	? (TO)	252.086	242.03	4301600
Fapp/Fapp-m2s/ Fapp-m2s-05-0350_c18.xml	? (TO)	252.091	232.76	4301678
Rlfap/Rlfap-opt/ Rlfap-graph-13-opt_c18.xml	? (TO)	252.092	241.518	4301501
SteelMillSlab/ SteelMillSlab-m2-4-0_c18.xml	? (TO)	252.093	243.316	4302170
TemplateDesign/ TemplateDesign-m2-magazine_c18.xml	? (TO)	252.095	246.432	4301768
Fapp/Fapp-m2s/ Fapp-m2s-test02-0250_c18.xml	? (TO)	252.095	241.134	4301669
SteelMillSlab/ SteelMillSlab-m2s-2-2_c18.xml	? (TO)	252.096	244.019	4302167
NurseRostering/ NurseRostering-15_c18.xml	? (TO)	252.097	243.027	4301273
SteelMillSlab/ SteelMillSlab-m2s-4-0_c18.xml	? (TO)	252.102	244.417	4302182
Fapp/Fapp-m2s/ Fapp-m2s-04-0300_c18.xml	? (TO)	252.103	235.837	4301651
Fapp/Fapp-m2s/ Fapp-m2s-test03-0400_c18.xml	? (TO)	252.105	232.63	4301672
SteelMillSlab/ SteelMillSlab-m2-3-2_c18.xml	? (TO)	252.106	243.026	4302137
Rlfap/Rlfap-opt/ Rlfap-scen-08-opt_c18.xml	? (TO)	252.106	242.819	4301474
NurseRostering/ NurseRostering-11_c18.xml	? (TO)	252.107	241.816	4301285
SteelMillSlab/ SteelMillSlab-m1-4-0_c18.xml	? (TO)	252.108	245.419	4302146
Rlfap/Rlfap-opt/ Rlfap-scen-01-opt_c18.xml	? (TO)	252.108	242.532	4301477
QuadraticAssignment/ QuadraticAssignment-sko81_c18.xml	? (TO)	252.111	239.431	4301642
Rlfap/Rlfap-opt/ Rlfap-graph-11-opt_c18.xml	? (TO)	252.113	243.018	4301534
Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml	? (TO)	252.115	243.72	4301516
TemplateDesign/ TemplateDesign-m1s-magazine_c18.xml	? (TO)	252.116	240.419	4301777
Rlfap/Rlfap-opt/ Rlfap-scen-11-opt_c18.xml	? (TO)	252.119	244.513	4301483
NurseRostering/ NurseRostering-20_c18.xml	? (TO)	252.12	235.23	4301252
NurseRostering/ NurseRostering-17_c18.xml	? (TO)	252.121	242.028	4301291
NurseRostering/ NurseRostering-18_c18.xml	? (TO)	252.121	241.616	4301282
Tal/ Tal-08_c18.xml	? (TO)	252.123	245.617	4301315
GraphColoring/ GraphColoring-qg-order100_c18.xml	? (TO)	252.124	230.927	4301378
QuadraticAssignment/ QuadraticAssignment-sko90_c18.xml	? (TO)	252.125	236.531	4301612
Fapp/Fapp-m2s/ Fapp-m2s-02-0250_c18.xml	? (TO)	252.127	238.728	4301660
Fapp/Fapp-m2s/ Fapp-m2s-07-0600_c18.xml	? (TO)	252.127	197.743	4301657
Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml	? (TO)	252.128	243.323	4301540
SteelMillSlab/ SteelMillSlab-m1-3-0_c18.xml	? (TO)	252.129	245.628	4302134
Fapp/Fapp-m2s/ Fapp-m2s-06-0500_c18.xml	? (TO)	252.137	227.637	4301666
Fapp/Fapp-m2s/ Fapp-m2s-03-0300_c18.xml	? (TO)	252.148	235.048	4301663
SteelMillSlab/ SteelMillSlab-m1-3-2_c18.xml	? (TO)	252.174	244.749	4302161
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml	? (TO)	252.184	229.919	4301711
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml	? (TO)	252.185	227.699	4301720
NurseRostering/ NurseRostering-12_c18.xml	? (TO)	252.19	238.345	4301306
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml	? (TO)	252.193	225.584	4301726
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml	? (TO)	252.203	233.804	4301735
Rlfap/Rlfap-opt/ Rlfap-scen-07-opt_c18.xml	? (TO)	253.622	244.93	4301507

2018 XCSP3 competition: fast COP track: benchmarks results per solver

Result page for solver Choco-solver 4.0.7b seq (e747e1e) (complete)

Category "optimization problem" (COP)

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

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

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

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