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

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-03.xml	UNSAT		0.97410798	0.49437201	4284416
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		6.97751	2.54091	4284417

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	0.936575	0.50836903	4284347
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	0.97081	0.81594402	4284314
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.12356	0.562612	4284457
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.1325901	0.59298599	4284456
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	1.17697	0.58258402	4284365
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	1.23159	0.58690298	4284534
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.28707	0.615242	4284517
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.32866	0.64314401	4284659
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	1.35952	0.643803	4284461
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	1.47919	0.65479702	4284296
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	1.54212	0.70949799	4284382
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.54529	1.0926	4284518
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	1.5516599	0.669312	4284280
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	1.58202	0.71053803	4284460
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.6469899	0.71400601	4284521
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	1.64852	0.71994799	4284315
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	1.79882	0.72351402	4284266
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.8227299	0.74637097	4284243
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	1.84526	0.79525799	4284458
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	2.00014	0.779585	4284274
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	2.0622599	0.82877803	4284279
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	2.1268899	0.88504398	4284389
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	2.17417	0.85794002	4284649
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	2.21137	0.92534697	4284462
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	2.3389499	0.91908997	4284391
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	2.9845901	1.1545399	4284387
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	3.01086	1.14692	4284316
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	3.1528001	1.1922801	4284388
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	3.24278	1.22743	4284386
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	3.27722	1.23063	4284650
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	3.28789	1.18815	4284270
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	3.64081	2.2913499	4284586
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	3.85518	1.40065	4284263
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	4.0929499	1.416	4284262
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	4.34974	1.63126	4284348
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	4.57445	1.7142	4284397
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	4.8697901	1.91063	4284455
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	4.9215202	1.7977901	4284451
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	OPT	5	5.1898999	1.82963	4284645
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	5.2532401	1.98763	4284319
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	5.55901	2.0183899	4284269
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	OPT	0	5.80756	2.0152299	4284419
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	5.8414898	2.11325	4284519
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	5.8688898	2.2277701	4284281
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	5.9907699	2.15591	4284522
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	6.1893501	2.1794	4284297
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	6.84097	2.5969801	4284349
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	OPT	3	7.0400701	2.65418	4284325
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	8.0132399	2.7248001	4284275
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	8.1277599	2.9721601	4284401
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	8.3909197	2.9479401	4284520
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	9.3527098	3.5035999	4284268
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	10.1084	3.79003	4284377
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	11.0907	7.1470699	4284587
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	13.0898	7.3039098	4284364
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	15.816	6.3565102	4284604
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	15.9405	7.4341898	4284657
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	16.864	8.9804001	4284412
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	16.9354	6.01685	4284603
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	17.641701	6.2374201	4284605
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	18.4195	9.7778797	4284277
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	18.8009	13.4482	4284323
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	19.1649	9.2729101	4284372
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	20.2778	8.1025896	4284454
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	20.314501	11.5579	4284535
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	20.6313	14.3035	4284371
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	20.9678	15.1114	4284331
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	23.461201	16.191999	4284278
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	25.796301	19.770901	4284330
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	26.028099	19.620399	4284634
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	26.127899	15.094	4284635
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	30.995899	24.1551	4284332
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	31.167999	23.010799	4284366
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	32.0247	21.628201	4284644
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	32.559101	24.239401	4284350
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	33.132999	21.9489	4284588
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	36.445099	26.537901	4284273
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	38.889999	30.317301	4284282
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	41.0438	28.6092	4284625
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	48.018501	38.7202	4284536
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	58.366402	46.0009	4284537
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	61.264999	53.002399	4284264
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	75.591103	68.014198	4284383
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	80.129204	72.171402	4284271
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	86.676399	79.501701	4284402
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	90.912598	69.555397	4284450
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	134.73399	124.191	4284418
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	159.41701	146.507	4284267
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	249.35699	235.91499	4284400

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	246.28999	240.028	4284329
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	247.343	240.033	4284326
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	1	247.821	240.02299	4284218
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	134	247.92799	240.024	4284301
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	165	247.97	240.024	4284302
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	SAT (TO)	44	248.528	240.02299	4284283
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	SAT (TO)	44	248.536	240.024	4284298
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	84	248.87199	240.026	4284321
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	SAT (TO)	0	248.95799	240.02499	4284199
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	249.105	240.024	4284320
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	SAT (TO)	0	249.235	240.02699	4284196
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	0	249.284	240.021	4284186
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	249.767	240.019	4284651
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	SAT (TO)	281	249.825	240.022	4284288
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	103	249.86301	240.022	4284285
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	249.901	240.019	4284317
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	1798	249.912	240.02499	4284272
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	655	249.993	240.026	4284555
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	201	250.007	240.02499	4284303
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	250.041	240.024	4284554
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	98	250.117	240.026	4284367
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	62	250.144	240.035	4284322
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	250.175	240.024	4284318
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	40	250.22301	240.03	4284328
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	177	250.368	240.022	4284286
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	250.39101	240.021	4284654
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	250.47501	240.02299	4284324
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	60	250.52699	240.02499	4284299
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	SAT (TO)	60	250.65601	240.024	4284284
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	SAT (TO)	1144	250.681	240.026	4284265
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	SAT (TO)	201	250.72501	240.024	4284287
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	SAT (TO)	295	250.879	240.02499	4284289
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	251.08	240.02499	4284380
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	678	251.114	240.02499	4284556
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	122	251.168	240.02299	4284558
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	106	251.217	240.02499	4284559
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	5	251.30901	240.03101	4284374
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	115	251.62399	240.02499	4284300
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	139	251.79401	240.02299	4284560
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	251.79601	240.02499	4284646
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	SAT (TO)	-7621	251.83099	240.034	4284395
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	708	251.905	240.026	4284359
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	6	251.939	240.024	4284652
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	SAT (TO)	49	252.02699	240.03101	4284249
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	44	252.092	240.033	4284327
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	SAT (TO)	886	252.101	240.026	4284335
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	252.13499	240.024	4284557
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	252.15601	240.024	4284656
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1239	252.278	240.02499	4284342
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	945	252.3	240.026	4284339
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1796	252.33299	240.041	4284584
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	1174	252.411	240.028	4284360
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	SAT (TO)	1005	252.41701	240.026	4284334
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	5	252.418	240.024	4284653
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	SAT (TO)	321	252.50999	240.028	4284276
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	76	252.55299	240.024	4284403
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	SAT (TO)	1100	252.55499	240.024	4284660
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1293	252.556	240.03101	4284345
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	2931	252.649	240.034	4284573
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	994	252.668	240.026	4284344
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1258	252.68201	240.024	4284341
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	252.78	240.033	4284648
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	63	252.868	240.02499	4284530
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	252.875	240.024	4284591
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	252.98599	240.02299	4284523
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	SAT (TO)	14	253.09399	240.02499	4284643
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1049	253.146	240.03101	4284343
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	SAT (TO)	947	253.15401	240.02699	4284336
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	168	253.159	240.021	4284561
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	6527516	253.16299	240.024	4284411
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	236	253.235	240.02499	4284355
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	SAT (TO)	874	253.306	240.02699	4284337
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1595	253.30901	240.02699	4284570
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	269	253.33299	240.02499	4284356
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	3453	253.336	240.035	4284582
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	258	253.336	240.048	4284593
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1798	253.491	240.026	4284571
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	469	253.51401	240.026	4284552
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	3	253.582	240.026	4284379
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	253.604	240.02499	4284378
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	253.61301	240.026	4284376
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	SAT (TO)	1346	253.644	240.026	4284338
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	692	253.646	240.026	4284548
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	226	253.658	240.026	4284385
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1636	253.664	240.03	4284361
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1511	253.698	240.028	4284569
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	683	253.70599	240.02699	4284547
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	SAT (TO)	927	253.741	240.03	4284333
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1076	253.776	240.026	4284346
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	253.854	240.02499	4284585
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	SAT (TO)	159	253.877	240.026	4284253
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	711	253.92	240.026	4284384
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	56	253.952	240.026	4284527
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	12	254.01601	240.02499	4284647
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	54	254.052	240.02499	4284525
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	58	254.089	240.02499	4284528
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	711	254.10699	240.02499	4284357
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2281	254.108	240.028	4284578
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	751	254.14799	240.026	4284358
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	54	254.185	240.03	4284526
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	172	254.239	240.024	4284352
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	897	254.27	240.02699	4284340
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1425	254.371	240.02901	4284568
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	78	254.38	240.02299	4284532
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	7	254.42101	240.03	4284392
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	199	254.45799	240.02499	4284563
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	254.463	240.02499	4284636
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	186	254.476	240.02499	4284562
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1238	254.49699	240.026	4284398
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1547	254.58501	240.02901	4284577
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	18	254.634	240.034	4284239
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3088	254.647	240.032	4284581
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	210	254.709	240.02499	4284353
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	752	254.735	240.028	4284549
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	254.75301	240.02901	4284661
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	17	254.774	240.036	4284238
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	SAT (TO)	67	254.842	240.02499	4284252
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	121996	254.849	240.026	4284413
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	40	254.85001	240.02499	4284524
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	3	254.862	240.039	4284627
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	505	254.87601	240.024	4284553
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	SAT (TO)	26	254.91701	240.02499	4284351
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	69	255.028	240.02499	4284533
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7447576	255.112	240.03	4284415
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	531	255.134	240.037	4284546
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2499	255.17101	240.03101	4284574
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	SAT (TO)	6	255.213	240.026	4284655
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	67	255.22501	240.026	4284529
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	SAT (TO)	3	255.263	240.02499	4284420
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	2248	255.342	240.035	4284363
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	2774	255.41	240.04401	4284580
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	3014	255.414	240.065	4284579
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	373	255.438	240.02901	4284306
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	16	255.44701	240.034	4284237
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	7	255.45399	240.028	4284658
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	105	255.48399	240.024	4284404
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	255.511	240.02299	4284592
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	231	255.616	240.02299	4284540
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1435	255.69	240.024	4284406
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	215	255.709	240.03799	4284354
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	74	255.80901	240.026	4284531
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1405	256.047	240.026	4284407
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	207	256.047	240.021	4284564
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	208112	256.091	240.026	4284414
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	213	256.112	240.02499	4284565
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	524	256.259	240.024	4284551
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2681	256.31299	240.03	4284572
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	437	256.35199	240.02499	4284567
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1554	256.35999	240.032	4284583
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	88	256.423	240.032	4284538
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	16210	256.47	240.024	4284405
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	324	256.66101	240.02499	4284544
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	SAT (TO)	1666	256.75101	240.02499	4284490
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	2105	256.77399	240.032	4284576
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	461	256.98001	240.02699	4284566
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	282	256.99301	240.026	4284542
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	27	257.04099	240.026	4284396
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	403	257.20099	240.026	4284545
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	257.23099	240.024	4284626
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	309	257.30099	240.036	4284543
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	100	257.491	240.02299	4284539
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	1155	257.69699	240.02699	4284575
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	116	258.108	240.02499	4284459
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	SAT (TO)	326	259.01999	240.02699	4284606
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1319	259.306	240.035	4284485
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	SAT (TO)	1317	259.33899	240.02	4284484
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	SAT (TO)	-153	259.95001	240.035	4284390
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1446	260.168	240.036	4284362
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	269	260.20099	240.049	4284541
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	137	260.24301	240.026	4284463
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3535	260.34601	240.043	4284408
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	488	260.57199	240.02901	4284607
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	469	260.69299	240.02699	4284609
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	423	260.76801	240.02699	4284610
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	89	261.33499	240.026	4284464
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	199	261.54401	240.021	4284452
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	SAT (TO)	95	261.883	240.033	4284449
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1354	262.33099	240.022	4284486
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1377	262.948	240.02699	4284466
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	520	263.02301	240.02699	4284608
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	137	264.05301	235.92101	4284465
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	276	264.10101	205.739	4284304
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	104	264.11499	234.623	4284453
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3524895	264.117	239.632	4284399
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	0	264.16501	232.464	4284230

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	?	146.836	101.608	4284232
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	?	151.06799	101.751	4284233
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	?	153.332	101.704	4284234
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	?	165.024	122.953	4284231

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	243.25101	240.022	4284240
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	? (TO)	244.006	240.022	4284223
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	? (TO)	244.304	240.02299	4284222
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	? (TO)	244.90401	240.03	4284629
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	? (TO)	245.567	240.024	4284187
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	? (TO)	245.61099	240.035	4284637
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	? (TO)	245.72	240.02699	4284602
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	245.961	240.026	4284260
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	? (TO)	246.25	240.034	4284638
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	? (TO)	246.58	240.034	4284639
Opd/Opd-sum-large/ Opd-12-350-100.xml	? (TO)	246.987	240.02699	4284370
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	247.183	240.03	4284188
Opd/Opd-sum-large/ Opd-10-360-120.xml	? (TO)	247.187	240.026	4284369
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	247.24699	240.024	4284258
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	? (TO)	247.25999	240.026	4284261
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	247.382	240.02299	4284206
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	? (TO)	247.461	240.03799	4284257
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	247.55099	240.02299	4284259
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	? (TO)	247.616	240.035	4284599
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	? (TO)	247.69901	240.022	4284220
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	? (TO)	247.8	240.035	4284600
Opd/Opd-sum-large/ Opd-10-325-100.xml	? (TO)	247.80099	240.02699	4284368
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	? (TO)	248.011	240.024	4284550
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	? (TO)	248.05099	240.024	4284221
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	? (TO)	248.088	240.036	4284601
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	248.125	240.024	4284194
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	? (TO)	248.308	240.02499	4284219
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	248.326	240.022	4284215
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	? (TO)	248.73399	240.061	4284597
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	248.759	240.02299	4284207
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	248.76601	240.03101	4284193
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	248.786	240.02499	4284214
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	? (TO)	248.85899	240.036	4284598
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	249.036	240.015	4284195
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	249.073	240.036	4284475
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	249.075	240.02499	4284189
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	? (TO)	249.09399	240.02299	4284185
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	? (TO)	249.21899	240.022	4284184
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	249.299	240.02699	4284482
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	249.315	240.02499	4284191
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	249.34801	240.026	4284190
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	? (TO)	249.368	240.035	4284630
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	249.48199	240.022	4284295
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	249.649	240.02299	4284216
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	249.73	240.026	4284212
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	? (TO)	249.76801	240.024	4284250
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	? (TO)	249.812	240.076	4284596
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	? (TO)	249.836	240.026	4284251
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	249.907	240.02	4284498
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	? (TO)	250.024	240.05901	4284595
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	250.08099	240.024	4284198
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	250.134	240.035	4284192
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	250.27299	240.02901	4284429
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	250.31	240.052	4284197
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	250.32401	240.02	4284496
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	250.38	240.02499	4284213
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	250.47	240.02499	4284473
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	250.586	240.02901	4284226
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	250.606	240.024	4284202
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	? (TO)	250.63901	240.036	4284628
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	250.664	240.03101	4284242
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	? (TO)	250.894	240.02499	4284256
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	250.93401	240.024	4284210
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	251.011	240.02299	4284291
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	251.15199	240.024	4284290
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	251.203	240.02299	4284477
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	251.23399	240.03101	4284236
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	251.33501	240.026	4284293
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	251.338	240.02299	4284209
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	? (TO)	251.42599	240.032	4284594
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	? (TO)	251.48399	240.026	4284254
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	251.57001	240.02299	4284393
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	251.577	240.03799	4284431
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	251.612	240.02699	4284430
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	? (TO)	251.619	240.033	4284235
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	251.672	240.026	4284200
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	251.731	240.02299	4284205
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	251.754	240.02499	4284499
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	251.81799	240.024	4284294
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	251.90199	240.019	4284313
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	252.162	240.02299	4284497
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	252.325	240.024	4284478
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	252.33	240.02299	4284208
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	252.47	240.024	4284211
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	? (TO)	252.552	240.032	4284244
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	? (TO)	252.57401	240.02901	4284468
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	252.64999	240.02299	4284217
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	? (TO)	252.655	240.022	4284204
Opd/Opd-sum-large/ Opd-29-350-100.xml	? (TO)	252.659	240.02699	4284373
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	252.851	240.03101	4284479
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	252.91701	240.02499	4284201
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	253.03	240.02499	4284474
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	253.048	240.024	4284469
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	? (TO)	253.07899	240.028	4284225
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	? (TO)	253.20799	240.03	4284241
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	? (TO)	253.356	240.026	4284245
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	253.368	240.024	4284292
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	253.373	240.02499	4284203
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	? (TO)	253.379	240.02299	4284224
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	? (TO)	253.41499	240.02699	4284248
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	253.75101	240.028	4284432
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	253.827	240.02499	4284421
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	253.85001	240.017	4284410
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	253.98599	240.02499	4284494
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	? (TO)	254.03799	240.026	4284255
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	254.073	240.024	4284487
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	254.088	240.02699	4284471
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	? (TO)	254.093	240.028	4284247
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	254.25101	240.021	4284619
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	? (TO)	254.297	240.03101	4284489
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	254.437	240.022	4284495
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	? (TO)	254.45599	240.024	4284246
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	? (TO)	254.48801	240.034	4284640
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	254.517	240.024	4284472
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	254.565	240.02901	4284428
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	255.194	240.02499	4284423
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	255.26401	240.02499	4284493
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	255.35899	240.056	4284427
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	255.495	240.02499	4284422
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	255.748	240.02699	4284476
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	? (TO)	256.08899	240.035	4284631
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	256.22	240.02699	4284426
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	256.31299	240.021	4284467
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	256.42999	240.02	4284488
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	256.43301	240.024	4284492
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	256.547	240.028	4284394
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	? (TO)	256.61099	240.04201	4284227
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	256.888	240.026	4284424
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	256.991	240.024	4284470
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	? (TO)	257.129	240.38699	4284228
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	257.29199	240.028	4284425
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	257.37799	240.02299	4284483
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	258.26001	240.02901	4284481
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	258.35901	240.02699	4284618
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	259.29901	240.024	4284491
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	259.51501	240.032	4284480
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	259.806	240.03	4284409
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	? (TO)	260.189	240.02699	4284614
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	? (TO)	260.64001	240.03101	4284611
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	? (TO)	260.66901	240.03101	4284305
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	? (TO)	261.31699	240.02901	4284615
Opd/Opd-sum-large/ Opd-46-350-100.xml	? (TO)	261.75299	240.03101	4284375
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	261.802	240.021	4284617
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	? (TO)	263.944	240.02901	4284613
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	? (TO)	264.03299	229.812	4284612
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	? (TO)	264.07901	237.629	4284641
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	264.121	238.319	4284616
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	264.12601	134.84599	4284633
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	? (TO)	264.13501	198.345	4284632
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	? (TO)	264.14001	121.991	4284310
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	? (TO)	264.14301	127.958	4284307
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	? (TO)	264.245	225.42	4284311
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	? (TO)	265.939	118.757	4284309
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	? (TO)	266.159	220.91299	4284308
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	? (TO)	271.41901	205.17101	4284229
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	? (TO)	271.67001	169.758	4284589
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	? (TO)	271.81201	171.459	4284590
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	? (TO)	272.15302	129.96201	4284312

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

Result page for solver choco-solver 5a (2017-08-18) (complete)

Category "optimization problem" (COP)

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

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

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

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

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