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.25616	0.90623599	4257179
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		11.0028	2.7044599	4257180

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	2.00983	1.2692699	4257060
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	2.84325	1.40657	4257302
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	3.16275	1.80427	4256939
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	3.64571	1.5881799	4256979
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	3.7597799	1.54067	4257303
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	3.8754399	1.74564	4257152
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	3.9759099	1.6360199	4256987
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	3.9979899	1.76499	4257145
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	4.3927798	2.12165	4257306
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	4.8098102	2.1828599	4257150
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	4.9931698	2.2976601	4257151
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	5.2110801	2.3103399	4257149
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	5.5377402	1.90771	4257027
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	5.6206598	1.8114001	4257043
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	6.1264601	2.03125	4257196
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	6.3124299	1.9013799	4257044
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	6.3362498	2.0887899	4257061
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	6.3520298	2.10127	4257319
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	6.92418	2.2765601	4257307
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	7.0542302	2.0002301	4257045
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	7.14958	2.19678	4257009
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	7.3666902	2.09903	4257078
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	7.3986001	2.3477399	4257010
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	7.6146898	2.30252	4257062
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	7.9556999	2.35221	4257146
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	8.0965405	2.42395	4257063
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	8.2540503	2.5683899	4257304
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	8.3582802	2.9189301	4257224
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	8.4577999	2.2891099	4257028
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	8.7425098	2.70402	4257305
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	9.0135899	2.41891	4256983
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	9.1108599	3.18519	4256992
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	9.2554998	2.62498	4257118
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	9.5735302	3.35272	4257223
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	9.9805403	2.6409099	4257269
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	10.0427	2.6691999	4256976
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	10.0997	2.72576	4257268
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	10.3169	2.86376	4257160
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	10.391	4.2114801	4257225
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	10.6055	2.8415501	4257320
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	10.8472	3.8055301	4257229
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	11.0833	3.0313301	4257090
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	11.4553	4.0311999	4257226
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	11.6125	2.9026599	4257049
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	11.9704	2.65992	4257048
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	12.1351	3.0455301	4257270
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	12.2959	2.9193001	4257029
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	12.3156	3.5608499	4257114
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	12.3324	3.0455501	4257119
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	12.6987	2.8634501	4257079
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	13.0668	4.1311302	4256994
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	13.1554	3.45755	4257175
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	13.2584	2.7959199	4257047
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	13.5894	3.5401001	4257197
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	13.703	3.0627301	4257084
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	13.7354	2.9363201	4257154
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	13.7434	4.2690301	4256975
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	13.8046	3.95192	4256993
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	13.8429	4.5797501	4256962
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	14.1334	6.4866099	4256991
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	15.7105	5.1605902	4256980
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	16.8634	3.58251	4257085
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	16.868299	6.8891401	4256965
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	17.182199	5.3038402	4256990
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	17.370501	5.1996198	4256995
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	OPT	44	17.92	7.4609399	4257011
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	19.122601	8.9651699	4257228
Opd/Opd-sum-small/ Opd-10-038-010.xml	OPT	2	19.7047	3.8206899	4257092
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	20.119101	3.69329	4257046
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	20.178499	6.2332001	4256988
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	20.412701	4.3900099	4256951
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	20.4881	6.6802201	4256982
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	21.590401	4.2164998	4257064
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	21.710899	3.8656199	4257050
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	22.665199	9.9548798	4256977
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	24.744699	7.3521199	4257219
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	25.646601	8.1184702	4257181
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	25.7246	7.9450998	4256981
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	27.6315	5.3424802	4257321
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	28.318899	9.2296	4257218
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	OPT	937	29.172701	4.9373798	4257053
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	30.346399	8.5578003	4257164
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	30.718599	5.38095	4257163
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	30.935499	12.8784	4257230
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	31.367399	14.3078	4256984
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	34.3592	8.4864702	4256986
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	35.561298	13.85	4257222
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	36.2337	9.8262501	4256966
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	48.224998	9.6442003	4256996
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	OPT	476	51.1605	16.444401	4256964
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	53.778599	12.8877	4256989
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	55.640999	43.074299	4257077
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	OPT	992	56.2817	8.2776604	4257052
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	60.615299	12.7852	4256969
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	62.557899	16.914	4257036
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	63.0462	23.2038	4256978
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	63.538799	9.7333803	4257126
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	OPT	326	71.385803	11.5912	4257271
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	OPT	55	72.274902	61.691898	4257012
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	OPT	92	76.777397	37.412498	4257217
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	78.897499	16.715	4257200
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	OPT	3	82.749298	30.925501	4257031
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	90.424103	12.7048	4257051
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	OPT	1477	95.083199	16.255899	4257058
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	OPT	1333	116.311	15.8688	4257055
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	119.99	17.402	4257165
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	OPT	1334	156.51601	33.162102	4256985
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	OPT	1134	200.923	26.4923	4257056
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	OPT	1358	224.558	29.439501	4257054
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	244.438	49.425598	4257201
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	OPT	5	244.968	46.487701	4257155
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	270.19501	35.903	4257113
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	OPT	122	273.62601	242.506	4256967
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	OPT	1058	405.474	52.484501	4257057
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	408.88199	55.938801	4257322
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	OPT	1150	454.59399	58.7127	4257199
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	OPT	132	593.18201	212.54401	4257233
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	OPT	1220	621.00299	84.249199	4257059
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	753.27698	106.548	4256997
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	762.55902	205.05099	4256950
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	801.95697	164.83501	4257202
Opd/Opd-sum-small/ Opd-10-031-009.xml	OPT	2	809.04401	103.188	4257091
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	OPT	104	1128.5	150.18401	4257339
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	OPT	458	1318.21	167.957	4257274

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	92	266.02802	252.039	4257013
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	191	267.216	252.035	4257016
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	283	268.595	252.034	4257017
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	133	268.96399	252.039	4257014
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	100	269.01001	252.048	4257221
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	151	272.01001	252.036	4257015
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	445	280.87	252.05	4257020
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	298	282.02701	252.03799	4257018
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	285.72601	252.033	4257232
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	577	303.66299	252.043	4257021
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	651	334.40701	252.04201	4257022
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	552	543.99799	252.064	4256963
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	759.88397	252.037	4257038
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	3	767.41602	252.056	4256943
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	SAT (TO)	3	771.08301	252.056	4257204
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	787.98901	252.05901	4257205
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	4	801.69299	252.05701	4256942
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	845.37598	252.056	4257206
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	4	902.98499	252.062	4256944
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	964.99799	252.04601	4256952
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	718	979.99799	252.063	4257023
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	3	997.45898	252.07001	4257207
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	SAT (TO)	1094	1127.5699	252.08701	4256973
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	4	1240.27	252.064	4256945
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	2028	1357.73	252.203	4257030
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	SAT (TO)	22	1425.83	252.05099	4256920
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	3	1463.46	252.05901	4257208
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	SAT (TO)	8	1562.78	252.25301	4256919
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	SAT (TO)	9	1572.26	252.19901	4256918
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	SAT (TO)	2881	1605.13	252.13499	4257240
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	5	1658.34	252.086	4256953
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	SAT (TO)	624	1701.47	252.522	4256947
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	1175	1705.46	252.09	4257216
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	571	1741.11	252.31599	4256956
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	1080	1754.6801	252.19299	4257215
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	1034	1772.0699	252.186	4257214
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	4932078	1774.41	252.155	4257162
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	500	1780.98	252.099	4257231
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	407	1785.53	252.198	4257035
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	944	1802.3	252.16	4257213
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	1825.96	252.034	4257198
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	649	1920.0601	264.10101	4257220
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	44	1920.5601	244.84599	4257311
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	SAT (TO)	24	1920.61	243.106	4257185
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	462	1920.64	243.589	4257272
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	61	1920.65	244.59399	4257159
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1342	1920.65	245.30099	4257356
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	4	1920.66	254.52901	4256900
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	47	1920.67	244.69701	4257315
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	1920.67	243.47	4257115
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	102	1920.72	243.701	4257066
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	48	1920.72	244.40601	4257316
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	172	1920.74	243.89999	4257068
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1503	1920.74	243.80499	4257169
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	7	1920.75	257.92099	4256881
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3688	1920.76	242.911	4257171
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1505	1920.77	245.006	4257355
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	688	1920.77	245.694	4257279
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	SAT (TO)	857	1920.78	250.32201	4257024
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	682	1920.8	244.513	4257346
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	608	1920.8199	244.189	4257072
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1814	1920.84	244.052	4257161
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	89	1920.86	251.42101	4257034
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	518	1920.86	247.67101	4257334
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	893	1920.86	243.31799	4257350
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	185	1920.86	244.80701	4257344
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	SAT (TO)	1281	1920.87	254.60001	4257236
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	122	1920.87	250.75301	4256954
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	1920.87	243.925	4257116
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	551	1920.87	243.798	4257070
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	1058	1920.88	244.214	4257073
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	40	1920.88	244.714	4257312
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	SAT (TO)	1113	1920.9	255.114	4257235
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	625	1920.9	245.42599	4257277
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	272	1920.91	244.31	4257329
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	2002	1920.9301	244.84	4257075
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	160	1920.9399	244.61099	4257343
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	22	1920.95	243.35001	4257080
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	50	1920.96	244.99899	4257317
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	36	1920.96	244.795	4257309
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	150	1920.97	244.105	4257166
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	47	1920.97	244.825	4257318
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	653	1920.98	245.326	4257280
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	3643	1920.99	243.416	4257338
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1289	1920.99	251.043	4257253
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	150	1920.99	244.79201	4257342
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	15	1921	250.51601	4256935
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	695	1921	256.23499	4257210
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1350	1921.01	245.621	4257353
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	2041	1921.01	246.825	4257361
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	2096	1921.01	244.534	4257074
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	129	1921.02	244.308	4257167
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	1921.03	242.91299	4256914
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	751	1921.03	244.015	4257147
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	124003	1921.03	245.10201	4257176
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1334	1921.03	245.55901	4257354
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	64	1921.04	243.896	4257065
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	441	1921.04	243.623	4257273
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	2412	1921.05	242.73801	4257351
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	602	1921.05	247.13699	4257333
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	31	1921.0601	248.52299	4256931
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	28	1921.0699	246.912	4256937
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	6	1921.0699	243.627	4257122
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	1921.0699	243.93201	4257127
Opd/Opd-sum-large/ Opd-46-350-100.xml	SAT (TO)	100	1921.09	256.15799	4257088
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	666	1921.09	249.849	4257335
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	SAT (TO)	31	1921.1	263.72601	4256932
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	30	1921.11	252.242	4257037
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1391	1921.11	243.903	4257170
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	110	1921.11	243.94099	4257082
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	45	1921.11	244.715	4257313
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	244	1921.12	250.62801	4256955
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	867	1921.12	244.218	4257348
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	41	1921.12	244.7	4257310
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	94	1921.13	244.132	4257083
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	161	1921.14	247.39101	4256958
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	1921.15	244.006	4257039
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	7	1921.15	256.61301	4256880
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	229	1921.16	243.916	4257326
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	36	1921.16	245.005	4257308
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	86	1921.17	243.42999	4257323
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	SAT (TO)	640	1921.1801	245.92999	4257278
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	734	1921.1801	245.83099	4257276
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	242	1921.1801	244.02901	4257328
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	48	1921.2	244.791	4257314
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	498	1921.21	247.82001	4256998
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	337	1921.21	245.409	4257019
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	5401	1921.21	246.649	4257340
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1438	1921.22	247.651	4257368
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	412	1921.23	243.625	4257275
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	6	1921.23	247.034	4256917
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	16794	1921.23	244.924	4257168
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	3568	1921.25	243.429	4257336
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	9	1921.25	243.623	4257033
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6948204	1921.26	261.41901	4257174
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	923	1921.27	243.618	4257349
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	6	1921.27	245.91701	4256916
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	13	1921.28	254.7	4256934
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	20	1921.28	247.112	4256940
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	777	1921.29	243.914	4257347
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	1921.3	244.015	4257123
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	357	1921.3	244.21001	4257148
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	93	1921.3	243.43201	4257324
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	206366	1921.3	245.505	4257177
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	157	1921.3	243.69	4257069
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	815	1921.3	257.53299	4257212
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2677	1921.3101	249.724	4257359
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	511	1921.3101	244.01401	4257071
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1321	1921.3101	250.31599	4257254
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	SAT (TO)	374	1921.3101	261.599	4256946
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	7	1921.33	247.033	4256915
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	5626	1921.33	246.144	4257341
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	SAT (TO)	965	1921.34	251.23	4257025
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	SAT (TO)	3	1921.34	242.91901	4257183
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	219	1921.34	247.256	4256960
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2305	1921.34	247.51801	4257363
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	127	1921.35	243.901	4257067
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	389	1921.35	245.757	4257331
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1504	1921.36	246.72301	4257362
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	13	1921.36	248.203	4256933
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	3655	1921.36	243.41701	4257337
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	3028	1921.38	249.01801	4257364
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3225	1921.38	249.631	4257358
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1296	1921.38	257.629	4257234
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	SAT (TO)	3	1921.39	244.80901	4256899
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	1068	1921.39	245.51801	4257360
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	1921.4	243.519	4257089
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	540	1921.4	250.422	4257209
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	1921.4	244.214	4257120
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	2608	1921.4	242.741	4257352
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	121	1921.42	246.42	4256959
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	2795	1921.42	251.935	4257365
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	196	1921.42	243.924	4257325
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	6	1921.4301	254.814	4256882
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	588	1921.4301	246.922	4257332
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	1921.4301	243.22501	4257093
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	1921.4399	244.33099	4257125
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	3701	1921.45	255.52	4257367
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	10	1921.45	243.869	4257117
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2318	1921.46	247.32001	4257357
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	1921.46	244.425	4257042
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	442	1921.46	244.905	4257345
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1899	1921.47	251.22301	4257369
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	7	1921.47	244.33	4257121
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	342	1921.48	245.02901	4257330
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	4	1921.51	243.94901	4257087
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	SAT (TO)	438	1921.52	251.34399	4257032
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	200	1921.5601	251.644	4256961
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	236	1921.5601	244.25101	4257327
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3461	1921.59	252.049	4257366
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	82	1921.61	243.759	4257081
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	775	1921.61	256.55701	4257211
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	5664	1921.62	245.45399	4257076
Opd/Opd-sum-large/ Opd-29-350-100.xml	SAT (TO)	100	1921.96	248.57001	4257086
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	919	1922.65	262.724	4257041
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	108	1947.41	252.14	4256968

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	?		1.30255	0.853899	4257158
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	?		5.4692101	2.0792401	4257153

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	255.07001	252.024	4256883
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	255.838	252.022	4256884
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	255.85899	252.024	4256888
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	256.35199	252.024	4256886
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	? (TO)	256.35599	252.024	4256895
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	256.371	252.022	4256887
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	256.37701	252.024	4256893
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	256.51901	252.01401	4256890
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	256.58499	252.02499	4256885
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	256.586	252.024	4256892
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	256.80399	252.022	4256889
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	256.814	252.024	4256894
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	261.02499	252.052	4257247
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	261.83899	252.024	4256891
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	261.974	252.041	4257250
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	262.07999	252.024	4256896
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	262.552	252.04201	4257248
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	262.57599	252.02901	4256936
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	262.91699	252.047	4257249
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	270.51099	252.03799	4256921
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	270.80099	252.045	4256922
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	299.02499	252.05299	4256924
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	304.332	252.07401	4256923
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	? (TO)	336.77899	254.065	4257178
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	589.38702	252.819	4256949
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	? (TO)	602.27197	254.17599	4256930
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	? (TO)	655.00598	254.133	4256929
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	? (TO)	671.63202	253.94	4256928
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	? (TO)	686.83899	254.11	4256927
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	? (TO)	744.27698	254.15199	4256925
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	858.67499	252.076	4257244
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	870.04401	252.145	4257245
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	883.47302	252.13499	4257246
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	? (TO)	916.13898	252.561	4256941
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	966.18201	252.875	4256948
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	? (TO)	982.974	254.155	4256926
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	1048.83	252.08299	4257243
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	? (TO)	1053.47	254.11301	4257040
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	1156.1801	254.11099	4257203
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	1240.6899	252.12199	4257267
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	1278.58	252.14799	4257266
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	1367.1	252.131	4257265
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	1407.76	252.205	4257195
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	1414.4	252.108	4257241
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	1422.48	252.134	4257242
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	1450.34	252.138	4257008
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	1516.91	252.11501	4257007
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	? (TO)	1535.5601	252.28101	4256957
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	1545.1899	252.17799	4257194
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	1551.4301	252.06799	4256974
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	1558.1801	252.117	4257006
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	1588.78	252.123	4257238
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	1594.61	252.134	4256970
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	1607.26	252.13	4257239
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	1612.28	252.138	4257005
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	1614.54	252.119	4256902
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	1632.04	252.14101	4256971
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	1687.8	252.13901	4257283
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	1703.83	252.131	4257264
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	1707.3101	252.168	4257193
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	1725.23	252.14101	4256972
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	1728.91	252.117	4257263
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	1730.24	254.12601	4257172
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	1744.36	252.11501	4256898
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	1749.77	252.149	4257284
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	1754.84	252.147	4257262
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	1765.64	252.119	4257004
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	1791.66	252.198	4257192
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	1808.42	252.138	4256910
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	1920.15	244.425	4256905
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	? (TO)	1920.45	249.955	4256999
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	1920.63	260.10999	4256912
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	1920.72	242.821	4257184
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	? (TO)	1920.73	261.38501	4257227
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	1920.75	244.498	4256897
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	? (TO)	1920.76	249.478	4257252
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	1920.76	258.90302	4257256
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	1920.77	248.922	4256908
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	1920.8	248.116	4256909
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	1920.8199	260.61099	4257260
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	1920.8199	258.405	4257003
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	1920.89	246.52499	4256911
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	1920.91	245.30701	4257156
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	1920.91	255.81799	4257281
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	1920.92	245.022	4257187
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	1920.9399	244.592	4256913
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	1920.98	254.444	4257190
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	1921.01	250.51601	4257251
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	1921.02	249.703	4257189
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	1921.0601	243.998	4256904
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	? (TO)	1921.0699	254.004	4257002
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	1921.0699	254.086	4257157
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	? (TO)	1921.08	252.80099	4257001
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	1921.1	247.19	4257188
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	1921.11	245.50301	4256906
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	1921.12	259.82901	4257258
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	1921.12	257.72198	4257237
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	1921.1801	257.45801	4257173
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	1921.22	254.33099	4257282
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	1921.26	247.79601	4256901
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	1921.27	244.696	4256907
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	1921.28	244.01401	4257186
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	1921.28	260.72601	4257191
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	? (TO)	1921.3	245.11099	4257124
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	? (TO)	1921.3199	244.10699	4257182
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	1921.33	261.02301	4257259
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	1921.33	259.30399	4257261
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	1921.34	256.612	4257255
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	? (TO)	1921.36	251.39101	4257000
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	1921.37	248.405	4257026
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	? (TO)	1921.48	246.745	4257111
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	1921.48	246.80499	4256938
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	1921.52	254.21001	4256903
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	1921.52	259.42499	4257257

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

Result page for solver OscaR - Parallel with EPS 2017-07-26 (complete)

Category "optimization problem" (COP)

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

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

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

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

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