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

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-03.xml	UNSAT		1.22975	1.32175	4285886
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		10.8706	2.56252	4285887

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	1.97294	1.12125	4285817
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	2.97403	1.27327	4285987
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	3.2421	1.34552	4285713
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	3.38695	1.3784	4285988
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	3.39029	1.3825901	4285736
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	3.8919699	1.88131	4285744
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	3.95328	2.1795599	4285852
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	4.1395898	1.61757	4285859
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	4.5603299	1.54182	4285991
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	4.6732798	2.1101201	4285857
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	5.2220898	2.18771	4285858
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	5.31422	2.2181799	4285856
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	5.7344198	1.7857	4285784
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	5.8461299	1.8786	4285801
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	5.9404101	1.6743	4285800
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	6.08216	2.4282899	4286129
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	6.3339801	1.93525	4286004
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	6.7199702	1.98329	4285818
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	6.8055501	2.01419	4285766
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	6.9828	2.13059	4285992
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	7.0869098	2.67679	4285819
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	7.1135302	1.85429	4285802
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	7.9000902	2.2407601	4285820
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	8.0154696	2.0696101	4285785
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	8.0746298	2.30597	4285767
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	8.0802498	2.17941	4285853
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	8.1218796	2.0388	4285835
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	8.3582602	2.4169099	4285989
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	8.5557098	2.75476	4285926
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	8.5587301	2.53897	4285990
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	8.9380703	2.43926	4286119
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	9.0490799	2.7988501	4285847
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	9.1198301	2.4353199	4286074
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	9.5633097	3.06744	4285749
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	9.5754995	3.16134	4285925
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	9.9189901	2.7728	4285740
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	10.0131	2.59547	4285733
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	10.2235	2.42627	4285836
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	10.4543	2.7359099	4285867
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	10.5262	3.41787	4285750
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	10.7501	2.7581999	4286005
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	10.8285	2.7722499	4286075
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	11.19	2.7416401	4286120
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	11.2758	4.31811	4285927
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	11.3516	2.4214699	4285806
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	11.7026	2.6322899	4285786
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	11.7863	4.1142802	4285928
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	11.9212	3.9166999	4285931
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	11.9876	2.83762	4286073
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	12.7382	2.5811	4285805
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	13.0429	2.9532399	4286130
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	13.7578	4.1131501	4285732
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	13.7719	4.8101902	4285719
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	13.8893	6.3269901	4285748
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	14.3336	3.0984099	4285861
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	14.3552	2.7962401	4285804
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	14.3599	3.58864	4286115
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	14.7568	4.6995602	4285751
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	14.8574	3.6070399	4285882
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	15.1001	4.9303799	4285737
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	15.6214	3.2172799	4285842
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	15.9722	4.9401498	4285747
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	16.0341	3.2992699	4285841
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	OPT	44	17.481001	6.8699002	4285768
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	17.9182	8.6526604	4285930
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	17.9715	5.1612401	4285752
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	18.106001	7.1005802	4285722
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	19.2691	3.4472599	4285803
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	19.533199	3.9866199	4286105
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	20.2278	6.7604699	4285739
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	20.6702	6.1093202	4285745
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	21.4119	4.1631198	4285821
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	21.4263	4.66997	4285888
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	23.350599	9.8336401	4285734
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	23.8843	4.5747499	4285807
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	23.9666	7.0190902	4285921
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	24.8424	7.7574902	4285738
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	25.2495	4.5572801	4285870
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	27.5513	8.5006704	4285920
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	28.821699	14.2414	4285741
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	OPT	937	29.9146	4.8376298	4285810
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	30.4245	5.2334399	4286006
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	32.058102	6.9128199	4285871
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	32.6777	13.0146	4285932
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	34.671299	8.6367197	4285743
Opd/Opd-sum-small/ Opd-10-038-010.xml	OPT	2	34.7048	5.5724001	4285849
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	37.6423	15.5117	4285924
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	42.9953	10.939	4285723
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	44.327202	9.5678997	4285753
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	OPT	55	50.8083	40.656502	4285769
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	OPT	476	51.120899	16.072399	4285721
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	53.880402	10.9859	4285726
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	54.8125	43.458199	4285834
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	OPT	992	56.065498	8.5110998	4285809
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	56.129101	13.0845	4285746
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	OPT	92	61.84	27.5361	4285919
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	68.763298	25.329599	4285735
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	71.464302	14.7172	4286056
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	72.176201	10.8491	4286127
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	OPT	326	78.051903	11.8427	4286076
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	85.414902	18.2957	4285793
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	OPT	3	85.452599	30.225599	4285788
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	OPT	1477	89.854301	12.9039	4285815
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	93.425201	13.0244	4285808
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	122.54	21.629299	4285872
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	OPT	1333	124.251	16.718399	4285812
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	OPT	1334	143.479	30.9361	4285742
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	OPT	122	154.98	124.12	4285724
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	195.304	26.363501	4286114
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	OPT	1358	199.15601	26.5847	4285811
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	OPT	1134	200.851	26.443899	4285813
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	OPT	5	218.117	41.979599	4285862
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	244.661	49.521	4286057
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	OPT	1058	331.06699	43.290699	4285814
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	368.20999	48.1493	4286007
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	OPT	1150	421.84799	55.118301	4286055
Opd/Opd-sum-small/ Opd-10-031-009.xml	OPT	2	565.12	72.459999	4285848
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	OPT	132	613.83197	251.64999	4285935
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	659.35199	140.295	4286058
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	OPT	1220	666.84802	90.794403	4285816
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	734.43201	100.091	4285754
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	755.255	205.021	4286104
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	OPT	104	1253.54	170.201	4286024
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	OPT	5	1712.15	230.183	4286124

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	188	266.32501	252.033	4285773
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	91	266.841	252.02901	4285770
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	260	269.27399	252.033	4285774
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	117	269.30899	252.03101	4285771
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	153	269.35101	252.03101	4285772
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	102	271.64999	252.036	4285923
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	296	279.66101	252.037	4285775
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	485	282.569	252.04201	4285777
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	299.20001	252.03799	4285934
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	605	305.12	252.043	4285778
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	652	357.60001	252.043	4285779
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	561.93103	252.058	4286096
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	560	570.62903	252.058	4285720
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	627.12903	252.03799	4285795
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	SAT (TO)	3	770.44202	252.05701	4286060
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	790.17499	252.061	4286061
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	816.08002	252.06799	4286062
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	4	841.18799	252.064	4286097
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	859.31403	252.049	4286106
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	718	889.44501	252.05299	4285780
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	4	913.466	252.061	4286098
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	3	995.39697	252.058	4286063
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	1133.85	252.048	4286121
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	2028	1231.04	252.216	4285787
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	5	1376.6801	252.067	4286099
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	3	1414.52	252.05901	4286064
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	SAT (TO)	21	1422.5601	252.075	4285694
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	4	1538.5699	252.058	4286107
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	SAT (TO)	6	1543.13	252.237	4285693
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	SAT (TO)	8	1559.65	252.2	4285692
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	SAT (TO)	2881	1603.67	252.15401	4285942
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	1175	1705.38	252.213	4286072
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	SAT (TO)	1170	1724.09	252.198	4285729
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	571	1725.88	252.386	4286110
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	SAT (TO)	5	1745.02	252.03799	4285673
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	SAT (TO)	624	1745.26	253.995	4286101
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	1080	1746.3	252.181	4286071
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	4932078	1773.29	252.147	4285869
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	349	1776.49	252.256	4285792
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	499	1781.86	252.117	4285933
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	944	1803.1899	252.168	4286069
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	1034	1816.64	252.14799	4286070
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	649	1818.8	252.084	4285922
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	SAT (TO)	31	1827.77	252.16299	4285706
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	921	1838.53	252.22	4285798
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6948204	1855.59	252.145	4285881
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	775	1865.2	252.132	4286067
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	1869.3	252.045	4286131
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	SAT (TO)	376	1870.54	252.35001	4286100
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	7	1870.98	252.153	4285655
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	816	1874.3101	252.149	4286068
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	7	1882.6899	252.155	4285654
Opd/Opd-sum-large/ Opd-46-350-100.xml	SAT (TO)	100	1883.87	252.25	4285845
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	SAT (TO)	1115	1887.91	252.13901	4285937
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	695	1888.47	252.17599	4286066
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1297	1890.63	252.14101	4285936
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	3647	1892.75	252.162	4286052
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	13	1894.91	252.14301	4285708
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	6	1900.59	252.136	4285656
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	SAT (TO)	1253	1903.67	252.146	4285938
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3461	1919.21	252.158	4286051
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1314	1922.11	252.133	4285956
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	28	1923.28	252.158	4285794
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	540	1923.28	252.13	4286065
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	2795	1924.08	252.149	4286050
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	235	1924.28	252.15401	4286109
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1888	1926.24	252.14799	4286054
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	SAT (TO)	966	1928.22	252.132	4285782
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	SAT (TO)	450	1928.3199	252.16	4285789
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	111	1931.1	252.15401	4286108
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	89	1932.39	252.153	4285791
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	SAT (TO)	862	1934.55	252.13499	4285781
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	15	1935.34	252.133	4285709
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	199	1937.23	252.15401	4285718
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3195	1937.9301	252.14799	4286043
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	667	1941.26	252.17101	4286020
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1301	1941.51	252.162	4285955
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2677	1941.85	252.15601	4286044
Opd/Opd-sum-large/ Opd-29-350-100.xml	SAT (TO)	100	1946.85	252.29401	4285843
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	3014	1947.13	252.133	4286049
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	31	1949.5	252.14101	4285705
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	117	1951.21	252.166	4285725
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	13	1952.7	252.118	4285707
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	496	1954.96	252.076	4285755
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2301	1955.54	252.133	4286048
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	602	1956.15	252.151	4286018
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1453	1956.17	252.13699	4286053
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	518	1957.62	252.16	4286019
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2356	1957.84	252.132	4286042
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	5392	1959.65	252.20799	4286025
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	588	1959.96	252.16499	4286017
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	218	1960.04	252.155	4285717
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1478	1961.4	252.131	4286047
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	6	1961.9399	252.144	4285691
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	20	1962	252.155	4285714
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	28	1963.22	252.13901	4285711
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	164	1964.59	252.14799	4285715
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	121	1965.89	252.095	4285716
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	2031	1966.09	252.129	4286046
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	7	1966.4399	252.146	4285689
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	SAT (TO)	638	1967.1	252.147	4286083
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1356	1968.04	252.157	4286041
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	5624	1969.35	252.173	4286026
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	389	1971.8199	252.17	4286016
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	725	1972.77	252.134	4286081
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	338	1972.84	252.112	4285776
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	6	1973.14	252.161	4285690
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	5664	1973.3	252.19299	4285833
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	692	1973.8199	252.166	4286084
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	631	1974.92	252.149	4286082
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	649	1974.97	252.14999	4286085
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	52	1975.23	252.147	4286002
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	1070	1976.05	252.129	4286045
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	124003	1976.21	252.11301	4285883
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1417	1976.61	252.14101	4286040
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	189	1977.0601	252.105	4286029
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	47	1977.27	252.10899	4286001
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	40	1977.29	252.077	4285997
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	163	1977.89	252.13699	4286028
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	38	1977.96	252.151	4285994
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	344	1978.1899	252.144	4286015
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	41	1978.22	252.03999	4285995
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	48	1978.24	252.12	4285999
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	442	1978.3199	252.134	4286030
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	47	1978.53	252.11099	4286000
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1309	1978.5699	252.138	4286039
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	60	1978.59	252.10899	4285866
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	166	1978.61	252.117	4286027
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1335	1978.73	252.13499	4286038
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	45	1979.1801	252.131	4285998
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	48	1979.2	252.12801	4286003
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	1	1979.77	252.132	4285674
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	38	1979.97	252.05499	4285993
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	140	1980.14	252.145	4285873
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	207696	1980.22	252.117	4285884
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	676	1980.38	252.092	4286031
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	2086	1980.6899	252.13	4285832
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	43	1980.98	252.14799	4285996
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	644	1981.51	252.129	4285829
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	357	1981.67	252.13499	4285855
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	1981.74	252.129	4285796
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	2156	1982.34	252.16	4285831
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	768	1982.37	252.05499	4286032
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	241	1983.02	252.131	4286013
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	1983.09	252.172	4285799
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	7	1983.25	252.151	4286122
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	273	1983.36	252.144	4286014
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	235	1983.62	252.133	4286012
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	750	1984.1801	252.14	4285854
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	885	1984.36	252.12801	4286033
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	1984.51	252.125	4286116
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	551	1984.8	252.138	4285827
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	1984.9399	252.147	4286126
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	1985.24	252.12801	4286117
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	4	1985.3	252.149	4285844
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	16794	1985.34	252.125	4285875
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	1058	1985.7	252.153	4285830
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	SAT (TO)	2	1985.8199	252.15199	4285890
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	462	1985.83	252.149	4286077
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	72	1986.3101	252.11099	4285822
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	229	1986.4399	252.15401	4286011
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	128	1986.48	252.14	4285874
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	102	1987	252.12601	4285823
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	157	1987	252.14101	4285826
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	196	1987.47	252.13901	4286010
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	6	1987.61	252.14	4286123
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	445	1987.65	252.131	4286078
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1814	1987.72	252.11501	4285868
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	93	1987.74	252.183	4285840
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	168	1987.84	252.123	4285825
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	22	1987.97	252.14999	4285837
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	11	1988.14	252.13499	4286118
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	127	1988.1899	252.12801	4285824
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	1988.48	252.15401	4285846
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	106	1988.76	252.16901	4285839
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	83	1988.87	252.166	4285838
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	547	1989.01	252.136	4285828
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	9	1989.04	252.131	4285790
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	464	1989.14	252.15199	4286079
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1511	1989.29	252.134	4285876
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	916	1989.87	252.14101	4286034
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	894	1990.29	252.127	4286035
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	87	1990.62	252.127	4286008
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	1990.64	252.147	4286128
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	3658	1990.84	252.138	4286022
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1391	1990.86	252.133	4285877
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	3567	1991.11	252.157	4286021
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	410	1991.33	252.149	4286080
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	3647	1991.6	252.13699	4286023
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	1992.75	252.127	4285850
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	91	1992.99	252.16701	4286009
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	SAT (TO)	17	1993.36	252.155	4285892
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	1993.88	252.133	4285688
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3658	1995.28	252.136	4285878
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	2608	1996.16	252.125	4286037
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	2415	1996.28	252.138	4286036

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	?		1.27639	0.721488	4285865
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	?		5.6286302	2.3975999	4285860

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	255.632	252.02299	4285658
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	255.842	252.02299	4285657
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	256.12	252.024	4285660
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	256.22501	252.024	4285667
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	256.32599	252.015	4285666
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	256.34698	252.02499	4285663
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	256.45099	252.02299	4285664
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	256.465	252.021	4285659
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	256.509	252.02499	4285661
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	256.565	252.026	4285662
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	? (TO)	256.63501	252.02499	4285669
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	256.689	252.01601	4285668
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	261.19501	252.037	4285949
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	261.46399	252.02499	4285670
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	262.27499	252.026	4285665
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	262.60599	252.041	4285950
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	262.746	252.03999	4285951
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	263.09	252.032	4285710
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	263.09299	252.04201	4285952
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	270.315	252.039	4285695
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	270.77301	252.04201	4285696
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	296.53299	252.368	4285698
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	296.83701	252.058	4285697
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	? (TO)	364.28799	252.317	4285885
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	488.60599	253.28101	4286103
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	? (TO)	608.40802	254.11	4285701
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	673.68103	252.11	4285947
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	? (TO)	675.63501	254.10899	4285703
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	? (TO)	705.32001	254.17599	4285704
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	? (TO)	739.716	254.105	4285699
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	? (TO)	745.53699	254.15401	4285702
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	858.349	252.16	4285946
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	882.53998	252.16499	4285948
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	? (TO)	932.87598	254.116	4286095
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	1034.8101	252.78	4286102
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	? (TO)	1064.6801	254.132	4285700
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	1065.79	252.142	4285945
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	? (TO)	1074.4	254.22501	4285797
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	1144.17	253.68201	4286059
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	1144.9399	252.05701	4285730
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	1239.52	252.119	4285969
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	1281.3	252.12801	4285968
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	1365.92	252.12399	4285967
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	1399.63	252.2	4285902
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	1403.7	252.129	4285943
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	1424.13	252.162	4285944
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	1448.46	252.127	4285765
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	? (TO)	1517.12	252.168	4286111
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	1517.65	252.13699	4285764
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	1538.6899	252.215	4285901
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	1543.9301	252.142	4285731
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	1555.33	252.119	4285763
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	1590.95	252.136	4285727
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	1591.52	252.12399	4285940
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	1610.87	252.12601	4285762
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	1613.38	252.133	4285941
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	1619.0699	252.127	4285676
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	1634.54	252.158	4285728
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	1701.23	252.112	4285966
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	1706.16	252.185	4285900
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	1726.72	252.125	4285965
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	1734.74	252.14101	4285672
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	1741.58	252.149	4286088
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	1744.37	254.216	4285879
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	1745.6	252.11501	4286089
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	1755.88	252.131	4285964
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	1767.16	252.12	4285761
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	1775.58	252.198	4285899
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	1800.55	252.11099	4285684
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	1813.72	252.134	4285686
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	? (TO)	1848.09	252.108	4285929
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	1852.4301	252.15601	4285898
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	1853.35	252.117	4285961
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	1858.1	252.142	4285962
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	1861.03	252.145	4285963
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	1861.51	252.11	4285960
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	1862.5601	252.121	4285760
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	1866.4301	252.12399	4285959
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	1869.89	252.13699	4285958
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	1875.24	252.138	4285939
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	1887.71	252.134	4285957
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	1893.77	252.185	4285880
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	1899.76	252.146	4285897
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	1904.6899	252.12399	4285864
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	? (TO)	1905.03	252.136	4285759
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	1907.5	252.12	4285677
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	1910.12	252.147	4286087
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	1912	252.14	4286086
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	? (TO)	1916.73	252.119	4285758
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	? (TO)	1924.9399	252.127	4285757
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	? (TO)	1929.35	252.132	4285954
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	1931.33	252.13699	4285896
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	1932.51	252.13	4285953
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	? (TO)	1940.77	252.075	4285756
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	1946.88	252.118	4285675
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	1946.96	252.118	4285682
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	1951.22	252.173	4285783
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	1952.9399	252.134	4285683
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	1960.0699	252.121	4285685
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	1960.45	252.12199	4285895
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	? (TO)	1965.4301	252.13499	4286113
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	1965.6801	252.11301	4285712
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	1972.53	252.123	4285680
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	1975.1899	252.07401	4285679
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	1975.6801	252.145	4285687
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	1976.04	252.12601	4285894
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	? (TO)	1976.71	252.05901	4286125
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	1977.63	252.08099	4285863
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	1980.37	252.127	4285681
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	1980.78	252.121	4285671
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	1982.58	252.13699	4285678
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	? (TO)	1983.33	252.134	4285889
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	1983.38	252.153	4285893
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	1989.6899	252.13699	4285891

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

Result page for solver OscaR - Parallel with EPS 2017-08-22 (complete)

Category "optimization problem" (COP)

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

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

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

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

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