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

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-03.xml	UNSAT		1.19928	0.84929299	4256682
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		2.6935799	1.36615	4256683

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	1.12965	0.84573501	4256563
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.27545	0.92479098	4256805
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	1.29088	0.90522403	4256530
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.32454	1.1648099	4256442
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.35773	0.90965801	4256699
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.36242	0.93811297	4256806
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	1.47247	0.98369002	4256655
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	1.52817	0.931566	4256564
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	1.52997	1.0421	4256648
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	1.5413899	0.94770801	4256822
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	1.5507801	0.95932502	4256581
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.5577	1.3409801	4256809
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	1.55989	1.0027699	4256652
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	1.61365	0.96749097	4256531
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	1.6356699	0.96456099	4256482
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.67134	1.03755	4256727
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	1.7012399	1.38474	4256654
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	1.7192301	0.98054999	4256490
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	1.72004	1.0057	4256546
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	1.76062	1.23232	4256653
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	1.80558	1.06756	4256512
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	1.80856	1.06467	4256495
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	1.82008	1.04598	4256547
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	1.89545	1.15117	4256657
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.91246	1.13362	4256728
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	1.92378	1.1235	4256548
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	1.9681799	1.1342	4256726
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	2.0095899	1.17896	4256565
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	2.04898	1.1340899	4256513
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	2.07408	1.15687	4256496
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	2.10692	1.1662199	4256622
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	2.11779	1.1885	4256729
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	2.2202001	1.16892	4256497
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	2.3094001	1.25576	4256465
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	2.5034299	1.26176	4256593
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	2.71123	1.36483	4256468
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	2.7171099	1.3689899	4256732
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	2.7467501	1.46304	4256649
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	2.7492099	1.42858	4256773
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	2.7564299	1.44684	4256807
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	2.8631301	1.41872	4256621
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	2.9593699	1.44683	4256494
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	2.9649701	1.3744	4256498
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	3.0086	1.4521	4256532
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	3.0534699	1.82472	4256771
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	3.0752101	1.52209	4256772
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	3.1340799	1.41055	4256486
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	3.2393501	1.5761499	4256810
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	3.3145001	1.56499	4256480
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	3.4314899	1.56007	4256479
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	3.5069101	1.62436	4256731
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	3.5704999	1.75644	4256663
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	3.6598101	1.60431	4256487
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	3.6736801	1.5384001	4256478
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	3.7133601	1.64726	4256587
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	3.7214301	1.62679	4256485
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	3.7978499	3.1849101	4256551
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	4.5448699	2.00159	4256491
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	4.7776499	2.3949101	4256483
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	4.87044	2.1978199	4256493
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	5.1127701	2.87396	4256823
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	5.3951702	2.3185799	4256733
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	5.6294899	2.81868	4256454
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	5.66717	3.5511701	4256499
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	5.7433801	2.83622	4256722
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	5.8109298	2.5028	4256484
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	5.9264202	4.9742999	4256549
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	6.1056399	4.01053	4256678
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	6.3604202	5.4933	4256550
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	6.4212999	2.5616901	4256580
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	6.4291101	5.41746	4256552
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	6.9503398	3.5462301	4256489
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	OPT	44	7.1470399	4.84972	4256514
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	7.2521	2.8899801	4256469
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	7.2938099	4.2650399	4256725
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	7.3364	4.65943	4256481
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	7.3398099	4.0579	4256703
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	7.5195999	6.6379299	4256553
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	8.0721703	3.69344	4256721
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	9.9138203	4.4797802	4256472
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	9.9732704	6.82339	4256492
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	12.1585	9.9991903	4256500
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	OPT	476	13.387	7.0385199	4256467
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	14.0871	11.9493	4256666
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	OPT	92	19.841299	15.2587	4256720
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	20.5331	11.3087	4256704
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	22.8307	18.064501	4256535
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	52.707699	27.546499	4256705
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	59.542	33.919498	4256453
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	87.403503	47.853802	4256444
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	190.976	184.00101	4256808
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	191.409	182.49899	4256582
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	194.276	185.19501	4256824
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	202.88699	194.67799	4256566
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	204.914	195.548	4256617
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	215.724	207.78999	4256684
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	215.802	208.16	4256667
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	218.855	208.13901	4256629

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	471	246.494	240.02499	4256841
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	12	246.535	240.03999	4256437
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	937	246.582	240.01601	4256556
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1132	246.625	240.024	4256559
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	SAT (TO)	8	246.69	240.032	4256539
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	246.752	240.035	4256708
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	SAT (TO)	1429	246.77299	240.013	4256554
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1477	246.787	240.013	4256561
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1333	246.814	240.01401	4256558
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	412	246.839	240.024	4256839
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	1052	246.927	240.013	4256560
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	992	246.936	240.02299	4256555
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1358	246.939	240.019	4256557
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1220	247.022	240.02901	4256562
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	6	247.07401	240.017	4256658
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	4343	247.077	240.02901	4256870
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	431	247.12199	240.028	4256840
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	247.15601	240.01601	4256541
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	247.20599	240.01601	4256534
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	SAT (TO)	1100	247.308	240.01601	4256700
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	9	247.35201	240.028	4256542
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	6	247.60001	240.02699	4256420
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	55	247.675	240.12399	4256515
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	6	247.696	240.041	4256419
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3187657	247.701	240.033	4256665
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	247.73	240.01401	4256811
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	247.75101	240.02499	4256702
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	SAT (TO)	1000	247.866	240.035	4256528
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	247.925	240.01401	4256842
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	SAT (TO)	8	248.00101	240.01601	4256668
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	6	248.01199	240.022	4256625
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	64	248.037	240.017	4256816
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	715	248.097	240.024	4256526
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	105	248.14	240.024	4256847
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	94	248.186	240.026	4256516
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	56	248.215	240.03	4256815
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	7	248.261	240.034	4256418
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	430	248.29601	240.035	4256838
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	248.411	240.02699	4256701
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	180	248.424	240.024	4256853
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	268	248.461	240.043	4256831
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	115	248.46201	240.01601	4256517
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	248.46201	240.01401	4256845
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	72	248.498	240.017	4256817
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	56	248.49899	240.01601	4256814
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	94	248.50101	240.024	4256501
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	127	248.51401	240.03	4256848
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	44	248.52	240.024	4256812
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	120	248.53	240.01401	4256846
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	5788759	248.561	240.03799	4256677
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	SAT (TO)	26	248.56799	240.02499	4256567
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	SAT (TO)	889	248.575	240.035	4256527
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	212	248.62	240.033	4256651
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	SAT (TO)	3	248.625	240.01801	4256707
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	101	248.638	240.02901	4256724
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	669	248.659	240.02499	4256525
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	331	248.77499	240.021	4256522
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	67	248.78799	240.015	4256818
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	203	248.813	240.01401	4256852
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	190	248.88499	240.12601	4256828
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	142	248.886	240.024	4256849
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	84	248.888	240.03101	4256735
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	80	248.94299	240.024	4256819
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	15	248.95399	240.035	4256438
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	170	248.95599	240.03101	4256850
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	53	248.976	240.015	4256813
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	168	249.02699	240.013	4256851
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	115352	249.06599	240.01401	4256679
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1210	249.07899	240.02901	4256664
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1240	249.084	240.01401	4256673
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	15764	249.121	240.015	4256671
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	70	249.136	240.024	4256669
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	199085	249.142	240.02499	4256680
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	262	249.21001	240.01601	4256520
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	13	249.21201	240.032	4256436
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3990	249.283	240.034	4256869
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	SAT (TO)	43	249.28999	240.019	4256825
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	SAT (TO)	21	249.298	240.024	4256423
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1322	249.325	240.024	4256672
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	33	249.35201	240.034	4256434
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	3	249.353	240.032	4256662
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	6	249.39	240.033	4256385
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	143	249.395	240.02499	4256518
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	1072	249.409	240.035	4256863
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1527	249.41901	240.028	4256856
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	587	249.427	240.02299	4256524
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1706	249.439	240.03101	4256859
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	3284	249.5	240.037	4256868
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	667	249.50101	240.039	4256836
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	3238	249.53	240.034	4256867
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	367	249.562	240.015	4256855
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	22	249.578	240.026	4256443
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	30	249.612	240.033	4256440
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	330	249.653	240.01801	4256854
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	76	249.66	240.01601	4256821
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	7	249.66499	240.02499	4256403
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	27	249.754	240.026	4256540
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	171	249.758	240.02499	4256519
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	82	249.763	240.01601	4256820
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	102	249.785	240.028	4256670
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	2171	249.80499	240.02499	4256872
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3786	249.825	240.026	4256861
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	249.855	240.02499	4256417
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	192	249.881	240.03799	4256723
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	SAT (TO)	328	249.88499	240.02699	4256774
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2801	249.901	240.145	4256860
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	249.912	240.028	4256592
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	2267	249.91299	240.022	4256843
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	249.923	240.037	4256709
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	7	249.924	240.02299	4256383
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	96	249.946	240.03799	4256584
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	432	249.993	240.03101	4256523
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	6	250.052	240.03	4256596
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1339	250.101	240.03	4256857
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	SAT (TO)	1461	250.118	240.02299	4256760
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	144	250.17	240.015	4256502
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	250.173	240.01401	4256618
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	363	250.189	240.04601	4256833
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1604	250.25101	240.037	4256858
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2766	250.30099	240.03101	4256866
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	250.31	240.041	4256445
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	250.312	240.01401	4256623
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	96	250.317	240.03	4256826
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	2388	250.342	240.02901	4256864
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	5	250.34801	240.02499	4256384
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	1845	250.366	240.02299	4256844
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	292	250.39	240.03799	4256832
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2733	250.429	240.05299	4256862
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	250.433	240.026	4256536
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	3	250.442	240.01801	4256595
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	638	250.448	240.041	4256650
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	469	250.513	240.02499	4256775
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	450	250.517	240.129	4256776
Opd/Opd-sum-large/ Opd-14-035-010.xml	SAT (TO)	4	250.573	240.02901	4256588
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	296	250.634	240.024	4256521
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	250.647	240.02901	4256455
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	1334	250.64999	240.028	4256488
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1745	250.687	240.033	4256865
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	202	250.694	240.028	4256829
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	118	250.70599	240.049	4256585
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1406	250.72099	240.035	4256871
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	191	250.741	240.03101	4256570
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	248	250.786	240.041	4256830
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	SAT (TO)	1321	250.8	240.032	4256739
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	250.87	240.017	4256594
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	132	250.882	240.033	4256568
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	4	250.92599	240.037	4256710
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	136	251.048	240.01801	4256736
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	9	251.05	240.037	4256590
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	134	251.089	240.028	4256734
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	542	251.108	240.047	4256837
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	468	251.13901	240.03799	4256834
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	574	251.183	240.048	4256835
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	251.23199	240.015	4256628
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	251.25	240.015	4256626
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	696	251.252	240.01801	4256782
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	463	251.293	240.099	4256573
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	196	251.342	240.036	4256571
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	111	251.358	240.033	4256730
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	96	251.395	240.028	4256827
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1936	251.46201	240.035	4256577
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	902	251.539	240.033	4256576
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	6	251.61099	240.04601	4256711
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	96	251.679	240.036	4256583
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	251.689	240.02699	4256545
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	150	251.759	240.02699	4256569
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	237	251.77299	240.02901	4256572
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	SAT (TO)	3	251.78999	240.015	4256616
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1330	251.798	240.02699	4256757
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	632	251.94701	240.02901	4256575
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	415	251.95599	240.015	4256778
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1297	251.992	240.032	4256756
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	98	251.992	240.03999	4256586
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	13	252.043	225.33501	4256457
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	SAT (TO)	0	252.056	188.655	4256428
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7699179	252.05901	227.242	4256681
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	SAT (TO)	72	252.06599	210.64	4256427
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	SAT (TO)	14	252.075	211.052	4256426
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	SAT (TO)	0	252.086	174.269	4256432
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	SAT (TO)	0	252.088	182.071	4256430
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	SAT (TO)	0	252.095	181.36501	4256433
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	SAT (TO)	0	252.099	179.56799	4256431
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	656	252.11301	240.02699	4256780
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	2360	252.114	217.76199	4256543
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	463	252.125	240.02901	4256777
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	0	252.131	210.436	4256429
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	SAT (TO)	839	252.14799	171.16	4256460
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	757	252.189	240.05	4256714
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	603	252.229	240.032	4256574
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1290	252.261	240.03799	4256737
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	572	252.293	202.955	4256459
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	252.41299	240.03101	4256620
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	660	252.422	240.03101	4256783
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	252.478	240.036	4256619
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	15	252.485	240.02699	4256712
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	200	252.5	240.034	4256464
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	4	252.653	240.039	4256447
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	126	252.79401	240.03101	4256462
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	112	252.80701	240.032	4256471
Opd/Opd-sum-large/ Opd-46-350-100.xml	SAT (TO)	100	252.87601	221.633	4256591
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	65	252.879	240.04201	4256538
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	970	252.895	240.036	4256578
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	SAT (TO)	624	252.97099	175.071	4256450
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	743	252.97701	240.028	4256779
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	4	253.07001	240.037	4256446
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	91	253.321	240.039	4256537
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	2752	253.33701	240.034	4256579
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	36	253.46001	240.03	4256713
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	227	253.53999	240.036	4256463
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	175	253.786	240.02499	4256461
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	810	253.83099	240.03999	4256715
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	550	254.162	240.033	4256466
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	940	254.272	240.052	4256716
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	137	254.556	240.034	4256470
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	1024	255.64301	240.04201	4256717
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	1068	255.88	240.04201	4256718
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	256.422	240.04201	4256533
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	1175	256.89499	240.032	4256719
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	SAT (TO)	9	257.388	240.03	4256421
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	SAT (TO)	35	257.74799	240.03	4256424
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	45	258.94199	240.043	4256544
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	7	260.64999	240.04601	4256456
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	SAT (TO)	15	261.95499	240.037	4256422
Opd/Opd-sum-large/ Opd-29-350-100.xml	SAT (TO)	100	262.45599	240.03101	4256589
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	7	264.69601	240.133	4256448

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	?		1.25749	0.85226899	4256661
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	?		5.08149	2.1672699	4256656

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	241.04401	240.011	4256659
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	242.209	240.01801	4256660
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	242.452	240.011	4256506
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	242.519	240.011	4256390
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	242.552	240.011	4256507
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	242.56799	240.011	4256388
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	242.617	240.01199	4256386
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	242.64999	240.01199	4256395
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	242.655	240.01199	4256441
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	242.672	240.013	4256510
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	? (TO)	242.689	240.01199	4256398
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	242.7	240.01199	4256391
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	242.718	240.011	4256387
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	242.739	240.011	4256392
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	242.742	240.01199	4256393
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	242.774	240.011	4256396
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	242.83	240.02	4256511
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	? (TO)	242.86	240.011	4256685
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	242.91499	240.01199	4256394
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	242.95	240.01199	4256389
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	? (TO)	242.983	240.009	4256755
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	243.19901	240.01199	4256397
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	243.291	240.01199	4256758
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	243.386	240.01199	4256409
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	243.55099	240.013	4256435
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	? (TO)	243.552	240.013	4256674
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	243.58099	240.01199	4256688
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	243.619	240.013	4256410
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	243.638	240.011	4256508
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	243.77499	240.01801	4256754
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	? (TO)	243.83099	240.01199	4256686
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	243.85001	240.019	4256400
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	243.866	240.01199	4256408
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	243.91499	240.01199	4256687
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	243.998	240.01401	4256402
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	244.007	240.021	4256690
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	244.06	240.019	4256689
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	244.08099	240.01199	4256749
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	? (TO)	244.12	240.019	4256627
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	244.159	240.013	4256743
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	244.317	240.013	4256411
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	? (TO)	244.32401	240.032	4256614
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	244.334	240.01199	4256509
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	244.397	240.024	4256691
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	244.424	240.013	4256759
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	? (TO)	244.48399	240.01199	4256505
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	244.52	240.01199	4256416
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	? (TO)	244.547	240.011	4256503
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	244.558	240.013	4256407
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	244.57899	240.01199	4256738
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	244.601	240.017	4256747
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	244.61099	240.009	4256763
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	244.621	240.013	4256412
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	? (TO)	244.634	240.021	4256630
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	244.681	240.013	4256762
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	? (TO)	244.688	240.017	4256624
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	? (TO)	244.77499	240.015	4256504
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	244.785	240.013	4256744
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	244.866	240.02499	4256692
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	244.901	240.013	4256765
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	245.02499	240.01199	4256761
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	245.054	240.013	4256742
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	245.06799	240.00999	4256748
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	245.08099	240.013	4256745
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	245.10001	240.01199	4256767
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	245.13	240.01401	4256404
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	245.16499	240.01401	4256766
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	245.21899	240.017	4256415
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	245.51801	240.013	4256770
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	245.784	240.013	4256414
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	246.10001	240.01199	4256399
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	246.11	240.017	4256413
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	246.118	240.01401	4256785
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	246.129	240.013	4256741
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	246.21201	240.112	4256764
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	246.311	240.015	4256750
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	246.319	240.00999	4256769
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	246.339	240.01401	4256740
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	246.61301	240.086	4256768
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	246.677	240.019	4256693
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	246.709	240.019	4256784
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	246.771	240.017	4256401
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	247.05	240.015	4256439
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	247.07201	240.021	4256405
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	247.38	240.013	4256787
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	247.452	240.00999	4256753
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	247.479	240.01401	4256786
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	247.539	240.067	4256746
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	247.597	240.01401	4256406
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	247.612	240.02	4256475
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	? (TO)	247.82201	240.013	4256781
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	248.054	240.024	4256473
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	248.17	240.02901	4256476
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	248.315	240.013	4256752
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	248.791	240.02299	4256474
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	248.963	240.013	4256751
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	249.05499	240.02699	4256477
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	249.246	240.021	4256694
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	251.79401	240.022	4256695
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	252.03999	227.83	4256698
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	252.088	123.167	4256451
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	252.11099	213.45	4256675
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	252.271	240.02499	4256529
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	252.53101	240.02699	4256425
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	255.12199	240.02299	4256696
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	255.88901	103.246	4256452
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	255.925	240.02901	4256676
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	? (TO)	257.89801	219.65199	4256458
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	258.258	113.255	4256706
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	? (TO)	258.46201	212.744	4256449
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	258.681	240.02901	4256697

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

Result page for solver OscaR - Hybrid 2017-07-26 (complete)

Category "optimization problem" (COP)

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

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

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

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

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