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
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b1r5.xml	UNSAT		6.54717	6.54852	4395661
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-4-30-2.xml	UNSAT		464.545	464.605	4395493

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P211-Q347.xml	OPT	211	0.150566	0.154661	4395452
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P347-Q487.xml	OPT	347	0.167197	0.167453	4395442
PseudoBoolean/PseudoBoolean-opt-bgr/ Pb-bgr-04.xml	OPT	6	0.405644	0.406005	4395462
Opd/Opd-sum-small/ Opd-11-011-005.xml	OPT	2	1.31481	1.3201	4395520
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-5.xml	OPT	34	4.19757	4.19791	4395466
Ramsey/Ramsey-int-s1/ Ramsey-int-13.xml	OPT	2	4.3286	4.3289	4395566
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-05-07.xml	OPT	2	4.48513	4.48576	4395480
StillLife/StillLife-m1-s1/ StillLife-03-14.xml	OPT	22	4.867	4.86759	4395454
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	OPT	3	4.89685	4.89784	4395653
StillLife/StillLife-m1-s1/ StillLife-04-09.xml	OPT	20	6.48135	6.4861	4395443
GraphColoring/GraphColoring-m1-mono/ GraphColoring-david.xml	OPT	10	8.65397	8.65419	4395471
Opd/Opd-sum-small/ Opd-10-015-006.xml	OPT	2	9.64315	9.6443	4395514
Opd/Opd-sum-small/ Opd-09-024-008.xml	OPT	2	12.5636	12.5648	4395576
Tpp/Tpp-zinc-s1/ Tpp-4-3-20-1.xml	OPT	126	12.6325	12.6334	4395579
StillLife/StillLife-m1-s1/ StillLife-05-09.xml	OPT	26	13.7107	13.7176	4395465
Opd/Opd-sum-large/ Opd-03-350-100.xml	OPT	0	13.8456	13.8472	4395571
StillLife/StillLife-m1-s1/ StillLife-05-12.xml	OPT	34	14.9253	14.9288	4395564
Tpp/Tpp-zinc-s1/ Tpp-6-3-30-1.xml	OPT	164	15.2357	15.2366	4395551
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbp-15-15-1.xml	OPT	4	15.6429	15.6429	4395508
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbp-15-15-1.xml	OPT	4	15.712	15.7125	4395515
PizzaVoucher/ PizzaVoucher-12a_c18.xml	OPT	40	15.7717	15.7707	4395538
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-09-09.xml	OPT	2	15.9423	15.9493	4395552
StillLife/StillLife-m1-s1/ StillLife-04-14.xml	OPT	30	16.9225	16.9298	4395542
Ramsey/Ramsey-m1-s1/ Ramsey-13.xml	OPT	2	17.2106	17.2118	4395499
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-018.xml	OPT	25	17.2911	17.2927	4395470
StillLife/StillLife-wst-s1/ StillLife-wastage-10.xml	OPT	54	18.4594	18.4607	4395483
StillLife/StillLife-m1-s1/ StillLife-05-11.xml	OPT	32	18.8202	18.8266	4395547
Tpp/Tpp-zinc-s1/ Tpp-6-5-20-1.xml	OPT	102	19.2769	19.2801	4395513
GraphColoring/GraphColoring-m1-mono/ GraphColoring-myciel5.xml	OPT	5	19.3894	19.3888	4395522
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-08-10.xml	OPT	2	19.5112	19.5168	4395660
Tpp/Tpp-zinc-s1/ Tpp-3-5-30-1.xml	OPT	171	19.6245	19.6323	4395561
Tpp/Tpp-zinc-s1/ Tpp-7-3-20-1.xml	OPT	125	20.609	20.6155	4395506
Fastfood/Fastfood-m1-s1/ Fastfood-ff82.xml	OPT	7	22.3209	22.322	4395453
StillLife/StillLife-m1-s1/ StillLife-04-15.xml	OPT	32	22.5937	22.6032	4395531
PeacableArmies/ PeacableArmies-m2-07_c18.xml	OPT	7	22.6603	22.6647	4395588
PeacableArmies/ PeacableArmies-m1-07_c18.xml	OPT	7	22.666	22.6728	4395563
Opd/Opd-sum-small/ Opd-10-032-009.xml	OPT	2	22.8083	22.8104	4395482
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml	OPT	4	23.113	23.1257	4395516
Tpp/Tpp-zinc-s1/ Tpp-6-3-20-1.xml	OPT	131	23.2928	23.2972	4395585
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05c.xml	OPT	4	23.9771	23.9751	4395524
Opd/Opd-sum-small/ Opd-15-015-004.xml	OPT	1	24.1671	24.1721	4395528
Tpp/Tpp-zinc-s1/ Tpp-5-3-20-1.xml	OPT	141	24.4591	24.4618	4395582
Tpp/Tpp-zinc-s1/ Tpp-4-5-30-1.xml	OPT	140	24.6692	24.6705	4395545
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash608GPIA.xml	OPT	3	25.5247	25.5283	4395449
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-4.xml	OPT	326	26.2049	26.2113	4395526
Tpp/Tpp-zinc-s1/ Tpp-4-5-20-1.xml	OPT	115	26.6856	26.6883	4395490
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-10-20-1.xml	OPT	5	26.9384	26.9412	4395640
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-jnh210.xml	OPT	88	27.1097	27.1172	4395456
Tpp/Tpp-zinc-s1/ Tpp-7-3-30-1.xml	OPT	147	27.2267	27.2296	4395589
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-8.xml	OPT	353	27.4421	27.4442	4395525
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-10-20-1.xml	OPT	5	27.9208	27.9328	4395644
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-0.xml	OPT	300	28.1231	28.1301	4395546
StillLife/StillLife-m1-s1/ StillLife-05-14.xml	OPT	40	28.2352	28.2392	4395604
Ramsey/Ramsey-m1-s1/ Ramsey-14.xml	OPT	2	28.291	28.2906	4395569
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-1.xml	OPT	262	28.3402	28.3374	4395468
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	OPT	5	29.3066	29.3126	4395624
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	OPT	458	29.4515	29.4577	4395605
GraphColoring/GraphColoring-m1-mono/ GraphColoring-will199GPIA.xml	OPT	6	29.4887	29.4949	4395450
StillLife/StillLife-m1-s1/ StillLife-05-15.xml	OPT	43	29.6202	29.6232	4395603
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-6.xml	OPT	303	29.7154	29.7143	4395494
Tpp/Tpp-zinc-s1/ Tpp-5-5-30-1.xml	OPT	165	29.8242	29.8307	4395556
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	30.3054	30.3077	4395523
Opd/Opd-sum-small/ Opd-10-038-010.xml	OPT	2	30.5017	30.5095	4395557
Opd/Opd-sum-small/ Opd-10-030-009.xml	OPT	2	31.379	31.3814	4395646
StillLife/StillLife-m1-s1/ StillLife-07-10.xml	OPT	39	31.4095	31.4207	4395600
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-5.xml	OPT	312	31.7673	31.7749	4395504
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-021.xml	OPT	26	31.7785	31.7806	4395517
StillLife/StillLife-m1-s1/ StillLife-08-09.xml	OPT	40	32.0099	32.0124	4395599
GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml	OPT	12	32.278	32.2886	4395521
Opd/Opd-sum-small/ Opd-10-031-009.xml	OPT	2	32.5499	32.5516	4395645
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-3.xml	OPT	310	32.8706	32.881	4395507
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-019.xml	OPT	29	33.8619	33.8677	4395553
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	OPT	326	36.6984	36.7084	4395543
StillLife/StillLife-m1-s1/ StillLife-06-11.xml	OPT	34	38.7624	38.7654	4395602
StillLife/StillLife-m1-s1/ StillLife-06-12.xml	OPT	38	41.4225	41.4288	4395601
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16e.xml	OPT	14	42.052	42.0597	4395448
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbo-30-15-1.xml	OPT	7	42.7017	42.7057	4395455
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-12.xml	OPT	105	42.8643	42.8638	4395596
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-30-15-1.xml	OPT	7	43.0664	43.0731	4395469
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-30-1.xml	OPT	3	44.1146	44.1176	4395643
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4k.xml	OPT	3	44.4639	44.4719	4395664
Tpp/Tpp-zinc-s1/ Tpp-6-5-30-1.xml	OPT	132	46.7308	46.7365	4395590
Tpp/Tpp-zinc-s1/ Tpp-7-5-30-1.xml	OPT	124	47.2427	47.2499	4395565
Opd/Opd-sum-small/ Opd-10-037-014.xml	OPT	5	47.8277	47.8388	4395527
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-wbop-30-15-1.xml	OPT	10	49.6794	49.6884	4395558
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-15-1.xml	OPT	10	50.3839	50.3831	4395534
Opd/Opd-sum-large/ Opd-15-035-010.xml	OPT	3	51.9868	51.986	4395533
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-18-3-6-8.xml	OPT	32	52.431	52.4361	4395500
Tpp/Tpp-zinc-s1/ Tpp-7-5-20-1.xml	OPT	105	53.4601	53.4627	4395539
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-par16-3.xml	OPT	1015	53.822	53.8251	4395475
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-14.xml	OPT	91	53.9952	53.9985	4395595
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbop-30-30-1.xml	OPT	3	54.2285	54.2308	4395639
Opd/Opd-sum-large/ Opd-04-350-100.xml	OPT	9	55.2983	55.2931	4395591
Fastfood/Fastfood-m1-s1/ Fastfood-ff34.xml	OPT	2	55.7976	55.7996	4395463
Opd/Opd-sum-large/ Opd-16-035-010.xml	OPT	3	55.8289	55.838	4395509
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-5.xml	OPT	6	58.1955	58.2103	4395544
OpenStacks/OpenStacks-m1c-s1/ OpenStacks-m1c-pb-30-15-1.xml	OPT	14	67.0084	67.0167	4395735
NurseRostering/ NurseRostering-01_c18.xml	OPT	607	67.4373	67.4364	4395460
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-4.xml	OPT	48	68.3022	68.3002	4395577
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-8.xml	OPT	20	69.3775	69.3785	4395510
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-pb-30-15-1.xml	OPT	14	69.789	69.7956	4395642
GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml	OPT	8	75.1369	75.1451	4395488
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-01.xml	OPT	1128	81.9698	81.9711	4395446
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4m.xml	OPT	2	82.6642	82.6642	4395663
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w1b1r5.xml	OPT	3	83.3555	83.3614	4395481
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-11-13.xml	OPT	3	83.9194	83.9272	4395737
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-04.xml	OPT	116	84.9302	84.9345	4395498
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml	OPT	310	91.9577	91.9576	4395626
GolombRuler/ GolombRuler-a3v18-09_c18.xml	OPT	44	92.4013	92.4139	4395529
GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml	OPT	44	93.1463	93.1516	4395578
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-11.xml	OPT	76	96.4924	96.4898	4395537
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-20-4-5-0.xml	OPT	54	97.0996	97.0924	4395638
OpenStacks/OpenStacks-m1-s1/ OpenStacks-m1-wbo-15-30-1.xml	OPT	4	101.093	101.092	4395641
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-10.xml	OPT	104	105.868	105.874	4395597
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c1w4n.xml	OPT	3	107.062	107.078	4395662
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-00.xml	OPT	93	108.124	108.134	4395598
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-hanoi4.xml	OPT	718	109.649	109.646	4395628
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-17.xml	OPT	85	113.298	113.306	4395496
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-0.xml	OPT	65	114.282	114.274	4395535
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-41-06.xml	OPT	103	115.382	115.399	4395615
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32b3.xml	OPT	331	118.266	118.279	4395627
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	120.699	120.719	4395459
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-5.xml	OPT	67	124.74	124.73	4395584
Fastfood/Fastfood-m1-s1/ Fastfood-ff87.xml	OPT	307	136.148	136.15	4395444
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-8.xml	OPT	60	136.945	136.932	4395461
PseudoBoolean/ PseudoBoolean-opt-fx/Pb-fx84.xml	OPT	8	138.036	138.025	4395625
Fastfood/Fastfood-m1-s1/ Fastfood-ff61.xml	OPT	152	141.554	141.552	4395467
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-07.xml	OPT	1070	143.992	144.008	4395486
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	145.163	145.159	4395457
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	OPT	44	145.922	145.927	4395575
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-4.xml	OPT	35	150.205	150.202	4395635
Fastfood/Fastfood-m1-s1/ Fastfood-ff85.xml	OPT	566	158.447	158.454	4395464
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-41-06.xml	OPT	113	168.917	168.938	4395620
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr22a.xml	OPT	3078	175.474	175.507	4395474
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	189.459	189.472	4395572
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-2.xml	OPT	53	191.37	191.38	4395636
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-lseu.xml	OPT	1120	191.518	191.516	4395491
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	193.7	193.709	4395530
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15a.xml	OPT	4948	195.758	195.765	4395581
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-05.xml	OPT	1105	198.061	198.061	4395511
Vrp/Vrp-zinc-s1/ Vrp-P-n16-k8.xml	OPT	450	201.16	201.154	4395512
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-01.xml	OPT	97	201.766	201.773	4395609
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-09.xml	OPT	1241	205.901	205.903	4395650
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-6.xml	OPT	25	207.672	207.673	4395634
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-05.xml	OPT	98	208.649	208.648	4395617
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-00.xml	OPT	960	215.921	215.92	4395503
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-3.xml	OPT	88	216.736	216.765	4395445
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-6.xml	OPT	79	226.695	226.707	4395631
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-3.xml	OPT	80	232.329	232.369	4395477
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-37-03.xml	OPT	139	248.551	248.556	4395608
Fastfood/Fastfood-m1-s1/ Fastfood-ff62.xml	OPT	125	272.021	272.01	4395447
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-11.xml	OPT	1049	274.047	274.05	4395476
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-9.xml	OPT	65	275.779	275.792	4395630
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-45-01.xml	OPT	82	280.314	280.313	4395614
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-5.xml	OPT	57	282.16	282.172	4395489
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-25-5-5-0.xml	OPT	41	282.321	282.356	4395632
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-1.xml	OPT	89	285.516	285.512	4395637
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-43-06.xml	OPT	98	289.918	289.9	4395619
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-28-4-7-3.xml	OPT	77	295.389	295.4	4395629
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-07.xml	OPT	103	296.002	296.016	4395611
GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml	OPT	55	298.186	298.19	4395505
GolombRuler/ GolombRuler-a3v18-10_c18.xml	OPT	55	299.202	299.214	4395536
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-13.xml	OPT	1427	302.569	302.59	4395649
Fastfood/Fastfood-m1-s1/ Fastfood-ff50.xml	OPT	624	302.794	302.783	4395472
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-7.xml	OPT	56	303.793	303.805	4395633
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-05.xml	OPT	89	306.205	306.215	4395612
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	310.769	310.762	4395501
PrizeCollecting/PrizeCollecting-jok-s1/ PrizeCollecting-24-4-6-8.xml	OPT	63	314.005	314.078	4395479
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-07.xml	OPT	73	316.612	316.673	4395616
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-29-02.xml	OPT	90	322.667	322.652	4395618
Fastfood/Fastfood-m1-s1/ Fastfood-ff59.xml	OPT	242	324.029	324.013	4395451
Mario/Mario-zinc-s1/ Mario-n-medium-4.xml	OPT	832	324.532	324.561	4395548
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-21-01.xml	OPT	103	333.8	333.812	4395613
Fastfood/Fastfood-m1-s1/ Fastfood-ff73.xml	OPT	582	341.431	341.402	4395492
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-26-09.xml	OPT	65	366.834	366.797	4395610
Fastfood/Fastfood-m1-s1/ Fastfood-ff60.xml	OPT	192	382.127	382.156	4395458
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-06-08.xml	OPT	68	391.301	391.321	4395606
Tal/ Tal-03_c18.xml	OPT	96	404.083	404.069	4395549
TemplateDesign/ TemplateDesign-m2-herbs_c18.xml	OPT	2	406.633	406.594	4395593
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	OPT	992	410.569	410.57	4395478
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr18a.xml	OPT	5549	417.838	417.874	4395587
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-06.xml	OPT	1079	424.335	424.302	4395495
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-03.xml	OPT	1109	437.734	437.726	4395487
ChessboardColoration/ChessboardColoration-m1-s2/ ChessboardColoration-08-10.xml	OPT	2	450.352	450.35	4395580
Fastfood/Fastfood-m1-s1/ Fastfood-ff21.xml	OPT	583	460.453	460.442	4395518
Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml	OPT	394	476.958	476.988	4395567
ChessboardColoration/ChessboardColoration-m1-s1/ ChessboardColoration-09-09.xml	OPT	2	492.198	492.209	4395570
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-04.xml	OPT	1289	492.479	492.535	4395497
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	502.44	502.395	4395583
GraphColoring/GraphColoring-m1-mono/ GraphColoring-school1.xml	OPT	13	503.994	503.947	4395686
Cutstock/Cutstock-zinc-s1/ Cutstock-t09-6.xml	OPT	89	517.807	517.757	4395657
Cutstock/Cutstock-zinc-s1/ Cutstock-t09-7.xml	OPT	161	533.878	533.818	4395656
Cutstock/Cutstock-zinc-s1/ Cutstock-t09-2.xml	OPT	102	570.365	570.31	4395540
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	572.509	572.462	4395484
Tal/ Tal-05_c18.xml	OPT	16	590.743	590.821	4395594
OpenStacks/ OpenStacks-m1-s1/OpenStacks-m1-gp-050-1.xml	OPT	45	618.108	618.109	4395560
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-02.xml	OPT	1003	621.034	621.055	4395651
OpenStacks/ OpenStacks-m1c-s1/OpenStacks-m1c-gp-050-1.xml	OPT	45	624.23	624.22	4395541
Mario/Mario-zinc-s1/ Mario-n-medium-5.xml	OPT	771	636.771	636.764	4395550
Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml	OPT	221	642.246	642.249	4395671
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-0.xml	OPT	130	654.181	654.115	4395574
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	703.799	703.85	4395485
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	OPT	476	734.64	734.777	4395658
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05b.xml	OPT	4	749.199	749.291	4395652
Mario/Mario-zinc-s1/ Mario-n-medium-3.xml	OPT	943	766.806	766.813	4395555
Fastfood/Fastfood-m1-s1/ Fastfood-ff56.xml	OPT	1664	769.694	769.69	4395654
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-14.xml	OPT	1121	844.345	844.385	4395648
Mario/Mario-zinc-s1/ Mario-n-medium-2.xml	OPT	1053	854.219	854.134	4395647
Cutstock/Cutstock-zinc-s1/ Cutstock-t14-9.xml	OPT	669	1216.55	1216.63	4395655
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-opt-4-30-1.xml	OPT	2	1220.45	1220.69	4395623
SteelMillSlab/ SteelMillSlab-bench_19_19.xml	OPT	0	1288.59	1288.72	4395708
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-0.xml	OPT	579	1341.92	1341.92	4395659
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-opt-4-30-3.xml	OPT	2	1359.26	1359.12	4395622
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-46-08.xml	OPT	75	1380.17	1380.21	4395607
Opd/Opd-sum-small/ Opd-19-020-009.xml	OPT	4	1381.62	1381.71	4395704
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	OPT	0	1420.97	1420.97	4395586
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-scr15.xml	OPT	25570	1441.24	1441.31	4395519
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	OPT	616	1752.82	1752.65	4395712
TravellingSalesman/TravellingSalesman-m1-n25/ TravellingSalesman-25-30-03.xml	OPT	130	1888.66	1888.65	4395721

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	2400.01	2400.01	4395727
Cutstock/Cutstock-zinc-s1/ Cutstock-t10-4.xml	? (TO)	2400.01	2399.8	4395734
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-kra30b.xml	? (TO)	2400.01	2400.11	4395722
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-11.xml	? (TO)	2400.02	2400.01	4395693
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	? (TO)	2400.02	2400.11	4395674
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-2.xml	? (TO)	2400.02	2400.12	4395733
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-00.xml	? (TO)	2400.02	2400.11	4395729
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-072.xml	? (TO)	2400.02	2400.2	4395732
Mario/ Mario-zinc-s1/Mario-t-hard-2.xml	? (TO)	2400.02	2400.12	4395562
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-01.xml	? (TO)	2400.02	2399.8	4395673
SteelMillSlab/ SteelMillSlab-bench_9_11.xml	? (TO)	2400.02	2400.11	4395710
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r1.xml	? (TO)	2400.03	2400.11	4395678
SteelMillSlab/ SteelMillSlab-bench_9_13.xml	? (TO)	2400.03	2399.9	4395709
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-086.xml	? (TO)	2400.03	2400.01	4395713
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	? (TO)	2400.03	2400.2	4395740
Mario/ Mario-zinc-s1/Mario-t-hard-5.xml	? (TO)	2400.03	2399.81	4395573
GolombRuler/GolombRuler-a4-s1/ GolombRuler-11-a4.xml	? (TO)	2400.03	2400.11	4395723
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-19.xml	? (TO)	2400.03	2399.8	4395696
SteelMillSlab/ SteelMillSlab-bench_5_11.xml	? (TO)	2400.03	2399.91	4395715
TravellingSalesman/TravellingSalesman-m1-n35/ TravellingSalesman-35-30-07.xml	? (TO)	2400.03	2400.01	4395697
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-1.xml	? (TO)	2400.03	2399.82	4395684
SteelMillSlab/ SteelMillSlab-bench_3_12.xml	? (TO)	2400.04	2400.12	4395700
Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml	? (TO)	2400.04	2400.01	4395683
NurseRostering/ NurseRostering-18_c18.xml	? (TO)	2400.04	2400.11	4395724
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-090.xml	? (TO)	2400.04	2399.8	4395669
Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml	? (TO)	2400.04	2400.03	4395502
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c1w2b.xml	? (TO)	2400.04	2400.02	4395668
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-053.xml	? (TO)	2400.05	2399.8	4395688
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-031.xml	? (TO)	2400.05	2400.01	4395741
SteelMillSlab/ SteelMillSlab-bench_13_19.xml	? (TO)	2400.05	2400.13	4395714
GolombRuler/ GolombRuler-a3v18-13_c18.xml	? (TO)	2400.05	2399.8	4395738
GolombRuler/ GolombRuler-a3v18-11_c18.xml	? (TO)	2400.05	2400.01	4395730
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	? (TO)	2400.05	2399.91	4395699
SteelMillSlab/ SteelMillSlab-bench_16_2.xml	? (TO)	2400.05	2400.11	4395690
Auction/Auction-sum/ Auction-sum-matching040_c18.xml	? (TO)	2400.05	2400.11	4395691
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o33-h381-bal-1.xml	? (TO)	2400.05	2400.2	4395701
Vrp/Vrp-zinc-s1/ Vrp-A-n38-k5.xml	? (TO)	2400.05	2399.9	4395711
Cutstock/Cutstock-zinc-s1/ Cutstock-t03-4.xml	? (TO)	2400.05	2400.01	4395692
Vrp/Vrp-zinc-s1/ Vrp-P-n40-k5.xml	? (TO)	2400.05	2400.11	4395703
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	? (TO)	2400.05	2400.3	4395687
Warehouse/Warehouse-m1-s1/ Warehouse-cap101.xml	? (TO)	2400.06	2400.12	4395559
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-1.xml	? (TO)	2400.06	2400.01	4395739
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-75.xml	? (TO)	2400.06	2400.13	4395675
Ramsey/Ramsey-m1-s1/ Ramsey-45.xml	? (TO)	2400.06	2400.03	4395698
SteelMillSlab/ SteelMillSlab-bench_20_8.xml	? (TO)	2400.06	2400.41	4395707
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-13.xml	? (TO)	2400.06	2400.04	4395694
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	? (TO)	2400.07	2400.11	4395677
Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml	? (TO)	2400.07	2400.2	4395728
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-5.xml	? (TO)	2400.07	2399.91	4395719
SteelMillSlab/ SteelMillSlab-bench_15_2.xml	? (TO)	2400.07	2400.2	4395685
BinPacking/ BinPacking-mdd-fu/BinPacking-mdd-fu0120-05.xml	? (TO)	2400.08	2400.14	4395672
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-02.xml	? (TO)	2400.08	2400.31	4395682
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-04.xml	? (TO)	2400.08	2400.04	4395670
SteelMillSlab/ SteelMillSlab-bench_13_6.xml	? (TO)	2400.09	2400.3	4395695
SteelMillSlab/ SteelMillSlab-bench_12_14.xml	? (TO)	2400.09	2399.91	4395716
Auction/Auction-sum/ Auction-sum-decay300_c18.xml	? (TO)	2400.09	2400.2	4395702
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-1.xml	? (TO)	2400.09	2400.33	4395665
SteelMillSlab/ SteelMillSlab-bench_10_9.xml	? (TO)	2400.09	2400.21	4395706
SteelMillSlab/ SteelMillSlab-bench_11_1.xml	? (TO)	2400.09	2400.31	4395666
Mario/ Mario-zinc-s1/Mario-t-hard-1.xml	? (TO)	2400.09	2400.12	4395592
SteelMillSlab/ SteelMillSlab-bench_17_11.xml	? (TO)	2400.09	2400.21	4395705
Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml	? (TO)	2400.09	2399.9	4395720
Opd/Opd-sum-large/ Opd-09-350-100.xml	? (TO)	2400.1	2399.91	4395718
Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml	? (TO)	2400.1	2400.08	4395473
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-078.xml	? (TO)	2400.1	2400.2	4395736
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10a.xml	? (TO)	2400.1	2400.2	4395621
Warehouse/Warehouse-m1-s1/ Warehouse-cap081.xml	? (TO)	2400.1	2400.12	4395568
Fapp/Fapp-ext/ Fapp-ext-05-0350_c18.xml	? (TO)	2400.1	2400.24	4395667
Scheduling/Scheduling-js-taillard/ Taillard-js-100-20-6.xml	? (TO)	2400.1	2400.19	4395731
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml	? (TO)	2400.1	2399.91	4395726
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-088.xml	? (TO)	2400.1	2400.11	4395725
SteelMillSlab/ SteelMillSlab-bench_14_1.xml	? (TO)	2400.1	2400.21	4395689
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w2d.xml	? (TO)	2400.1	2400.17	4395679
BinPacking/ BinPacking-mdd-fu/BinPacking-mdd-fu1000-02.xml	? (TO)	2400.11	2400.04	4395676
Fapp/Fapp-m2s/ Fapp-m2s-17-0300_c18.xml	? (TO)	2400.11	2400.07	4395554
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa50a.xml	? (TO)	2400.12	2399.91	4395717
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n2c3w1r.xml	? (TO)	2400.12	2400.12	4395680
Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml	? (TO)	2400.15	2400.11	4395532

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

Result page for solver PicatSAT 2019-09-12 (complete)

Category "optimization problem" (COP)

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

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

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

Solver exceeded the memory limit (no solution given) (1 run) [Show/Hide]