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.42551	0.704777	4254694
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		8.3654299	1.62181	4254695

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	1.16716	0.68538898	4254575
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	1.37169	0.70804501	4254593
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	1.41539	0.73539799	4254507
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	1.48745	0.80019701	4254542
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.56787	0.72618097	4254454
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.58184	0.76305503	4254817
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.59255	0.792858	4254711
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.65763	0.78076297	4254818
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.69028	0.81389898	4254739
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	1.69374	0.80150801	4254508
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.77168	0.78698099	4254821
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.88307	0.89586401	4254740
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	2.18402	0.88200998	4254744
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	2.2133801	0.88800502	4254664
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	2.3230801	0.95580697	4254543
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	2.4646399	0.90763301	4254834
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	2.47421	0.94066697	4254741
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	2.50543	0.93402398	4254743
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	2.62444	0.92042601	4254669
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	2.6470799	1.00787	4254667
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	2.7044201	0.96819299	4254738
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	2.74172	0.95206398	4254660
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	2.9075601	0.980937	4254524
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	2.9435201	1.08191	4254576
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	2.9839399	0.97979701	4254494
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	2.9948399	0.992553	4254509
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	3.2125001	1.07761	4254502
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	3.2519701	1.05908	4254745
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	3.4233799	1.03266	4254665
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	3.4254	1.14053	4254544
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	3.4663899	1.07377	4254634
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	3.4799199	1.02671	4254822
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	3.61309	1.09624	4254605
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	3.6261499	1.0123399	4254633
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	3.6989901	1.08701	4254819
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	3.87446	1.13396	4254577
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	3.96187	1.23999	4254835
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	4.0924802	1.2896301	4254734
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	5.1475601	1.25353	4254666
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	5.2828999	1.19116	4254558
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	5.4133201	1.1820101	4254559
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	5.4554601	1.32139	4254820
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	5.6131601	1.29401	4254592
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	5.7012401	1.33759	4254690
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	5.9592299	1.5497	4254836
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	6.0815802	1.33496	4254510
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	6.4054198	1.37453	4254560
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	6.7986999	1.49295	4254594
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	6.8217802	1.50787	4254629
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	7.00425	1.5203	4254477
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	7.3238802	1.57375	4254480
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	7.37183	1.8022	4254675
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	7.54287	1.70107	4254506
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	7.7892299	1.6550601	4254525
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	8.7012596	2.07809	4254547
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	9.3687401	1.94856	4254641
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	9.58496	1.8386	4254511
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	10.5277	2.1208301	4254492
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	10.7842	2.1708801	4254784
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	13.0833	2.35357	4254578
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	14.8077	2.6666999	4254495
Opd/Opd-sum-small/ Opd-10-031-009.xml	OPT	2	14.8965	2.5636699	4254606
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	14.9637	2.7305701	4254783
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	15.2104	2.5804	4254679
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	15.2659	2.6807101	4254499
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	15.5157	2.82301	4254505
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	OPT	0	16.688999	3.41978	4254697
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	16.8834	2.9560101	4254563
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	16.947599	3.01053	4254737
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	17.1611	2.9349401	4254785
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	19.311501	3.39485	4254490
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	20.1003	3.31988	4254551
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	20.9599	3.6034701	4254503
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	21.9629	3.5274401	4254696
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	22.323601	3.5685899	4254661
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	22.682899	3.6273301	4254628
Opd/Opd-sum-small/ Opd-10-038-010.xml	OPT	2	22.8668	3.5516701	4254607
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	24.037399	4.4472699	4254733
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	26.9736	6.3606	4254466
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	27.6507	4.5662899	4254498
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	27.827101	4.5537	4254496
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	28.304501	4.6631799	4254491
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	28.893801	4.7182798	4254497
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	30.368299	4.8245301	4254561
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	31.378201	4.57832	4254512
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	31.818199	5.4222202	4254493
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	34.490002	5.09515	4254599
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	37.390701	5.8924499	4254562
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	38.804199	5.4492202	4254678
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	41.181801	6.0541601	4254484
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	41.463902	6.27424	4254501
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	42.435902	6.3523598	4254712
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	44.103401	7.3018498	4254564
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	OPT	-7772	46.056801	6.4646902	4254673
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	48.773201	7.6542201	4254565
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	49.4799	17.387899	4254715
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	50.253899	7.1517501	4254837
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	59.875198	8.4871902	4254481
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	72.837997	10.0318	4254504
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	OPT	937	75.737701	11.3004	4254568
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	87.184196	11.5326	4254680
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	94.591797	12.6627	4254600
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	OPT	1334	98.113297	14.6999	4254500
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	154.73	20.211901	4254579
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	170.735	24.993999	4254566
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	209.054	65.890404	4254716
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	OPT	92	213.86	27.596901	4254732
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	OPT	992	314.73099	45.985001	4254567
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	OPT	5	358.16699	45.7033	4254635
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	OPT	5	372.00201	47.403599	4254670
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	OPT	3	388.07999	55.428299	4254546
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	OPT	326	405.97699	52.224499	4254786
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	OPT	1333	417.46399	57.7883	4254570
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	OPT	1477	476.51501	64.850304	4254573
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	OPT	1058	483.64899	68.596703	4254572
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	OPT	5	496.245	63.005901	4254638
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	OPT	1134	674.78699	94.013	4254571
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	712.03003	216.424	4254717
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	OPT	1358	733.61401	102.615	4254569
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	753.88202	234.45	4254465
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	OPT	6	988.77399	124.716	4254640
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	OPT	6	1021.14	129.631	4254639
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	OPT	6	1023.65	130.047	4254636
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	OPT	1220	1143.38	158.23801	4254574
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	OPT	458	1292.48	176.97501	4254789
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	OPT	4	1293.15	164.25999	4254637
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	OPT	476	1476.08	191.12	4254479
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	OPT	9	1478.76	187.14301	4254632

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	12	274.85901	252.032	4254460
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	13	278.354	252.035	4254468
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	14	280.27899	252.033	4254469
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	14	303.49701	252.041	4254470
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	SAT (TO)	18	311.72	252.04201	4254461
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	323	365.328	252.03799	4254533
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	21	382.89801	252.069	4254471
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	SAT (TO)	22	390.668	252.06	4254462
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	41	407.53799	252.037	4254729
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	44	442.85501	252.043	4254731
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	SAT (TO)	26	533.80103	252.075	4254472
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	6	713.5	252.12	4254459
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	159	748.10797	252.035	4254530
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7696083	766.91699	252.146	4254693
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	656	792.92902	252.064	4254536
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	821	795.20001	252.08	4254538
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	SAT (TO)	53678	806.31702	252.08	4254688
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	746	839.22699	252.08501	4254537
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	SAT (TO)	33	1028.01	252.11501	4254463
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	33	1408.1899	252.133	4254726
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	465	1513.92	252.18201	4254535
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	664	1641.36	252.041	4254792
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	351	1654.33	252.14101	4254534
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	666	1682.21	252.125	4254795
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	1683.5	252.028	4254553
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	573	1683.54	252.144	4254856
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	562	1686.77	252.12601	4254855
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	4	1716.95	252.121	4254458
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1344	1740.16	252.116	4254749
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	462	1741.6801	252.073	4254787
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	687	1744.9	252.03799	4254794
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	887	1775.37	252.123	4254849
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	1137	1801.3199	252.108	4254850
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	1837.47	252.121	4254457
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	847	1841.61	252.116	4254848
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	806	1875.01	252.11501	4254847
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	11	1920	241.536	4254448
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3466	1920	243.035	4254686
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	SAT (TO)	817	1920.01	241.83501	4254522
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	80	1920.01	241.436	4254681
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	13638	1920.02	241.935	4254683
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	73	1920.02	242.633	4254833
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	74	1920.02	242.436	4254829
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	512	1920.03	242.935	4254587
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	199	1920.03	241.63499	4254582
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	778	1920.04	244.436	4254875
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	114	1920.04	241.73599	4254839
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	SAT (TO)	165	1920.05	241.836	4254515
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	90	1920.0699	241.935	4254513
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	63	1920.0699	242.91299	4254828
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	119	1920.08	241.23399	4254474
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	133	1920.08	241.642	4254748
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	1920.09	241.735	4254721
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	1920.09	241.23599	4254604
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	848	1920.09	243.729	4254883
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	SAT (TO)	322	1920.1	241.936	4254518
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	3	1920.1	259.23199	4254432
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	SAT (TO)	663	1920.11	256.73599	4254793
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	135	1920.11	241.936	4254514
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	SAT (TO)	672	1920.12	242.925	4254520
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	1920.13	261.63	4254467
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	SAT (TO)	1754	1920.13	242.83501	4254774
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	1920.13	241.936	4254557
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	543	1920.14	241.83501	4254586
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	740	1920.15	249.828	4254791
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	SAT (TO)	1367	1920.15	247.647	4254488
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	636	1920.15	252.425	4254846
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	533	1920.15	250.129	4254478
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	6	1920.15	258.03601	4254430
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	1920.15	242.43401	4254554
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1690	1920.16	248.535	4254590
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	158	1920.16	241.436	4254473
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1417	1920.16	241.931	4254684
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	119777	1920.16	242.131	4254691
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	1920.16	242.735	4254642
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	387	1920.16	243.425	4254844
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1309	1920.17	243.83099	4254768
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	SAT (TO)	13	1920.17	247.036	4254626
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	SAT (TO)	730	1920.17	242.03999	4254521
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	1920.1801	242.534	4254713
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	364	1920.1899	244.24699	4254843
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1476	1920.2	247.035	4254589
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	1920.2	241.535	4254854
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	31	1920.2	242.536	4254725
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	122	1920.21	241.524	4254482
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	189	1920.21	242.636	4254735
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	14	1920.21	241.336	4254450
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	31	1920.22	241.33501	4254446
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	1892	1920.22	242.325	4254882
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1390	1920.23	242.033	4254685
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	SAT (TO)	87	1920.25	243.83501	4254417
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	100	1920.25	241.63499	4254838
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	SAT (TO)	0	1920.26	241.13901	4254422
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	1920.27	243.532	4254714
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	SAT (TO)	416	1920.28	242.735	4254519
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	131	1920.28	241.63499	4254746
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	1883	1920.28	243.035	4254878
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	107	1920.28	241.336	4254742
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	44	1920.28	254.935	4254555
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	318	1920.3	244.24899	4254841
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3348866	1920.3	243.138	4254677
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	SAT (TO)	1611	1920.3101	248.133	4254485
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	4	1920.3101	244.243	4254397
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	853	1920.3199	246.437	4254868
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	1920.3199	242.435	4254720
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	120	1920.33	241.729	4254597
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	101	1920.34	241.536	4254736
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1002	1920.34	241.836	4254870
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	SAT (TO)	7	1920.34	241.536	4254414
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	399	1920.34	242.142	4254585
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	127	1920.34	246.836	4254529
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	208	1920.34	242.039	4254864
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	253	1920.35	242.041	4254584
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	376	1920.35	244.633	4254866
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6363041	1920.36	252.13499	4254689
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	990	1920.36	244.436	4254876
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	SAT (TO)	13	1920.36	249.936	4254701
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	83	1920.37	242.836	4254832
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	1920.37	241.336	4254608
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	266	1920.37	260.23599	4254532
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	37	1920.37	243.43201	4254728
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	120	1920.37	241.436	4254858
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	440	1920.38	250.536	4254788
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	SAT (TO)	7	1920.38	244.34	4254699
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	1548	1920.39	242.836	4254872
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	SAT (TO)	0	1920.4	249.533	4254409
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	SAT (TO)	196	1920.4	241.83501	4254516
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	269	1920.4	243.132	4254840
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	863	1920.4	251.536	4254869
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	11	1920.41	241.436	4254449
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	86	1920.41	243.036	4254549
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	2954	1920.42	241.83501	4254879
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	142	1920.4301	241.731	4254860
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	62	1920.4301	245.535	4254550
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	100	1920.4399	241.935	4254598
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	5	1920.45	244.13499	4254395
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	SAT (TO)	1511	1920.45	245.343	4254486
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	7	1920.47	243.536	4254674
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1263	1920.47	241.636	4254877
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	102	1920.47	241.435	4254483
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	69	1920.47	242.73	4254830
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	SAT (TO)	36	1920.48	241.536	4254447
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	1920.48	241.33299	4254857
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	4	1920.48	247.248	4254722
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	181	1920.48	241.735	4254861
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	SAT (TO)	0	1920.48	248.23599	4254410
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	SAT (TO)	1311	1920.48	253.138	4254767
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	59	1920.49	243.13699	4254827
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1023	1920.49	242.435	4254871
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	7	1920.49	241.435	4254415
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	104	1920.5	241.82899	4254580
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	184	1920.51	241.73599	4254862
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	44	1920.51	243.032	4254824
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	1920.54	241.73599	4254548
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	400	1920.54	244.636	4254867
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1186	1920.55	242.23599	4254676
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	SAT (TO)	894	1920.5601	243.33501	4254523
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	99	1920.5699	241.735	4254596
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	216	1920.5699	243.52499	4254663
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	662	1920.5699	241.73399	4254662
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	SAT (TO)	-161	1920.5699	246.442	4254668
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	SAT (TO)	2	1920.58	241.436	4254412
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	57	1920.58	243.133	4254826
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	1900	1920.58	249.036	4254880
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	106	1920.59	241.435	4254859
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	SAT (TO)	33	1920.6	241.83501	4254416
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	SAT (TO)	0	1920.6	248.02901	4254407
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	1920.6	242.435	4254552
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	SAT (TO)	1305	1920.6	245.136	4254766
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	217	1920.61	243.63499	4254475
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	SAT (TO)	93	1920.61	244.825	4254418
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	17	1920.61	244.435	4254724
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	196	1920.62	241.825	4254863
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	56	1920.62	243.14101	4254825
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	208	1920.62	241.836	4254583
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	1840	1920.62	251.95	4254881
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	2036	1920.62	243.13901	4254591
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	101	1920.62	241.436	4254682
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	457	1920.63	249.634	4254853
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	199	1920.64	243.036	4254476
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	466	1920.65	249.63499	4254851
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	1920.65	241.435	4254747
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2075	1920.66	242.03799	4254874
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	4	1920.66	257.836	4254723
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	40	1920.66	243.836	4254730
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	21	1920.67	241.436	4254455
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	SAT (TO)	9	1920.67	248.134	4254700
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	28	1920.67	241.33501	4254452
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	202503	1920.67	248.638	4254692
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	457	1920.6899	249.842	4254852
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	79	1920.6899	242.81799	4254831
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	1920.6899	241.636	4254631
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1327	1920.6899	246.923	4254769
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	SAT (TO)	0	1920.71	246.73599	4254405
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	SAT (TO)	237	1920.71	242.138	4254517
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	6	1920.71	242.537	4254602
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	970	1920.71	250.336	4254588
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1217	1920.71	244.936	4254884
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	SAT (TO)	3	1920.71	243.241	4254698
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	341	1920.71	243.929	4254842
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	40	1920.73	244.83501	4254556
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	182	1920.73	241.62399	4254581
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	1920.73	245.535	4254545
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	7	1920.74	243.83501	4254396
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	1920.75	242.836	4254823
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	34	1920.75	262.73599	4254727
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	2	1920.76	255.13499	4254431
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	212	1920.77	242.033	4254865
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	1920.79	242.534	4254429
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	475	1920.79	246.541	4254845
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	SAT (TO)	1240	1920.79	250.73599	4254487
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	1920.79	241.436	4254630
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	413	1927.23	252.11099	4254790
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	187	1948.63	252.123	4254531
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3064	1994.89	252.12801	4254873

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	?	442.26801	232.474	4254443
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	?	443.974	223.319	4254444
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	?	462.883	226.011	4254441
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	?	517.99902	260.59	4254442
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	?	537.95898	245.31599	4254445

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	312.48199	252.423	4254439
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	321.241	252.382	4254438
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	328.97601	252.05099	4254710
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	434.43399	252.168	4254437
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	448.754	252.07201	4254687
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	505.62701	252.076	4254718
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	? (TO)	518.638	252.091	4254719
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	603.53601	252.12399	4254709
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	? (TO)	743.211	254.16299	4254440
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	857.138	252.13901	4254436
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	? (TO)	892.06799	252.092	4254456
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	982.06598	252.147	4254708
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	1267.6899	252.125	4254706
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	1270.67	252.12601	4254707
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	1304.72	254.11099	4254464
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	1517.37	252.12	4254705
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	1689.75	252.131	4254704
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	1727.02	252.114	4254434
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	1746.25	252.14799	4254399
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	1761.47	252.097	4254433
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	1809.12	252.129	4254703
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	1920.01	241.636	4254777
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	1920.02	241.63499	4254760
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	1920.04	250.13499	4254541
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	1920.04	242.435	4254773
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	1920.08	247.81799	4254408
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	1920.11	248.935	4254406
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	1920.13	246.437	4254400
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	1920.13	241.436	4254420
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	1920.15	241.336	4254428
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	1920.16	247.136	4254403
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	1920.17	242.14101	4254776
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	1920.17	243.032	4254799
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	1920.1899	241.435	4254757
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	1920.2	241.536	4254758
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	? (TO)	1920.21	242.429	4254751
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	1920.21	246.44	4254401
Opd/Opd-sum-large/ Opd-07-350-100.xml	? (TO)	1920.22	241.336	4254595
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	1920.22	241.536	4254797
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	1920.23	241.535	4254779
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	1920.24	241.63901	4254753
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	1920.25	241.536	4254761
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	1920.27	242.048	4254763
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	1920.29	241.535	4254796
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	1920.29	246.23599	4254402
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	1920.29	242.02499	4254671
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	1920.33	241.535	4254419
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	1920.33	244.73599	4254413
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	1920.34	242.336	4254775
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	1920.38	242.33501	4254772
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	1920.38	246.233	4254426
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	1920.41	259.63901	4254540
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	1920.41	241.73599	4254754
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	1920.4399	241.83501	4254765
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	1920.45	247.436	4254451
Opd/Opd-sum-large/ Opd-29-350-100.xml	? (TO)	1920.45	246.33501	4254601
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	1920.45	241.836	4254755
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	1920.49	241.535	4254782
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	1920.5	242.636	4254424
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	1920.51	241.336	4254672
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	1920.52	241.438	4254756
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	1920.55	241.636	4254762
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	1920.55	241.435	4254780
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	1920.5699	241.535	4254778
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	1920.6	242.036	4254798
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	1920.62	248.741	4254411
Opd/Opd-sum-large/ Opd-46-350-100.xml	? (TO)	1920.63	255.436	4254603
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	1920.63	246.437	4254404
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	1920.64	256.83499	4254702
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	1920.65	241.33501	4254453
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	1920.65	243.336	4254425
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	1920.66	241.636	4254764
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	1920.6801	244.342	4254423
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	1920.6899	242.235	4254752
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	1920.71	242.235	4254750
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	1920.71	242.435	4254770
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	1920.72	245.03101	4254427
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	1920.72	242.125	4254771
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	1920.73	241.235	4254421
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	1920.73	241.536	4254781
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	1920.74	249.431	4254398
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	? (TO)	1920.76	253.63499	4254435
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	1920.79	242.14101	4254759

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	No Cert.		980.28101	252.06599	4254539
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	No Cert.		1920.73	249.13499	4254489

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	Wrong Opt.	46	71.2939	11.5388	4254526
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	Wrong Opt.	60	198.548	29.7355	4254527
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	Wrong Opt.	104	858.354	143.65601	4254528

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-07-26) (complete)

Category "optimization problem" (COP)

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

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

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

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

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

Solver answered SATISFIABLE but gave no complete certificate (2 runs) [Show/Hide]

Solver found a wrong optimum (3 runs) [Show/Hide]