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.920093	0.48694801	4282946
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		3.9423299	1.6355	4282947

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	0.87124199	0.48119	4282877
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	0.932199	0.487284	4282844
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	0.95085502	0.497141	4282895
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	0.99929398	0.52022499	4283047
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.02002	0.51533997	4283189
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.03339	0.52006203	4282773
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.06181	0.53588802	4283048
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.08184	0.55467999	4282986
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.0890501	0.540995	4283051
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.09173	0.55370498	4282987
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	1.11286	0.55099201	4282810
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	1.13261	0.56451303	4282826
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	1.15868	0.57415599	4282912
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	1.18299	0.58323598	4282919
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	1.22245	0.56094098	4283064
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	1.22287	0.59841597	4282845
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	1.29294	0.61367798	4282991
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	1.30349	0.61719	4282917
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	1.35005	0.63116401	4282918
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	1.36669	0.63600802	4282916
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	1.3859	0.64228302	4282921
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	1.38657	0.62151998	4282796
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	1.42741	0.63465798	4282804
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	1.46911	0.66519701	4282878
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	1.47677	0.668172	4282809
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	1.49503	0.68488401	4282990
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	1.57809	0.71684802	4282894
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	1.64995	0.73746198	4282846
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	1.68643	0.741768	4282988
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	1.75157	0.75924599	4282879
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	1.7543	0.75489902	4283179
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	1.83869	0.790061	4283049
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	1.88964	0.79513597	4283052
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	2.03197	0.85963303	4282827
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	2.11268	0.86429101	4282927
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	2.16714	0.89577401	4282992
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	2.21053	0.90946901	4282811
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	2.3200099	0.90716898	4283180
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	2.5122099	1.01056	4283050
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	2.52247	0.94630599	4282792
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	2.53427	1.0194	4282907
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	2.5428901	0.93640202	4282800
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	2.62726	1.01272	4283175
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	2.87328	1.05814	4282799
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	3.11479	1.11261	4282793
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	3.2191999	1.15899	4282849
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	3.22103	1.1777101	4282805
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	3.2384901	1.2593	4282981
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	3.4371901	2.21175	4283116
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	3.5767701	1.4053	4283065
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	3.61783	1.3943	4282985
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	3.9767101	1.4631	4282798
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	4.5485001	1.88269	4282861
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	4.71592	1.99652	4282860
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	4.7467198	2.3801899	4282901
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	4.9869399	2.81477	4282853
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	OPT	0	5.0882802	1.97716	4282949
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	5.29491	2.4535601	4282942
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	5.35812	2.4936299	4282862
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	5.4122701	2.6376801	4282902
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	5.8666401	2.69017	4282931
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	6.4493899	2.3124399	4283135
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	6.6598101	3.2251599	4282812
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	6.75879	2.4167199	4283133
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	7.86796	3.81094	4283187
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	8.4509602	4.2203398	4282807
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	8.7025204	3.1201	4282984
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	8.9913301	5.3886499	4282808
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	9.13519	6.02595	4282880
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	9.6021204	3.437	4283134
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	9.74928	6.1883702	4282803
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	10.3458	7.0104198	4283117
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	16.601101	12.9749	4282782
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	16.758699	14.4401	4282896
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	16.7859	14.68	4282913
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	22.423901	15.642	4283165
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	23.2173	19.9732	4283066
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	24.408501	17.7304	4282980
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	25.122499	22.2024	4283190
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	26.385201	19.834101	4283164
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	29.624701	26.1084	4283174
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	29.642599	25.6441	4282786
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	30.8682	26.635099	4283067
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	32.524799	21.9245	4283118
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	34.417599	30.4132	4282794
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	41.719898	28.99	4283155
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	47.936199	43.897099	4282932
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	51.6679	46.7938	4282797
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	51.9039	47.4534	4282930
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	53.319698	49.2789	4282865
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	60.319698	56.056499	4282801
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	63.391602	59.747299	4282779
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	64.211502	60.4207	4282813
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	66.530701	62.1586	4282867
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	67.662903	63.677601	4282866
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	70.523003	65.349503	4282948
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	97.913399	93.935799	4282863
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	121.489	117.185	4282806
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	OPT	4	184.653	178.927	4283183
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	192.944	187.808	4282864
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	OPT	326	201.097	192.28	4283136

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.24001	240.021	4282925
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	242.847	240.02	4282906
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	3	242.966	240.021	4282909
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	7	243.05	240.021	4282922
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	243.077	240.021	4282908
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	SAT (TO)	44	243.187	240.021	4282828
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	43	243.19701	240.022	4283054
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	59	243.429	240.02	4283058
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	243.444	240.019	4282859
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	243.46201	240.021	4282850
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	106	243.51199	240.022	4283089
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	70	243.57201	240.022	4283063
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	17	243.60899	240.022	4282769
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	225	243.66901	240.021	4282915
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	128	243.70599	240.021	4283088
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	66	243.741	240.022	4283060
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	243.757	240.032	4283053
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	80	243.82001	240.022	4283062
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	163	243.82401	240.021	4282816
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	11	243.86301	240.021	4282926
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	120	243.869	240.02	4283087
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	243.879	240.02699	4283181
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	109	243.882	240.06	4282830
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	54	243.972	240.02299	4283057
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	16	244.019	240.02699	4282768
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	143	244.02299	240.022	4283090
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	244.05	240.021	4282910
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	SAT (TO)	265	244.086	240.02	4282818
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	244.103	240.02	4283186
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	244.129	240.02299	4283184
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	200	244.14999	240.021	4283093
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	69	244.183	240.021	4283059
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	SAT (TO)	1165	244.22701	240.021	4282795
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	SAT (TO)	26	244.229	240.024	4282881
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	14	244.246	240.02299	4282767
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	124	244.25301	240.021	4282882
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	102	244.263	240.021	4282815
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	SAT (TO)	60	244.30299	240.022	4282814
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	65	244.311	240.024	4282898
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	184	244.31599	240.021	4283092
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	74	244.32899	240.033	4283061
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	54	244.33099	240.02299	4283056
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	2937	244.341	240.02499	4283109
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	48	244.37399	240.021	4282897
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	244.38499	240.022	4283084
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1339	244.40401	240.02299	4283098
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	SAT (TO)	415	244.451	240.024	4282820
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1393	244.459	240.032	4282936
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1202	244.46201	240.02	4283099
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	1760	244.47301	240.02	4282802
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	204	244.481	240.022	4283094
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	244.48199	240.02299	4282848
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	244.48801	240.02299	4283115
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	253	244.49001	240.026	4282886
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	2	244.491	240.022	4282748
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1359	244.5	240.021	4282937
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	SAT (TO)	583	244.51199	240.036	4282781
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	244.52901	240.022	4283191
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	90	244.54401	240.12801	4282899
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	244.55701	240.013	4282856
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	5	244.567	240.026	4282904
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	53	244.571	240.022	4283055
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	63	244.584	240.02299	4282829
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	215	244.58501	240.02299	4282884
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6089385	244.59801	240.02	4282941
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3156	244.621	240.022	4283103
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	211	244.696	240.019	4283095
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	118395	244.71001	240.022	4282943
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	244.72	240.02	4283177
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	127	244.731	240.02299	4282831
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	244.75301	240.02499	4282855
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	199	244.76401	240.02299	4282833
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	84	244.76601	240.022	4283068
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	138	244.778	240.024	4282785
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	191	244.783	240.022	4283091
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1228	244.799	240.02299	4282928
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	244.817	240.021	4282854
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	1092	244.87601	240.022	4283105
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1116	244.89101	240.026	4282876
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	244.899	240.00999	4283176
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	SAT (TO)	193	244.939	240.021	4282817
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1747	244.94701	240.022	4283101
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2319	244.952	240.022	4283102
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	2898	244.967	240.026	4283110
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	SAT (TO)	266	244.978	240.021	4282819
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2287	244.981	240.022	4283108
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	608	244.99001	240.02299	4282914
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	159	245.011	240.02499	4282832
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1447	245.062	240.02699	4282875
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	190	245.067	240.02299	4282883
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1329	245.11099	240.02499	4282871
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1393	245.11301	240.02299	4283113
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	236	245.14301	240.022	4282885
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	571	245.145	240.022	4282888
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	1921	245.23	240.033	4283106
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	104	245.235	240.02299	4282934
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	95	245.25301	240.022	4283069
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2612	245.26401	240.024	4283104
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	437	245.27299	240.021	4283097
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3521	245.286	240.022	4282938
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1483	245.28799	240.02299	4283107
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	3294	245.345	240.02699	4283112
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	617	245.36	240.02499	4282780
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	433	245.377	240.03799	4283096
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	147	245.39301	240.024	4282784
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	SAT (TO)	14	245.411	240.024	4283173
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3215	245.427	240.026	4283111
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	SAT (TO)	6	245.47099	240.032	4283185
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1473	245.505	240.024	4283100
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	245.54201	240.022	4283188
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	7	245.59399	240.022	4283182
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	87	245.63499	240.026	4282851
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	526	245.64	240.022	4283083
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	482	245.7	240.021	4283082
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1243	245.718	240.026	4282872
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	1030	245.71899	240.036	4282874
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3509127	245.841	240.021	4282929
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	80	245.843	240.019	4282933
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	363	245.866	240.02299	4283075
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	87	245.89101	240.021	4282994
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	982	245.899	240.026	4282869
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	532	245.901	240.02499	4283076
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	SAT (TO)	1399	245.94501	240.024	4282868
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	SAT (TO)	9	245.98199	240.022	4282952
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	289	245.985	240.02299	4283072
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	926	246.00101	240.034	4282870
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1095	246.028	240.026	4282873
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	SAT (TO)	148	246.032	240.022	4282783
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1920	246.043	240.02499	4283114
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	238	246.10201	240.02299	4283070
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	335	246.11501	240.02299	4283074
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	136	246.12801	240.02299	4282993
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	497	246.183	240.021	4283081
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	511	246.185	240.024	4282887
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	SAT (TO)	95	246.22501	240.02299	4282979
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	SAT (TO)	0	246.239	240.026	4282726
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	63	246.284	240.033	4282852
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	SAT (TO)	0	246.339	240.024	4282729
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	246.35001	240.02	4283178
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	620	246.38699	240.024	4282889
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	303	246.481	240.02299	4283073
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1476	246.513	240.02499	4282891
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	0	246.517	240.02299	4282715
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	906	246.556	240.024	4282890
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	SAT (TO)	-140	246.565	240.024	4282920
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	SAT (TO)	3	246.586	240.02299	4282950
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	16417	246.603	240.022	4282935
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	0	246.625	240.02299	4282716
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	267	246.64101	240.022	4283071
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	246.698	240.024	4282847
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	373	246.722	240.026	4282836
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	2036	246.85899	240.037	4282893
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	247.039	240.03999	4283166
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1562	247.048	240.026	4282892
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	197	247.10899	240.02	4282982
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	209702	247.149	240.026	4282944
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	43	247.29601	240.03101	4282857
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	692	247.32899	240.02699	4283086
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	119	247.35001	240.024	4282989
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	40	247.353	240.02699	4282858
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1375	247.407	240.024	4282996
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	655	247.60001	240.02699	4283085
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	138	247.82001	240.019	4282995
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	106	247.83	240.024	4282983
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1357	248.198	240.02299	4283016
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	412	248.291	240.024	4283140
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	718	248.69701	240.021	4283144
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	460	248.88901	240.024	4283137
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	SAT (TO)	1320	248.953	240.024	4283014
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	1000	249.317	240.026	4282837
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	461	249.334	240.02	4283139
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	443	249.714	240.024	4283138
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7447576	250.34	240.03	4282945
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	311	250.931	240.03101	4282835
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	616	251.817	240.028	4282838
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	276	251.883	240.033	4282834
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	0	264.07501	238.94299	4282760
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	SAT (TO)	0	264.12399	222.26801	4282759

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	?	151.34801	106.218	4282764
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	?	165.394	109.6	4282762
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	?	173.41901	113.961	4282763
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	?	173.745	127.016	4282761

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	242.877	240.021	4282770
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	243.01601	240.021	4282766
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	243.035	240.022	4282744
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	? (TO)	243.15601	240.022	4282765
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	? (TO)	243.245	240.021	4282774
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	243.465	240.02	4282739
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	243.46899	240.02	4282737
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	243.496	240.021	4282736
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	? (TO)	243.547	240.022	4282734
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	243.56	240.021	4282924
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	243.564	240.033	4282732
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	243.58299	240.021	4282740
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	243.593	240.01199	4282746
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	? (TO)	243.605	240.022	4282771
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	? (TO)	243.67799	240.02	4282776
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	243.73	240.024	4282752
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	243.793	240.022	4282742
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	243.83701	240.022	4282772
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	243.856	240.022	4282745
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	243.856	240.022	4282733
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	243.88499	240.021	4282825
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	243.983	240.021	4282821
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	243.98599	240.02	4282822
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	244.008	240.022	4282753
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	244.028	240.02	4282743
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	244.047	240.021	4282738
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	? (TO)	244.123	240.02	4282778
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	244.19501	240.019	4282735
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	244.284	240.019	4282747
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	244.36099	240.021	4282823
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	244.37399	240.02299	4282923
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	244.41299	240.021	4282824
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	244.625	240.022	4282731
Opd/Opd-sum-large/ Opd-12-350-100.xml	? (TO)	244.685	240.024	4282900
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	? (TO)	244.7	240.03	4283159
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	? (TO)	244.7	240.032	4283079
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	? (TO)	244.733	240.021	4282750
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	? (TO)	244.748	240.02	4282775
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	? (TO)	244.752	240.022	4283078
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	244.783	240.022	4282741
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	244.86	240.129	4282789
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	? (TO)	244.92999	240.02299	4283080
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	? (TO)	245.036	240.022	4282751
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	? (TO)	245.065	240.022	4283077
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	245.07899	240.02299	4283005
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	245.164	240.02699	4282717
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	? (TO)	245.181	240.022	4282749
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	245.22	240.032	4283028
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	245.25	240.024	4282719
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	245.351	240.02	4283000
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	? (TO)	245.38	240.034	4283167
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	245.405	240.022	4282787
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	245.435	240.02299	4282721
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	? (TO)	245.481	240.02499	4282754
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	245.52299	240.024	4282724
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	245.60001	240.024	4283003
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	245.61	240.034	4282790
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	? (TO)	245.649	240.02901	4283132
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	? (TO)	245.651	240.032	4283122
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	245.703	240.022	4282788
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	245.711	240.024	4282723
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	245.746	240.036	4282720
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	? (TO)	245.86099	240.021	4282777
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	245.883	240.02	4283026
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	245.985	240.024	4282722
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	? (TO)	246.00101	240.048	4283124
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	? (TO)	246.041	240.026	4283121
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	? (TO)	246.07401	240.07001	4283123
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	246.084	240.02299	4282791
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	246.142	240.02299	4283013
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	246.15601	240.02299	4282951
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	246.185	240.03	4283004
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	? (TO)	246.187	240.035	4283168
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	246.289	240.039	4282959
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	246.28999	240.024	4282725
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	246.308	240.024	4282955
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	246.347	240.02499	4282953
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	246.394	240.022	4283001
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	246.403	240.019	4283018
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	246.40601	240.024	4282727
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	246.433	240.02299	4283029
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	246.44901	240.021	4283006
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	246.463	240.02499	4282960
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	? (TO)	246.541	240.02299	4282998
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	? (TO)	246.58501	240.02299	4282714
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	? (TO)	246.612	240.036	4283158
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	? (TO)	246.62199	240.035	4283127
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	? (TO)	246.623	240.034	4283128
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	246.63901	240.021	4283025
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	246.64101	240.03	4283007
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	? (TO)	246.659	240.04601	4283131
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	246.677	240.02499	4282956
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	? (TO)	246.687	240.036	4283160
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	246.715	240.02	4283019
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	246.743	240.024	4282954
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	246.75301	240.02699	4282957
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	246.756	240.02499	4282730
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	? (TO)	246.76401	240.036	4283129
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	246.786	240.034	4282718
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	246.83299	240.02299	4283017
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	246.908	240.02699	4282940
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	? (TO)	246.914	240.035	4283169
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	246.964	240.02299	4283023
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	246.98599	240.019	4283008
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	246.98801	240.019	4283002
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	? (TO)	246.993	240.036	4283130
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	247.008	240.02	4282999
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	? (TO)	247.019	240.02699	4283156
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	247.16	240.019	4282997
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	247.22501	240.03799	4283009
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	? (TO)	247.252	240.045	4283126
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	247.286	240.03	4283022
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	? (TO)	247.28999	240.04201	4283125
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	247.319	240.033	4283027
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	247.32001	240.02	4283024
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	? (TO)	247.369	240.036	4283157
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	247.44701	240.024	4282728
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	247.45	240.024	4283020
Opd/Opd-sum-large/ Opd-29-350-100.xml	? (TO)	247.582	240.026	4282903
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	247.694	240.03	4282756
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	247.799	240.02499	4283011
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	? (TO)	247.936	240.024	4283143
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	248.03999	240.02299	4283021
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	248.062	240.028	4282755
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	? (TO)	248.118	240.02	4283142
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	248.173	240.037	4282961
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	248.186	240.028	4282958
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	? (TO)	248.49899	240.024	4283015
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	248.535	240.02299	4283010
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	248.92799	240.021	4283148
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	249.01801	240.026	4282843
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	? (TO)	249.16	240.02499	4283145
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	? (TO)	249.18201	240.02499	4283141
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	249.68201	240.02299	4283012
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	249.76199	240.019	4283149
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	250.12801	240.028	4282962
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	? (TO)	251.21001	240.028	4282840
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	? (TO)	251.517	240.032	4283170
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	251.72701	240.02299	4283146
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	252.661	240.028	4282842
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	252.673	240.02	4283147
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	? (TO)	252.80701	240.028	4282839
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	253.311	240.03101	4282939
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	? (TO)	253.32401	240.024	4283161
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	254.605	240.041	4282758
Opd/Opd-sum-large/ Opd-46-350-100.xml	? (TO)	255.758	240.047	4282905
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	256.15701	240.045	4282757
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	? (TO)	260.58099	240.036	4282841
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	? (TO)	261.095	240.049	4283171
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	264.09201	172.24001	4283163
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	264.10599	210.433	4283162
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	272.10599	166.257	4283119
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	? (TO)	272.117	169.95799	4283120

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-08-18) (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 (178 runs) [Show/Hide]

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

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