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		0.053027	0.14413001	4259167
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		64.317596	64.414497	4259168

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	0.0095070004	0.070081897	4259290
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	0.01229	0.111356	4259184
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	0.013164	0.084905103	4259294
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	0.015271	0.079259001	4259291
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	0.019921999	0.110534	4259106
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	0.021709001	0.112472	4259048
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	0.022279	0.130382	4258927
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	0.024444001	0.130391	4258980
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	0.025219999	0.097058997	4259140
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	0.026051	0.134941	4259066
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	0.030063	0.147029	4259142
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	0.032331999	0.12971599	4259138
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	0.034148999	0.097704999	4259139
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	0.037051	0.162643	4258967
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	0.037124	0.13882799	4258981
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	0.039696999	0.117872	4258975
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	0.041241001	0.123951	4259107
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	0.046206001	0.13214301	4259133
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	0.048769999	0.14760201	4259307
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	0.049392	0.112448	4259137
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	0.068030998	0.147872	4259102
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	0.073748	0.16902401	4258997
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	0.073991999	0.16395301	4259015
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	0.074662	0.15691	4259114
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	0.087433003	0.18618999	4258982
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	0.127775	0.20966101	4258979
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	0.135223	0.218384	4259078
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	0.145906	0.250377	4259016
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	0.157014	0.20953	4259049
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	0.166278	0.25846601	4258971
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	0.185831	0.28124601	4258963
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	0.19597501	0.28312799	4258970
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	0.19751801	0.289047	4259188
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	0.20433301	0.29397699	4259258
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	0.204889	0.306788	4259212
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	0.213054	0.304885	4258998
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	0.215174	0.31588399	4258938
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	0.230483	0.31145301	4259256
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	0.23307499	0.319464	4258964
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	0.24907701	0.29469401	4259031
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	0.249383	0.33506301	4259017
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	0.25910601	0.31835899	4259050
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	0.25943601	0.36627001	4259292
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	0.26354	0.31507799	4258929
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	0.28229299	0.37834099	4259033
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	0.28376901	0.356332	4259189
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	0.28792101	0.34704599	4259148
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	0.29120699	0.39839101	4258950
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	0.29194999	0.38085601	4259211
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	0.30547801	0.38595799	4259213
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	0.31991699	0.41640499	4258965
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	0.33681199	0.422968	4258983
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	0.338644	0.42328	4259032
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	0.343945	0.43069199	4258976
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	0.3849	0.55524701	4258969
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	0.41868401	0.515311	4258972
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	0.43327501	0.54161698	4259101
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	0.45434499	0.54576999	4259257
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	0.45592499	0.54352802	4259295
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	0.46955901	0.52536798	4259190
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	0.48794401	0.57967699	4259073
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	0.50690001	0.570553	4259214
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	0.60888898	0.72569501	4258953
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	0.77425498	0.84078598	4259293
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	0.78407902	0.86245698	4259217
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	0.78873998	0.89271998	4259072
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	1.04495	1.13266	4259065
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	1.30178	1.39106	4258978
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	1.32248	1.42226	4258968
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	1.4728301	1.58476	4259024
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	1.54431	1.6534899	4259067
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	1.7944601	1.87309	4259216
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	2.57938	2.64098	4259163
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	2.8381	2.9330599	4259051
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	2.8808	2.9312899	4259308
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	2.92958	3.01003	4259020
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	4.0233798	4.1368299	4258939
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	4.9514399	5.0378299	4258984
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	5.6666098	5.7593799	4259134
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	6.38482	6.4874101	4258966
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	6.6500401	6.7480402	4259036
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	6.7192898	6.8187699	4258974
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	6.92167	7.0241899	4259207
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	7.5824199	7.7002401	4259218
Opd/Opd-sum-small/ Opd-10-038-010.xml	OPT	2	11.9403	12.0369	4259080
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	13.3406	13.444	4259309
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	13.9838	14.0678	4259206
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	14.1304	14.1805	4259152
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	14.8736	14.9354	4259037
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	15.2044	15.2571	4259035
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	15.2214	15.2953	4259034
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	17.754601	17.8536	4259038
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	18.7083	18.7808	4258957
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	25.1684	25.254999	4259210
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	26.8458	26.952499	4258985
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	29.4147	29.4963	4258977
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	39.430401	39.537701	4258954
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	OPT	1334	39.641602	39.752998	4258973
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	OPT	-7772	47.0811	47.1847	4259146
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	OPT	937	48.403801	48.4617	4259041
Opd/Opd-sum-small/ Opd-10-031-009.xml	OPT	2	50.432201	50.5172	4259079
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	56.084599	56.176998	4259151
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	OPT	5	59.030499	59.1175	4259111
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	OPT	6	68.750801	68.853996	4259113
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	69.496002	69.590302	4259185
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	OPT	8	75.319504	75.431602	4258887
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	OPT	5	103.108	103.214	4259108
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	OPT	2	108.061	108.117	4259191
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	OPT	458	140.11501	140.20399	4259262
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	153.39999	153.48199	4259153
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	153.933	154.033	4259052
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	182.19	182.306	4259039
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	217.761	217.896	4259310

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	SAT (TO)	0	240.12199	240.23199	4258913
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	SAT (TO)	86326	240.20799	240.34	4259160
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1219	251.37601	252.00999	4259149
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	SAT (TO)	29	251.62601	252.013	4258920
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	724	251.774	252.032	4259323
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	500	251.785	252.011	4259325
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	56	251.786	252.009	4259298
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	643	251.786	252.017	4259322
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	465	251.791	252.039	4259008
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	386	251.79601	252.011	4259316
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	40	251.804	252.011	4259029
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	756	251.80499	252.01601	4259321
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	367	251.811	252.011	4259315
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	SAT (TO)	13	251.813	252.011	4259099
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	338	251.815	252.011	4259314
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	44	251.82001	252.00999	4259297
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	739	251.821	252.01601	4259328
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	56	251.828	252.009	4259299
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	160	251.828	252.01199	4259003
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	SAT (TO)	0	251.828	252.01199	4258882
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	101	251.82899	252.01199	4259209
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	992	251.83099	252.009	4259040
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	107	251.83099	252.011	4259215
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	212	251.832	252.01199	4259004
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	417	251.834	252.009	4259263
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1309	251.838	252.011	4259157
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	93	251.838	252.009	4258986
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	130	251.838	252.00999	4259054
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	251.841	252.01199	4259220
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	SAT (TO)	3	251.842	252.009	4259192
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3181880	251.842	252.01199	4259150
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	289	251.842	252.011	4259313
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	SAT (TO)	1394	251.842	252.00999	4259244
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	323	251.845	252.017	4259006
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	188	251.84599	252.00999	4259056
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	76	251.84599	252.009	4259306
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	88	251.84801	252.00999	4259053
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	SAT (TO)	1	251.853	252.00999	4259169
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	4605589	251.854	252.011	4259162
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	251.854	252.009	4259330
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	6	251.856	252.002	4259109
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	SAT (TO)	326	251.85699	252.009	4259259
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1259	251.858	252.00999	4259242
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	4	251.86	252.011	4258932
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	40	251.86	252.011	4259068
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	SAT (TO)	206	251.86099	252.00999	4258989
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	6	251.862	252.011	4258870
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	703	251.86501	252.017	4259329
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	SAT (TO)	6	251.86501	252.011	4259112
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3175	251.867	252.011	4259159
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	SAT (TO)	551	251.868	252.01199	4258952
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	SAT (TO)	45	251.87	252.011	4258999
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	12	251.87199	252.011	4258921
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	251.87399	252.011	4258902
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	453	251.875	252.011	4259324
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	251.875	252.00999	4259025
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	SAT (TO)	625	251.87601	252.00999	4259266
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	413	251.87601	252.011	4259317
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	180	251.87601	252.01199	4259208
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	15586	251.87601	252.00999	4259156
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	159	251.87801	252.00999	4259336
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	716	251.87801	252.02499	4259320
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	221	251.87801	252.00999	4259057
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	28	251.879	252.011	4258919
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	SAT (TO)	-142	251.88	252.011	4259141
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	4	251.881	252.011	4259110
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	251.882	252.00999	4259081
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	SAT (TO)	0	251.882	252.01199	4258883
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	4	251.882	252.011	4259199
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	120	251.883	252.00999	4259331
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	SAT (TO)	1406	251.884	252.00999	4259243
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	3	251.886	252.00999	4259195
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1220	251.88699	252.009	4259047
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	5	251.88901	252.011	4258933
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	632	251.89	252.00999	4259265
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	SAT (TO)	174	251.89101	252.009	4258988
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	251.89101	252.00999	4259103
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	103	251.89101	252.00999	4259311
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	664	251.89101	252.00999	4259341
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	3	251.892	252.011	4258931
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	SAT (TO)	22	251.89301	252.011	4258908
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	461	251.894	252.00999	4259260
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	1295	251.894	252.011	4259347
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	SAT (TO)	1233	251.895	252.00999	4259240
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	853	251.895	252.00999	4259344
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1032	251.895	252.01199	4259062
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	251.896	252.011	4259115
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1078	251.896	252.01199	4259063
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	119	251.897	252.011	4258947
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	251.897	252.01199	4259018
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	53	251.89799	252.011	4259069
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	SAT (TO)	1669	251.899	252.011	4259249
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	4	251.899	252.00999	4259197
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	1344	251.899	252.011	4259351
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	134	251.89999	252.01199	4259221
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	126	251.89999	252.011	4259219
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	80	251.89999	252.009	4259304
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	251.89999	252.00999	4259327
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	116	251.901	252.011	4259312
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	4	251.901	252.011	4259075
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	740	251.90199	252.011	4259356
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	411	251.90199	252.011	4259059
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	251.90199	252.00999	4259186
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	1571	251.90199	252.01199	4259355
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	SAT (TO)	810	251.90401	252.00999	4258994
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	789	251.90401	252.00999	4259343
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	105	251.90401	252.01199	4259001
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	251.905	252.00999	4259021
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	251.90601	252.00101	4259019
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	251.90601	252.011	4258940
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	425	251.907	252.011	4259340
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	743	251.907	252.00999	4259342
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	4	251.908	252.00999	4259196
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	SAT (TO)	715	251.909	252.00999	4258993
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	164	251.91	252.00999	4259334
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	62	251.91	252.011	4259070
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	13	251.912	252.011	4258922
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	151	251.91299	252.00999	4259055
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	21	251.91299	252.011	4258928
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	SAT (TO)	3	251.914	252.009	4259170
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	583	251.91499	252.011	4259326
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1358	251.91499	252.009	4259042
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	251.916	252.011	4259105
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	SAT (TO)	448	251.91701	252.00999	4258992
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	SAT (TO)	1690	251.91701	252.011	4259247
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	206	251.91701	252.00999	4259338
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	715	251.91701	252.00999	4259350
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	61	251.91901	252.011	4259000
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	1300	251.91901	252.013	4259064
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	228	251.91901	252.009	4259136
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7376034	251.92	252.118	4259166
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	890	251.92	252.01199	4259357
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	59	251.92101	252.011	4259023
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1333	251.92101	252.009	4259043
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	251.92101	252.00999	4259193
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	SAT (TO)	1640	251.922	252.011	4259248
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	251.922	252.00999	4259077
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	SAT (TO)	92	251.923	252.01601	4259205
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	78	251.924	252.00999	4259022
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	66	251.924	252.011	4259154
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	776	251.925	252.011	4259349
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	105	251.92599	252.011	4258956
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	115352	251.92599	252.00999	4259164
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	6	251.92599	252.009	4259143
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	128	251.92599	252.00999	4259333
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1477	251.927	252.009	4259046
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	684	251.92799	252.00999	4259348
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	1388	251.92799	252.011	4259354
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	598	251.929	252.033	4259319
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	63	251.929	252.00101	4259301
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	SAT (TO)	925	251.931	252.00999	4258996
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	187	251.93201	252.00999	4259337
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	291	251.93201	252.02901	4259005
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	251.933	252.011	4259104
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	436	251.933	252.00999	4259261
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1233	251.93401	252.00999	4259158
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	28	251.93401	252.011	4258925
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	1058	251.935	252.009	4259045
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	472	251.935	252.011	4259060
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	251.935	252.00999	4259296
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	7	251.936	252.00999	4258888
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	1157	251.936	252.011	4259353
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	42	251.936	252.01199	4259028
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	184	251.936	252.00999	4259335
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	351	251.937	252.036	4259007
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	0	251.938	252.009	4259147
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	195605	251.938	252.011	4259165
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	251.939	252.00999	4259026
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	146	251.939	252.00999	4258987
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	598	251.939	252.011	4259061
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	SAT (TO)	236	251.94	252.00999	4258990
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	367	251.94099	252.011	4259058
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	406	251.94099	252.01199	4259339
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	122	251.942	252.011	4258955
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	251.94299	252.00999	4259030
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	199	251.94299	252.01601	4258949
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	70	251.94501	252.009	4259303
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	136	251.946	252.01601	4259002
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	14	251.948	252.011	4258923
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	105	251.94901	252.00999	4259332
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	251.95	252.009	4259027
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	101	251.952	252.00999	4259155
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	159	251.952	252.011	4258946
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	SAT (TO)	336	251.957	252.00999	4258991
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	69	251.957	252.00999	4259302
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	1215	251.95799	252.011	4259345
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1134	251.96001	252.009	4259044
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	SAT (TO)	868	251.961	252.00999	4258995
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	251.96201	252.00999	4258930
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	59	251.964	252.009	4259300
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	605	251.965	252.00999	4259135
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	251.967	252.00999	4259194
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	76	251.967	253.771	4259071
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	1706	251.967	252.011	4259352
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	715	251.968	252.07001	4259010
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	86	251.97	252.00999	4259305
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	1567	251.97501	252.011	4259346
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	491	251.978	252.02901	4259318
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1290	251.985	252.00999	4259222
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	SAT (TO)	2	251.98801	252.00999	4258885
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1229	251.996	252.00999	4259241
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	SAT (TO)	1107	252.008	252.00999	4259223
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	SAT (TO)	1278	252.011	252.00999	4259224
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	SAT (TO)	1377	252.015	252.011	4259245
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	SAT (TO)	1603	252.02299	252.011	4259246
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	SAT (TO)	1222	252.03	252.00999	4259239
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	SAT (TO)	50175	252.034	252.10899	4259161

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	240.021	240.092	4258907
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	? (TO)	240.11301	240.161	4258914
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	? (TO)	240.168	240.343	4258916
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	240.22501	240.325	4258912
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	240.23599	240.33099	4258911
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	? (TO)	240.242	240.347	4258917
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	? (TO)	240.263	240.395	4258915
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	? (TO)	240.308	240.382	4258918
Opd/Opd-sum-large/ Opd-29-350-100.xml	? (TO)	251.795	252.02499	4259074
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	251.80701	252.01199	4258960
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	251.815	252.011	4258873
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	? (TO)	251.81599	252.009	4259171
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	251.83099	252.00999	4259176
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	? (TO)	251.83099	252.01601	4258942
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	? (TO)	251.83299	252.002	4259204
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	251.83501	252.01801	4258886
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	? (TO)	251.84	252.011	4258903
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	251.847	252.03101	4258900
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	251.851	252.011	4258897
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	251.85201	252.01199	4258958
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	251.856	252.00999	4259145
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	251.85699	252.011	4258874
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	251.86	252.01199	4258871
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	? (TO)	251.866	252.015	4258904
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	251.871	252.011	4258890
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	251.87199	252.00999	4259173
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	251.87199	252.017	4258959
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	? (TO)	251.873	252.011	4259200
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	? (TO)	251.87601	252.00999	4259267
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	251.87801	252.011	4258889
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	251.879	252.00999	4259180
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	251.881	252.00999	4258893
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	? (TO)	251.881	252.03101	4258935
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	251.882	252.011	4258894
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	251.883	252.01199	4258924
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	251.886	252.01199	4258899
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	251.88699	252.009	4259144
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	251.888	252.00999	4258901
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	251.888	252.00999	4259252
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	251.888	252.011	4258926
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	251.89	252.00999	4259269
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	251.89	252.01199	4258879
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	251.89	252.01199	4258876
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	251.89101	252.089	4259253
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	251.89101	252.011	4258884
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	? (TO)	251.89301	252.011	4258869
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	? (TO)	251.894	252.011	4259203
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	? (TO)	251.896	252.00999	4259264
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	251.896	252.01199	4258881
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	? (TO)	251.89799	252.011	4258941
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	251.89799	252.00999	4259181
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	251.89999	252.00999	4259175
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	251.901	252.011	4259014
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	251.903	252.01199	4258875
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	251.90401	252.089	4259250
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	? (TO)	251.90401	252.033	4258945
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	? (TO)	251.90401	252.028	4258934
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	? (TO)	251.90401	252.011	4259202
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	251.90401	252.01199	4258878
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	251.905	252.011	4258880
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	251.907	252.00999	4259177
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	251.912	252.00999	4259272
Opd/Opd-sum-large/ Opd-46-350-100.xml	? (TO)	251.914	252.05901	4259076
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	? (TO)	251.914	252.00999	4259198
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	251.914	252.00999	4259178
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	251.91499	252.01199	4258961
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	? (TO)	251.91499	252.011	4258951
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	251.916	252.01199	4258877
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	251.91701	252.00999	4259271
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	? (TO)	251.91701	252.065	4259011
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	? (TO)	251.91701	252.011	4258905
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	? (TO)	251.918	252.00999	4259268
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	251.92101	252.00999	4259270
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	? (TO)	251.92101	252.00999	4258868
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	251.923	252.00999	4259231
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	251.924	252.00999	4259172
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	251.92599	252.00999	4259183
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	251.92599	252.011	4259232
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	251.92799	252.01199	4259237
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	? (TO)	251.92799	252.011	4258948
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	251.92999	252.039	4258872
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	251.93401	252.011	4259233
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	251.935	252.00999	4259174
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	251.935	252.00999	4259182
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	251.935	252.00999	4258895
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	251.936	252.011	4259236
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	? (TO)	251.938	252.011	4259201
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	251.939	252.00999	4259179
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	251.939	252.03	4258898
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	? (TO)	251.948	252.028	4258944
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	? (TO)	251.952	252.049	4259009
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	251.952	252.045	4259013
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	251.95399	252.10201	4258962
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	251.955	252.015	4258891
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	? (TO)	251.95799	252.028	4258943
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	251.964	252.028	4258937
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	251.964	252.05299	4258936
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	251.97701	252.089	4258909
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	? (TO)	251.98	252.075	4259012
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	251.983	252.00999	4258892
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	251.98599	252.024	4258896
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	251.989	252.011	4259235
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	251.996	252.011	4259234
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	252.002	252.011	4259230
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	252.00301	252.011	4259229
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	252.00301	252.02699	4259238
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	252.005	252.00999	4259227
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	252.007	252.011	4259228
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	252.008	252.08701	4258906
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	252.011	252.00999	4259255
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	252.011	252.00999	4259225
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	252.013	252.134	4258910
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	252.015	252.011	4259254
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	252.02	252.011	4259226
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	252.026	252.011	4259251

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

Result page for solver Mistral-2.0 2017-07-28 (complete)

Category "optimization problem" (COP)

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

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

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

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

Solver was terminated by a signal (1 run) [Show/Hide]