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

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
Auction/Auction-sum/ Auction-sum-example_c18.xml	OPT	54	0.554484	0.549311	4301421
Auction/Auction-cnt/ Auction-cnt-example_c18.xml	OPT	54	0.57811	0.555005	4301445
PseudoBoolean-opt/ Pb-garden-4x4_c18.xml	OPT	4	0.614996	0.569734	4301343
SumColoring/ SumColoring-myciel3_c18.xml	OPT	10	1.21397	0.728041	4301568
PeacableArmies/ PeacableArmies-m2-05_c18.xml	OPT	4	1.79706	0.963455	4301973
PeacableArmies/ PeacableArmies-m1-05_c18.xml	OPT	4	2.10689	1.15441	4301967
Bacp/Bacp-m1/ Bacp-m1-05_c18.xml	OPT	9	2.33439	1.28703	4302249
SteelMillSlab/ SteelMillSlab-m1-simple_c18.xml	OPT	0	2.55095	1.32466	4302141
LowAutocorrelation/ LowAutocorrelation-015_c18.xml	OPT	15	2.69361	1.47268	4301880
SteelMillSlab/ SteelMillSlab-m2-simple_c18.xml	OPT	0	2.83526	1.51039	4302150
Bacp/Bacp-m2/ Bacp-m2-05_c18.xml	OPT	9	2.85959	1.76099	4302213
GraphColoring/ GraphColoring-queen5-5_c18.xml	OPT	4	3.08022	1.58842	4301394
PizzaVoucher/ PizzaVoucher-10a_c18.xml	OPT	210	4.09579	2.49254	4301742
PseudoBoolean-opt/ Pb-circ4-3_c18.xml	OPT	20	4.68499	2.75353	4301367
NurseRostering/ NurseRostering-00_c18.xml	OPT	1202	5.06117	2.99191	4301304
NurseRostering/ NurseRostering-01_c18.xml	OPT	607	5.87177	3.34973	4301268
PizzaVoucher/ PizzaVoucher-12a_c18.xml	OPT	40	7.25647	5.23312	4301766
PizzaVoucher/ PizzaVoucher-10b_c18.xml	OPT	28	9.32603	7.49076	4301751
Bacp/Bacp-m1/ Bacp-m1-06_c18.xml	OPT	10	9.51376	7.20689	4302255
PizzaVoucher/ PizzaVoucher-12b_c18.xml	OPT	40	9.81484	7.89998	4301757
TravelingTournament/ TravelingTournament-a2-galaxy04_c18.xml	OPT	517	11.2348	8.23958	4302057
GolombRuler/ GolombRuler-a3v18-07_c18.xml	OPT	25	13.2064	10.6838	4301829
TravelingTournament/ TravelingTournament-a3-galaxy04_c18.xml	OPT	416	15.3906	12.0146	4302078
Bacp/Bacp-m2/ Bacp-m2-06_c18.xml	OPT	10	16.914	14.1426	4302198
PeacableArmies/ PeacableArmies-m2-07_c18.xml	OPT	7	30.6477	28.5882	4301982
LowAutocorrelation/ LowAutocorrelation-020_c18.xml	OPT	26	33.5177	31.9386	4301889
Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml	OPT	792	38.66	30.3275	4301481
PseudoBoolean-opt/ Pb-garden-7x7_c18.xml	OPT	12	41.6823	39.8447	4301355
Rcpsp/ Rcpsp-j30-01-03_c18.xml	OPT	47	44.2693	35.6307	4301910
Rcpsp/ Rcpsp-j30-01-01_c18.xml	OPT	43	50.3681	41.6625	4301895
GolombRuler/ GolombRuler-a3v18-08_c18.xml	OPT	34	58.3453	55.6661	4301838
LowAutocorrelation/ LowAutocorrelation-021_c18.xml	OPT	26	59.2092	57.131	4301856
Rcpsp/ Rcpsp-j30-01-02_c18.xml	OPT	47	66.9205	55.7427	4301907
TemplateDesign/ TemplateDesign-m1-1_c18.xml	OPT	2	72.7463	49.0588	4301784
TemplateDesign/ TemplateDesign-m1s-1_c18.xml	OPT	2	78.0465	54.9621	4301793
Knapsack/ Knapsack-30-100-01_c18.xml	OPT	871	88.8327	86.2032	4302015
Knapsack/ Knapsack-30-100-00_c18.xml	OPT	709	110.733	107.842	4302054
LowAutocorrelation/ LowAutocorrelation-022_c18.xml	OPT	39	151.521	149.132	4301874
QuadraticAssignment/ QuadraticAssignment-esc16d_c18.xml	OPT	8	157.52	152.826	4301637
Tal/ Tal-01_c18.xml	OPT	6	202.584	197.432	4301325
Rcpsp/ Rcpsp-j30-01-04_c18.xml	OPT	62	205.407	192.665	4301898

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
Bacp/Bacp-m2/ Bacp-m2-08b_c18.xml	SAT (TO)	17	252.049	248.528	4302216
LowAutocorrelation/ LowAutocorrelation-050_c18.xml	SAT (TO)	401	252.062	247.339	4301871
PizzaVoucher/ PizzaVoucher-15b_c18.xml	SAT (TO)	42	252.063	247.919	4301763
PizzaVoucher/ PizzaVoucher-22a_c18.xml	SAT (TO)	61	252.067	247.618	4301745
LowAutocorrelation/ LowAutocorrelation-028_c18.xml	SAT (TO)	70	252.07	248.726	4301886
GolombRuler/ GolombRuler-a3v18-11_c18.xml	SAT (TO)	95	252.071	245.82	4301814
Bacp/Bacp-m1/ Bacp-m1-10b_c18.xml	SAT (TO)	14	252.072	248.817	4302237
QuadraticAssignment/ QuadraticAssignment-qap_c18.xml	SAT (TO)	5201	252.072	247.627	4301640
Fapp/Fapp-m2s/ Fapp-m2s-ex1_c18.xml	SAT (TO)	1127	252.073	244.623	4301649
LowAutocorrelation/ LowAutocorrelation-030_c18.xml	SAT (TO)	83	252.074	248.914	4301883
Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml	SAT (TO)	31154	252.076	246.43	4301520
Bacp/Bacp-m2/ Bacp-m2-12a-nodv_c18.xml	SAT (TO)	23	252.077	247.728	4302201
Bacp/Bacp-m2/ Bacp-m2-07a_c18.xml	SAT (TO)	12	252.079	248.928	4302207
QuadraticAssignment/ QuadraticAssignment-had14_c18.xml	SAT (TO)	1477	252.08	246.818	4301628
Bacp/Bacp-m1/ Bacp-m1-08a_c18.xml	SAT (TO)	17	252.081	249.128	4302234
TravellingSalesman/ TravellingSalesman-10-20-00_c18.xml	SAT (TO)	47	252.082	249.025	4302120
PeacableArmies/ PeacableArmies-m2-15_c18.xml	SAT (TO)	26	252.083	247.03	4301943
Auction/Auction-cnt/ Auction-cnt-decay400_c18.xml	SAT (TO)	769415	252.083	246.134	4301457
LowAutocorrelation/ LowAutocorrelation-025_c18.xml	SAT (TO)	36	252.083	249.525	4301877
LowAutocorrelation/ LowAutocorrelation-027_c18.xml	SAT (TO)	65	252.084	249.333	4301859
GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml	SAT (TO)	64	252.088	247.42	4301817
Auction/Auction-cnt/ Auction-cnt-matching080_c18.xml	SAT (TO)	24823333	252.089	245.343	4301466
Bacp/Bacp-m2/ Bacp-m2-10a-nodv_c18.xml	SAT (TO)	14	252.092	248.427	4302219
Auction/Auction-cnt/ Auction-cnt-decay200_c18.xml	SAT (TO)	361678	252.093	246.434	4301451
GraphColoring/ GraphColoring-5-fullins-3_c18.xml	SAT (TO)	126	252.094	223.239	4301382
Rlfap/Rlfap-opt/ Rlfap-scen-06-opt_c18.xml	SAT (TO)	19782	252.095	244.031	4301532
Bacp/Bacp-m1/ Bacp-m1-10a_c18.xml	SAT (TO)	14	252.096	248.528	4302228
Bacp/Bacp-m2/ Bacp-m2-10b_c18.xml	SAT (TO)	14	252.097	248.417	4302189
PizzaVoucher/ PizzaVoucher-18b_c18.xml	SAT (TO)	49	252.098	247.817	4301748
Auction/Auction-sum/ Auction-sum-matching080_c18.xml	SAT (TO)	19633438	252.098	246.922	4301415
Auction/Auction-sum/ Auction-sum-decay300_c18.xml	SAT (TO)	578422	252.099	247.431	4301439
Fapp/Fapp-m2s/ Fapp-m2s-ex2_c18.xml	SAT (TO)	21587	252.105	241.344	4301694
PizzaVoucher/ PizzaVoucher-22b_c18.xml	SAT (TO)	55	252.107	247.018	4301754
GolombRuler/ GolombRuler-a3v18-09_c18.xml	SAT (TO)	44	252.108	247.918	4301850
Rlfap/Rlfap-opt/ Rlfap-scen-10-opt_c18.xml	SAT (TO)	31727	252.11	234.641	4301514
TravellingSalesman/ TravellingSalesman-25-30-00_c18.xml	SAT (TO)	284	252.113	245.337	4302105
Bacp/Bacp-m1/ Bacp-m1-07a_c18.xml	SAT (TO)	12	252.113	249.114	4302240
PseudoBoolean-opt/ Pb-circ6-3_c18.xml	SAT (TO)	70	252.113	246.928	4301340
PseudoBoolean-opt/ Pb-radar-30-30-45-050-100_c18.xml	SAT (TO)	50	252.114	246.243	4301370
LowAutocorrelation/ LowAutocorrelation-040_c18.xml	SAT (TO)	204	252.115	248.337	4301862
LowAutocorrelation/ LowAutocorrelation-035_c18.xml	SAT (TO)	137	252.115	248.517	4301853
Bacp/Bacp-m1/ Bacp-m1-07b_c18.xml	SAT (TO)	13	252.116	249.233	4302252
Bacp/Bacp-m1/ Bacp-m1-10a-nodv_c18.xml	SAT (TO)	14	252.117	248.628	4302225
QuadraticAssignment/ QuadraticAssignment-had12_c18.xml	SAT (TO)	882	252.117	247.238	4301589
Knapsack/ Knapsack-40-150-00_c18.xml	SAT (TO)	897	252.119	247.916	4302045
NurseRostering/ NurseRostering-02_c18.xml	SAT (TO)	1062	252.126	247.118	4301301
Auction/Auction-cnt/ Auction-cnt-matching040_c18.xml	SAT (TO)	8923883	252.126	245.933	4301469
Auction/Auction-sum/ Auction-sum-decay500_c18.xml	SAT (TO)	1170840	252.126	246.723	4301436
Bacp/Bacp-m2/ Bacp-m2-10a_c18.xml	SAT (TO)	14	252.128	248.227	4302195
NurseRostering/ NurseRostering-03_c18.xml	SAT (TO)	1661	252.129	246.027	4301277
LowAutocorrelation/ LowAutocorrelation-023_c18.xml	SAT (TO)	47	252.129	249.624	4301892
PseudoBoolean-opt/ Pb-radar-30-70-45-050-100_c18.xml	SAT (TO)	158	252.13	244.644	4301361
GolombRuler/ GolombRuler-a3v18-12_c18.xml	SAT (TO)	124	252.13	243.82	4301841
TravellingSalesman/ TravellingSalesman-15-30-00_c18.xml	SAT (TO)	143	252.132	247.428	4302102
Bacp/Bacp-m2/ Bacp-m2-12a_c18.xml	SAT (TO)	23	252.133	247.338	4302192
Auction/Auction-cnt/ Auction-cnt-decay300_c18.xml	SAT (TO)	648100	252.134	246.132	4301442
QuadraticAssignment/ QuadraticAssignment-esc16a_c18.xml	SAT (TO)	38	252.135	246.831	4301634
LowAutocorrelation/ LowAutocorrelation-024_c18.xml	SAT (TO)	36	252.137	249.926	4301868
Bacp/Bacp-m2/ Bacp-m2-08a_c18.xml	SAT (TO)	17	252.137	248.528	4302186
PseudoBoolean-opt/ Pb-circ8-3_c18.xml	SAT (TO)	186	252.138	242.923	4301352
NurseRostering/ NurseRostering-07_c18.xml	SAT (TO)	8644	252.138	246.228	4301280
Rlfap/Rlfap-opt/ Rlfap-graph-11-opt_c18.xml	SAT (TO)	101994	252.138	239.844	4301535
Knapsack/ Knapsack-50-200-00_c18.xml	SAT (TO)	842	252.139	249.614	4302030
SumColoring/ SumColoring-myciel4_c18.xml	SAT (TO)	23	252.142	249.236	4301583
PeacableArmies/ PeacableArmies-m2-30_c18.xml	SAT (TO)	46	252.142	242.524	4301970
Rlfap/Rlfap-opt/ Rlfap-graph-12-opt_c18.xml	SAT (TO)	21762	252.145	240.84	4301493
Auction/Auction-sum/ Auction-sum-decay400_c18.xml	SAT (TO)	699850	252.145	248.227	4301433
PeacableArmies/ PeacableArmies-m2-20_c18.xml	SAT (TO)	34	252.145	241.931	4301955
NurseRostering/ NurseRostering-05_c18.xml	SAT (TO)	4256	252.148	246.43	4301256
Bacp/Bacp-m1/ Bacp-m1-08b_c18.xml	SAT (TO)	17	252.148	249.018	4302246
PeacableArmies/ PeacableArmies-m2-10_c18.xml	SAT (TO)	14	252.149	249.225	4301958
TravellingSalesman/ TravellingSalesman-20-30-00_c18.xml	SAT (TO)	203	252.15	246.03	4302132
LowAutocorrelation/ LowAutocorrelation-026_c18.xml	SAT (TO)	45	252.15	249.525	4301865
TravellingSalesman/ TravellingSalesman-35-30-00_c18.xml	SAT (TO)	430	252.15	242.339	4302111
Rlfap/Rlfap-opt/ Rlfap-scen-08-opt_c18.xml	SAT (TO)	2538	252.152	234.978	4301475
QuadraticAssignment/ QuadraticAssignment-esc32d_c18.xml	SAT (TO)	151	252.153	235.938	4301631
Rcpsp/ Rcpsp-j60-01-02_c18.xml	SAT (TO)	343	252.153	178.558	4301934
NurseRostering/ NurseRostering-06_c18.xml	SAT (TO)	7863	252.156	246.43	4301298
Rlfap/Rlfap-opt/ Rlfap-graph-07-opt_c18.xml	SAT (TO)	25976	252.156	242.736	4301487
Rlfap/Rlfap-opt/ Rlfap-scen-07-opt_c18.xml	SAT (TO)	29026880	252.16	241.834	4301508
QuadraticAssignment/ QuadraticAssignment-had16_c18.xml	SAT (TO)	2035	252.162	245.228	4301616
TravelingTournament/ TravelingTournament-a2-galaxy06_c18.xml	SAT (TO)	1707	252.164	247.019	4302087
TravellingSalesman/ TravellingSalesman-30-30-00_c18.xml	SAT (TO)	354	252.164	242.826	4302117
Rlfap/Rlfap-opt/ Rlfap-graph-03-opt_c18.xml	SAT (TO)	778	252.165	245.328	4301505
TravelingTournament/ TravelingTournament-a3-galaxy06_c18.xml	SAT (TO)	1540	252.165	246.229	4302075
Rcpsp/ Rcpsp-j60-01-03_c18.xml	SAT (TO)	309	252.165	170.373	4301919
Knapsack/ Knapsack-40-150-01_c18.xml	SAT (TO)	1110	252.167	248.524	4302042
Rcpsp/ Rcpsp-j60-01-04_c18.xml	SAT (TO)	322	252.172	174.558	4301937
Rlfap/Rlfap-opt/ Rlfap-graph-13-opt_c18.xml	SAT (TO)	135769	252.173	236.668	4301502
GolombRuler/ GolombRuler-a3v18-nodv-11_c18.xml	SAT (TO)	95	252.173	246.52	4301847
Auction/Auction-cnt/ Auction-cnt-decay500_c18.xml	SAT (TO)	818177	252.175	246.343	4301460
QuadraticAssignment/ QuadraticAssignment-had18_c18.xml	SAT (TO)	2915	252.178	243.624	4301598
Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml	SAT (TO)	19049	252.18	237.35	4301472
GolombRuler/ GolombRuler-a3v18-10_c18.xml	SAT (TO)	64	252.183	247.229	4301835
GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml	SAT (TO)	44	252.185	247.818	4301844
Rlfap/Rlfap-opt/ Rlfap-graph-01-opt_c18.xml	SAT (TO)	44	252.204	206.847	4301499
TravellingSalesman/ TravellingSalesman-40-30-00_c18.xml	SAT (TO)	529	252.212	237.924	4302123
Rlfap/Rlfap-opt/ Rlfap-graph-04-opt_c18.xml	SAT (TO)	792	252.212	241.241	4301496
TravellingSalesman/ TravellingSalesman-45-30-00_c18.xml	SAT (TO)	520	252.215	235.936	4302099
PeacableArmies/ PeacableArmies-m1-07_c18.xml	SAT (TO)	7	252.215	249.015	4301952
QuadraticAssignment/ QuadraticAssignment-esc32a_c18.xml	SAT (TO)	196	252.221	241.245	4301610
SumColoring/ SumColoring-myciel5_c18.xml	SAT (TO)	71	252.23	247.927	4301571
PseudoBoolean-opt/ Pb-garden-100x100_c18.xml	SAT (TO)	3475	252.234	243.052	4301373
Rlfap/Rlfap-opt/ Rlfap-scen-02-opt_c18.xml	SAT (TO)	38	252.238	197.635	4301511
Bacp/Bacp-m2/ Bacp-m2-07b_c18.xml	SAT (TO)	13	252.244	249.06	4302210
SumColoring/ SumColoring-dsjc-125-1_c18.xml	SAT (TO)	247	252.26	237.625	4301553
NurseRostering/ NurseRostering-04_c18.xml	SAT (TO)	2583	252.266	246.369	4301250
PseudoBoolean-opt/ Pb-garden-9x9_c18.xml	SAT (TO)	23	252.283	250.938	4301364
PseudoBoolean-opt/ Pb-radar-10-10-45-050-100_c18.xml	SAT (TO)	13	252.293	249.261	4301349
Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml	SAT (TO)	792	252.298	237.134	4301544
SumColoring/ SumColoring-1-fullins-4_c18.xml	SAT (TO)	139	252.3	242.25	4301559
SumColoring/ SumColoring-myciel6_c18.xml	SAT (TO)	160	252.316	240.638	4301586
PseudoBoolean-opt/ Pb-garden-15x15_c18.xml	SAT (TO)	78	252.344	250.348	4301358
SumColoring/ SumColoring-dsjc-125-5_c18.xml	SAT (TO)	1337	252.355	149.17	4301577
SumColoring/ SumColoring-1-fullins-3_c18.xml	SAT (TO)	27	252.355	249.052	4301556
PizzaVoucher/ PizzaVoucher-15a_c18.xml	SAT (TO)	42	252.384	248.497	4301760
PizzaVoucher/ PizzaVoucher-18a_c18.xml	SAT (TO)	49	252.503	248.127	4301739
Rlfap/Rlfap-opt/ Rlfap-graph-06-opt_c18.xml	SAT (TO)	49463	252.504	242.729	4301490
QuadraticAssignment/ QuadraticAssignment-had20_c18.xml	SAT (TO)	3811	255.393	244.425	4301592

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PeacableArmies/ PeacableArmies-m1-50_c18.xml	?		46.5317	29.3573	4301979

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Knapsack/ Knapsack-50-200-01_c18.xml	? (TO)	252.037	250.418	4302024
Knapsack/ Knapsack-60-250-01_c18.xml	? (TO)	252.042	250.817	4302027
PeacableArmies/ PeacableArmies-m1-10_c18.xml	? (TO)	252.05	248.728	4301961
Auction/Auction-sum/ Auction-sum-decay200_c18.xml	? (TO)	252.052	248.242	4301418
Bacp/Bacp-m1/ Bacp-m1-12a-nodv_c18.xml	? (TO)	252.053	248.924	4302231
Knapsack/ Knapsack-90-400-01_c18.xml	? (TO)	252.068	250.226	4302036
TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml	? (TO)	252.068	177.748	4302063
Knapsack/ Knapsack-60-250-00_c18.xml	? (TO)	252.071	250.226	4302018
PeacableArmies/ PeacableArmies-m1-15_c18.xml	? (TO)	252.072	246.029	4301964
CrosswordDesign/ CrosswordDesign-03-4-rom_c18.xml	? (TO)	252.075	228.733	4301718
TravellingSalesman/ TravellingSalesman-50-30-00_c18.xml	? (TO)	252.076	226.638	4302129
TravelingTournament/ TravelingTournament-a3-galaxy12_c18.xml	? (TO)	252.077	221.843	4302096
TravelingTournament/ TravelingTournament-a2-galaxy08_c18.xml	? (TO)	252.078	244.344	4302090
TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml	? (TO)	252.079	194.848	4302084
GolombRuler/ GolombRuler-a3v18-14_c18.xml	? (TO)	252.083	239.434	4301823
StillLife/ StillLife-wastage-08_c18.xml	? (TO)	252.083	242.029	4301238
Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml	? (TO)	252.088	247.931	4302204
QuadraticAssignment/ QuadraticAssignment-esc64a_c18.xml	? (TO)	252.089	181.839	4301604
TravelingTournament/ TravelingTournament-a3-galaxy08_c18.xml	? (TO)	252.089	244.743	4302066
Auction/Auction-sum/ Auction-sum-decay100_c18.xml	? (TO)	252.089	246.342	4301412
Bacp/Bacp-m1/ Bacp-m1-12a_c18.xml	? (TO)	252.091	248.827	4302243
GolombRuler/ GolombRuler-a3v18-13_c18.xml	? (TO)	252.092	239.532	4301826
Knapsack/ Knapsack-70-300-01_c18.xml	? (TO)	252.093	250.516	4302039
StillLife/ StillLife-wastage-10_c18.xml	? (TO)	252.093	234.834	4301214
Knapsack/ Knapsack-70-300-00_c18.xml	? (TO)	252.096	250.126	4302033
TravelingTournament/ TravelingTournament-a2-galaxy12_c18.xml	? (TO)	252.097	222.643	4302093
Knapsack/ Knapsack-90-400-00_c18.xml	? (TO)	252.098	250.326	4302021
StillLife/ StillLife-wastage-13_c18.xml	? (TO)	252.101	221.739	4301232
GolombRuler/ GolombRuler-a3v18-15_c18.xml	? (TO)	252.104	235.137	4301832
StillLife/ StillLife-wastage-11_c18.xml	? (TO)	252.106	233.833	4301211
Tal/ Tal-06_c18.xml	? (TO)	252.109	229.946	4301328
Tal/ Tal-08_c18.xml	? (TO)	252.109	216.35	4301316
Tal/ Tal-05_c18.xml	? (TO)	252.11	236.636	4301322
TravelingTournament/ TravelingTournament-a2-galaxy16_c18.xml	? (TO)	252.111	219.542	4302081
Knapsack/ Knapsack-80-350-00_c18.xml	? (TO)	252.112	250.225	4302048
TravelingTournament/ TravelingTournament-a2-galaxy10_c18.xml	? (TO)	252.113	239.64	4302060
PeacableArmies/ PeacableArmies-m1-20_c18.xml	? (TO)	252.114	242.549	4301946
Tal/ Tal-09_c18.xml	? (TO)	252.114	216.642	4301334
NurseRostering/ NurseRostering-18_c18.xml	? (TO)	252.116	240.662	4301283
Auction/Auction-sum/ Auction-sum-matching040_c18.xml	? (TO)	252.125	248.631	4301430
NurseRostering/ NurseRostering-11_c18.xml	? (TO)	252.126	241.964	4301286
Bacp/Bacp-m1/ Bacp-m1-12b_c18.xml	? (TO)	252.128	248.13	4302222
StillLife/ StillLife-wastage-17_c18.xml	? (TO)	252.134	158.857	4301223
SteelMillSlab/ SteelMillSlab-m2s-2-2_c18.xml	? (TO)	252.135	109.108	4302168
NurseRostering/ NurseRostering-09_c18.xml	? (TO)	252.136	243.064	4301265
Tal/ Tal-04_c18.xml	? (TO)	252.141	238.444	4301310
Tal/ Tal-02_c18.xml	? (TO)	252.141	244.635	4301337
TravelingTournament/ TravelingTournament-a3-galaxy10_c18.xml	? (TO)	252.146	240.248	4302069
Tal/ Tal-03_c18.xml	? (TO)	252.147	241.541	4301331
Tal/ Tal-07_c18.xml	? (TO)	252.149	225.043	4301313
StillLife/ StillLife-wastage-09_c18.xml	? (TO)	252.151	235.247	4301229
NurseRostering/ NurseRostering-08_c18.xml	? (TO)	252.153	244.367	4301289
GolombRuler/ GolombRuler-a3v18-16_c18.xml	? (TO)	252.154	202.94	4301820
PseudoBoolean-opt/ Pb-circ10-3_c18.xml	? (TO)	252.155	237.55	4301346
TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml	? (TO)	252.158	220.148	4302072
StillLife/ StillLife-wastage-15_c18.xml	? (TO)	252.165	196.553	4301220
NurseRostering/ NurseRostering-14_c18.xml	? (TO)	252.167	242.761	4301259
StillLife/ StillLife-wastage-12_c18.xml	? (TO)	252.17	230.945	4301244
NurseRostering/ NurseRostering-16_c18.xml	? (TO)	252.172	242.554	4301262
Auction/Auction-cnt/ Auction-cnt-decay100_c18.xml	? (TO)	252.175	247.839	4301448
NurseRostering/ NurseRostering-10_c18.xml	? (TO)	252.178	242.274	4301271
NurseRostering/ NurseRostering-19_c18.xml	? (TO)	252.181	226.96	4301247
StillLife/ StillLife-wastage-14_c18.xml	? (TO)	252.191	219.438	4301241
SteelMillSlab/ SteelMillSlab-m2s-3-0_c18.xml	? (TO)	252.193	118.419	4302177
NurseRostering/ NurseRostering-15_c18.xml	? (TO)	252.194	237.762	4301274
SteelMillSlab/ SteelMillSlab-m2s-4-0_c18.xml	? (TO)	252.199	131.744	4302183
NurseRostering/ NurseRostering-17_c18.xml	? (TO)	252.208	238.963	4301292
SteelMillSlab/ SteelMillSlab-m2s-3-2_c18.xml	? (TO)	252.209	119.815	4302174
PeacableArmies/ PeacableArmies-m2-50_c18.xml	? (TO)	252.21	225.763	4301976
SteelMillSlab/ SteelMillSlab-m2s-2-0_c18.xml	? (TO)	252.254	112.712	4302180
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml	? (TO)	252.27	186.746	4301736
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml	? (TO)	252.271	174.664	4301712
PeacableArmies/ PeacableArmies-m1-30_c18.xml	? (TO)	252.275	238.135	4301949
Mario/ Mario-n-medium-4_c18.xml	? (TO)	252.29	136.041	4302009
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml	? (TO)	252.292	170.946	4301721
CrosswordDesign/ CrosswordDesign-08-4-rom_c18.xml	? (TO)	252.298	227.147	4301700
Mario/ Mario-n-medium-3_c18.xml	? (TO)	252.31	137.147	4302012
CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml	? (TO)	252.342	152.375	4301733
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml	? (TO)	252.342	198.456	4301709
CrosswordDesign/ CrosswordDesign-07-4-rom_c18.xml	? (TO)	252.345	235.746	4301715
Knapsack/ Knapsack-80-350-01_c18.xml	? (TO)	252.359	250.515	4302051
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml	? (TO)	252.386	157.969	4301727
CrosswordDesign/ CrosswordDesign-09-4-rom_c18.xml	? (TO)	252.393	209.851	4301703
Mario/ Mario-easy-2_c18.xml	? (TO)	252.426	139.469	4301985
PseudoBoolean-opt/ Pb-radar-10-20-45-050-100_c18.xml	? (TO)	252.434	248.367	4301376
QuadraticAssignment/ QuadraticAssignment-sko72_c18.xml	? (TO)	252.488	105.824	4301601
Mario/ Mario-n-medium-5_c18.xml	? (TO)	252.551	140.148	4302006
Mario/ Mario-easy-5_c18.xml	? (TO)	252.579	138.072	4302003
SumColoring/ SumColoring-dsjc-250-5_c18.xml	? (TO)	252.674	86.5989	4301562
GraphColoring/ GraphColoring-4-fullins-5_c18.xml	? (TO)	252.736	119.154	4301400
Mario/ Mario-n-medium-2_c18.xml	? (TO)	253.05	141.781	4301994
NurseRostering/ NurseRostering-12_c18.xml	? (TO)	253.473	233.828	4301307
QuadraticAssignment/ QuadraticAssignment-sko81_c18.xml	? (TO)	253.746	108.686	4301643
CrosswordDesign/ CrosswordDesign-04-4-rom_c18.xml	? (TO)	253.949	141.134	4301706
QuadraticAssignment/ QuadraticAssignment-esc128_c18.xml	? (TO)	253.973	102.529	4301625
Tal/ Tal-10_c18.xml	? (TO)	254.002	180.111	4301319
GraphColoring/ GraphColoring-qg-order100_c18.xml	? (TO)	254.991	103.348	4301379
CrosswordDesign/ CrosswordDesign-05-4-rom_c18.xml	? (TO)	255.438	189.472	4301724
SumColoring/ SumColoring-dsjc-125-9_c18.xml	? (TO)	255.477	86.2467	4301580
Mario/ Mario-easy-4_c18.xml	? (TO)	256.163	137.039	4301991
Rcpsp/ Rcpsp-j60-01-01_c18.xml	? (TO)	257.141	163.451	4301901
SteelMillSlab/ SteelMillSlab-m2-3-0_c18.xml	? (TO)	257.506	82.8003	4302159
Fapp/Fapp-m2s/ Fapp-m2s-test03-0400_c18.xml	? (TO)	257.7	95.4743	4301673
Fapp/Fapp-m2s/ Fapp-m2s-16-0260_c18.xml	? (TO)	257.856	92.9625	4301655
Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml	? (TO)	258.024	87.0769	4301541
Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml	? (TO)	258.49	91.7501	4301526
Rlfap/Rlfap-opt/ Rlfap-scen-01-opt_c18.xml	? (TO)	259.158	87.5402	4301478
SteelMillSlab/ SteelMillSlab-m2-4-0_c18.xml	? (TO)	259.182	84.2308	4302171
NurseRostering/ NurseRostering-20_c18.xml	? (TO)	259.411	88.6841	4301253
TemplateDesign/ TemplateDesign-m2-1_c18.xml	? (TO)	259.546	83.6524	4301802
Rcpsp/ Rcpsp-j120-01-02_c18.xml	? (TO)	259.797	86.5489	4301913
Rcpsp/ Rcpsp-j120-01-03_c18.xml	? (TO)	259.834	87.4423	4301931
Fapp/Fapp-m2s/ Fapp-m2s-01-0200_c18.xml	? (TO)	259.842	99.9682	4301685
Rcpsp/ Rcpsp-j120-01-01_c18.xml	? (TO)	259.854	87.1562	4301916
Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml	? (TO)	259.859	86.9633	4301538
TemplateDesign/ TemplateDesign-m1-herbs_c18.xml	? (TO)	259.87	84.3579	4301781
SumColoring/ SumColoring-dsjc-250-1_c18.xml	? (TO)	259.877	88.0487	4301565
SteelMillSlab/ SteelMillSlab-m2-2-0_c18.xml	? (TO)	259.895	83.6939	4302144
Rcpsp/ Rcpsp-j90-01-01_c18.xml	? (TO)	259.906	89.6509	4301904
GraphColoring/ GraphColoring-qg-order30_c18.xml	? (TO)	259.909	92.7895	4301409
TemplateDesign/ TemplateDesign-m2-catfood_c18.xml	? (TO)	259.914	88.442	4301787
QuadraticAssignment/ QuadraticAssignment-sko56_c18.xml	? (TO)	259.938	110.645	4301595
Rcpsp/ Rcpsp-j90-01-02_c18.xml	? (TO)	259.949	89.0632	4301922
SteelMillSlab/ SteelMillSlab-m1-4-0_c18.xml	? (TO)	259.965	83.9457	4302147
SteelMillSlab/ SteelMillSlab-m1-2-0_c18.xml	? (TO)	259.97	84.2505	4302165
Fapp/Fapp-m2s/ Fapp-m2s-05-0350_c18.xml	? (TO)	259.972	93.4753	4301679
QuadraticAssignment/ QuadraticAssignment-sko90_c18.xml	? (TO)	259.977	109.159	4301613
Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml	? (TO)	259.979	92.8939	4301688
QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml	? (TO)	259.98	111.767	4301622
NurseRostering/ NurseRostering-13_c18.xml	? (TO)	259.985	89.1937	4301295
TemplateDesign/ TemplateDesign-m2-2_c18.xml	? (TO)	259.991	89.5514	4301790
SteelMillSlab/ SteelMillSlab-m1-2-2_c18.xml	? (TO)	259.992	82.4552	4302156
Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml	? (TO)	259.996	87.551	4301529
Fapp/Fapp-m2s/ Fapp-m2s-test02-0250_c18.xml	? (TO)	260	92.1845	4301670
Rcpsp/ Rcpsp-j90-01-04_c18.xml	? (TO)	260.014	89.4484	4301940
GraphColoring/ GraphColoring-5-fullins-4_c18.xml	? (TO)	260.019	89.7127	4301403
SumColoring/ SumColoring-dsjc-250-9_c18.xml	? (TO)	260.041	88.6624	4301550
Fapp/Fapp-m2s/ Fapp-m2s-test01-0150_c18.xml	? (TO)	260.046	100.392	4301646
TemplateDesign/ TemplateDesign-m2-herbs_c18.xml	? (TO)	260.051	89.8493	4301799
Fapp/Fapp-m2s/ Fapp-m2s-03-0300_c18.xml	? (TO)	260.052	92.189	4301664
Fapp/Fapp-m2s/ Fapp-m2s-06-0500_c18.xml	? (TO)	260.054	98.8525	4301667
Mario/ Mario-t-hard-1_c18.xml	? (TO)	260.059	88.9506	4301997
Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml	? (TO)	260.06	87.8507	4301523
SumColoring/ SumColoring-myciel7_c18.xml	? (TO)	260.071	87.8592	4301547
TemplateDesign/ TemplateDesign-m1s-catfood_c18.xml	? (TO)	260.082	87.4411	4301796
StillLife/ StillLife-wastage-21_c18.xml	? (TO)	260.085	101.345	4301235
SteelMillSlab/ SteelMillSlab-m2-3-2_c18.xml	? (TO)	260.107	81.8257	4302138
GraphColoring/ GraphColoring-3-fullins-5_c18.xml	? (TO)	260.111	93.4896	4301391
SteelMillSlab/ SteelMillSlab-m1-3-0_c18.xml	? (TO)	260.124	84.551	4302135
TemplateDesign/ TemplateDesign-m2-magazine_c18.xml	? (TO)	260.138	84.7488	4301769
StillLife/ StillLife-wastage-25_c18.xml	? (TO)	260.142	105.655	4301226
Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml	? (TO)	260.142	93.6805	4301691
Rcpsp/ Rcpsp-j90-01-03_c18.xml	? (TO)	260.15	88.9471	4301925
TemplateDesign/ TemplateDesign-m1s-magazine_c18.xml	? (TO)	260.157	84.1125	4301778
StillLife/ StillLife-wastage-19_c18.xml	? (TO)	260.159	102.249	4301217
GraphColoring/ GraphColoring-qg-order60_c18.xml	? (TO)	260.162	118.905	4301388
SteelMillSlab/ SteelMillSlab-m1-3-2_c18.xml	? (TO)	260.163	84.255	4302162
GraphColoring/ GraphColoring-4-fullins-4_c18.xml	? (TO)	260.164	90.4761	4301397
Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml	? (TO)	260.165	94.0991	4301697
Fapp/Fapp-m2s/ Fapp-m2s-17-0300_c18.xml	? (TO)	260.167	89.9852	4301676
CrosswordDesign/ CrosswordDesign-06-4-rom_c18.xml	? (TO)	260.179	228.946	4301730
TravellingSalesman/ TravellingSalesman-75-50-00_c18.xml	? (TO)	260.179	100.945	4302114
SteelMillSlab/ SteelMillSlab-m2-2-2_c18.xml	? (TO)	260.184	83.4161	4302153
TemplateDesign/ TemplateDesign-m1-catfood_c18.xml	? (TO)	260.19	85.5387	4301775
Rcpsp/ Rcpsp-j120-01-04_c18.xml	? (TO)	260.191	84.6394	4301928
TravellingSalesman/ TravellingSalesman-150-50-00_c18.xml	? (TO)	260.193	109.848	4302126
GraphColoring/ GraphColoring-2-fullins-5_c18.xml	? (TO)	260.202	90.2912	4301406
TemplateDesign/ TemplateDesign-m1s-herbs_c18.xml	? (TO)	260.204	84.3601	4301811
Fapp/Fapp-m2s/ Fapp-m2s-04-0300_c18.xml	? (TO)	260.221	94.2127	4301652
TravellingSalesman/ TravellingSalesman-100-50-00_c18.xml	? (TO)	260.223	104.182	4302108
Fapp/Fapp-m2s/ Fapp-m2s-07-0600_c18.xml	? (TO)	260.246	102.666	4301658
TemplateDesign/ TemplateDesign-m1-magazine_c18.xml	? (TO)	260.247	84.3117	4301805
Mario/ Mario-t-hard-2_c18.xml	? (TO)	260.25	89.7603	4301988
QuadraticAssignment/ QuadraticAssignment-sko64_c18.xml	? (TO)	260.256	106.061	4301619
QuadraticAssignment/ QuadraticAssignment-sko42_c18.xml	? (TO)	260.267	108.26	4301607
Fapp/Fapp-m2s/ Fapp-m2s-02-0250_c18.xml	? (TO)	260.268	99.8782	4301661
SumColoring/ SumColoring-1-fullins-5_c18.xml	? (TO)	260.282	88.662	4301574
StillLife/ StillLife-wastage-30_c18.xml	? (TO)	260.286	110.449	4301208
TemplateDesign/ TemplateDesign-m1-2_c18.xml	? (TO)	260.321	86.0666	4301808
Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml	? (TO)	260.321	88.4464	4301517
Rlfap/Rlfap-opt/ Rlfap-scen-11-opt_c18.xml	? (TO)	260.337	88.5616	4301484
Mario/ Mario-t-hard-5_c18.xml	? (TO)	260.343	88.3608	4302000
Fapp/Fapp-m2s/ Fapp-m2s-08-0700_c18.xml	? (TO)	260.35	99.8019	4301682
TemplateDesign/ TemplateDesign-m1s-2_c18.xml	? (TO)	260.352	86.47	4301772
GraphColoring/ GraphColoring-qg-order40_c18.xml	? (TO)	260.352	92.2158	4301385

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

Result page for solver Sat4j-CSP 2018-07-11 (complete)

Category "optimization problem" (COP)

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

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

Solver didn't decide (UNKNOWN) (1 run) [Show/Hide]

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