2017 XCSP3 competition: main track (CSP and COP, 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.28038	0.786423	4247929
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		3.0744	1.25236	4247922

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	1.26786	1.26743	4247464
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.30015	0.792778	4244890
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	1.3569	0.807171	4245101
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.35743	1.60271	4249885
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.40076	0.811134	4244918
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.43588	0.820719	4248503
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	1.57643	0.867753	4249054
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	1.58671	0.901615	4247436
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	1.61485	0.845505	4249016
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	1.67707	0.86954	4244848
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.68585	0.896723	4244967
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	1.69426	0.877452	4245548
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	1.82809	0.909243	4249850
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	1.84547	0.935102	4249047
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	1.8587	1.15115	4245199
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	1.88688	0.95067	4249040
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	1.90669	0.927978	4248368
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.92387	0.95471	4247813
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	1.93387	0.954434	4249061
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	1.99736	0.958556	4248361
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	2.00271	1.50408	4248375
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	2.04918	0.960466	4246642
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	2.11033	1.05572	4249094
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	2.11291	1.1471699	4247068
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	2.16907	1.00244	4246768
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	2.21045	1.06297	4247450
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	2.25721	1.07678	4249857
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	2.30661	1.06053	4247827
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	2.33343	1.01713	4246852
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	2.36846	1.0695	4247834
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	2.40346	1.48452	4247820
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	2.62151	1.13079	4246114
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	2.63351	1.05868	4246691
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	2.66388	1.18377	4245611
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	2.72735	1.07941	4246740
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	2.77443	1.38982	4244650
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	2.83244	1.36275	4249009
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	2.8799901	1.38665	4246963
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	3.01992	1.22712	4244960
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	3.0553899	1.4729199	4244601
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	3.10464	1.4778	4244629
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	3.11227	1.20283	4249829
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	3.11756	1.24934	4247722
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	3.35443	1.57533	4246163
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	3.41876	1.25004	4246663
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	3.46944	1.34479	4245192
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	3.50171	1.43433	4244932
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	3.68068	1.35486	4249801
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	3.83521	2.20026	4248985
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	3.85692	2.06039	4244946
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	3.91403	2.68127	4248431
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	4.00616	1.87236	4249822
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	4.13544	1.5074	4247736
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	4.25915	1.48595	4249864
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	4.30903	1.48592	4249787
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	4.70731	1.60339	4245555
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	4.7938	1.68112	4249752
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	5.07677	1.73745	4249759
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	5.07735	2.30686	4249780
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	5.20585	1.93019	4245562
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	5.3606	1.77657	4249808
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	5.4300299	2.2713301	4249290
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	5.53128	2.02133	4249836
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	5.57138	2.70861	4244813
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	5.87308	3.14632	4246733
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	5.8893	2.53343	4247764
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	6.08298	5.18388	4248438
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	6.40969	4.09197	4245760
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	6.47714	2.7139	4249815
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	6.50678	5.34066	4248424
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	6.5289	5.57883	4248445
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	6.58116	2.70201	4247799
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	7.32901	4.2642298	4248659
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	OPT	44	7.33663	4.5574	4246817
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	7.54843	6.44173	4248452
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	7.61172	4.03499	4247792
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	7.92665	4.53904	4249843
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	8.51881	3.48083	4247785
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	9.15965	3.83473	4249766
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	9.49248	3.17879	4246100
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	9.56262	4.35165	4246128
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	10.2338	6.50347	4249794
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	12.4524	9.88507	4246726
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	13.7654	11.5199	4245669
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	OPT	476	15.2628	7.16033	4246198
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	19.084	10.2573	4248652
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	OPT	92	20.8635	15.113	4247778
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	27.7715	19.0343	4245206
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	50.3521	26.934999	4248638
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	59.8232	55.8957	4247901
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	60.8645	59.5223	4248340
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	73.1409	40.351398	4249318
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	87.267403	47.8936	4249360
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	100.077	96.1996	4245725
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	1732.27	1691.38	4247033
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	1736.52	1677.49	4245520
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	1737.54	1682.83	4244771
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	1741.41	1688.66	4247394
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	1749.47	1679.1	4245583
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	OPT	55	1788.31	1738.03	4246803
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	1844.03	1792.55	4245746
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	1853.99	1810.8101	4247005
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	1869.14	1806.85	4244799
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	1893.16	1858.6801	4249892
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	OPT	1334	1976.55	1895.18	4249773
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	2287.36	2210.49	4247492
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	2313.23	2249.08	4245122

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	129	2400.02	2334.62	4249238
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	339	2400.02	2326.13	4249224
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	146	2400.03	2333.81	4249203
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	111	2400.03	2329.32	4246782
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	93	2400.03	2324.03	4246628
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	2400.03	2314.42	4245597
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3196043	2400.03	2313.34	4245711
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	279	2400.03	2316.52	4246761
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	104	2400.03	2335.01	4249141
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	213	2400.03	2309.83	4249002
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1220	2400.03	2340.03	4248403
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	15307	2400.03	2319.52	4245718
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	2400.03	2338.9199	4248687
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	221	2400.04	2294.33	4247401
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	7	2400.04	2347.64	4249444
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	59	2400.04	2322.42	4244862
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	127	2400.04	2313.23	4247743
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	158	2400.04	2280.93	4246191
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	100	2400.04	2317.92	4247806
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	56	2400.04	2323.51	4244904
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	279	2400.04	2294.04	4244743
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	2400.04	2346.4199	4246984
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	4	2400.04	2330.6201	4248694
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	4	2400.04	2325.53	4249388
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	2400.04	2327.93	4249430
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	161	2400.04	2331.03	4249175
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	2400.04	2331.03	4249374
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	100	2400.05	2324.33	4245697
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	435	2400.05	2345.52	4244636
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	4	2400.05	2307.8401	4249381
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	396	2400.05	2291.73	4247485
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	SAT (TO)	844	2400.05	2308.52	4246810
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	163	2400.05	2323.11	4246824
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	164	2400.05	2331.23	4249168
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1477	2400.05	2339.03	4248417
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	71	2400.05	2332.23	4245690
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	387	2400.05	2287.53	4244820
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	2400.05	2335.73	4249127
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	6	2400.05	2313.73	4249395
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1242	2400.06	2320.52	4245704
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	2400.06	2317.12	4247757
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	83	2400.06	2315.72	4244855
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	57	2400.06	2323.72	4244953
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	44	2400.06	2325.23	4244869
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	843	2400.06	2280.54	4244834
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	751	2400.06	2305.13	4244736
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	418	2400.06	2321.42	4249252
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	110	2400.06	2319.62	4247729
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	67	2400.06	2317.12	4244925
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	12	2400.06	2301.34	4248531
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	1058	2400.06	2338.81	4248396
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	SAT (TO)	13	2400.06	2292.13	4249465
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	4030	2400.06	2305.83	4246377
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	115352	2400.06	2333.82	4245732
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	646	2400.0601	2343.73	4244657
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	37	2400.0601	2325.3301	4248596
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	2400.0601	2345.71	4246956
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	6	2400.0601	2092.9399	4249325
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1290	2400.07	2317.32	4244364
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	427	2400.07	2317.74	4249259
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1286	2400.07	2309.32	4244468
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	SAT (TO)	41	2400.07	2341.34	4249514
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	74	2400.07	2319.92	4244939
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	151	2400.07	2298.93	4247443
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	554	2400.07	2301.24	4249023
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1383	2400.07	2297.04	4246279
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	175	2400.07	2326.63	4249196
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	992	2400.07	2341.03	4248347
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	7	2400.07	2333.43	4249486
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1081	2400.07	2292.93	4246384
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	937	2400.07	2338.52	4248354
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	2400.07	2325.62	4245108
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	3075	2400.07	2286.54	4246307
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1134	2400.07	2338.62	4248389
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	100	2400.07	2273.94	4245590
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	406	2400.07	2318.73	4249245
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	470	2400.0701	2347.1299	4244615
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	2400.0701	2347.71	4246977
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	SAT (TO)	9	2400.0701	1985.35	4249367
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	2400.0701	2338.22	4247047
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	5	2400.0701	2319.72	4249283
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	611	2400.0701	2340.72	4244608
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	461	2400.0701	2347.02	4244685
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	135	2400.08	2331.11	4246649
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	250	2400.08	2294.64	4244778
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	6	2400.08	2264.25	4245576
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	469	2400.08	2284.75	4244841
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	SAT (TO)	15	2400.08	2324.74	4249402
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	363	2400.08	2288.14	4244792
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1406	2400.08	2295.54	4246370
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	146	2400.08	2298.13	4247499
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	27	2400.08	2334.15	4245157
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	2400.08	2281.46	4245136
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	76	2400.08	2317.31	4244911
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	45	2400.08	2261.65	4245129
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	1663	2400.08	2291.93	4246328
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	SAT (TO)	1266	2400.08	2316.93	4244392
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	5	2400.0801	2327.53	4248603
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	13	2400.0801	2328.1299	4248666
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	2400.0801	2346.6201	4247019
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	28	2400.09	2284.13	4248517
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	2400.09	2305.93	4245604
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	691	2400.09	2289.14	4244827
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1213	2400.09	2304.54	4246293
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	2400.09	2339.02	4245150
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	178	2400.09	2329.31	4249189
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	2400.09	2314.43	4245618
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	SAT (TO)	22	2400.09	2306.22	4249535
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	601	2400.09	2314.32	4246747
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	187	2400.09	2316.32	4247771
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	7	2400.09	2312.04	4249423
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1333	2400.09	2340.21	4248410
Opd/Opd-sum-large/ Opd-29-350-100.xml	SAT (TO)	99	2400.09	2247.54	4245569
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	2400.0901	2330.4299	4249276
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	2400.0901	2346.21	4246991
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	3	2400.0901	2334.6299	4248680
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1309	2400.1	2320.32	4245753
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	136	2400.1	2328.92	4246754
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	64	2400.1	2323.13	4244883
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	84	2400.1	2306.34	4245115
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	231	2400.1	2322.23	4246796
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	7	2400.1	2317.54	4249451
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	120	2400.1	2334.32	4249134
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	3	2400.1	2312.03	4249108
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	1	2400.1	2307.46	4249710
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	31	2400.1	2282.63	4248496
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	2400.1001	2342.8201	4247054
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	24	2400.1001	2324.23	4248645
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	5	2400.1001	2327.1299	4248589
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	4	2400.1001	2331.1399	4249332
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	6	2400.11	2315.25	4249409
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	14	2400.11	2308.22	4248552
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	686	2400.11	2312.92	4246789
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1151	2400.11	2310.33	4249068
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	SAT (TO)	75	2400.11	2211.86	4249542
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	21	2400.11	2285.24	4248545
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	2400.11	2339.84	4249182
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1637	2400.11	2293.14	4246314
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	559	2400.11	2319.32	4246838
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	81	2400.11	2315.72	4244876
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	313	2400.11	2319.04	4246859
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	2400.11	2328.73	4244897
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	554	2400.11	2314.02	4249210
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	2400.1101	2352.9299	4249871
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	2400.1101	2340.9299	4248617
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	SAT (TO)	3	2400.1101	2348.52	4248673
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	634	2400.1101	2342.23	4244594
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	91	2400.12	2331.13	4246831
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	100	2400.12	2311.63	4244750
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	565	2400.12	2295.35	4244757
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	433	2400.12	2319.33	4246845
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	2400.12	2338.83	4245171
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1075	2400.12	2295.54	4246321
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	227	2400.12	2267.83	4246121
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	58	2400.12	2284.23	4245541
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	682	2400.12	2276.83	4247429
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	2400.12	2303.13	4245185
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	133	2400.12	2313.83	4247750
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2438	2400.12	2300.73	4246342
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	SAT (TO)	929	2400.12	2313.22	4246775
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1358	2400.12	2338.03	4248382
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	549	2400.12	2314.02	4249217
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	SAT (TO)	14	2400.12	2352.95	4249416
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	SAT (TO)	0	2400.12	2239.77	4249703
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	SAT (TO)	5	2400.1201	2349.6299	4247061
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	412	2400.1201	2346.02	4244699
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	740	2400.1201	2340.9199	4244678
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	4	2400.1201	2345.73	4246970
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	2400.1201	2354.53	4249878
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	SAT (TO)	326	2400.1201	2347.22	4244664
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	4	2400.1201	2320.1299	4249297
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	SAT (TO)	635	2400.1201	2347.3201	4244692
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	22	2400.1299	2326.1399	4248701
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	341	2400.13	2289.43	4244785
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	115	2400.13	2305.43	4244806
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	128	2400.13	2300.34	4247415
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	1344	2400.13	2271.34	4247408
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	367	2400.13	2283.74	4247478
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2263	2400.13	2288.84	4246300
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	2023	2400.13	2291.63	4246349
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	6	2400.13	2335.03	4249120
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	3	2400.13	2312.72	4245625
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1297	2400.13	2308.32	4244573
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	102	2400.13	2275.94	4246107
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	373	2400.13	2324.23	4249231
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3300	2400.13	2290.04	4246335
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	SAT (TO)	0	2400.13	1196.57	4249738
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	SAT (TO)	1444	2400.13	2306.04	4244475
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	13	2400.1399	2325.74	4248631
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	201621	2400.14	2326.43	4245676
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	6	2400.14	2318.63	4249437
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	64	2400.14	2278.45	4245164
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	SAT (TO)	1345	2400.14	2314.07	4246135
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	204	2400.14	2294.02	4247457
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	902	2400.14	2300.03	4246363
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	2400.14	2301.93	4245143
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	SAT (TO)	72	2400.14	2231.67	4249521
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	6	2400.1499	2328.23	4248610
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	SAT (TO)	0	2400.15	1163.47	4249717
Opd/Opd-sum-large/ Opd-46-350-100.xml	SAT (TO)	96	2400.15	2095.67	4245527
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	3238	2400.15	2285.24	4246391
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1136	2400.15	2277.74	4247506
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7458180	2400.15	2262.06	4245662
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	SAT (TO)	0	2400.15	2165.17	4249724
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	12	2400.15	2305.44	4248489
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3621	2400.15	2290.94	4246356
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	550	2400.16	2266.55	4246212
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	122	2400.16	2279.65	4246184
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	119	2400.18	2292.44	4246177
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	80	2400.18	2273.85	4245513
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	355	2400.19	2285.43	4247422
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2733	2400.2	2284.95	4246286
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	SAT (TO)	1369	2400.2	2286.56	4246149
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	86	2400.23	2275.35	4245534
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	470	2400.23	2289.65	4244764
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	200	2400.24	2269.85	4246142
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1242	2400.26	2274.87	4247471
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	4815481	2400.39	2300.94	4245767
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	50	2400.66	2207.23	4245178
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	554	2400.79	1615.86	4249304
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	SAT (TO)	1806	2401.51	2303.43	4246156
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	SAT (TO)	835	2401.6101	1495.51	4249311
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	SAT (TO)	5	2402.0801	2068.51	4249353
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	SAT (TO)	0	2403.61	856.714	4249731
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	SAT (TO)	1224	2404.23	1027.29	4249346

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	?	1.4944	0.790208	4249087
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	?	6.24336	2.12012	4248978
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	?	368.22	143.60001	4248624

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	2400.02	2391.21	4244399
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	2400.02	2370.81	4249619
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	2400.02	2389.32	4244503
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	2400.03	2386.33	4249458
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	2400.03	2372.41	4244420
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	2400.03	2380.11	4246684
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	2400.03	2381.62	4244482
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	2400.03	2357.22	4247999
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	2400.04	2395.21	4248538
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	2400.04	2367.51	4249605
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	2400.04	2363.01	4249647
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	2400.04	2359.13	4247971
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	2400.04	2376.51	4244357
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	? (TO)	2400.04	2342.92	4249556
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	2400.04	2391.81	4244441
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	2400.04	2270.95	4245774
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	2400.04	2298.51	4246677
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	? (TO)	2400.04	2335.01	4246719
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	2400.05	2393.11	4249080
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	2400.05	2393.82	4244350
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	2400.05	2385.71	4244552
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	2400.05	2359.82	4249654
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	? (TO)	2400.05	2357.72	4247040
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	2400.05	2390.21	4244496
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	2400.05	2374.03	4247985
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	2400.05	2389.01	4244587
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	2400.05	2326.03	4247957
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	2400.05	2387.01	4244427
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	2400.06	2387.82	4244343
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	2400.06	2386.81	4244566
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	2400.06	2343.53	4249675
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	2400.06	2383.41	4244538
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	2400.06	2376.81	4246698
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	2400.06	2349.91	4249507
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	2400.06	2381.11	4244531
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	2400.06	2379.71	4249612
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	? (TO)	2400.0601	2382.72	4246998
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	2400.0601	2390.1101	4244622
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	2400.07	2374.02	4247950
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	2400.07	2378.32	4249640
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	2400.07	2343.83	4245739
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	2400.07	2385.21	4244329
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	2400.07	2349.64	4246205
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	2400.07	2368.83	4246170
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	2400.07	2388.12	4244524
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	2400.07	2387.22	4248524
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	2400.07	2385.11	4244371
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	2400.0701	2390.21	4244643
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	2400.08	2357.12	4249682
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	2400.08	2387.81	4244489
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	2400.08	2383.82	4244580
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	? (TO)	2400.08	2359.71	4247915
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	2400.08	2343.03	4249668
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	2400.08	2383.51	4244510
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	2400.08	2339.61	4249591
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	2400.08	2384.81	4244378
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	2400.08	2360.22	4249661
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	2400.08	2361.02	4249584
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	2400.09	2379.82	4246656
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	2400.09	2350.11	4249598
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	2400.09	2378.12	4249633
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	2400.09	2381.02	4249696
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	? (TO)	2400.09	2348.52	4245683
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	? (TO)	2400.09	2331.41	4246712
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	2400.09	2381.62	4246705
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	2400.09	2379.02	4247964
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	2400.0901	2388.6101	4244671
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	2400.1	2389.61	4244385
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	2400.1	2388.81	4244413
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	2400.1	2390.73	4249626
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	2400.1	2311.01	4246635
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	2400.1	2365.82	4247992
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	2400.1	2353.31	4249500
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	? (TO)	2400.1	2362.61	4247936
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	2400.1	2374.42	4247908
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	2400.1	2391.21	4244336
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	2400.1	2380.31	4244434
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	2400.1	2351.84	4249528
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	2400.1	2332.43	4249549
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	2400.1	2379.42	4244406
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	2400.1	2341.02	4249472
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	2400.1	2344.14	4248013
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	? (TO)	2400.1001	2380.8101	4247026
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	2400.11	2355.23	4249689
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	2400.11	2364.51	4248006
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	2400.11	2377.03	4247978
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	2400.11	2382.73	4244545
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	2400.11	2367.82	4249577
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	2400.11	2366.92	4249570
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	2400.11	2375.63	4247943
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	2400.11	2340.42	4249563
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	2400.11	2346.72	4249479
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	2400.11	2378.62	4245094
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	2400.11	2389.51	4249101
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	? (TO)	2400.11	2387.12	4244517
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	2400.1101	826.39001	4249339
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	2400.12	2393.52	4248510
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	2400.12	2382.72	4244559
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	? (TO)	2400.13	2325.52	4246670
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	2400.13	2342.52	4249493
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	2400.16	2348.31	4249745

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

Result page for solver R1: OscaR - Hybrid 2017-06-30 (complete)

Category "optimization problem" (COP)

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

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

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

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

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