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.19507	0.87641901	4255688
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		3.2999201	1.57338	4255689

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	13	245.618	240.035	4255442
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	SAT (TO)	3	245.83701	240.037	4255541
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	SAT (TO)	57	246.282	240.01199	4255734
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	SAT (TO)	1429	246.355	240.01601	4255560
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	SAT (TO)	1021	246.38699	240.015	4255556
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1477	246.40601	240.01601	4255567
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	7	246.463	240.02	4255631
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	992	246.495	240.024	4255561
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	SAT (TO)	886	246.593	240.01401	4255559
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1134	246.64101	240.01401	4255565
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	SAT (TO)	7	246.64999	240.015	4255448
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	SAT (TO)	69	246.65199	240.013	4255738
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	SAT (TO)	6	246.653	240.015	4255828
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	SAT (TO)	1129	246.661	240.01601	4255552
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	SAT (TO)	887	246.664	240.01601	4255557
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	SAT (TO)	66	246.674	240.02	4255733
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1333	246.677	240.019	4255564
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	SAT (TO)	932	246.694	240.02499	4255555
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	4547	246.737	240.03	4255876
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	937	246.744	240.015	4255562
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1358	246.793	240.01401	4255563
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	12	246.815	240.026	4255443
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	1058	246.839	240.01401	4255566
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	SAT (TO)	2	246.843	240.02	4255569
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	SAT (TO)	885	246.85899	240.01401	4255554
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	SAT (TO)	1188	246.905	240.017	4255553
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	SAT (TO)	954	246.97099	240.02	4255558
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	247.073	240.015	4255848
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	SAT (TO)	71	247.131	240.022	4255658
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	SAT (TO)	251	247.235	240.02499	4255660
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	SAT (TO)	1100	247.23599	240.02499	4255706
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	SAT (TO)	50	247.243	240.02699	4255654
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	SAT (TO)	550	247.27299	240.02901	4255705
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	SAT (TO)	44	247.284	240.015	4255520
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1220	247.323	240.188	4255568
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	SAT (TO)	11	247.349	240.015	4255501
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	SAT (TO)	1000	247.351	240.026	4255533
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	SAT (TO)	12	247.39101	240.026	4255815
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	SAT (TO)	55	247.396	240.02499	4255506
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	3556	247.40199	240.05499	4255874
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	SAT (TO)	167	247.435	240.02499	4255659
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	59	247.47301	240.017	4255521
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	105	247.50101	240.01401	4255853
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	59	247.51601	240.037	4255821
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	SAT (TO)	11	247.535	240.015	4255663
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	SAT (TO)	25	247.55099	240.01401	4255503
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	SAT (TO)	10	247.55701	240.017	4255812
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	131	247.558	240.024	4255854
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1333	247.55901	240.03999	4255862
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	SAT (TO)	5708	247.55901	240.028	4255488
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	120	247.562	240.01401	4255852
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	612	247.588	240.02499	4255531
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	247.605	240.021	4255636
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3868	247.621	240.05499	4255867
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	SAT (TO)	8	247.636	240.01401	4255674
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	5706413	247.66701	240.026	4255683
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	SAT (TO)	17	247.67599	240.019	4255519
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	SAT (TO)	0	247.67999	240.013	4255690
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	167	247.689	240.02901	4255834
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	195	247.703	240.03799	4255836
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	117	247.707	240.015	4255523
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	91	247.715	240.017	4255522
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	SAT (TO)	54	247.746	240.024	4255655
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3271610	247.748	240.026	4255671
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	SAT (TO)	4752	247.752	240.02499	4255672
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	SAT (TO)	36	247.78	240.032	4255669
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	5	247.80901	240.02499	4255664
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	247.832	240.024	4255707
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	SAT (TO)	8	247.83299	240.017	4255811
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	15	247.841	240.037	4255444
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	SAT (TO)	3	247.856	240.028	4255628
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	57	247.86099	240.03101	4255820
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	SAT (TO)	34	247.914	240.021	4255504
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	143	247.916	240.02499	4255855
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	56	247.92999	240.026	4255819
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	SAT (TO)	17	247.933	240.015	4255502
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	468	247.933	240.034	4255847
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	SAT (TO)	18	247.951	240.015	4255814
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	404	247.963	240.039	4255846
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	144	247.96899	240.035	4255524
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	247.998	240.028	4255548
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	SAT (TO)	409	248.032	240.026	4255661
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	248.035	240.01401	4255851
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	SAT (TO)	1149	248.041	240.024	4255673
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	115352	248.056	240.02499	4255685
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	SAT (TO)	5	248.06	240.026	4255570
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	SAT (TO)	58937	248.06799	240.024	4255684
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	78	248.09399	240.02	4255825
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	44	248.13	240.02499	4255818
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	SAT (TO)	16	248.13901	240.032	4255816
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	SAT (TO)	4	248.142	240.015	4255536
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	175	248.145	240.026	4255858
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1273	248.161	240.04201	4255863
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	73	248.16701	240.017	4255823
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	SAT (TO)	42	248.17799	240.02699	4255831
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	SAT (TO)	11	248.185	240.01401	4255518
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	SAT (TO)	16	248.189	240.021	4255813
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	248.19	240.015	4255708
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	427	248.192	240.035	4255845
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	SAT (TO)	58	248.216	240.013	4255735
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	15863	248.217	240.03	4255677
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	713	248.217	240.03101	4255532
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	188	248.228	240.037	4255835
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	SAT (TO)	67	248.23	240.01401	4255737
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	SAT (TO)	1000	248.23199	240.02901	4255534
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	SAT (TO)	6119	248.23801	240.02499	4255496
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	SAT (TO)	5	248.258	240.015	4255538
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	68	248.263	240.032	4255824
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	83	248.27499	240.01801	4255826
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	27	248.27901	240.03799	4255546
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	SAT (TO)	3	248.30901	240.026	4255627
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2859	248.32401	240.026	4255866
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	SAT (TO)	5	248.336	240.01801	4255623
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	435	248.34801	240.019	4255529
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	SAT (TO)	2	248.36301	240.02	4255709
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	2304	248.37	240.041	4255878
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	90	248.399	240.03799	4255543
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	SAT (TO)	44	248.403	240.02	4255505
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	248.424	240.01401	4255540
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	248.442	240.015	4255817
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	353	248.448	240.02901	4255860
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2561	248.485	240.034	4255872
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	30	248.489	240.035	4255446
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	175	248.492	240.01401	4255525
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	1768	248.513	240.028	4255870
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	63	248.543	240.01601	4255822
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	SAT (TO)	63	248.55099	240.033	4255495
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2936	248.56799	240.032	4255868
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1249	248.576	240.017	4255679
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	181	248.584	240.02699	4255859
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	486	248.60001	240.03999	4255842
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	229	248.62	240.032	4255837
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	251	248.62199	240.03999	4255840
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1769	248.629	240.03799	4255865
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	198327	248.672	240.032	4255686
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	SAT (TO)	15	248.686	240.015	4255572
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	103	248.726	240.02499	4255676
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	248	248.728	240.02901	4255526
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	101	248.74899	240.033	4255833
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	98	248.76199	240.033	4255832
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	SAT (TO)	8	248.76199	240.10201	4255545
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	164	248.763	240.01401	4255856
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	SAT (TO)	328	248.79201	240.01801	4255780
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	244	248.797	240.04401	4255838
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	SAT (TO)	36	248.799	240.01801	4255830
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	SAT (TO)	107	248.802	240.10699	4255728
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	348	248.83	240.02901	4255861
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	329	248.836	240.022	4255528
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	SAT (TO)	52	248.84801	240.01401	4255732
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	68	248.86099	240.01401	4255675
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	5	248.879	240.02499	4255426
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	248.905	240.03101	4255423
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	SAT (TO)	28	248.95599	240.02901	4255829
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	316	248.967	240.039	4255839
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	248.97701	240.015	4255547
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	SAT (TO)	107	248.98	240.028	4255727
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	SAT (TO)	4	248.994	240.017	4255537
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	76	249.00101	240.028	4255827
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1623	249.002	240.026	4255864
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	162	249.00999	240.015	4255857
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	1334	249.015	240.03	4255494
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	554	249.02	240.028	4255530
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	139	249.034	240.02901	4255742
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1182	249.062	240.035	4255670
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	3	249.078	240.026	4255668
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	SAT (TO)	86	249.08501	240.02699	4255739
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	21	249.13499	240.039	4255449
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	6	249.138	240.039	4255391
Opd/Opd-sum-large/ Opd-07-035-010.xml	SAT (TO)	2	249.207	240.026	4255588
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	SAT (TO)	6	249.245	240.02299	4255571
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	SAT (TO)	125	249.282	240.032	4255499
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3225	249.28799	240.015	4255680
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	3691	249.321	240.037	4255873
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	SAT (TO)	1143	249.325	240.028	4255487
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	SAT (TO)	1	249.35201	240.03799	4255485
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	118	249.354	240.039	4255591
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	SAT (TO)	1916	249.355	240.03101	4255486
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	SAT (TO)	2881	249.396	240.024	4255749
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	SAT (TO)	3420	249.40601	240.032	4255493
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	302	249.411	240.033	4255527
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	SAT (TO)	644	249.418	240.036	4255489
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	212	249.41901	240.02699	4255657
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	SAT (TO)	3	249.42101	240.028	4255713
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	5	249.50301	240.117	4255425
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1309	249.508	240.03	4255678
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	4274	249.509	240.043	4255875
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	SAT (TO)	93	249.543	240.026	4255726
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	SAT (TO)	250	249.56599	240.01601	4255777
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	7	249.58501	240.036	4255390
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	192	249.605	240.019	4255729
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	SAT (TO)	770	249.617	240.03	4255500
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1737	249.618	240.034	4255871
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	SAT (TO)	16	249.65199	240.034	4255497
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	979	249.65601	240.032	4255869
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	100	249.673	240.04201	4255592
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	249.688	240.035	4255715
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	5	249.692	240.02499	4255389
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	SAT (TO)	26	249.724	240.028	4255573
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	10	249.755	240.043	4255596
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	249.76401	240.03	4255741
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	SAT (TO)	1	249.782	240.037	4255492
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	SAT (TO)	21	249.80099	240.02499	4255429
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	469	249.802	240.03	4255783
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	SAT (TO)	2	249.804	240.039	4255484
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1520	249.806	240.026	4255877
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	102	249.819	240.02901	4255730
Opd/Opd-sum-large/ Opd-13-035-010.xml	SAT (TO)	4	249.84801	240.02	4255593
Opd/Opd-sum-large/ Opd-03-035-010.xml	SAT (TO)	0	249.849	240.01601	4255587
Opd/Opd-sum-small/ Opd-10-026-004.xml	SAT (TO)	1	249.854	240.01801	4255599
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	249.855	240.032	4255714
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	444	249.858	240.02901	4255782
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	7	249.881	240.024	4255409
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	5	249.907	240.039	4255717
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	795	249.942	240.022	4255656
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	1787	249.983	240.02901	4255849
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	470	250.063	240.028	4255781
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	SAT (TO)	100	250.064	240.028	4255731
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	394	250.07401	240.032	4255841
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	SAT (TO)	3	250.09	240.037	4255491
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	132	250.09801	240.024	4255740
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	SAT (TO)	261	250.103	240.02499	4255779
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	99	250.103	240.048	4255590
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	7	250.13	240.026	4255424
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	166	250.175	240.021	4255575
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	1445	250.17999	240.022	4255850
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	SAT (TO)	310	250.22099	240.024	4255498
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	110	250.226	240.017	4255736
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	601	250.263	240.034	4255844
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	95	250.26601	240.032	4255589
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	250.302	240.02901	4255600
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	SAT (TO)	201	250.33701	240.013	4255778
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	467	250.345	240.032	4255843
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	665	250.37801	240.045	4255789
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	SAT (TO)	4	250.411	240.02	4255635
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	SAT (TO)	14	250.424	240.03999	4255490
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	130	250.453	240.03	4255468
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1290	250.47501	240.08501	4255743
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	146	250.498	240.03799	4255477
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	6	250.50301	240.022	4255602
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	4	250.64101	240.036	4255716
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	250.702	240.034	4255551
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1282	250.817	240.02299	4255763
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1319	250.868	240.035	4255762
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	SAT (TO)	196	250.89101	240.028	4255478
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	250.911	240.015	4255624
Opd/Opd-sum-large/ Opd-14-035-010.xml	SAT (TO)	4	250.939	240.03	4255594
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	SAT (TO)	63	250.946	240.028	4255474
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	415	250.964	240.02901	4255784
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	SAT (TO)	43	250.991	240.03	4255471
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	251.00999	240.026	4255634
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	183	251.032	240.02299	4255576
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	556	251.08701	240.032	4255581
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	SAT (TO)	1270	251.11301	240.028	4255745
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	3	251.14301	240.019	4255601
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	251.153	240.02901	4255598
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	251.158	240.026	4255542
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	175	251.164	240.032	4255467
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	213	251.216	240.032	4255578
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	184	251.246	240.033	4255577
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	10	251.286	240.021	4255626
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	223	251.29401	240.036	4255470
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	455	251.30701	240.03799	4255579
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	SAT (TO)	3	251.33099	240.019	4255622
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	620	251.35899	240.034	4255786
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	124	251.41299	240.02299	4255574
Opd/Opd-sum-large/ Opd-02-350-100.xml	SAT (TO)	0	251.444	240.024	4255586
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	12	251.606	240.03799	4255718
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	18	251.7	240.041	4255719
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	644	251.733	240.047	4255472
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	251.87601	240.02699	4255632
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	169	251.91299	240.039	4255476
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	SAT (TO)	637	251.97099	240.045	4255473
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	451	251.974	240.033	4255580
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	SAT (TO)	166	251.99001	240.034	4255475
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	834	251.99899	240.039	4255582
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	252.01601	240.037	4255451
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	SAT (TO)	2	252.056	204.942	4255450
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	12	252.088	240.02699	4255625
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	SAT (TO)	0	252.091	211.243	4255432
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	254	252.09801	231.442	4255462
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	SAT (TO)	2	252.105	212.237	4255711
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	0	252.11	206.24699	4255435
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	SAT (TO)	0	252.112	176.87399	4255438
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	SAT (TO)	0	252.118	194.37	4255434
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	252.123	240.02499	4255461
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	2367	252.125	223.069	4255549
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	SAT (TO)	0	252.12801	184.75999	4255436
Opd/Opd-sum-large/ Opd-46-350-100.xml	SAT (TO)	350	252.13499	221.744	4255597
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	SAT (TO)	0	252.138	209.258	4255433
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	SAT (TO)	1810	252.138	240.07201	4255483
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	22	252.14101	208.444	4255465
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	SAT (TO)	0	252.151	183.061	4255439
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	SAT (TO)	0	252.162	176.563	4255437
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	44	252.242	240.043	4255550
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1144	252.437	240.03799	4255583
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	716	252.465	240.02901	4255785
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1466	252.60201	240.03799	4255584
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	240	252.664	240.03799	4255469
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	SAT (TO)	1	252.67799	219.76401	4255459
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	SAT (TO)	2	252.724	240.026	4255460
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	SAT (TO)	399	252.724	213.578	4255455
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	SAT (TO)	624	252.79601	177.017	4255456
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	18	252.84599	240.03799	4255720
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	38	253.218	240.04401	4255721
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	22	253.41701	240.03999	4255722
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	SAT (TO)	839	253.52499	198.08701	4255466
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	1744	253.533	240.04201	4255585
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	4	254.052	240.037	4255452
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	224	254.56799	240.04201	4255454
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	44	254.64101	240.04401	4255723
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	67	254.933	240.041	4255544
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	1162	255.386	240.048	4255725
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	1072	255.439	240.04201	4255724
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	255.483	240.05299	4255539
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	SAT (TO)	38	257.72198	240.03999	4255430
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	SAT (TO)	9	257.81799	240.02901	4255427
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	4	258.15601	240.034	4255453
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	SAT (TO)	2	258.173	240.026	4255710
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	322	258.56	240.041	4255464
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	SAT (TO)	15	259.26401	240.03101	4255428
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	287	259.69601	240.03799	4255463
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7771339	262.17899	240.03101	4255687
Opd/Opd-sum-large/ Opd-29-350-100.xml	SAT (TO)	350	263.06201	240.064	4255595

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	?		1.26547	0.81448901	4255667
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	?		5.0882502	2.21334	4255662

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	241.056	240.009	4255665
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	242.07401	240.011	4255666
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	242.265	240.011	4255512
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	242.285	240.011	4255513
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	242.286	240.013	4255393
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	? (TO)	242.423	240.011	4255510
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	242.438	240.01199	4255515
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	? (TO)	242.44	240.01199	4255508
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	242.46001	240.01199	4255514
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	242.466	240.011	4255396
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	? (TO)	242.472	240.011	4255511
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	? (TO)	242.509	240.013	4255761
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	242.55299	240.011	4255401
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	242.60899	240.01199	4255517
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	242.612	240.01199	4255399
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	242.625	240.011	4255402
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	242.63	240.011	4255392
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	242.64101	240.013	4255516
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	? (TO)	242.65401	240.01199	4255404
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	242.67999	240.01801	4255447
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	242.686	240.011	4255395
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	? (TO)	242.726	240.01199	4255509
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	? (TO)	242.826	240.01199	4255691
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	242.894	240.01199	4255403
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	242.90199	240.01199	4255397
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	? (TO)	242.955	240.01199	4255507
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	243.05	240.013	4255398
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	? (TO)	243.22701	240.01801	4255440
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	243.282	240.017	4255693
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	243.295	240.01199	4255394
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	243.32899	240.01199	4255766
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	243.339	240.00999	4255768
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	243.418	240.013	4255764
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	243.45399	240.01199	4255441
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	243.474	240.01199	4255765
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	243.498	240.013	4255694
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	243.511	240.011	4255414
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	243.56599	240.054	4255744
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	243.603	240.01199	4255747
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	? (TO)	243.674	240.01801	4255692
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	243.709	240.01199	4255760
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	243.823	240.01199	4255416
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	243.968	240.02299	4255695
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	244.00101	240.013	4255748
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	244.035	240.01199	4255408
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	244.14999	240.024	4255696
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	244.226	240.01199	4255413
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	244.26801	240.013	4255755
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	244.328	240.01199	4255406
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	244.33701	240.013	4255415
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	244.39301	240.11	4255753
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	244.394	240.01401	4255746
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	244.476	240.013	4255422
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	244.522	240.009	4255754
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	244.532	240.013	4255417
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	244.539	240.013	4255418
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	244.548	240.013	4255771
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	244.608	240.02499	4255697
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	244.675	240.013	4255767
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	244.689	240.01401	4255770
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	244.756	240.017	4255421
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	244.758	240.011	4255769
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	244.791	240.01199	4255751
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	244.808	240.009	4255773
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	? (TO)	244.883	240.024	4255620
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	? (TO)	244.88901	240.01601	4255633
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	? (TO)	244.933	240.013	4255629
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	245.045	240.024	4255698
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	245.08299	240.013	4255776
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	245.093	240.013	4255772
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	245.17999	240.019	4255410
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	245.237	240.00999	4255775
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	245.308	240.013	4255750
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	245.562	240.013	4255420
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	245.662	240.01199	4255774
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	245.746	240.01199	4255405
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	245.828	240.00999	4255756
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	? (TO)	245.864	240.00999	4255788
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	245.866	240.01199	4255400
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	? (TO)	245.894	240.01401	4255787
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	? (TO)	245.953	240.017	4255630
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	246.05299	240.017	4255419
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	246.39301	240.04601	4255793
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	246.632	240.017	4255407
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	246.63699	240.01401	4255791
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	246.909	240.02	4255699
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	246.92599	240.01199	4255792
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	246.94	240.024	4255479
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	247.019	240.01199	4255412
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	247.08099	240.013	4255790
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	247.22	240.015	4255445
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	247.263	240.024	4255481
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	247.265	240.015	4255752
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	247.399	240.013	4255411
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	247.80299	240.024	4255482
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	247.806	240.024	4255480
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	247.836	240.013	4255759
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	248.381	240.084	4255758
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	249.21899	240.013	4255757
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	249.51601	240.021	4255700
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	251.384	240.02299	4255701
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	251.47501	240.02901	4255535
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	252.07899	212.85201	4255681
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	252.08	128.56	4255457
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	253.095	240.026	4255431
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	254.569	240.02901	4255682
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	254.815	240.069	4255702
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	259.42401	240.026	4255703
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	259.82199	115.357	4255712
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	259.828	104.212	4255458
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	264.02399	240.03	4255704

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

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

Category "optimization problem" (COP)

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

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

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

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