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	5.95499	3.2387	4302574
Auction/Auction-sum/ Auction-sum-example_c18.xml	OPT	54	6.08237	3.2888	4302585
SumColoring/ SumColoring-myciel3_c18.xml	OPT	10	6.51184	3.41095	4302491
PseudoBoolean-opt/ Pb-garden-4x4_c18.xml	OPT	4	7.10535	3.63975	4302393
TemplateDesign/ TemplateDesign-m1s-1_c18.xml	OPT	2	7.33531	3.78158	4302472
GolombRuler/ GolombRuler-a3v18-07_c18.xml	OPT	25	7.59712	3.67603	4302348
Rcpsp/ Rcpsp-j30-01-02_c18.xml	OPT	47	7.62686	3.72018	4302366
GraphColoring/ GraphColoring-queen5-5_c18.xml	OPT	4	7.63924	3.67703	4302294
Rcpsp/ Rcpsp-j30-01-01_c18.xml	OPT	43	7.68855	3.90271	4302365
Rcpsp/ Rcpsp-j30-01-04_c18.xml	OPT	62	7.73727	3.85237	4302368
TemplateDesign/ TemplateDesign-m1-1_c18.xml	OPT	2	7.80334	3.86957	4302467
Rcpsp/ Rcpsp-j30-01-03_c18.xml	OPT	47	7.98971	3.85634	4302367
Mario/ Mario-easy-2_c18.xml	OPT	628	8.04079	3.92656	4302496
TemplateDesign/ TemplateDesign-m2-1_c18.xml	OPT	2	8.04186	3.94638	4302477
Rcpsp/ Rcpsp-j60-01-01_c18.xml	OPT	77	8.62864	4.09792	4302369
TemplateDesign/ TemplateDesign-m1s-2_c18.xml	OPT	2	8.85078	4.24991	4302473
Rcpsp/ Rcpsp-j60-01-03_c18.xml	OPT	68	8.90707	4.12446	4302371
SteelMillSlab/ SteelMillSlab-m2-simple_c18.xml	OPT	0	9.03807	4.75393	4302456
QuadraticAssignment/ QuadraticAssignment-qap_c18.xml	OPT	4776	9.21073	4.22701	4302411
SteelMillSlab/ SteelMillSlab-m1-simple_c18.xml	OPT	0	9.24962	4.72289	4302445
TemplateDesign/ TemplateDesign-m1-2_c18.xml	OPT	2	9.28777	4.26588	4302468
TemplateDesign/ TemplateDesign-m2-2_c18.xml	OPT	2	9.32707	4.31048	4302478
GolombRuler/ GolombRuler-a3v18-08_c18.xml	OPT	34	9.46553	4.6982	4302349
Bacp/Bacp-m1/ Bacp-m1-05_c18.xml	OPT	9	9.49173	4.48807	4302531
CrosswordDesign/ CrosswordDesign-03-4-rom_c18.xml	OPT	12	9.62826	4.35339	4302295
Rcpsp/ Rcpsp-j60-01-02_c18.xml	OPT	68	9.69653	4.52229	4302370
Tal/ Tal-01_c18.xml	OPT	6	9.79037	4.2928	4302457
Rcpsp/ Rcpsp-j60-01-04_c18.xml	OPT	91	9.99485	4.45421	4302372
Fapp/Fapp-m2s/ Fapp-m2s-ex1_c18.xml	OPT	523	10.0004	4.32442	4302601
Fapp/Fapp-m2s/ Fapp-m2s-ex2_c18.xml	OPT	13871	10.2103	4.49762	4302589
TemplateDesign/ TemplateDesign-m1-catfood_c18.xml	OPT	2	10.3251	4.67904	4302469
TemplateDesign/ TemplateDesign-m1s-catfood_c18.xml	OPT	2	10.4148	4.5155	4302474
Rcpsp/ Rcpsp-j90-01-02_c18.xml	OPT	92	11.0027	4.99616	4302374
Bacp/Bacp-m2/ Bacp-m2-05_c18.xml	OPT	9	11.6359	5.0394	4302536
TravellingSalesman/ TravellingSalesman-10-20-00_c18.xml	OPT	47	12.6567	6.28063	4302337
PizzaVoucher/ PizzaVoucher-10a_c18.xml	OPT	210	12.7286	5.76121	4302377
Knapsack/ Knapsack-30-100-01_c18.xml	OPT	871	12.755	6.75578	4302271
SumColoring/ SumColoring-1-fullins-3_c18.xml	OPT	24	13.2885	6.88367	4302482
Mario/ Mario-easy-4_c18.xml	OPT	545	13.9573	6.71902	4302497
Mario/ Mario-easy-5_c18.xml	OPT	445	13.9973	6.4081	4302498
PeacableArmies/ PeacableArmies-m1-05_c18.xml	OPT	4	14.1753	6.28639	4302308
SumColoring/ SumColoring-myciel4_c18.xml	OPT	22	14.2697	7.16457	4302492
Rcpsp/ Rcpsp-j90-01-03_c18.xml	OPT	66	14.4381	5.95383	4302375
TemplateDesign/ TemplateDesign-m2-catfood_c18.xml	OPT	2	14.4452	7.01945	4302479
CrosswordDesign/ CrosswordDesign-04-4-rom_c18.xml	OPT	24	14.5008	6.65787	4302296
Knapsack/ Knapsack-30-100-00_c18.xml	OPT	709	16.2065	9.21995	4302270
TravelingTournament/ TravelingTournament-a2-galaxy04_c18.xml	OPT	517	16.56	7.47687	4302322
Rcpsp/ Rcpsp-j90-01-01_c18.xml	OPT	73	17.0657	8.33048	4302373
GraphColoring/ GraphColoring-5-fullins-3_c18.xml	OPT	7	17.2807	7.63126	4302288
GolombRuler/ GolombRuler-a3v18-09_c18.xml	OPT	44	17.9377	11.232	4302350
TravelingTournament/ TravelingTournament-a3-galaxy04_c18.xml	OPT	416	19.3072	10.1712	4302329
Tal/ Tal-02_c18.xml	OPT	86	21.2639	9.44616	4302458
Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml	OPT	792	21.7532	8.42784	4302549
PseudoBoolean-opt/ Pb-circ4-3_c18.xml	OPT	20	22.057	11.6438	4302388
Rlfap/Rlfap-opt/ Rlfap-graph-03-opt_c18.xml	OPT	380	24.331	10.8158	4302567
Mario/ Mario-t-hard-5_c18.xml	OPT	4482	26.1716	13.7012	4302505
LowAutocorrelation/ LowAutocorrelation-015_c18.xml	OPT	15	27.2054	17.6612	4302506
Bacp/Bacp-m1/ Bacp-m1-06_c18.xml	OPT	10	29.5174	19.016	4302529
Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml	OPT	46	30.2699	13.5237	4302548
Mario/ Mario-t-hard-1_c18.xml	OPT	4783	30.82	19.1967	4302503
Rlfap/Rlfap-opt/ Rlfap-graph-04-opt_c18.xml	OPT	394	31.7782	17.1613	4302554
TemplateDesign/ TemplateDesign-m2-herbs_c18.xml	OPT	2	34.0098	14.707	4302480
StillLife/ StillLife-wastage-08_c18.xml	OPT	36	42.9773	29.5494	4302257
PeacableArmies/ PeacableArmies-m2-05_c18.xml	OPT	4	44.4837	35.4016	4302315
Bacp/Bacp-m2/ Bacp-m2-06_c18.xml	OPT	10	45.3173	34.6648	4302532
Rcpsp/ Rcpsp-j90-01-04_c18.xml	OPT	86	52.1585	42.2513	4302376
PizzaVoucher/ PizzaVoucher-10b_c18.xml	OPT	28	56.1736	46.9443	4302378
NurseRostering/ NurseRostering-00_c18.xml	OPT	1202	57.6088	46.945	4302419
Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml	OPT	394	58.249	39.8667	4302544
TemplateDesign/ TemplateDesign-m1-herbs_c18.xml	OPT	2	61.0369	41.4852	4302470
Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml	OPT	63832030	61.6851	38.9151	4302596
GolombRuler/ GolombRuler-a3v18-10_c18.xml	OPT	55	74.3205	65.8408	4302351
Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml	OPT	162507055	74.6574	47.1327	4302597
Mario/ Mario-t-hard-2_c18.xml	OPT	4850	82.1721	67.4625	4302504
Fapp/Fapp-m2s/ Fapp-m2s-17-0300_c18.xml	OPT	130971634	82.3593	53.2107	4302605
Knapsack/ Knapsack-40-150-01_c18.xml	OPT	1128	86.6647	71.549	4302273
PizzaVoucher/ PizzaVoucher-12b_c18.xml	OPT	40	86.7938	77.3661	4302380
QuadraticAssignment/ QuadraticAssignment-esc16d_c18.xml	OPT	8	96.4271	86.9856	4302402
Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml	OPT	506362597	98.1423	68.9515	4302602
GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml	OPT	44	110.868	102.43	4302358
GraphColoring/ GraphColoring-4-fullins-4_c18.xml	OPT	7	120.831	104.799	4302286
NurseRostering/ NurseRostering-01_c18.xml	OPT	607	126.136	113.338	4302420
Knapsack/ Knapsack-40-150-00_c18.xml	OPT	932	140.147	125.137	4302272
CrosswordDesign/ CrosswordDesign-05-4-rom_c18.xml	OPT	38	168.369	156.027	4302297
StillLife/ StillLife-wastage-09_c18.xml	OPT	43	230.983	211.367	4302258

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
QuadraticAssignment/ QuadraticAssignment-had12_c18.xml	SAT (TO)	830	252.036	235.636	4302406
Knapsack/ Knapsack-70-300-00_c18.xml	SAT (TO)	1422	252.041	232.836	4302278
TravelingTournament/ TravelingTournament-a2-galaxy12_c18.xml	SAT (TO)	10970	252.05	226.937	4302326
Bacp/Bacp-m1/ Bacp-m1-12b_c18.xml	SAT (TO)	17	252.05	231.747	4302527
TravelingTournament/ TravelingTournament-a2-galaxy10_c18.xml	SAT (TO)	6451	252.052	230.64	4302325
PizzaVoucher/ PizzaVoucher-22b_c18.xml	SAT (TO)	80	252.054	235.537	4302386
PizzaVoucher/ PizzaVoucher-22a_c18.xml	SAT (TO)	63	252.055	237.238	4302385
Mario/ Mario-n-medium-2_c18.xml	SAT (TO)	990	252.056	233.347	4302499
GraphColoring/ GraphColoring-qg-order40_c18.xml	SAT (TO)	1274	252.056	229.053	4302292
QuadraticAssignment/ QuadraticAssignment-sko42_c18.xml	SAT (TO)	9372	252.058	237.637	4302412
QuadraticAssignment/ QuadraticAssignment-esc128_c18.xml	SAT (TO)	38	252.058	237.95	4302400
PizzaVoucher/ PizzaVoucher-15b_c18.xml	SAT (TO)	47	252.06	237.444	4302382
SumColoring/ SumColoring-myciel6_c18.xml	SAT (TO)	112	252.061	233.836	4302494
Bacp/Bacp-m1/ Bacp-m1-07b_c18.xml	SAT (TO)	13	252.063	234.936	4302522
LowAutocorrelation/ LowAutocorrelation-023_c18.xml	SAT (TO)	47	252.063	232.15	4302510
StillLife/ StillLife-wastage-11_c18.xml	SAT (TO)	63	252.064	233.081	4302260
Auction/Auction-sum/ Auction-sum-decay400_c18.xml	SAT (TO)	1795857	252.064	211.161	4302581
Tal/ Tal-07_c18.xml	SAT (TO)	154	252.065	232.44	4302463
Knapsack/ Knapsack-80-350-00_c18.xml	SAT (TO)	1562	252.065	232.935	4302280
TravelingTournament/ TravelingTournament-a3-galaxy06_c18.xml	SAT (TO)	1438	252.066	233.742	4302330
NurseRostering/ NurseRostering-05_c18.xml	SAT (TO)	4183	252.067	228.94	4302424
TravellingSalesman/ TravellingSalesman-100-50-00_c18.xml	SAT (TO)	858	252.067	239.235	4302336
Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml	SAT (TO)	20	252.068	230.343	4302555
PizzaVoucher/ PizzaVoucher-18b_c18.xml	SAT (TO)	51	252.069	238.536	4302384
Rcpsp/ Rcpsp-j120-01-04_c18.xml	SAT (TO)	97	252.069	239.546	4302364
Auction/Auction-sum/ Auction-sum-decay200_c18.xml	SAT (TO)	996057	252.07	208.153	4302583
SumColoring/ SumColoring-1-fullins-4_c18.xml	SAT (TO)	73	252.07	233.737	4302483
PseudoBoolean-opt/ Pb-garden-15x15_c18.xml	SAT (TO)	63	252.071	235.241	4302392
LowAutocorrelation/ LowAutocorrelation-040_c18.xml	SAT (TO)	208	252.072	229.441	4302518
Auction/Auction-cnt/ Auction-cnt-decay300_c18.xml	SAT (TO)	1269671	252.072	226.836	4302575
Rcpsp/ Rcpsp-j120-01-03_c18.xml	SAT (TO)	129	252.072	238.951	4302363
PseudoBoolean-opt/ Pb-radar-10-10-45-050-100_c18.xml	SAT (TO)	14	252.073	231.939	4302396
QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml	SAT (TO)	13541	252.074	238.048	4302413
GolombRuler/ GolombRuler-a3v18-14_c18.xml	SAT (TO)	140	252.075	241.144	4302355
Knapsack/ Knapsack-70-300-01_c18.xml	SAT (TO)	1465	252.076	232.942	4302279
PseudoBoolean-opt/ Pb-garden-9x9_c18.xml	SAT (TO)	21	252.076	236.538	4302395
Bacp/Bacp-m2/ Bacp-m2-12a_c18.xml	SAT (TO)	17	252.077	221.453	4302540
GolombRuler/ GolombRuler-a3v18-15_c18.xml	SAT (TO)	165	252.079	240.738	4302356
Mario/ Mario-n-medium-4_c18.xml	SAT (TO)	832	252.079	231.935	4302501
TravellingSalesman/ TravellingSalesman-75-50-00_c18.xml	SAT (TO)	626	252.08	237.74	4302347
Bacp/Bacp-m2/ Bacp-m2-10b_c18.xml	SAT (TO)	14	252.08	227.151	4302534
NurseRostering/ NurseRostering-04_c18.xml	SAT (TO)	3552	252.08	229.544	4302423
QuadraticAssignment/ QuadraticAssignment-had14_c18.xml	SAT (TO)	1395	252.081	235.842	4302407
Bacp/Bacp-m2/ Bacp-m2-10a_c18.xml	SAT (TO)	14	252.081	227.053	4302541
PseudoBoolean-opt/ Pb-radar-10-20-45-050-100_c18.xml	SAT (TO)	49	252.082	226.937	4302397
TravelingTournament/ TravelingTournament-a2-galaxy06_c18.xml	SAT (TO)	1587	252.084	236.243	4302323
Fapp/Fapp-m2s/ Fapp-m2s-01-0200_c18.xml	SAT (TO)	35806253	252.084	230.345	4302590
Fapp/Fapp-m2s/ Fapp-m2s-test03-0400_c18.xml	SAT (TO)	164044993	252.084	209.561	4302600
GolombRuler/ GolombRuler-a3v18-13_c18.xml	SAT (TO)	117	252.084	240.738	4302354
PizzaVoucher/ PizzaVoucher-18a_c18.xml	SAT (TO)	60	252.085	239.549	4302383
Knapsack/ Knapsack-60-250-01_c18.xml	SAT (TO)	1323	252.086	234.836	4302277
QuadraticAssignment/ QuadraticAssignment-esc32a_c18.xml	SAT (TO)	113	252.087	240.045	4302403
QuadraticAssignment/ QuadraticAssignment-esc64a_c18.xml	SAT (TO)	58	252.088	237.951	4302405
Rlfap/Rlfap-opt/ Rlfap-graph-12-opt_c18.xml	SAT (TO)	138065	252.088	207.649	4302553
LowAutocorrelation/ LowAutocorrelation-020_c18.xml	SAT (TO)	26	252.088	233.345	4302507
TravellingSalesman/ TravellingSalesman-45-30-00_c18.xml	SAT (TO)	247	252.088	239.547	4302345
LowAutocorrelation/ LowAutocorrelation-050_c18.xml	SAT (TO)	377	252.088	227.147	4302519
Bacp/Bacp-m1/ Bacp-m1-12a_c18.xml	SAT (TO)	17	252.088	231.837	4302530
Auction/Auction-cnt/ Auction-cnt-decay100_c18.xml	SAT (TO)	488065	252.09	225.45	4302573
Auction/Auction-cnt/ Auction-cnt-decay200_c18.xml	SAT (TO)	936156	252.09	227.159	4302572
GolombRuler/ GolombRuler-a3v18-12_c18.xml	SAT (TO)	93	252.091	241.347	4302353
Knapsack/ Knapsack-50-200-01_c18.xml	SAT (TO)	1297	252.091	235.338	4302275
Auction/Auction-cnt/ Auction-cnt-matching080_c18.xml	SAT (TO)	32505140	252.091	223.448	4302571
Auction/Auction-sum/ Auction-sum-decay300_c18.xml	SAT (TO)	1504862	252.091	208.154	4302582
Knapsack/ Knapsack-60-250-00_c18.xml	SAT (TO)	1404	252.092	235.436	4302276
StillLife/ StillLife-wastage-15_c18.xml	SAT (TO)	109	252.096	230.841	4302264
GraphColoring/ GraphColoring-qg-order30_c18.xml	SAT (TO)	83	252.096	233.25	4302291
QuadraticAssignment/ QuadraticAssignment-had18_c18.xml	SAT (TO)	2761	252.096	235.946	4302409
GraphColoring/ GraphColoring-5-fullins-4_c18.xml	SAT (TO)	8	252.096	230.844	4302289
Rlfap/Rlfap-opt/ Rlfap-scen-07-opt_c18.xml	SAT (TO)	43544007	252.098	219.547	4302560
NurseRostering/ NurseRostering-03_c18.xml	SAT (TO)	2170	252.099	231.244	4302422
SumColoring/ SumColoring-myciel7_c18.xml	SAT (TO)	530	252.099	236.44	4302495
StillLife/ StillLife-wastage-10_c18.xml	SAT (TO)	54	252.1	232.241	4302259
Auction/Auction-sum/ Auction-sum-decay500_c18.xml	SAT (TO)	2266300	252.101	219.449	4302579
StillLife/ StillLife-wastage-21_c18.xml	SAT (TO)	195	252.101	229.939	4302267
Auction/Auction-sum/ Auction-sum-matching080_c18.xml	SAT (TO)	35918870	252.101	213.451	4302587
Mario/ Mario-n-medium-5_c18.xml	SAT (TO)	771	252.101	232.538	4302502
TravellingSalesman/ TravellingSalesman-35-30-00_c18.xml	SAT (TO)	184	252.102	239.541	4302343
GraphColoring/ GraphColoring-qg-order60_c18.xml	SAT (TO)	3571	252.103	188.56	4302293
LowAutocorrelation/ LowAutocorrelation-025_c18.xml	SAT (TO)	56	252.104	232.24	4302512
Knapsack/ Knapsack-90-400-01_c18.xml	SAT (TO)	1681	252.104	234.638	4302283
GraphColoring/ GraphColoring-3-fullins-5_c18.xml	SAT (TO)	1646	252.104	221.348	4302285
Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml	SAT (TO)	30	252.107	228.842	4302565
TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml	SAT (TO)	15471	252.107	223.641	4302334
LowAutocorrelation/ LowAutocorrelation-030_c18.xml	SAT (TO)	99	252.107	231.439	4302516
Bacp/Bacp-m1/ Bacp-m1-08a_c18.xml	SAT (TO)	17	252.108	233.438	4302528
SumColoring/ SumColoring-1-fullins-5_c18.xml	SAT (TO)	1067	252.109	235.346	4302484
TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml	SAT (TO)	17326	252.11	222.939	4302327
Bacp/Bacp-m2/ Bacp-m2-10a-nodv_c18.xml	SAT (TO)	14	252.111	226.338	4302537
PseudoBoolean-opt/ Pb-radar-30-30-45-050-100_c18.xml	SAT (TO)	179	252.111	179.345	4302398
Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml	SAT (TO)	17	252.111	223.547	4302543
QuadraticAssignment/ QuadraticAssignment-had16_c18.xml	SAT (TO)	1887	252.111	234.342	4302408
QuadraticAssignment/ QuadraticAssignment-sko56_c18.xml	SAT (TO)	19752	252.112	237.948	4302414
LowAutocorrelation/ LowAutocorrelation-035_c18.xml	SAT (TO)	117	252.113	230.24	4302517
Bacp/Bacp-m1/ Bacp-m1-10b_c18.xml	SAT (TO)	14	252.113	233.949	4302523
SumColoring/ SumColoring-dsjc-125-5_c18.xml	SAT (TO)	1412	252.113	236.164	4302486
PseudoBoolean-opt/ Pb-garden-7x7_c18.xml	SAT (TO)	13	252.114	235.537	4302394
TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml	SAT (TO)	22160	252.114	219.646	4302335
Bacp/Bacp-m1/ Bacp-m1-08b_c18.xml	SAT (TO)	17	252.114	234.048	4302526
QuadraticAssignment/ QuadraticAssignment-had20_c18.xml	SAT (TO)	3527	252.115	236.048	4302410
PizzaVoucher/ PizzaVoucher-15a_c18.xml	SAT (TO)	42	252.115	237.945	4302381
TravellingSalesman/ TravellingSalesman-40-30-00_c18.xml	SAT (TO)	221	252.116	238.445	4302344
Bacp/Bacp-m2/ Bacp-m2-07b_c18.xml	SAT (TO)	13	252.116	230.44	4302539
Rlfap/Rlfap-opt/ Rlfap-graph-07-opt_c18.xml	SAT (TO)	67335	252.116	226.453	4302545
Tal/ Tal-05_c18.xml	SAT (TO)	16	252.118	236.241	4302461
PizzaVoucher/ PizzaVoucher-12a_c18.xml	SAT (TO)	40	252.119	238.643	4302379
GolombRuler/ GolombRuler-a3v18-11_c18.xml	SAT (TO)	72	252.12	241.639	4302352
QuadraticAssignment/ QuadraticAssignment-esc16a_c18.xml	SAT (TO)	38	252.12	236.736	4302401
LowAutocorrelation/ LowAutocorrelation-022_c18.xml	SAT (TO)	39	252.121	232.543	4302509
Rlfap/Rlfap-opt/ Rlfap-graph-13-opt_c18.xml	SAT (TO)	159930	252.122	181.763	4302566
StillLife/ StillLife-wastage-25_c18.xml	SAT (TO)	274	252.122	226.552	4302268
Fapp/Fapp-m2s/ Fapp-m2s-04-0300_c18.xml	SAT (TO)	27286280	252.123	217.445	4302593
StillLife/ StillLife-wastage-12_c18.xml	SAT (TO)	74	252.123	231.938	4302261
TravellingSalesman/ TravellingSalesman-25-30-00_c18.xml	SAT (TO)	113	252.123	236.535	4302341
Auction/Auction-cnt/ Auction-cnt-decay400_c18.xml	SAT (TO)	1589386	252.124	226.151	4302576
Bacp/Bacp-m2/ Bacp-m2-08a_c18.xml	SAT (TO)	17	252.124	226.439	4302542
Bacp/Bacp-m2/ Bacp-m2-08b_c18.xml	SAT (TO)	17	252.124	225.443	4302535
PeacableArmies/ PeacableArmies-m1-15_c18.xml	SAT (TO)	22	252.124	219.247	4302311
Bacp/Bacp-m2/ Bacp-m2-07a_c18.xml	SAT (TO)	12	252.125	231.052	4302533
PseudoBoolean-opt/ Pb-circ6-3_c18.xml	SAT (TO)	70	252.126	228.243	4302389
Bacp/Bacp-m1/ Bacp-m1-10a-nodv_c18.xml	SAT (TO)	14	252.126	233.539	4302525
Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml	SAT (TO)	29172	252.126	231.95	4302552
Fapp/Fapp-m2s/ Fapp-m2s-05-0350_c18.xml	SAT (TO)	525597929	252.127	207.48	4302599
SteelMillSlab/ SteelMillSlab-m2s-2-2_c18.xml	SAT (TO)	647	252.127	214.262	4302452
Bacp/Bacp-m1/ Bacp-m1-07a_c18.xml	SAT (TO)	12	252.127	235.163	4302520
TravellingSalesman/ TravellingSalesman-50-30-00_c18.xml	SAT (TO)	259	252.127	240.044	4302346
NurseRostering/ NurseRostering-02_c18.xml	SAT (TO)	1551	252.127	233.738	4302421
StillLife/ StillLife-wastage-13_c18.xml	SAT (TO)	86	252.128	232.046	4302262
Rlfap/Rlfap-opt/ Rlfap-graph-11-opt_c18.xml	SAT (TO)	126767	252.128	208.659	4302561
Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml	SAT (TO)	44	252.128	228.973	4302550
Rcpsp/ Rcpsp-j120-01-02_c18.xml	SAT (TO)	111	252.129	239.936	4302362
QuadraticAssignment/ QuadraticAssignment-esc32d_c18.xml	SAT (TO)	105	252.129	236.345	4302404
CrosswordDesign/ CrosswordDesign-06-4-rom_c18.xml	SAT (TO)	44	252.129	238.763	4302298
TravellingSalesman/ TravellingSalesman-150-50-00_c18.xml	SAT (TO)	1428	252.129	240.519	4302338
GolombRuler/ GolombRuler-a3v18-nodv-11_c18.xml	SAT (TO)	75	252.13	241.838	4302360
TravellingSalesman/ TravellingSalesman-30-30-00_c18.xml	SAT (TO)	142	252.13	235.736	4302342
TravelingTournament/ TravelingTournament-a3-galaxy08_c18.xml	SAT (TO)	2803	252.13	232.148	4302331
TravellingSalesman/ TravellingSalesman-15-30-00_c18.xml	SAT (TO)	93	252.131	236.736	4302339
Tal/ Tal-06_c18.xml	SAT (TO)	94	252.131	234.939	4302462
PeacableArmies/ PeacableArmies-m1-07_c18.xml	SAT (TO)	7	252.132	235.35	4302309
Auction/Auction-cnt/ Auction-cnt-decay500_c18.xml	SAT (TO)	1878485	252.132	226.06	4302578
Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml	SAT (TO)	82209	252.133	200.066	4302546
TravellingSalesman/ TravellingSalesman-20-30-00_c18.xml	SAT (TO)	104	252.133	235.534	4302340
Bacp/Bacp-m1/ Bacp-m1-10a_c18.xml	SAT (TO)	14	252.133	234.162	4302521
Tal/ Tal-09_c18.xml	SAT (TO)	178	252.134	231.641	4302465
LowAutocorrelation/ LowAutocorrelation-024_c18.xml	SAT (TO)	36	252.134	232.052	4302511
LowAutocorrelation/ LowAutocorrelation-027_c18.xml	SAT (TO)	61	252.135	231.839	4302514
SumColoring/ SumColoring-myciel5_c18.xml	SAT (TO)	46	252.136	234.737	4302493
GolombRuler/ GolombRuler-a3v18-16_c18.xml	SAT (TO)	205	252.136	241.243	4302357
TravelingTournament/ TravelingTournament-a3-galaxy12_c18.xml	SAT (TO)	9906	252.137	226.238	4302333
TravelingTournament/ TravelingTournament-a2-galaxy08_c18.xml	SAT (TO)	3275	252.138	232.148	4302324
LowAutocorrelation/ LowAutocorrelation-026_c18.xml	SAT (TO)	61	252.138	232.239	4302513
Knapsack/ Knapsack-90-400-00_c18.xml	SAT (TO)	1551	252.139	232.937	4302282
LowAutocorrelation/ LowAutocorrelation-028_c18.xml	SAT (TO)	82	252.139	232.536	4302515
TravelingTournament/ TravelingTournament-a3-galaxy10_c18.xml	SAT (TO)	5826	252.14	228.944	4302332
CrosswordDesign/ CrosswordDesign-07-4-rom_c18.xml	SAT (TO)	48	252.141	235.583	4302299
Rlfap/Rlfap-opt/ Rlfap-graph-01-opt_c18.xml	SAT (TO)	18	252.141	234.052	4302547
GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml	SAT (TO)	60	252.142	241.741	4302359
SteelMillSlab/ SteelMillSlab-m2s-2-0_c18.xml	SAT (TO)	346	252.143	213.461	4302451
SumColoring/ SumColoring-dsjc-125-1_c18.xml	SAT (TO)	522	252.143	234.158	4302485
Bacp/Bacp-m1/ Bacp-m1-12a-nodv_c18.xml	SAT (TO)	18	252.143	232.24	4302524
StillLife/ StillLife-wastage-19_c18.xml	SAT (TO)	168	252.144	229.738	4302266
StillLife/ StillLife-wastage-17_c18.xml	SAT (TO)	138	252.145	230.737	4302265
LowAutocorrelation/ LowAutocorrelation-021_c18.xml	SAT (TO)	26	252.145	233.44	4302508
Tal/ Tal-03_c18.xml	SAT (TO)	96	252.146	235.048	4302459
Tal/ Tal-04_c18.xml	SAT (TO)	146	252.146	233.844	4302460
Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml	SAT (TO)	16	252.146	230.845	4302551
SumColoring/ SumColoring-dsjc-250-1_c18.xml	SAT (TO)	3308	252.147	236.952	4302488
Knapsack/ Knapsack-80-350-01_c18.xml	SAT (TO)	1668	252.148	232.736	4302281
Mario/ Mario-n-medium-3_c18.xml	SAT (TO)	943	252.148	232.047	4302500
Knapsack/ Knapsack-50-200-00_c18.xml	SAT (TO)	960	252.15	234.538	4302274
Fapp/Fapp-m2s/ Fapp-m2s-test02-0250_c18.xml	SAT (TO)	89722677	252.15	219.558	4302606
SteelMillSlab/ SteelMillSlab-m2s-4-0_c18.xml	SAT (TO)	238	252.15	214.762	4302455
StillLife/ StillLife-wastage-14_c18.xml	SAT (TO)	92	252.151	232.155	4302263
Rcpsp/ Rcpsp-j120-01-01_c18.xml	SAT (TO)	113	252.151	238.936	4302361
SteelMillSlab/ SteelMillSlab-m2s-3-0_c18.xml	SAT (TO)	220	252.151	212.859	4302453
Fapp/Fapp-m2s/ Fapp-m2s-test01-0150_c18.xml	SAT (TO)	18346786	252.152	230.17	4302598
Auction/Auction-cnt/ Auction-cnt-matching040_c18.xml	SAT (TO)	9573738	252.156	225.053	4302577
SteelMillSlab/ SteelMillSlab-m2s-3-2_c18.xml	SAT (TO)	372	252.157	213.172	4302454
TemplateDesign/ TemplateDesign-m1s-herbs_c18.xml	SAT (TO)	2	252.157	225.654	4302475
NurseRostering/ NurseRostering-09_c18.xml	SAT (TO)	6458	252.158	227.453	4302428
GraphColoring/ GraphColoring-2-fullins-5_c18.xml	SAT (TO)	6	252.158	231.85	4302284
Bacp/Bacp-m2/ Bacp-m2-12a-nodv_c18.xml	SAT (TO)	17	252.162	223.344	4302538
Rlfap/Rlfap-opt/ Rlfap-scen-02-opt_c18.xml	SAT (TO)	16	252.162	234.868	4302559
Fapp/Fapp-m2s/ Fapp-m2s-03-0300_c18.xml	SAT (TO)	294996012	252.162	215.881	4302595
Fapp/Fapp-m2s/ Fapp-m2s-02-0250_c18.xml	SAT (TO)	40498464	252.17	220.447	4302591
Fapp/Fapp-m2s/ Fapp-m2s-16-0260_c18.xml	SAT (TO)	375507683	252.179	217.171	4302592
StillLife/ StillLife-wastage-30_c18.xml	SAT (TO)	396	252.181	226.347	4302269
Rlfap/Rlfap-opt/ Rlfap-scen-10-opt_c18.xml	SAT (TO)	2616361	252.185	185.48	4302558
Rlfap/Rlfap-opt/ Rlfap-scen-06-opt_c18.xml	SAT (TO)	37723	252.195	229.354	4302562
Auction/Auction-sum/ Auction-sum-matching040_c18.xml	SAT (TO)	8306093	252.199	214.327	4302586
Rlfap/Rlfap-opt/ Rlfap-graph-06-opt_c18.xml	SAT (TO)	63708	252.202	221.45	4302556
Auction/Auction-sum/ Auction-sum-decay100_c18.xml	SAT (TO)	536082	252.209	202.166	4302584
PeacableArmies/ PeacableArmies-m1-10_c18.xml	SAT (TO)	12	252.219	229.604	4302310
CrosswordDesign/ CrosswordDesign-08-4-rom_c18.xml	SAT (TO)	47	252.303	229.321	4302300
PeacableArmies/ PeacableArmies-m1-20_c18.xml	SAT (TO)	36	254.335	194.893	4302312

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
SteelMillSlab/ SteelMillSlab-m1-4-0_c18.xml	? (TO)	252.068	214.151	4302444
NurseRostering/ NurseRostering-16_c18.xml	? (TO)	252.073	230.238	4302435
SteelMillSlab/ SteelMillSlab-m1-3-2_c18.xml	? (TO)	252.079	208.242	4302443
QuadraticAssignment/ QuadraticAssignment-sko64_c18.xml	? (TO)	252.082	240.041	4302415
PeacableArmies/ PeacableArmies-m2-15_c18.xml	? (TO)	252.083	231.052	4302318
PeacableArmies/ PeacableArmies-m2-07_c18.xml	? (TO)	252.089	240.637	4302316
NurseRostering/ NurseRostering-08_c18.xml	? (TO)	252.089	228.739	4302427
NurseRostering/ NurseRostering-18_c18.xml	? (TO)	252.094	225.94	4302437
NurseRostering/ NurseRostering-10_c18.xml	? (TO)	252.097	227.237	4302429
NurseRostering/ NurseRostering-19_c18.xml	? (TO)	252.101	217.054	4302438
NurseRostering/ NurseRostering-07_c18.xml	? (TO)	252.105	229.337	4302426
NurseRostering/ NurseRostering-17_c18.xml	? (TO)	252.106	227.15	4302436
PseudoBoolean-opt/ Pb-circ8-3_c18.xml	? (TO)	252.106	212.065	4302390
NurseRostering/ NurseRostering-14_c18.xml	? (TO)	252.108	228.149	4302433
Tal/ Tal-08_c18.xml	? (TO)	252.112	234.742	4302464
NurseRostering/ NurseRostering-15_c18.xml	? (TO)	252.117	225.051	4302434
SteelMillSlab/ SteelMillSlab-m2-2-2_c18.xml	? (TO)	252.118	214.544	4302447
SteelMillSlab/ SteelMillSlab-m2-4-0_c18.xml	? (TO)	252.118	218.744	4302450
SteelMillSlab/ SteelMillSlab-m1-2-0_c18.xml	? (TO)	252.118	212.062	4302440
NurseRostering/ NurseRostering-11_c18.xml	? (TO)	252.121	227.442	4302430
NurseRostering/ NurseRostering-06_c18.xml	? (TO)	252.129	230.153	4302425
PeacableArmies/ PeacableArmies-m2-10_c18.xml	? (TO)	252.131	237.149	4302317
SteelMillSlab/ SteelMillSlab-m2-2-0_c18.xml	? (TO)	252.132	218.643	4302446
TravelingTournament/ TravelingTournament-a2-galaxy16_c18.xml	? (TO)	252.132	223.446	4302328
TemplateDesign/ TemplateDesign-m1-magazine_c18.xml	? (TO)	252.138	220.847	4302471
TemplateDesign/ TemplateDesign-m1s-magazine_c18.xml	? (TO)	252.141	219.245	4302476
NurseRostering/ NurseRostering-12_c18.xml	? (TO)	252.142	222.24	4302431
QuadraticAssignment/ QuadraticAssignment-sko72_c18.xml	? (TO)	252.144	238.39	4302416
Tal/ Tal-10_c18.xml	? (TO)	252.149	232.539	4302466
PeacableArmies/ PeacableArmies-m2-20_c18.xml	? (TO)	252.151	227.352	4302319
TemplateDesign/ TemplateDesign-m2-magazine_c18.xml	? (TO)	252.151	219.754	4302481
NurseRostering/ NurseRostering-20_c18.xml	? (TO)	252.155	170.559	4302439
SteelMillSlab/ SteelMillSlab-m1-3-0_c18.xml	? (TO)	252.156	211.482	4302442
Rlfap/Rlfap-opt/ Rlfap-scen-08-opt_c18.xml	? (TO)	252.158	166.454	4302557
NurseRostering/ NurseRostering-13_c18.xml	? (TO)	252.159	209.566	4302432
SteelMillSlab/ SteelMillSlab-m1-2-2_c18.xml	? (TO)	252.159	214.202	4302441
SteelMillSlab/ SteelMillSlab-m2-3-0_c18.xml	? (TO)	252.171	217.645	4302448
Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml	? (TO)	252.173	230.735	4302568
Rlfap/Rlfap-opt/ Rlfap-scen-11-opt_c18.xml	? (TO)	252.179	230.028	4302564
SteelMillSlab/ SteelMillSlab-m2-3-2_c18.xml	? (TO)	252.18	216.615	4302449
Rlfap/Rlfap-opt/ Rlfap-scen-01-opt_c18.xml	? (TO)	252.243	229.236	4302563
QuadraticAssignment/ QuadraticAssignment-sko81_c18.xml	? (TO)	252.474	239.684	4302417
QuadraticAssignment/ QuadraticAssignment-sko90_c18.xml	? (TO)	252.481	194.294	4302418
CrosswordDesign/ CrosswordDesign-09-4-rom_c18.xml	? (TO)	253.159	205.625	4302301
Fapp/Fapp-m2s/ Fapp-m2s-08-0700_c18.xml	? (TO)	253.597	136.059	4302594
PeacableArmies/ PeacableArmies-m2-30_c18.xml	? (TO)	254.063	234.528	4302320
PseudoBoolean-opt/ Pb-circ10-3_c18.xml	? (TO)	254.081	220.535	4302387
SumColoring/ SumColoring-dsjc-250-5_c18.xml	? (TO)	254.096	240.829	4302489
PeacableArmies/ PeacableArmies-m2-50_c18.xml	? (TO)	254.133	235.627	4302321
PeacableArmies/ PeacableArmies-m1-30_c18.xml	? (TO)	254.151	224.528	4302313
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml	? (TO)	254.168	184.941	4302303
SumColoring/ SumColoring-dsjc-250-9_c18.xml	? (TO)	254.186	238.033	4302490
SumColoring/ SumColoring-dsjc-125-9_c18.xml	? (TO)	254.199	243.226	4302487
GraphColoring/ GraphColoring-4-fullins-5_c18.xml	? (TO)	254.21	200.15	4302287
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml	? (TO)	254.575	155.948	4302304
PeacableArmies/ PeacableArmies-m1-50_c18.xml	? (TO)	254.765	160.334	4302314
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml	? (TO)	254.962	140.149	4302305
Fapp/Fapp-m2s/ Fapp-m2s-06-0500_c18.xml	? (TO)	255.835	149.133	4302604
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml	? (TO)	255.941	193.635	4302302
CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml	? (TO)	257.063	149.446	4302307
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml	? (TO)	258.744	139.452	4302306
GraphColoring/ GraphColoring-qg-order100_c18.xml	? (TO)	259.061	212.835	4302290
Fapp/Fapp-m2s/ Fapp-m2s-07-0600_c18.xml	? (TO)	260.064	158.834	4302603
PseudoBoolean-opt/ Pb-garden-100x100_c18.xml	? (TO)	260.177	102.879	4302391
PseudoBoolean-opt/ Pb-radar-30-70-45-050-100_c18.xml	? (TO)	260.356	98.8479	4302399

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

Result page for solver Concrete 3.9.2 (complete)

Category "optimization problem" (COP)

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

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

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