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.93267202	0.60320902	4254197
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		3.8020201	1.6457601	4254198

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	0.88380897	0.62227303	4254078
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	0.94964999	0.628555	4254045
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	0.98245603	0.62397999	4254096
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.0222501	0.63111597	4254320
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.03506	0.60828298	4253957
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.04416	0.77615899	4254214
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.06944	0.65722698	4254321
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.0853699	0.66045803	4254242
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.1018	0.63142401	4254243
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	1.10551	0.68629903	4254011
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.12102	0.637945	4254324
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	1.15257	0.69295698	4254027
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	1.1801	0.70066702	4254163
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	1.18392	0.70866603	4254170
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	1.2294199	0.72801101	4254046
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	1.2367001	0.69347	4254337
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	1.30831	0.73243701	4254168
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	1.31247	0.74544799	4254247
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	1.36647	0.751737	4254169
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	1.36725	0.74496597	4254167
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	1.39513	0.763641	4253997
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	1.39648	0.76529598	4254172
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	1.46549	0.73663801	4254005
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	1.4800299	0.74925601	4254010
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	1.48738	0.80377001	4254079
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	1.51546	0.87449801	4254246
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	1.6367199	0.88573998	4254047
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	1.64894	0.84954703	4254095
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	1.70403	0.97364998	4254244
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	1.7253799	0.88888699	4254136
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	1.7400399	0.89510697	4254080
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	1.84024	0.960594	4254322
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	1.91125	0.89362699	4254325
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	2.1114399	0.97826701	4254178
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	2.1235499	0.97605801	4254248
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	2.14358	1.02976	4254028
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	2.2697301	1.04107	4254137
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	2.2807701	1.03787	4254012
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	2.3587699	1.09697	4254001
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	2.4475801	1.1349	4254132
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	2.4984601	1.04096	4253993
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	2.5153799	1.1298701	4254108
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	2.52795	1.15203	4254323
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	2.9367399	1.20787	4254000
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	3.0162799	1.22141	4253994
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	3.1290901	1.25951	4254050
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	3.29708	1.31027	4254006
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	3.32757	1.43065	4254237
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	3.47328	2.3861401	4254218
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	3.4802599	1.46504	4254241
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	3.7950699	1.5372	4254338
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	4.08181	1.6958899	4253999
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	4.60748	2.04427	4254062
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	4.6100702	2.0999	4254061
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	4.9135399	2.4409299	4254102
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	OPT	0	5.23633	1.97065	4254200
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	5.2811198	2.7307799	4254103
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	5.3737001	2.7058599	4254182
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	5.8580999	2.5761099	4254193
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	6.44486	2.4251001	4254286
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	6.8036599	3.3973899	4254013
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	6.8222599	2.5773399	4254288
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	6.8582902	3.3542099	4254054
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	6.92168	2.9562299	4254063
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	7.73033	4.09762	4254008
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	8.0305204	3.98473	4254144
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	8.95156	3.3267901	4254287
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	9.0744696	5.5227799	4254009
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	9.3030005	3.4287601	4254240
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	9.59939	6.1918302	4254081
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	9.6289301	6.2856798	4254004
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	10.3938	7.2121701	4254219
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	16.8992	12.9647	4253983
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	17.063	14.8133	4254097
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	20.5933	16.4751	4254164
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	22.9634	16.2805	4253969
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	23.7665	20.137199	4254339
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	25.2826	18.3421	4254236
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	26.2743	22.7185	4254215
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	26.606001	20.103901	4253968
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	29.8316	27.4252	4254131
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	29.9746	25.8542	4253987
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	30.002199	26.3634	4254340
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	31.0263	21.729401	4254220
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	34.3507	30.5548	4253995
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	40.973999	28.8906	4253959
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	47.936901	44.643799	4254183
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	51.1632	46.928398	4253998
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	51.435501	48.236099	4254066
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	51.999298	48.072498	4254181
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	61.499298	57.303799	4254002
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	61.593498	57.9557	4254068
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	63.8843	60.4911	4253980
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	65.617798	61.339699	4254014
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	71.25	66.0783	4254199
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	72.069801	67.995903	4254067
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	98.430603	94.636803	4254064
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	118.384	114.368	4254007
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	OPT	4	184.181	178.826	4254140
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	188.72301	184.21201	4254065
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	OPT	326	200.23	192.806	4254289

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	SAT (TO)	-7758	242.5	240.00999	4254176
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	3	242.87399	240.00999	4254110
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	242.99001	240.00999	4254109
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	7	243.21001	240.011	4254173
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	16	243.34	240.00999	4253952
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	243.34	240.00999	4254326
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	243.45	240.00999	4254051
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	43	243.47	240.00999	4254327
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	120	243.49001	240.00999	4254360
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	243.5	240.00999	4254107
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	225	243.52	240.00999	4254166
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	17	243.52	240.00999	4253953
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	102	243.52	240.00999	4254016
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	54	243.52901	240.00999	4254330
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	243.591	240.011	4254357
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	243.64301	240.00999	4254111
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	59	243.69	240.00999	4254331
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	128	243.71001	240.00999	4254361
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	SAT (TO)	1165	243.74001	240.00999	4253996
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	143	243.74001	240.00999	4254363
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	SAT (TO)	44	243.742	240.011	4254029
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	80	243.75	240.01199	4254335
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	243.75999	240.00999	4254060
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1339	243.75999	240.00999	4254371
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	SAT (TO)	26	243.77	240.00999	4254082
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	243.77	240.00999	4254138
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	163	243.82001	240.00999	4254017
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	106	243.82401	240.01199	4254362
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	70	243.84	240.00999	4254336
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	SAT (TO)	265	243.84	240.00999	4254019
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	66	243.84	240.00999	4254333
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	69	243.86	240.00999	4254332
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	243.914	240.011	4254143
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	243.94	240.00999	4254217
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	243.94901	240.01199	4254056
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	243.96001	240.00999	4254141
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	184	243.96001	240.01601	4254365
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	SAT (TO)	60	243.98	240.00999	4254015
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	SAT (TO)	415	244.026	240.01801	4254021
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	98	244.041	240.013	4254099
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	74	244.06	240.00999	4254334
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	14	244.09	240.00999	4253951
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	191	244.10001	240.00999	4254364
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1359	244.11	240.00999	4254188
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	244.13	240.00999	4254057
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	54	244.17799	240.01199	4254329
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	SAT (TO)	594	244.22	240.00999	4253982
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	127	244.25	240.00999	4254032
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	200	244.29601	240.00999	4254366
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	215	244.3	240.00999	4254085
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1393	244.34	240.00999	4254187
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	53	244.35001	240.00999	4254328
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	2	244.35699	240.00999	4253932
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	253	244.36	240.011	4254087
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	SAT (TO)	193	244.38	240.00999	4254018
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	1092	244.39999	240.00999	4254378
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	204	244.41	240.01601	4254367
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	105	244.41	240.03	4254031
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	244.42	240.00999	4254216
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	190	244.45	240.00999	4254084
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	1760	244.47	240.00999	4254003
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6089385	244.48	240.00999	4254192
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1747	244.48	240.00999	4254374
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	5	244.48	240.00999	4254105
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1228	244.57001	240.00999	4254179
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	63	244.60001	240.00999	4254030
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	124	244.64999	240.01601	4254083
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3156	244.66	240.00999	4254376
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2319	244.66	240.00999	4254375
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	199	244.70599	240.013	4254034
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	244.71001	240.07401	4254134
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	138	244.73	240.00999	4253986
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	11	244.75999	240.01601	4254177
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	211	244.77	240.00999	4254368
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1393	244.78	240.00999	4254386
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	84	244.78	240.00999	4254341
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	244.89	240.00999	4254133
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2612	244.89999	240.00999	4254377
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	2937	244.95399	240.01401	4254382
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3215	244.98	240.00999	4254384
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2287	245.006	240.013	4254381
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	118395	245.02	240.00999	4254194
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	104	245.041	240.00999	4254185
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	571	245.06	240.00999	4254089
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	982	245.089	240.015	4254070
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	433	245.09	240.013	4254369
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1473	245.09	240.00999	4254373
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	SAT (TO)	14	245.11	240.011	4254129
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	511	245.13	240.00999	4254088
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	80	245.13	240.00999	4254184
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	158	245.136	240.01199	4254033
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	3294	245.14999	240.00999	4254385
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	437	245.17	240.00999	4254370
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	608	245.17999	240.00999	4254165
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	245.2	240.00999	4254055
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	SAT (TO)	6	245.23	240.00999	4254142
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3521	245.254	240.011	4254189
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	1030	245.28999	240.00999	4254075
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	94	245.3	240.00999	4254342
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	147	245.31	240.00999	4253985
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	245.33	240.00999	4254049
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	482	245.39	240.00999	4254355
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	526	245.39999	240.00999	4254356
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	617	245.41	240.00999	4253981
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1095	245.42999	240.00999	4254074
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3509127	245.44	240.00999	4254180
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	87	245.45	240.00999	4254052
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	SAT (TO)	266	245.45	240.00999	4254020
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	532	245.48	240.00999	4254349
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1116	245.48	240.00999	4254077
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	236	245.48	240.00999	4254086
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	0	245.48199	240.01199	4253900
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1483	245.49001	240.00999	4254380
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1920	245.49001	240.00999	4254387
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	SAT (TO)	148	245.53	240.00999	4253984
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	245.56	240.00999	4254145
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1243	245.56	240.00999	4254073
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1447	245.59	240.00999	4254076
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	335	245.64999	240.00999	4254347
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	SAT (TO)	1399	245.67	240.00999	4254069
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	398	245.7	240.00999	4254348
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	7	245.7	240.00999	4254139
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	926	245.75	240.00999	4254071
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	238	245.82001	240.07001	4254343
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1329	245.89999	240.00999	4254072
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	2898	245.91	240.00999	4254383
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	246	240.017	4254135
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	1921	246.03	240.00999	4254379
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	197	246.06	240.00999	4254238
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	SAT (TO)	0	246.07001	240.011	4253910
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	497	246.07001	240.00999	4254354
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	289	246.12	240.011	4254345
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1202	246.13	240.00999	4254372
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	SAT (TO)	0	246.14	240.00999	4253913
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	267	246.23	240.00999	4254344
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	620	246.27	240.00999	4254090
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	0	246.33	240.00999	4253899
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	SAT (TO)	3	246.33	240.00999	4254201
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1476	246.35001	240.01601	4254092
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	63	246.37	240.00999	4254053
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	119	246.47	240.00999	4254245
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	SAT (TO)	9	246.47	240.00999	4254203
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	303	246.62	240.00999	4254346
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	692	246.67	240.00999	4254359
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	16417	246.69501	240.00999	4254186
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1562	246.7	240.00999	4254093
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	209702	246.71001	240.00999	4254195
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	246.73	240.00999	4254048
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	373	246.81	240.00999	4254037
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1357	246.83	240.00999	4254272
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	138	246.938	240.013	4254251
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	246.95	240.00999	4253970
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	655	246.96001	240.01601	4254358
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	2036	247	240.00999	4254094
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	40	247.00999	240.00999	4254059
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	43	247.21001	240.00999	4254058
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	SAT (TO)	-143	247.28	240.00999	4254171
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	906	247.35001	240.00999	4254091
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1375	247.46001	240.00999	4254252
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	SAT (TO)	1320	247.826	240.00999	4254270
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	106	247.95	240.00999	4254239
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	87	248.14	240.011	4254250
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	136	248.215	240.01601	4254249
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	718	248.27	240.00999	4254297
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	SAT (TO)	95	248.27	240.00999	4254235
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	461	248.64999	240.00999	4254292
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	443	248.67	240.00999	4254291
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	1000	248.69	240.00999	4254038
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7447576	249.11	240.00999	4254196
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	460	249.25999	240.00999	4254290
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	412	249.39999	240.00999	4254293
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	276	251.28999	240.022	4254035
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	0	252.05099	227.048	4253944
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	616	253.09	240.00999	4254039

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	?	141.716	93.012901	4253943
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	?	153.593	105.59	4253947
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	?	155.216	104.428	4253948
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	?	160.66299	106.33	4253946
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	?	165.194	124.994	4253945

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	242.72	240.00999	4253954
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	242.89999	240.00999	4253923
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	242.96001	240.00999	4253950
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	? (TO)	243.09	240.00999	4253949
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	243.2	240.00999	4253924
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	243.25999	240.011	4253928
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	243.28	240.00999	4254174
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	243.32001	240.00999	4253922
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	243.38	240.01601	4253916
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	243.38	240.01199	4253930
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	243.41	240.00999	4253920
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	243.41299	240.01199	4253929
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	243.41499	240.00999	4253921
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	? (TO)	243.495	240.011	4253979
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	? (TO)	243.50301	240.01199	4253958
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	? (TO)	243.511	240.00999	4253977
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	243.64	240.00999	4253936
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	243.77	240.00999	4253926
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	243.77	240.00999	4254026
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	? (TO)	243.78999	240.00999	4253918
Opd/Opd-sum-large/ Opd-12-350-100.xml	? (TO)	243.8	240.00999	4254101
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	? (TO)	243.85001	240.00999	4253955
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	243.86	240.00999	4254022
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	243.86	240.00999	4253956
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	243.88	240.00999	4254023
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	243.89999	240.00999	4253919
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	243.91	240.00999	4253937
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	243.923	240.011	4253927
Opd/Opd-sum-large/ Opd-10-360-120.xml	? (TO)	244.03999	240.00999	4254100
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	244.19	240.00999	4254025
Opd/Opd-sum-large/ Opd-07-350-100.xml	? (TO)	244.25	240.00999	4254098
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	244.39	240.00999	4253931
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	244.44	240.00999	4254259
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	? (TO)	244.44	240.00999	4253963
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	? (TO)	244.49001	240.00999	4253976
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	244.50999	240.01601	4254024
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	244.588	240.00999	4254284
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	? (TO)	244.588	240.01199	4253934
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	244.61	240.00999	4253917
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	? (TO)	244.61	240.00999	4254350
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	? (TO)	244.62	240.00999	4254352
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	244.666	240.00999	4253990
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	244.72	240.00999	4253915
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	? (TO)	244.75	240.01601	4254351
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	? (TO)	244.78999	240.00999	4253933
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	244.808	240.00999	4254282
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	? (TO)	244.83	240.00999	4254353
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	? (TO)	244.86	240.00999	4253935
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	? (TO)	244.87	240.01601	4254234
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	244.91	240.00999	4253925
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	244.96001	240.00999	4254265
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	245.02	240.00999	4253905
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	? (TO)	245.06	240.00999	4253971
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	245.061	240.01199	4253991
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	245.12	240.00999	4254273
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	245.14999	240.00999	4253901
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	? (TO)	245.14999	240.00999	4254224
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	245.17	240.00999	4254257
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	245.17	240.00999	4253989
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	245.172	240.01199	4254175
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	? (TO)	245.17999	240.00999	4254226
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	245.3	240.00999	4253908
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	? (TO)	245.332	240.01199	4253978
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	? (TO)	245.34	240.00999	4253938
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	245.347	240.01401	4253903
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	245.44	240.00999	4254274
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	245.45	240.00999	4254256
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	? (TO)	245.56	240.00999	4253898
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	245.64999	240.00999	4253992
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	245.66	240.073	4254285
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	? (TO)	245.69	240.00999	4254223
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	245.715	240.01401	4253906
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	245.73	240.00999	4253907
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	245.82001	240.017	4253904
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	? (TO)	245.87	240.02299	4253972
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	245.96001	240.00999	4253988
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	245.98	240.00999	4254204
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	245.98	240.00999	4254261
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	246	240.00999	4254202
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	? (TO)	246.02	240.00999	4254225
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	246.05	240.00999	4254206
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	? (TO)	246.17	240.011	4253962
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	246.22	240.00999	4254207
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	246.24001	240.00999	4254262
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	246.25	240.00999	4253909
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	? (TO)	246.27499	240.00999	4254254
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	246.28999	240.01199	4254210
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	246.37	240.00999	4254253
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	246.37	240.00999	4253911
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	? (TO)	246.39	240.00999	4254230
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	246.47	240.00999	4253912
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	246.47501	240.01401	4253914
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	246.485	240.013	4254277
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	246.52	240.00999	4254205
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	246.53999	240.00999	4254279
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	246.578	240.00999	4254255
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	246.61	240.00999	4254269
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	? (TO)	246.64	240.033	4254229
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	? (TO)	246.64301	240.00999	4254271
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	? (TO)	246.74001	240.00999	4254232
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	246.78799	240.01401	4254283
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	? (TO)	246.82001	240.00999	4253960
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	? (TO)	246.86	240.00999	4254231
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	? (TO)	246.89999	240.011	4253973
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	246.92	240.00999	4254280
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	246.95	240.00999	4254260
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	? (TO)	246.97	240.011	4254233
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	247.00999	240.00999	4254264
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	247.05	240.00999	4254281
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	247.06	240.00999	4254191
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	? (TO)	247.12	240.00999	4253961
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	247.13	240.011	4253902
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	? (TO)	247.14999	240.00999	4254227
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	? (TO)	247.14999	240.00999	4253964
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	? (TO)	247.19	240.00999	4254228
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	247.21201	240.00999	4254275
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	247.298	240.01601	4254208
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	247.3	240.00999	4254211
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	247.47701	240.013	4254266
Opd/Opd-sum-large/ Opd-29-350-100.xml	? (TO)	247.53999	240.00999	4254104
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	247.63	240.00999	4254258
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	247.74001	240.01601	4254263
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	247.78	240.00999	4253940
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	247.81599	240.017	4254212
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	247.89	240.00999	4253939
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	247.99001	240.00999	4254268
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	247.99001	240.00999	4254209
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	? (TO)	248.271	240.01801	4254036
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	248.37	240.00999	4254278
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	248.64999	240.00999	4254267
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	248.92	240.00999	4254276
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	249.12	240.00999	4254044
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	249.577	240.00999	4254301
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	249.60001	240.00999	4254213
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	? (TO)	249.64	240.011	4254295
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	249.81	240.00999	4254302
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	? (TO)	249.83	240.00999	4254298
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	? (TO)	249.98	240.00999	4254296
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	? (TO)	250.17	240.00999	4254294
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	? (TO)	250.86	240.00999	4253974
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	251.48199	240.00999	4254300
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	? (TO)	251.86	240.00999	4254041
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	252.05	157.05	4253967
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	252.105	196.436	4253966
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	? (TO)	252.22701	240.01601	4254040
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	252.565	240.017	4254043
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	? (TO)	252.75999	240.00999	4253965
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	252.85001	240.00999	4254190
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	? (TO)	253.5	166.50999	4254222
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	253.83	240.00999	4254299
Opd/Opd-sum-large/ Opd-46-350-100.xml	? (TO)	255.27	240.011	4254106
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	255.36	240.011	4253942
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	256.60999	240.011	4253941
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	260.203	167.659	4254221
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	? (TO)	260.79999	240.01601	4253975
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	? (TO)	262.98001	240.00999	4254042

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

Result page for solver choco-solver 4.0.5 seq (2017-07-26) (complete)

Category "optimization problem" (COP)

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

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

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

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

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