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.38818	0.58693302	4271666
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		9.0259504	1.58802	4271667

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	1.15432	0.57748902	4271597
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	1.2577699	0.58091199	4271615
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	1.4206899	0.58723402	4271529
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	1.47725	0.66000801	4271564
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.52231	0.63529599	4271767
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.52635	0.66329902	4271909
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.5801001	0.61770999	4271493
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.65364	0.69062603	4271706
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	1.74345	0.66690803	4271530
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.78786	0.6803	4271768
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.79409	0.68608397	4271771
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.89635	0.72365397	4271707
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	2.2088499	0.78166199	4271711
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	2.22014	0.759655	4271636
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	2.2560899	0.78872597	4271710
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	2.29849	0.76741803	4271784
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	2.3064401	0.78973699	4271641
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	2.3088601	0.78413302	4271639
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	2.4545801	0.82148403	4271708
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	2.5165401	0.83431298	4271565
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	2.61061	0.87278497	4271598
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	2.71716	0.80949098	4271531
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	2.7799799	0.84529299	4271546
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	2.8074	0.89202899	4271899
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	2.90204	0.871975	4271516
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	2.90345	0.86114502	4271637
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	2.9860001	0.84665799	4271772
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	2.99474	0.90894002	4271705
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	3.1538601	0.88893503	4271524
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	3.19414	0.899333	4271632
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	3.29719	0.99147898	4271712
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	3.32656	0.91685599	4271900
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	3.39273	0.88585502	4271614
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	3.4526999	1.0045	4271566
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	3.6177101	1.06221	4271785
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	3.6619	0.98837298	4271627
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	4.2294002	1.02332	4271769
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	4.35004	1.10551	4271599
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	4.39782	1.03836	4271770
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	4.5193801	0.98446202	4271581
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	4.7187099	1.2305599	4271701
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	4.9648399	1.13279	4271638
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	5.9135098	1.1711299	4271582
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	5.9672499	1.2674	4271499
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	6.1108699	1.45329	4271786
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	6.6123199	1.3452801	4271532
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	6.73417	1.35431	4271895
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	6.7619901	1.41061	4271528
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	6.9312601	1.43854	4271647
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	7.4326301	1.8101701	4271569
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	7.4858899	1.45375	4271502
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	7.5069399	1.35684	4271580
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	7.8176398	1.52046	4271616
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	7.9512501	1.6012	4271547
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	7.9860401	1.51184	4271662
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	9.4398003	1.87181	4271514
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	10.0384	1.73839	4271651
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	11.0164	1.98474	4271854
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	11.2374	1.9988199	4271600
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	11.5294	2.09289	4271853
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	11.799	2.00067	4271533
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	12.0601	2.15115	4271907
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	13.5252	2.35554	4271573
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	13.5363	2.4786799	4271521
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	14.6276	2.5622699	4271704
Opd/Opd-sum-small/ Opd-10-031-009.xml	OPT	2	14.8434	2.5135901	4271628
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	16.358299	2.71347	4271855
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	17.4471	2.8996301	4271527
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	OPT	0	17.5665	3.24891	4271669
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	17.9482	2.9291601	4271517
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	19.6989	3.31759	4271525
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	19.9561	3.3736701	4271512
Opd/Opd-sum-small/ Opd-10-038-010.xml	OPT	2	21.928301	3.32726	4271629
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	22.794901	3.5824201	4271894
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	23.5648	3.60393	4271668
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	24.8671	4.0739799	4271519
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	26.4396	6.2567401	4271885
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	26.908001	3.9948201	4271621
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	26.9741	4.3989801	4271520
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	28.504	4.2063098	4271633
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	28.697701	4.8947201	4271515
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	29.117599	4.2246099	4271700
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	29.633301	4.7617698	4271513
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	29.7775	4.24686	4271534
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	30.090599	4.7628999	4271518
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	39.155499	5.63063	4271650
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	42.517899	6.6363602	4271910
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	43.341599	7.3519301	4271585
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	43.757198	6.39253	4271523
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	44.618999	6.3668399	4271506
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	50.4408	7.0842199	4271787
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	50.735699	17.449301	4271836
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	76.575897	10.4566	4271526
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	OPT	1334	77.894302	10.8116	4271522
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	82.028999	11.0892	4271503
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	87.586098	11.6504	4271622
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	100.383	16.078699	4271583
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	108.747	16.8874	4271584
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	113.693	18.5807	4271586
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	114.455	18.831301	4271587
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	OPT	937	122.651	19.438101	4271590
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	151.93201	19.916	4271601
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	196.349	31.3097	4271588
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	204.688	26.180201	4271652
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	224.54401	67.959801	4271837
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	OPT	992	234.21001	35.770802	4271589
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	OPT	5	274.89999	35.0187	4271642
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	OPT	1058	281.578	42.3424	4271594
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	OPT	-7772	283.97601	36.146301	4271645
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	OPT	1134	289.37201	44.6525	4271593
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	OPT	1333	295.97	44.950401	4271592
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	OPT	326	304.87201	39.3354	4271856
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	OPT	1358	394.63501	61.576199	4271591
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	OPT	3	402.08499	59.202099	4271568
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	OPT	1477	445.931	65.390099	4271595
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	OPT	1220	554.28003	75.770798	4271596
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	739.56299	221.12	4271838
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	758.87299	227.463	4271884
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	OPT	6	962.20502	121.336	4271906
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	OPT	92	1040.54	131.13699	4271699
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	OPT	44	1236.0601	160.422	4271548
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	OPT	458	1388.3199	186.16299	4271859
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	OPT	4	1711.72	216.66499	4271903

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	13	277.879	252.033	4271887
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	14	279.03299	252.034	4271888
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	10	282.97601	252.032	4271879
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	15	293.67499	252.03999	4271889
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	SAT (TO)	17	316.29199	252.05	4271880
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	323	363.64499	252.04401	4271555
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	20	394.79599	252.054	4271890
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	SAT (TO)	23	420.603	252.07001	4271881
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	168	427.73099	252.035	4271552
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	44	455.383	252.03799	4271852
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	552	469.51199	252.048	4271557
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	SAT (TO)	26	536.80902	252.073	4271891
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	193	544.73901	252.04401	4271553
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	6	649.784	252.13901	4271878
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	821	742.297	252.064	4271560
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7696083	780.84003	252.12801	4271665
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	626	796.17401	252.131	4271558
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	715	867.02197	252.071	4271559
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	SAT (TO)	969	967.513	252.086	4271561
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	129	989.185	252.117	4271551
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	SAT (TO)	53184	1104.72	252.16299	4271660
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	SAT (TO)	34	1120.04	252.125	4271882
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	4	1126.79	252.145	4271877
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	31	1366.92	252.14	4271846
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	40	1479.83	252.045	4271850
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	649	1532.24	252.02901	4271862
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	681	1577.75	252.041	4271864
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	41	1592.79	252.04601	4271851
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	SAT (TO)	675	1600.3	252.10699	4271863
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	663	1604.95	252.11099	4271865
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	203191	1666.25	252.091	4271664
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	100	1666.59	252.10699	4271550
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	1673.5601	252.03101	4271575
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	573	1682.89	252.125	4271806
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	562	1689.77	252.127	4271805
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	351	1690.28	252.159	4271556
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	27	1719.54	252.049	4271845
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	2376	1735.8	252.13699	4271831
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	1759.36	252.131	4271876
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	1137	1807.03	252.136	4271800
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	806	1808.87	252.12199	4271797
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	887	1821.27	252.10201	4271799
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	468	1840.86	252.10699	4271857
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	846	1842.21	252.13499	4271798
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	1842.77	252.119	4271886
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1347	1846.47	252.024	4271716
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	5	1854.36	252.103	4271469
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	743	1868.15	252.129	4271861
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1654	1870.85	252.14301	4271612
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	33	1872.48	252.157	4271847
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	407	1883.65	252.12601	4271860
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	636	1884.33	252.12601	4271796
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	4	1885.83	252.12199	4271471
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1017	1891.55	252.10699	4271827
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	267	1899.9301	252.13901	4271554
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6410869	1904.3199	252.10699	4271661
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	4	1905.42	252.132	4271844
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	43	1918.98	252.118	4271577
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	436	1921.05	252.09399	4271858
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	2036	1934.1	252.14301	4271613
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	SAT (TO)	1240	1935.3101	252.142	4271509
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	SAT (TO)	13	1937.08	252.11501	4271673
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	2	1938.74	252.117	4271470
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	457	1940.49	252.11	4271802
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	457	1940.5601	252.112	4271803
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	466	1941.5699	252.104	4271801
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	SAT (TO)	0	1942.1	252.117	4271448
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	SAT (TO)	0	1946.11	252.119	4271449
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1330	1947.36	252.09801	4271736
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	533	1949.53	252.11501	4271500
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	4	1954.9	252.14	4271843
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	SAT (TO)	1611	1955.29	252.14999	4271507
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	SAT (TO)	9	1956.01	252.11501	4271672
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	SAT (TO)	1367	1957	252.13901	4271510
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	SAT (TO)	1808	1961.0699	252.049	4271511
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1472	1961.7	252.118	4271611
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	SAT (TO)	13	1961.8199	252.129	4271893
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	SAT (TO)	1311	1962.1801	252.119	4271733
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	SAT (TO)	488	1963.08	252.108	4271501
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	475	1965.52	252.147	4271795
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	5	1966.24	252.14	4271434
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	SAT (TO)	1313	1966.99	252.10699	4271734
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	SAT (TO)	-160	1968.71	252.114	4271640
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	1969.0699	252.12601	4271567
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	1792	1969.26	252.136	4271822
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	SAT (TO)	87	1972.46	252.12	4271456
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	63	1973.42	252.12399	4271572
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	41	1973.48	252.13499	4271578
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	SAT (TO)	1510	1975.21	252.13499	4271508
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	908	1976.29	252.114	4271819
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	4	1976.37	252.117	4271436
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	400	1979.1	252.09399	4271817
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	376	1979.1801	252.11099	4271816
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	1979.9301	252.041	4271835
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	SAT (TO)	7	1981.12	252.10899	4271671
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	704	1982.03	252.095	4271825
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	318	1983.96	252.11301	4271791
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	364	1984.28	252.117	4271793
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	387	1985.15	252.14101	4271794
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	37	1988.13	252.14	4271849
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	SAT (TO)	3	1988.55	252.104	4271670
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	7	1989.46	252.145	4271435
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	1990.16	252.065	4271911
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	217	1990.55	252.12	4271497
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3519	1991.16	252.12	4271658
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	269	1991.28	252.12399	4271790
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	59	1991.3101	252.117	4271777
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	86	1991.92	252.13499	4271571
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	44	1991.96	252.108	4271774
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	479	1992.01	252.12801	4271607
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	341	1992.4301	252.129	4271792
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	74	1992.88	252.091	4271779
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	56	1993.03	252.127	4271775
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	67	1993.12	252.106	4271780
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3604414	1993.47	252.103	4271649
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	1717	1993.55	252.14301	4271830
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	34	1993.64	252.14	4271848
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	215	1993.73	252.105	4271635
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	199	1993.75	252.112	4271498
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	83	1993.83	252.103	4271782
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1309	1994	252.08701	4271735
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	0	1994.09	252.117	4271646
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	1994.1801	252.106	4271773
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	848	1994.3101	252.117	4271818
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	963	1994.49	252.108	4271820
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1149	1994.5601	252.12399	4271834
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1359	1994.59	252.10201	4271657
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	63	1994.62	252.10001	4271778
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	1994.85	252.10899	4271908
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	73	1995.92	252.10201	4271783
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	5	1996.05	252.12801	4271624
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	57	1996.39	252.11099	4271776
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	512	1996.42	252.11501	4271609
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	SAT (TO)	1754	1996.45	252.09801	4271741
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	79	1996.51	252.116	4271781
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	1996.6	252.12399	4271898
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3070	1997.66	252.127	4271823
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	SAT (TO)	6	1997.84	252.125	4271905
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	1998	252.118	4271574
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	1639	1998.0699	252.105	4271824
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	1998.14	252.104	4271468
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	6	1998.23	252.11301	4271902
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	2126	1998.73	252.12801	4271832
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	1999.15	252.105	4271576
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	SAT (TO)	93	1999.16	252.11099	4271457
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	1094	1999.6801	252.121	4271610
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1188	1999.97	252.12399	4271648
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	208	2001.1	252.11099	4271814
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	212	2001.25	252.10201	4271815
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2087	2001.35	252.12801	4271828
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	261	2001.47	252.12601	4271606
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	60	2001.6899	252.11	4271549
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	2795	2001.99	252.142	4271829
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	100	2002	252.112	4271620
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	2002.15	252.10699	4271897
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	104	2002.34	252.10899	4271602
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	487	2002.41	252.129	4271608
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	875	2002.4301	252.11	4271833
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	13638	2002.45	252.091	4271655
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	167	2002.46	252.11301	4271604
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	SAT (TO)	33	2002.48	252.10699	4271455
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	940	2002.72	252.114	4271826
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	184	2002.79	252.106	4271812
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	114	2003.01	252.104	4271789
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	188	2003.01	252.117	4271605
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	662	2003.14	252.11099	4271634
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	120	2003.14	252.11	4271619
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	SAT (TO)	237	2003.14	252.10699	4271539
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	196	2003.14	252.09599	4271813
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	168	2003.17	252.103	4271811
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	SAT (TO)	322	2003.1899	252.103	4271540
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	112208	2003.23	252.11501	4271663
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	SAT (TO)	817	2003.27	252.10201	4271544
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	SAT (TO)	416	2003.3199	252.104	4271541
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	SAT (TO)	196	2003.52	252.117	4271538
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	101	2003.63	252.12801	4271788
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	99	2003.77	252.117	4271618
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	SAT (TO)	165	2003.87	252.089	4271537
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	SAT (TO)	877	2003.88	252.11	4271545
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	2003.9	252.10699	4271579
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1747	2003.9399	252.118	4271821
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	2004.1899	252.131	4271842
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	85	2004.24	252.09801	4271535
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	2004.52	252.10699	4271570
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1415	2004.59	252.164	4271656
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	SAT (TO)	672	2004.64	252.105	4271542
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	SAT (TO)	36	2004.64	252.13901	4271486
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	122	2004.7	252.118	4271504
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	178	2004.91	252.112	4271603
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	135	2004.96	252.108	4271536
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	SAT (TO)	730	2005.08	252.108	4271543
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	142	2005.12	252.13499	4271810
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	190	2005.1899	252.11501	4271702
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	11	2005.25	252.12399	4271488
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	102	2005.33	252.11301	4271505
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	25	2005.4	252.117	4271617
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	11	2005.4	252.12	4271487
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	130	2005.41	252.11099	4271713
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	133	2005.49	252.11099	4271715
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	107	2005.54	252.10899	4271654
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	2005.6	252.12199	4271841
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	101	2005.6899	252.108	4271703
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	2005.76	252.09801	4271714
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	15	2005.79	252.11	4271489
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	2005.79	252.054	4271904
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	80	2005.84	252.119	4271653
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	109	2005.86	252.088	4271709
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	2005.89	252.11099	4271901
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	28	2005.9	252.08	4271491
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	2005.9399	252.116	4271896
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	31	2006.16	252.117	4271485
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	2006.34	252.117	4271630
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	2006.38	252.121	4271804
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	21	2006.4301	252.103	4271494
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	SAT (TO)	2	2006.47	252.12601	4271451
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	158	2006.53	252.11099	4271495
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	SAT (TO)	7	2006.5699	252.10001	4271453
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	120	2006.61	252.11	4271808
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	119	2006.71	252.12	4271496
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	2006.98	252.103	4271807
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	106	2007.04	252.099	4271809
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	2007.0699	252.119	4271626
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	7	2007.0699	252.10201	4271454
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	SAT (TO)	0	2008.13	252.097	4271461

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	?	460.78699	242.50999	4271484
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	?	473.41199	229.52499	4271480
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	?	475.03799	229.726	4271482
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	?	476.11099	211.44299	4271479
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	?	480.052	224.05499	4271483
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	?	481.862	235.37199	4271481

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	320.56799	252.067	4271477
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	321.22501	252.08099	4271478
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	325.82599	252.048	4271682
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	431.621	252.075	4271659
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	491.60599	252.17599	4271476
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	? (TO)	509.71701	252.07401	4271840
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	511.50299	252.076	4271839
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	585.04602	252.12199	4271681
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	? (TO)	812.58301	252.084	4271875
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	972.638	252.149	4271475
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	986.15601	252.12399	4271680
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	1264.36	252.12199	4271678
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	1269.46	254.10699	4271883
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	1269.48	252.12399	4271679
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	1518.38	252.106	4271677
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	1690.5	252.117	4271676
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	1715.17	252.112	4271473
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	1763.4301	252.114	4271472
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	1772.2	252.14	4271438
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	1812.45	252.127	4271675
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	1853.55	252.162	4271562
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	1884.6899	252.119	4271674
Opd/Opd-sum-large/ Opd-46-350-100.xml	? (TO)	1888.54	252.162	4271625
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	? (TO)	1907.35	252.11	4271474
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	1938.79	252.166	4271563
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	1943.5699	252.11099	4271445
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	1943.66	252.14101	4271437
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	1947.66	252.117	4271450
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	1947.91	252.12199	4271446
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	1954.78	252.123	4271447
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	1956.47	252.14	4271442
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	1956.76	252.18401	4271490
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	1962.08	252.131	4271443
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	1963.27	252.118	4271439
Opd/Opd-sum-large/ Opd-29-350-100.xml	? (TO)	1965.85	252.123	4271623
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	1966.05	252.121	4271440
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	1967.03	252.10899	4271444
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	1967.8101	252.131	4271441
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	1977.15	252.121	4271465
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	1978.0699	252.132	4271466
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	1981.14	252.108	4271462
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	1982.0601	252.12801	4271452
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	1987.48	252.125	4271464
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	1996.01	252.11099	4271463
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	1997.1801	252.104	4271740
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	1998.98	252.105	4271742
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	1999.84	252.11	4271743
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	1999.96	252.104	4271737
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	2000.24	252.118	4271739
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	2000.88	252.108	4271730
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	2001.25	252.104	4271738
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	2001.36	252.105	4271643
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	2001.97	252.11301	4271719
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	2002.1	252.108	4271732
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	? (TO)	2002.49	252.112	4271718
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	2002.99	252.114	4271717
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	2003.33	252.14	4271867
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	2003.83	252.116	4271731
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	2004.05	252.10899	4271866
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	2004.26	252.118	4271726
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	2004.58	252.10899	4271748
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	2004.76	252.097	4271868
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	2004.8	252.10699	4271722
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	2004.87	252.12601	4271727
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	2004.9399	252.106	4271725
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	2005.1	252.106	4271745
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	2005.1	252.10699	4271749
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	2005.12	252.11301	4271728
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	2005.23	252.114	4271729
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	2005.29	252.108	4271869
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	2005.39	252.112	4271746
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	2005.47	252.097	4271744
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	2005.48	252.10699	4271724
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	2005.51	252.123	4271723
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	2005.5601	252.10899	4271747
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	2005.66	252.10699	4271720
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	2006	252.101	4271721
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	2006.5601	252.106	4271644
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	2006.66	252.11	4271492
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	2006.6899	252.08299	4271459
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	2006.91	252.09399	4271458
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	2008.01	252.092	4271467
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	2008.1	252.09801	4271460

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

Result page for solver choco-solver 4.0.5 par (2017-08-09) (complete)

Category "optimization problem" (COP)

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

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

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

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

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