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.40251	0.60931402	4281476
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		8.3267899	1.51072	4281477

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	1.1443599	0.56002897	4281407
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	1.31889	0.58963901	4281425
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	1.3980401	0.59355003	4281339
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	1.4762501	0.65946299	4281374
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.56508	0.67494798	4281719
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.5706199	0.61710101	4281303
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.58972	0.64007598	4281577
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.6733	0.65886098	4281578
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.6820101	0.692357	4281516
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	1.76548	0.66902101	4281340
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.84044	0.71216202	4281517
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.8991801	0.71010298	4281581
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	2.12275	0.82038599	4281521
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	2.25176	0.76800698	4281446
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	2.2895801	0.784926	4281594
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	2.3498199	0.77390403	4281451
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	2.42892	0.80721301	4281520
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	2.4849	0.80752301	4281518
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	2.4916601	0.82206398	4281449
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	2.52283	0.81914699	4281447
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	2.5854599	0.81576502	4281442
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	2.69275	0.85519302	4281515
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	2.7203901	0.87458098	4281375
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	2.78547	0.84321201	4281356
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	2.8275399	0.905527	4281408
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	2.8659501	0.83315098	4281341
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	3.0098801	0.85695601	4281582
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	3.0414701	0.841124	4281709
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	3.1028299	0.88615203	4281326
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	3.1815901	0.90824598	4281334
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	3.32288	0.94905001	4281437
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	3.37485	1.0003	4281376
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	3.57514	0.97306597	4281522
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	3.62128	0.94701803	4281710
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	3.88833	1.03522	4281409
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	4.08885	1.0975699	4281595
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	4.1961002	1.27431	4281511
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	4.28337	1.05024	4281448
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	4.3892698	1.06901	4281579
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	4.5826898	1.06345	4281424
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	5.04285	1.11326	4281580
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	5.1467299	1.05424	4281390
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	5.4380002	1.3676701	4281596
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	5.4566302	1.19593	4281309
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	5.4671602	1.10629	4281391
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	5.8256402	1.3063101	4281457
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	6.2099299	1.2918	4281342
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	6.3626499	1.32609	4281705
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	6.5162702	1.36007	4281426
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	6.7293	1.4358	4281338
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	7.5053301	1.4541	4281472
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	7.62359	1.3601201	4281392
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	8.4093304	1.72594	4281664
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	8.6469803	1.65517	4281357
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	8.7194204	1.76405	4281717
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	8.8373499	2.0104301	4281379
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	9.7492704	1.81441	4281410
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	11.3247	1.94546	4281312
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	12.1485	2.2769101	4281324
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	12.2591	2.0725	4281343
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	14.1339	2.4703901	4281337
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	14.1385	2.4372201	4281383
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	14.3196	2.5413201	4281514
Opd/Opd-sum-small/ Opd-10-031-009.xml	OPT	2	14.7373	2.3901899	4281438
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	15.0107	2.5480499	4281331
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	15.2068	2.59604	4281327
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	15.6451	2.6466899	4281663
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	16.741501	2.5973301	4281461
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	16.8482	2.72487	4281431
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	OPT	0	16.929501	3.3862901	4281479
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	17.288799	2.8118601	4281395
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	18.237801	2.9932799	4281665
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	19.1388	3.27651	4281322
Opd/Opd-sum-small/ Opd-10-038-010.xml	OPT	2	20.0814	3.3178599	4281439
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	21.306601	3.4932499	4281335
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	22.434099	3.5876999	4281443
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	23.568701	3.73155	4281695
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	23.695499	3.67787	4281704
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	24.0856	3.65763	4281510
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	24.5082	3.7416699	4281478
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	25.9133	4.2636499	4281329
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	26.6325	4.3990502	4281330
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	28.443501	4.3372798	4281393
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	28.5525	4.3357201	4281344
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	29.677	4.6866798	4281328
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	29.7808	4.8129101	4281323
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	30.2616	4.98698	4281325
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	36.672199	5.44135	4281333
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	39.183998	5.4167399	4281460
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	40.340302	5.90801	4281720
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	42.515202	6.8880701	4281396
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	45.605701	7.3207102	4281394
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	46.994499	6.6451502	4281316
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	50.032001	17.3214	4281646
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	52.026699	7.2695098	4281597
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	OPT	-7772	58.625702	7.9107199	4281455
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	63.082901	9.4740801	4281397
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	70.822601	9.7855902	4281313
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	OPT	937	76.462196	11.204	4281400
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	90.027496	11.9113	4281432
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	OPT	1334	91.678703	13.4446	4281332
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	96.232903	12.9138	4281336
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	108.243	14.0418	4281462
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	151.13499	19.6485	4281411
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	183.56	28.0637	4281398
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	213.386	66.348602	4281647
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	OPT	992	360.55801	53.7257	4281399
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	OPT	1333	371.71301	50.1936	4281402
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	OPT	3	384.362	55.480202	4281378
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	OPT	92	411.69601	52.3452	4281509
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	OPT	326	462.414	58.933201	4281666
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	OPT	1477	469.896	64.981003	4281405
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	OPT	1134	513.06897	73.698601	4281403
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	OPT	1058	513.51202	71.221397	4281404
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	OPT	5	516.14001	65.530296	4281452
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	OPT	6	519.28302	66.703697	4281712
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	OPT	5	585.57001	74.1278	4281711
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	OPT	5	645.72699	81.629601	4281714
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	OPT	6	700.44	88.477203	4281716
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	795.83002	239.77	4281694
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	862.74701	234.39999	4281648
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	OPT	4	865.93298	110.606	4281713
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	OPT	1358	915.37402	127.415	4281401
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	OPT	0	917.34601	117.676	4281480
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	OPT	1220	1027.3	144.55901	4281406
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	OPT	44	1183.85	154.52299	4281358
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	OPT	7	1441.8	181.38901	4281706

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	12	273.37601	252.03101	4281689
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	13	276.979	252.033	4281697
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	14	282.25	252.034	4281698
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	15	294.733	252.03999	4281699
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	45	300.33899	252.037	4281662
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	SAT (TO)	17	304.452	252.04601	4281690
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	323	361.48599	252.045	4281365
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	21	381.72	252.056	4281700
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	39	392.38901	252.032	4281659
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	SAT (TO)	22	396.258	252.05901	4281691
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	42	412.06699	252.037	4281661
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	545	478.18399	252.047	4281367
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	SAT (TO)	26	527.80298	252.07401	4281701
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	656	620.83502	252.064	4281368
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	6	627.25299	252.131	4281688
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7696083	684.38202	252.24699	4281475
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	35	948.13	252.12199	4281658
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	SAT (TO)	34	960.651	252.12199	4281692
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	192	964.42499	252.04201	4281363
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	129	1026.1801	252.11501	4281361
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	779	1051.67	252.144	4281370
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	SAT (TO)	52941	1236.64	252.14301	4281470
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	4	1504.65	252.117	4281687
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	652	1549.08	252.04601	4281672
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	276	1577.04	252.048	4281364
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	96	1594.58	252.119	4281360
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	6	1626.91	252.12	4281655
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	351	1666	253.45	4281366
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	31	1675.0601	252.13499	4281656
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	573	1679.1	252.116	4281616
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	1697.25	252.03	4281385
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	562	1704.3	252.13499	4281615
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	648	1726.14	252.11099	4281675
Opd/Opd-sum-large/ Opd-46-350-100.xml	SAT (TO)	98	1753.7	252.187	4281435
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	1767.41	252.12	4281686
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1344	1811.34	252.118	4281526
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	806	1817.37	252.134	4281607
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	1137	1818.5601	252.13	4281610
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	2036	1837.38	252.131	4281423
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	887	1840.08	252.11501	4281609
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	5	1845.03	252.119	4281279
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	1847.67	252.127	4281696
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	465	1849.04	252.12	4281667
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	4	1857.78	252.11	4281281
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	702	1872.26	252.116	4281674
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	SAT (TO)	666	1881.6899	252.12	4281673
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1654	1884.75	252.14301	4281422
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	4	1885.3101	252.125	4281654
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	847	1888.7	252.13499	4281608
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	461	1891.59	252.136	4281669
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	636	1897.59	252.12399	4281606
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	678	1898.92	252.151	4281369
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6411012	1902.25	252.104	4281471
Opd/Opd-sum-large/ Opd-29-350-100.xml	SAT (TO)	96	1908.95	252.14799	4281433
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	SAT (TO)	1240	1909.51	252.161	4281319
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	44	1913.71	252.11501	4281387
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	964	1917.51	252.13901	4281637
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	2	1925.45	252.106	4281280
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	438	1928.91	252.11	4281668
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	411	1931.95	252.119	4281670
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	533	1935.9399	252.09599	4281310
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	740	1936.6801	252.123	4281671
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	SAT (TO)	13	1937.3101	252.11301	4281483
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	457	1939.26	252.112	4281612
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	SAT (TO)	0	1939.9301	252.127	4281258
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	457	1940.28	252.106	4281613
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	466	1940.46	252.12	4281611
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	SAT (TO)	0	1947.97	252.121	4281259
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	SAT (TO)	1611	1948.77	252.158	4281317
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	982	1949.05	252.12399	4281420
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	SAT (TO)	479	1950.0699	252.05299	4281311
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	SAT (TO)	0	1952.92	252.121	4281256
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	SAT (TO)	9	1953.52	252.13	4281482
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1476	1954.9301	252.123	4281421
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	SAT (TO)	1808	1956.1	252.164	4281321
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	SAT (TO)	-163	1959.35	252.12399	4281450
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	SAT (TO)	0	1960.65	252.123	4281254
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	SAT (TO)	13	1961.97	252.114	4281703
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	SAT (TO)	1322	1962.89	252.11099	4281544
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	1966.78	252.12	4281377
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	475	1969.77	252.14999	4281605
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	2310	1970.39	252.11301	4281640
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	148	1971.5699	252.106	4281362
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	4	1973.16	252.14	4281653
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	62	1974.1899	252.12801	4281382
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	5	1974.47	252.129	4281246
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	SAT (TO)	1368	1975.78	252.05	4281320
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	929	1976.79	252.11501	4281628
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	40	1977.67	252.14	4281388
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	SAT (TO)	319	1977.92	252.10899	4281350
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	SAT (TO)	1511	1978.39	252.13	4281318
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	376	1978.97	252.11301	4281626
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	400	1979.09	252.091	4281627
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1164	1979.28	252.118	4281644
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	SAT (TO)	7	1980.86	252.105	4281481
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1339	1981.66	252.11501	4281546
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	1982.6	252.08501	4281645
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	7	1982.97	252.12801	4281245
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	SAT (TO)	87	1983.08	252.12199	4281266
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	364	1983.6899	252.136	4281603
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	55	1983.98	252.104	4281359
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	2	1984.28	252.11301	4281244
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	387	1984.92	252.15199	4281604
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	SAT (TO)	1313	1986.28	252.125	4281543
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	1087	1986.4301	252.101	4281636
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	318	1986.46	252.075	4281601
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	56	1987.23	252.121	4281430
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	39	1987.4399	252.15199	4281660
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	215	1988.12	252.132	4281445
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1304	1988.3101	252.099	4281545
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	SAT (TO)	672	1988.3199	252.108	4281352
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	1486	1988.65	252.097	4281632
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	1601	1988.9399	252.121	4281634
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	SAT (TO)	93	1989.67	252.12399	4281267
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	203191	1991.4301	252.11301	4281474
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	908	1991.6899	252.101	4281629
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	79	1991.77	252.121	4281591
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	84	1992.13	252.12399	4281381
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	64	1992.1801	252.099	4281429
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	74	1992.21	252.12399	4281593
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	44	1992.36	252.08701	4281584
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	269	1992.52	252.13699	4281600
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	83	1992.54	252.11	4281592
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	7	1992.58	252.119	4281456
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3600643	1992.63	252.104	4281459
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	341	1992.75	252.16	4281602
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	59	1993.05	252.084	4281587
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	SAT (TO)	817	1993.12	252.12601	4281354
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	74	1993.28	252.11	4281589
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	560	1993.34	252.12199	4281419
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	343	1993.4	252.10899	4281417
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	57	1993.52	252.117	4281586
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	33	1993.76	252.142	4281657
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	199	1993.9399	252.121	4281308
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	SAT (TO)	894	1994.28	252.033	4281355
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	SAT (TO)	1754	1994.29	252.091	4281551
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	43	1994.3199	252.12	4281428
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	63	1994.35	252.112	4281588
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	1994.37	252.09399	4281386
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	1994.38	252.117	4281583
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	69	1994.6801	252.099	4281590
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	1994.8	252.086	4281721
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3572	1994.83	252.105	4281468
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	56	1994.9	252.106	4281585
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	SAT (TO)	237	1995.01	252.106	4281349
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	217	1995.03	252.103	4281307
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	2117	1995.1801	252.159	4281642
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	1995.21	252.112	4281718
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	5	1996.02	252.144	4281434
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	1996.25	252.125	4281384
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1366	1996.48	252.11501	4281467
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1063	1996.92	252.095	4281631
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	1996.98	252.09599	4281708
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3039	1997.4301	252.131	4281641
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	114	1998.04	252.11301	4281599
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	13638	1998.38	252.106	4281465
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	SAT (TO)	6	1998.98	252.11099	4281715
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	24	1999.26	252.136	4281427
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	1999.39	252.106	4281651
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	116851	1999.4399	252.09399	4281473
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	85	1999.78	252.09599	4281345
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	1999.9	252.119	4281278
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	SAT (TO)	196	2000.05	252.10001	4281348
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2004	2000.3101	252.121	4281638
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	SAT (TO)	164	2000.47	252.104	4281347
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	229	2000.52	252.11501	4281416
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3113	2000.53	252.101	4281633
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	208	2000.72	252.108	4281624
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	958	2000.75	252.127	4281630
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1395	2000.87	252.106	4281466
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	2937	2001.1	252.065	4281639
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	SAT (TO)	416	2001.25	252.119	4281351
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	196	2001.37	252.089	4281623
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	212	2001.59	252.11	4281625
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	108	2001.7	252.119	4281412
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	135	2001.99	252.099	4281346
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	191	2002.02	252.09801	4281512
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	603	2002.4301	252.117	4281418
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	191	2002.53	252.10201	4281414
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	2002.53	252.101	4281389
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	SAT (TO)	33	2002.6	252.089	4281265
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	184	2002.87	252.10699	4281622
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	142	2002.96	252.127	4281620
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	925	2002.99	252.132	4281643
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	2003.27	252.10899	4281380
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	100	2003.35	252.125	4281598
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	SAT (TO)	730	2003.6	252.11301	4281353
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	122	2003.61	252.104	4281413
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	662	2003.63	252.125	4281444
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	836	2003.75	252.11301	4281635
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	200	2003.99	252.119	4281415
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	2004	252.118	4281707
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	SAT (TO)	36	2004.05	252.10201	4281296
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	122	2004.05	252.11099	4281314
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1163	2004.46	252.123	4281458
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	SAT (TO)	7	2004.48	252.076	4281263
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	2004.5	252.119	4281652
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	181	2004.65	252.101	4281621
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	2004.75	252.10899	4281614
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	133	2004.8	252.117	4281525
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	129	2005.03	252.11301	4281523
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	108	2005.08	252.099	4281519
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	107	2005.14	252.10699	4281464
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	2005.25	252.103	4281524
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	102	2005.36	252.116	4281315
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	106	2005.49	252.097	4281619
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	80	2005.58	252.103	4281463
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	120	2005.61	252.095	4281618
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	11	2005.76	252.14	4281298
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	14	2005.8	252.10201	4281299
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	7	2005.8101	252.10201	4281264
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	SAT (TO)	2	2005.83	252.069	4281261
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	101	2005.86	252.112	4281513
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	2005.96	252.108	4281440
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	21	2005.96	252.11	4281304
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	11	2005.98	252.105	4281297
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	2005.99	252.12601	4281617
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	158	2006.21	252.103	4281305
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	31	2006.37	252.116	4281295
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	28	2006.48	252.145	4281301
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	119	2006.87	252.108	4281306
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	SAT (TO)	0	2007.14	252.08501	4281271
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	2007.51	252.11099	4281436

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	?	405.63699	215.552	4281292
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	?	474.36499	233.536	4281290
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	?	482.785	231.048	4281291
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	?	499.53799	244.61099	4281294
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	?	508.36801	223.679	4281293

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	313.10901	252.07201	4281288
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	320.01001	252.067	4281287
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	331.59	252.05499	4281492
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	431.21399	252.091	4281469
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	529.13599	252.075	4281649
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	? (TO)	546.784	252.07899	4281650
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	572.79401	252.116	4281491
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	657.89801	252.183	4281286
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	? (TO)	721.50598	254.13499	4281289
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	? (TO)	791.25403	252.106	4281685
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	850.00299	252.172	4281285
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	962.508	252.12	4281490
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	1262.41	252.12	4281489
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	1269.02	252.13699	4281488
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	1328.53	254.12199	4281693
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	1519.0699	252.123	4281487
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	1692.09	252.12601	4281486
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	1736.6801	252.116	4281283
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	1757.29	252.14999	4281248
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	1761.51	252.11	4281282
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	1810.8199	252.125	4281485
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	1838.16	252.201	4281372
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	1886.72	252.117	4281484
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	? (TO)	1907.61	252.11	4281284
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	1935.0699	252.125	4281373
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	1940.47	252.14	4281247
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	1940.88	252.121	4281255
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	1947.5601	252.114	4281260
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	1954.64	252.11301	4281257
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	1957.3	252.2	4281300
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	1959.67	252.116	4281252
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	1962.47	252.116	4281253
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	1962.95	252.12601	4281249
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	1964.9	252.129	4281251
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	1965.89	252.121	4281250
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	1968.11	252.118	4281275
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	1974.74	252.146	4281262
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	1984.0699	252.11301	4281276
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	1984.12	252.103	4281274
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	1984.12	252.10001	4281272
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	1994.59	252.131	4281273
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	1996.55	252.118	4281550
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	1997.17	252.10699	4281549
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	? (TO)	1997.25	252.10699	4281528
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	1997.28	252.091	4281552
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	1998.24	252.099	4281553
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	1998.65	252.12	4281547
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	1998.86	252.117	4281548
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	1999.3199	252.10001	4281679
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	2000.6801	252.121	4281529
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	2000.71	252.11501	4281678
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	2000.71	252.11301	4281540
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	2001.01	252.12	4281453
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	2001.08	252.12801	4281676
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	2001.4301	252.117	4281542
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	2001.6	252.117	4281527
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	2002.38	252.12801	4281537
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	2002.54	252.09399	4281532
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	2003.23	252.10699	4281536
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	2003.64	252.112	4281530
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	2003.67	252.12	4281531
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	2003.75	252.114	4281538
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	2003.78	252.127	4281541
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	2004.22	252.092	4281677
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	2004.3199	252.131	4281535
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	2004.4	252.114	4281559
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	2004.45	252.105	4281556
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	2004.55	252.095	4281555
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	2004.58	252.149	4281539
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	2004.77	252.09599	4281268
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	2004.99	252.11	4281558
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	2005.3199	252.11	4281533
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	2005.37	252.116	4281554
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	2005.53	252.105	4281557
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	2005.54	252.106	4281269
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	2005.63	252.078	4281302
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	2005.72	252.10001	4281534
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	2005.96	252.10201	4281277
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	2006.15	252.13	4281454
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	2007.62	252.11	4281270

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-18) (complete)

Category "optimization problem" (COP)

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

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

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

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

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

Solver answered SATISFIABLE but gave no complete certificate (1 run) [Show/Hide]