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.97639799	0.61788398	4255191
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		8.0120497	2.9266801	4255192

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	0.96656197	0.625287	4255072
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	1.01792	0.64086097	4255039
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.14855	0.69216597	4255236
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.15411	0.72034597	4255237
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	1.16673	0.68995899	4255090
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	1.22528	0.70370799	4255331
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.30215	0.754444	4255314
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.36324	0.72945899	4255208
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	1.37528	0.77804798	4255241
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	1.41497	0.71888399	4255021
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	1.52203	0.83088398	4255157
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.54696	0.826159	4255315
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	1.56371	0.80134398	4255005
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	1.62705	0.84224802	4255040
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.64103	0.80710399	4255318
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	1.65554	0.875633	4255240
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	1.81712	0.84092098	4254991
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	1.89192	0.90761602	4255238
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.89972	0.98083901	4254951
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	1.94964	0.91281402	4254999
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	2.0657799	0.95843101	4255004
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	2.1196401	0.98631102	4255164
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	2.1726501	0.98420203	4255130
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	2.2164199	1.04476	4255242
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	2.40011	1.0218101	4255166
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	2.9233301	1.2674201	4255162
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	2.9981799	1.2492599	4255041
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	3.00916	1.2966	4255131
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	3.0562401	1.29302	4255163
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	3.1089399	1.23202	4254995
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	3.3375299	1.37418	4255161
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	3.6634099	2.4149799	4255212
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	4.0718598	1.51503	4254988
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	4.2091899	1.54677	4254987
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	4.3485398	1.69063	4255073
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	4.6046	1.87694	4255172
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	4.9090099	1.95566	4255235
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	5.08358	1.95761	4255022
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	5.1765699	1.98112	4255231
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	5.2697201	2.01598	4255126
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	5.27283	1.94142	4254994
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	5.6233001	2.14908	4255044
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	5.66049	2.23422	4255319
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	OPT	0	5.66892	2.0993199	4255194
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	5.79528	2.35253	4255006
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	5.8738799	2.2809899	4255316
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	7.1557999	2.62427	4255074
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	OPT	3	7.2434702	2.8008101	4255050
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	8.0163698	2.8793299	4255000
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	8.1883297	2.97542	4255317
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	8.4772997	3.1328199	4255176
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	8.6638403	3.57026	4254993
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	8.66537	3.5691099	4255102
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	10.8601	7.31673	4255213
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	13.7449	7.24053	4255138
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	15.2779	7.5883002	4255089
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	17.5457	8.9822302	4255187
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	17.5776	6.5497298	4255282
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	17.7111	9.6620197	4255002
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	18.510401	13.6771	4255048
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	19.123699	9.3846998	4255097
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	20.8913	7.23492	4255280
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	21.2731	8.5012503	4255234
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	21.4216	15.3383	4255056
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	22.182899	7.9150701	4255281
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	22.249901	14.9835	4255096
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	22.883801	12.4294	4255332
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	25.823099	16.7829	4255003
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	25.950701	15.1467	4254963
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	26.667299	19.4664	4255055
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	26.780001	20.204901	4254962
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	29.638599	21.0429	4255075
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	31.4161	23.543301	4255091
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	31.487	23.9084	4255057
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	32.645302	22.3402	4255125
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	32.932499	22.057301	4255214
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	37.1077	27.050699	4254998
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	37.707901	29.8685	4255007
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	41.1688	28.8342	4254953
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	49.779598	39.045601	4255333
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	56.551998	45.637001	4255334
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	61.731998	53.835602	4254989
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	77.465302	69.386703	4255158
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	77.954399	65.865799	4255230
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	78.212997	70.752197	4254996
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	87.437302	80.471199	4255177
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	139.20599	126.57	4255193
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	158.82899	146.996	4254992
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	253.21001	238.177	4255175

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	246.73	240.00999	4255054
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	129	247.08	240.084	4255026
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	1	247.39	240.00999	4254926
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	247.5	240.00999	4255051
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	165	247.52	240.00999	4255027
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	120	247.75999	240.017	4255094
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	SAT (TO)	44	248.14	240.00999	4255008
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	248.77	240.00999	4255135
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	SAT (TO)	0	248.85001	240.00999	4254907
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	248.95	240.00999	4255351
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	SAT (TO)	0	249.03	240.00999	4254904
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	249.17999	240.00999	4255045
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	SAT (TO)	60	249.37	240.00999	4255009
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	0	249.49001	240.00999	4254894
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	84	249.50999	240.021	4255046
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	SAT (TO)	281	249.7	240.00999	4255013
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	103	249.81	240.00999	4255010
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	249.85001	240.00999	4255132
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	0	249.89999	240.00999	4254893
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	SAT (TO)	44	249.95799	240.01401	4255023
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	122	250	240.00999	4255355
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	250.03999	240.00999	4255049
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	201	250.08	240.011	4255028
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	63	250.27299	240.015	4255024
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	250.28	240.00999	4255043
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	62	250.34	240.024	4255047
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	SAT (TO)	1143	250.38	240.00999	4254990
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	SAT (TO)	201	250.39799	240.01401	4255012
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	1798	250.39999	240.00999	4254997
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	12	250.42999	240.01801	4255128
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	655	250.56	240.00999	4255352
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	250.56	240.00999	4255354
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	177	250.77	240.00999	4255011
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	250.84	240.00999	4255042
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	106	250.88	240.01401	4255356
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	251.03	240.011	4255105
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	40	251.10001	240.00999	4255053
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	SAT (TO)	-7621	251.14	240.00999	4255170
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	678	251.23	240.00999	4255353
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1293	251.27	240.00999	4255070
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	SAT (TO)	295	251.28999	240.00999	4255014
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	5	251.40601	240.02	4255099
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	139	251.41	240.00999	4255357
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	SAT (TO)	1005	251.57001	240.00999	4255059
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	259	251.59	240.00999	4255219
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	1174	251.67999	240.00999	4255085
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1258	251.911	240.01601	4255066
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	108	251.996	240.01601	4255025
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	44	252.07001	240.00999	4255052
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	423	252.082	230.82001	4255287
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	275	252.09399	195.245	4255029
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	469	252.11501	226.22501	4255286
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3524895	252.149	227.439	4255174
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	SAT (TO)	1100	252.17	240.00999	4255209
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	0	252.18401	217.95	4254938
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	994	252.22	240.00999	4255069
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	SAT (TO)	14	252.244	240.015	4255123
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	2931	252.32001	240.00999	4255370
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	SAT (TO)	886	252.37	240.00999	4255060
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	SAT (TO)	927	252.45	240.00999	4255058
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1049	252.485	240.01401	4255068
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	58	252.62	240.01601	4255325
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	76	252.62	240.00999	4255178
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	54	252.71001	240.00999	4255322
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1796	252.72	240.011	4255381
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	6	252.72	240.00999	4255133
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	692	252.73	240.101	4255345
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	708	252.78999	240.00999	4255084
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	711	252.89999	240.00999	4255159
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1076	252.91	240.00999	4255071
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	SAT (TO)	49	252.92	240.00999	4254974
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	269	252.942	240.01401	4255081
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6527516	252.95	240.00999	4255186
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	168	253.14999	240.00999	4255358
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7447576	253.14999	240.00999	4255190
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	3	253.37	240.00999	4255104
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	54	253.37	240.011	4255323
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	SAT (TO)	874	253.39	240.00999	4255062
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	3453	253.41	240.011	4255379
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	SAT (TO)	947	253.42999	240.011	4255061
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	236	253.45599	240.017	4255080
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	7	253.47	240.01601	4255139
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	78	253.489	240.01401	4255329
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	105	253.55	240.00999	4255179
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	253.55	240.011	4255217
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	253.62	240.00999	4255137
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	SAT (TO)	321	253.62	240.00999	4255001
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	3014	253.64	240.00999	4255376
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	17	253.69	240.00999	4254946
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	945	253.71001	240.00999	4255064
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	5	253.72	240.00999	4255134
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1636	253.74001	240.00999	4255086
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	469	253.77	240.00999	4255349
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	40	253.78	240.00999	4255321
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	SAT (TO)	67	253.81	240.00999	4254977
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	SAT (TO)	-156	253.838	240.019	4255165
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1595	253.85001	240.00999	4255367
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	3	253.89999	240.011	4254955
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	SAT (TO)	159	253.92	240.00999	4254978
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	253.92	240.00999	4255127
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	683	254.00999	240.00999	4255344
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	254.06	240.00999	4255320
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	SAT (TO)	1346	254.12	240.011	4255063
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1798	254.17	240.00999	4255368
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	897	254.2	240.00999	4255065
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	254.23	240.01401	4255210
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1239	254.25999	240.00999	4255067
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2281	254.25999	240.00999	4255375
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	254.31	240.00999	4255129
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	254.39	240.00999	4255211
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	172	254.405	240.02	4255077
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	254.405	240.015	4254964
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	199	254.44	240.00999	4255360
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	751	254.46001	240.02499	4255083
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	186	254.47	240.01601	4255359
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	254.58	240.01601	4255101
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	18	254.64999	240.00999	4254947
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	56	254.75999	240.00999	4255324
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	63	254.78999	240.00999	4255327
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	SAT (TO)	26	254.8	240.00999	4255076
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	121996	254.82001	240.011	4255188
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	210	254.92	240.019	4255078
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2499	254.97	240.00999	4255371
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	2774	255.06	240.011	4255377
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	7	255.08	240.00999	4255167
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	16	255.14999	240.00999	4254945
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	711	255.2	240.12199	4255082
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	531	255.2	240.00999	4255343
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	752	255.25999	240.00999	4255346
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	69	255.3	240.00999	4255330
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	255.319	240.01601	4255103
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	524	255.35001	240.00999	4255348
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	74	255.56	240.00999	4255328
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	226	255.60001	240.00999	4255160
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1405	255.63	240.00999	4255182
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	208112	255.66	240.00999	4255189
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	215	255.77	240.00999	4255079
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	SAT (TO)	1317	255.77	240.00999	4255264
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	SAT (TO)	3	255.83	240.00999	4255195
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	67	255.85001	240.011	4255326
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	213	255.85001	240.00999	4255362
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	SAT (TO)	6	255.92999	240.00999	4255136
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	231	255.96001	240.00999	4255337
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	256	240.00999	4255218
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	207	256.05399	240.011	4255361
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	2105	256.13	240.00999	4255373
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	461	256.14001	240.00999	4255363
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1435	256.14001	240.00999	4255181
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	505	256.14999	240.00999	4255350
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	373	256.25	240.00999	4255031
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	27	256.35001	240.00999	4255171
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	2248	256.35001	240.00999	4255088
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	100	256.37	240.00999	4255336
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2681	256.59	240.00999	4255369
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1354	256.64999	240.00999	4255266
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1554	256.66	240.00999	4255380
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	16210	256.79999	240.00999	4255180
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	88	256.95001	240.00999	4255335
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1547	256.95999	240.011	4255374
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	256.98999	240.02699	4254954
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	309	256.98999	240.00999	4255340
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	324	257.07001	240.011	4255341
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1511	257.07999	240.024	4255366
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	403	257.37	240.00999	4255342
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3535	257.38	240.02901	4255183
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	199	257.89001	240.00999	4255232
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1425	257.957	240.01601	4255365
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	282	257.965	240.017	4255339
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	89	258.01999	240.011	4255244
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	SAT (TO)	326	258.05099	240.022	4255283
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	SAT (TO)	1666	258.13	240.00999	4255270
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	437	258.159	240.013	4255364
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1319	258.48001	240.013	4255265
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	269	258.59	240.02901	4255338
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	1155	258.64001	240.00999	4255372
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1238	258.69	240.00999	4255173
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1446	258.72	240.00999	4255087
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	SAT (TO)	95	259.09601	240.01601	4255229
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	137	259.20999	240.00999	4255243
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	116	259.59	240.00999	4255239
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	520	260.57001	240.00999	4255285
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	104	261.70001	240.00999	4255233
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	488	262.22	240.00999	4255284
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	137	263.465	240.02	4255245

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	?	143.636	94.971497	4254937
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	?	150.80299	101.368	4254941
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	?	151.3	102.427	4254940
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	?	161.034	107.753	4254942
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	?	162.13901	123.21	4254939

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	242.75	240.03	4254948
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	243.91	240.00999	4254931
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	244.07201	240.013	4254930
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	? (TO)	244.74001	240.00999	4254957
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	? (TO)	245.39	240.00999	4254965
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	245.42	240.00999	4254895
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	? (TO)	245.52	240.013	4255228
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	245.99001	240.011	4254985
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	? (TO)	246.07001	240.00999	4254966
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	? (TO)	247.14999	240.00999	4254967
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	? (TO)	247.25	240.00999	4255226
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	? (TO)	247.25999	240.02499	4255227
Opd/Opd-sum-large/ Opd-10-325-100.xml	? (TO)	247.28	240.00999	4255093
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	247.28	240.00999	4254914
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	247.32001	240.00999	4254983
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	247.32001	240.01801	4254986
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	247.334	240.01401	4254982
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	? (TO)	247.658	240.013	4254928
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	247.74001	240.00999	4254902
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	247.74001	240.00999	4254899
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	247.97	240.011	4254896
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	? (TO)	247.97	240.00999	4255347
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	? (TO)	248.02	240.00999	4254929
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	? (TO)	248.38	240.00999	4254892
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	? (TO)	248.47	240.00999	4254927
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	248.48	240.00999	4254923
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	248.57001	240.011	4254922
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	248.57001	240.00999	4254984
Opd/Opd-sum-large/ Opd-12-350-100.xml	? (TO)	248.63499	240.01601	4255095
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	248.69	240.00999	4254897
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	248.69	240.00999	4254915
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	? (TO)	248.73	240.011	4255224
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	? (TO)	248.8	240.00999	4255223
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	? (TO)	249.07001	240.00999	4255225
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	? (TO)	249.09	240.00999	4255222
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	249.14	240.00999	4255020
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	249.2	240.015	4254901
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	? (TO)	249.31	240.00999	4254958
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	249.53999	240.017	4254924
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	249.58	240.00999	4254900
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	? (TO)	249.60001	240.00999	4254975
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	249.64	240.00999	4254903
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	249.64999	240.00999	4254908
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	249.66	240.00999	4255262
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	249.67	240.00999	4254898
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	? (TO)	249.74001	240.00999	4254976
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	249.82001	240.00999	4254920
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	249.91	240.00999	4255257
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	249.92	240.00999	4254905
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	? (TO)	249.94	240.00999	4255221
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	249.97	240.00999	4255255
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	250.08	240.00999	4255204
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	250.14	240.00999	4254906
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	250.17999	240.00999	4254934
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	? (TO)	250.31	240.00999	4254956
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	250.44	240.00999	4255278
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	250.46001	240.00999	4254910
Opd/Opd-sum-large/ Opd-07-350-100.xml	? (TO)	250.53999	240.00999	4255092
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	? (TO)	250.62	240.00999	4254943
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	250.66	240.00999	4254944
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	250.72	240.011	4254921
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	250.72	240.00999	4254950
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	250.89999	240.00999	4255016
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	250.91	240.00999	4255277
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	251.02	240.011	4254918
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	251.07001	240.00999	4254917
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	251.10001	240.01601	4255168
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	? (TO)	251.25	240.00999	4254981
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	251.28	240.00999	4255253
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	251.36	240.00999	4254913
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	251.39	240.011	4255205
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	251.39	240.00999	4255018
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	251.564	240.00999	4255276
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	? (TO)	251.60001	240.011	4254979
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	251.64	240.00999	4255015
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	? (TO)	251.72	240.00999	4254949
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	251.92	240.00999	4255206
Opd/Opd-sum-large/ Opd-29-350-100.xml	? (TO)	251.95	240.00999	4255098
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	251.97	240.00999	4255038
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	? (TO)	252.03999	220.911	4255291
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	252.05	192.634	4254960
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	? (TO)	252.054	232.819	4255289
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	? (TO)	252.064	225.83	4254969
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	252.07001	240.00999	4255279
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	? (TO)	252.077	209.14799	4255033
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	? (TO)	252.091	198.54201	4255036
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	? (TO)	252.093	115.174	4255032
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	252.10001	240.021	4254925
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	? (TO)	252.112	225.21899	4255246
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	252.12	225.132	4255293
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	252.127	130.243	4254961
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	? (TO)	252.132	232.42101	4255288
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	252.2	240.00999	4255019
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	252.23801	240.011	4254909
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	252.27	240.00999	4255017
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	252.28999	240.00999	4254919
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	252.39999	240.00999	4254916
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	? (TO)	252.5	240.011	4254912
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	? (TO)	252.53	240.00999	4254952
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	? (TO)	252.73	240.00999	4255220
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	252.84	240.00999	4255259
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	252.89	240.00999	4255258
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	253.00999	240.00999	4255274
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	253.2	240.00999	4255207
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	253.25999	240.011	4254933
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	? (TO)	253.25999	240.00999	4254973
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	? (TO)	253.28	240.00999	4254932
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	253.3	240.00999	4255254
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	253.46001	240.00999	4255196
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	253.50999	240.00999	4255256
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	? (TO)	253.52	240.03101	4255378
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	253.57001	240.00999	4254911
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	253.69299	240.017	4255185
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	? (TO)	253.81	240.00999	4254972
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	? (TO)	254.09	240.00999	4254980
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	254.17	240.019	4255203
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	? (TO)	254.19	240.017	4254968
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	254.67	240.00999	4254936
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	? (TO)	254.74001	240.00999	4254970
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	254.91701	240.015	4255198
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	254.955	240.01401	4255267
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	255.00999	240.00999	4255252
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	255.05	240.02499	4254935
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	255.34	240.00999	4255268
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	255.34	240.00999	4255273
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	255.39999	240.00999	4255202
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	255.42999	240.00999	4255295
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	255.52	240.00999	4255275
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	255.629	240.01601	4255201
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	? (TO)	255.67999	240.00999	4255248
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	255.67999	240.00999	4255249
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	255.82001	240.00999	4255200
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	255.97	240.015	4255197
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	? (TO)	256.10001	240.00999	4254959
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	? (TO)	256.13901	166.30701	4255216
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	256.35001	240.00999	4255272
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	256.73001	240.00999	4255199
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	256.78	240.00999	4255251
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	257.54001	240.00999	4255247
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	? (TO)	257.70001	240.00999	4254971
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	257.85999	240.00999	4255169
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	257.92001	240.00999	4255263
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	258.82999	240.00999	4255261
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	259.29999	240.00999	4255296
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	259.48001	240.011	4255260
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	259.492	240.021	4255184
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	259.70001	240.00999	4255269
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	? (TO)	260.05099	116.165	4255034
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	? (TO)	260.10999	119.705	4255035
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	260.14499	123.062	4255037
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	260.203	162.65401	4255215
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	260.22101	240.017	4255250
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	260.84	240.00999	4255294
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	? (TO)	260.85001	240.011	4255030
Opd/Opd-sum-large/ Opd-46-350-100.xml	? (TO)	260.92999	240.00999	4255100
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	262.56	240.00999	4255271
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	? (TO)	262.66	240.00999	4255290
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	? (TO)	263.98001	240.011	4255292

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

Result page for solver choco-solver 5a (2017-07-26) (complete)

Category "optimization problem" (COP)

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

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

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

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

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