2017 XCSP3 competition: main track (CSP and COP, 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.2089601	0.74209201	4274606
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		2.92032	1.3181601	4274607

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	OPT	2	1.13157	0.853706	4274537
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	OPT	8	1.2871	0.92507601	4274707
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	OPT	4	1.29764	1.02812	4274504
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	OPT	7	1.31505	0.760737	4274433
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	OPT	10	1.36542	0.88299501	4274708
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	OPT	550	1.36799	0.92476302	4274809
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	OPT	409	1.45165	0.81641799	4274579
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	OPT	50	1.50679	0.837044	4274572
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	OPT	5	1.50957	0.85521299	4274538
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	OPT	6	1.54652	1.02733	4274724
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	OPT	71	1.55123	0.84650803	4274576
Opd/Opd-sum-large/ Opd-03-035-010.xml	OPT	0	1.55235	0.97554302	4274555
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	OPT	12	1.57669	0.98896301	4274711
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	OPT	5708	1.62091	0.99874502	4274456
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	OPT	4	1.63604	1.01028	4274505
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	OPT	251	1.6375099	0.875727	4274578
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	OPT	66	1.66966	0.894409	4274646
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	OPT	6119	1.70581	0.98784602	4274464
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	OPT	167	1.71995	0.89624	4274577
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	OPT	1129	1.73445	0.88866299	4274520
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	OPT	11	1.75991	0.87548298	4274486
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	OPT	11	1.82902	1.03184	4274469
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	OPT	1188	1.8384399	0.93494201	4274521
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	OPT	57	1.8759201	0.955989	4274647
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	OPT	11	1.8995399	0.98328203	4274581
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	OPT	52	1.9408799	0.96751899	4274645
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	OPT	885	1.95485	0.97869599	4274522
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	OPT	6	1.9698	1.2397701	4274539
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	OPT	17	1.9793299	0.96719599	4274487
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	OPT	58	2.0824699	1.03405	4274648
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	OPT	17	2.1008401	1.1682301	4274470
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	OPT	3	2.12185	1.45613	4274800
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	OPT	25	2.20609	1.02613	4274471
Opd/Opd-sum-small/ Opd-10-026-004.xml	OPT	1	2.20749	1.16423	4274567
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	OPT	43	2.2719901	1.21944	4274439
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	OPT	63	2.51809	1.28207	4274442
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	OPT	261	2.7098401	1.3717	4274832
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	OPT	69	2.7533801	1.32875	4274651
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	OPT	54	2.8587401	1.33163	4274573
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	OPT	770	2.8608201	1.34057	4274468
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	OPT	16	2.8658099	1.4203399	4274709
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	OPT	3	2.9061301	1.4278899	4274799
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	OPT	34	2.9256799	1.39501	4274472
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	OPT	5	3.04439	1.47533	4274506
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	OPT	250	3.0836201	1.48432	4274830
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	OPT	201	3.0875199	1.5106	4274831
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	OPT	1	3.1973	1.4335099	4274460
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	OPT	1916	3.2349501	1.4387701	4274454
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	OPT	16	3.2969	1.58885	4274712
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	OPT	1	3.4138899	2.14696	4274453
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	OPT	36	3.4274099	1.77084	4274587
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	OPT	67	3.5337	1.4976	4274650
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	OPT	2	3.5982499	2.0659001	4274452
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	OPT	3420	3.7010801	1.51518	4274461
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	OPT	887	3.76478	2.6507499	4274525
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	OPT	3	3.87152	1.51761	4274459
Opd/Opd-sum-large/ Opd-13-035-010.xml	OPT	3	3.92275	1.72935	4274561
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	OPT	16	4.1465902	2.1752601	4274465
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	OPT	125	4.5493102	2.31938	4274467
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	OPT	644	4.8257999	2.38183	4274457
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	OPT	86	4.9812002	2.26612	4274652
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	OPT	28	5.0647998	2.83147	4274725
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	OPT	2	5.53866	2.24137	4274785
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	OPT	44	5.6205201	3.21193	4274473
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	OPT	107	5.8148799	2.67644	4274641
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	OPT	58937	5.9484301	4.05655	4274602
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	OPT	932	5.9897099	5.1626401	4274523
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	OPT	14	6.1170101	3.1080699	4274458
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	OPT	954	6.42377	5.3150101	4274526
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	OPT	1021	6.4856801	5.3072901	4274524
Opd/Opd-sum-large/ Opd-02-350-100.xml	OPT	0	6.5380502	3.0211899	4274554
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	OPT	63	6.5465202	3.44735	4274463
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	OPT	44	6.6596398	4.6827402	4274488
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	OPT	1143	6.9541798	4.86445	4274455
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	OPT	100	7.17167	4.0592198	4274644
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	OPT	2	7.3636498	4.6712799	4274813
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	OPT	886	7.43712	6.7771702	4274527
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	OPT	123	7.8333101	3.0541301	4274443
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	OPT	103	8.0435896	3.4960599	4274640
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	OPT	310	9.2242403	6.76511	4274466
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	OPT	171	9.5780497	4.36095	4274446
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	OPT	55	12.2185	10.1559	4274474
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	OPT	476	13.1137	7.0925598	4274441
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	OPT	4752	14.0592	11.9877	4274590
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	OPT	92	19.49	15.1645	4274639
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	OPT	2	19.6523	10.9128	4274814
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	OPT	3	23.4664	18.0693	4274509
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	OPT	2	52.1119	27.3452	4274815
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	OPT	0	58.950401	55.996498	4274608
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	OPT	1	59.219002	34.080399	4274784
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	OPT	1429	59.541199	58.555599	4274528
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	OPT	2	90.8619	49.1264	4274775
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	OPT	1149	97.219803	94.885696	4274591
Opd/Opd-sum-large/ Opd-07-035-010.xml	OPT	2	1802.14	1761.65	4274556
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	OPT	18	1802.65	1767.66	4274710
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	OPT	36	1803.37	1764.17	4274726
Opd/Opd-sum-large/ Opd-14-035-010.xml	OPT	3	1810.9399	1765.58	4274562
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	OPT	15	1811.37	1772.62	4274540
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	OPT	4	1814.01	1771.28	4274807
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	OPT	458	1822.47	1785.8101	4274836
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	OPT	55	1878.9399	1843.71	4274489
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	OPT	43	1928.48	1886.02	4274727
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	OPT	3	1961.28	1916.52	4274794
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	OPT	1100	1972.9	1937.0699	4274810
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	OPT	8	2011.79	1972.85	4274592
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	OPT	26	2349.53	2298.8601	4274541
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	OPT	8	2360.52	2318.6101	4274513

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	146	2520.02	2470.71	4274751
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	2520.02	2472.9299	4274508
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1245	2520.02	2470.51	4274597
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1333	2520.02	2476.23	4274532
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	2520.03	2462.1299	4274510
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	5	2520.03	2459.8201	4274570
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	6	2520.03	2466.73	4274376
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	129	2520.03	2463.4299	4274653
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	151	2520.03	2456.3201	4274544
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	4	2520.03	2449.1399	4274821
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	112208	2520.03	2469.72	4274603
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	391	2520.03	2452.1299	4274547
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1134	2520.04	2475.9299	4274533
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	115	2520.04	2461.72	4274729
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	59	2520.04	2466.8201	4274717
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	2520.04	2462.51	4274808
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	7	2520.04	2466.23	4274409
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	1	2520.04	2463.24	4274420
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	SAT (TO)	140	2520.04	2469.51	4274476
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	SAT (TO)	1453	2520.04	2460.72	4274679
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	337	2520.04	2451.6299	4274734
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	2520.04	2460.3401	4274818
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	992	2520.04	2475.6101	4274529
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	2520.04	2465.3201	4274566
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	317	2520.04	2473.8101	4274496
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	286	2520.04	2453.1399	4274731
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	2520.05	2473.72	4274747
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	15804	2520.05	2467.02	4274595
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	198092	2520.05	2468.51	4274604
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	3	2520.05	2452.73	4274820
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	93	2520.05	2468.52	4274475
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	2520.05	2467.1299	4274796
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	2520.05	2449.6299	4274786
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	2520.05	2462.4299	4274654
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	180	2520.05	2469.9199	4274754
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1161	2520.05	2472.72	4274588
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	5141384	2520.05	2461.1399	4274601
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	495	2520.05	2454.53	4274736
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	57	2520.05	2467.72	4274715
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	79	2520.05	2452.6299	4274558
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	355	2520.05	2469.21	4274756
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	120	2520.05	2472.21	4274748
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	SAT (TO)	15	2520.05	2475.4299	4274413
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	202	2520.05	2466.1299	4274575
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	86	2520.05	2463.72	4274722
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	937	2520.05	2475.4199	4274530
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	28	2520.05	2441.73	4274828
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1282	2520.0601	2460.72	4274676
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	2520.0601	2461.9199	4274519
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	406	2520.0601	2470.72	4274741
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	66	2520.0601	2473.23	4274593
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	742	2520.0601	2450.53	4274550
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	7	2520.0601	2467.6101	4274394
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	137	2520.0601	2473.21	4274492
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3213558	2520.0601	2466.3101	4274589
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	341	2520.0601	2456.4299	4274732
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	102	2520.0601	2463.02	4274728
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	379	2520.0601	2450.1399	4274548
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	65	2520.0601	2479.4399	4274512
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	5	2520.0601	2445.3301	4274822
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	70	2520.0701	2467.21	4274720
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	31	2520.0701	2455.8301	4274425
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	2520.0701	2469.3101	4274713
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	109	2520.0701	2473.1299	4274491
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	SAT (TO)	3	2520.0701	2465.4199	4274817
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	6	2520.0701	2468.3201	4274410
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1569	2520.0701	2457.03	4274760
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1358	2520.0701	2476.4099	4274531
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1290	2520.0701	2466.0601	4274656
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	374	2520.0701	2452.6299	4274735
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	5	2520.0701	2434.53	4274788
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	2	2520.0701	2465.04	4274586
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	633	2520.0701	2461.52	4274842
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	122	2520.0701	2449.53	4274444
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	7	2520.0701	2474.1299	4274375
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	SAT (TO)	0	2520.0701	2364.97	4274422
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	45	2520.0701	2459.3501	4274518
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	28	2520.0701	2480.55	4274514
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	1334	2520.0701	2461.8301	4274462
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	434	2520.0701	2467.9199	4274742
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	2520.0701	2461.6201	4274797
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	175	2520.0701	2470.9099	4274755
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	SAT (TO)	5	2520.0701	2464.52	4274801
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	2520.0701	2473.4199	4274812
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	5	2520.0701	2445.4299	4274823
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1477	2520.0801	2475.03	4274535
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	4	2520.0801	2447.3201	4274777
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	2520.0801	2480.52	4274744
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	126	2520.0801	2473.02	4274750
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	SAT (TO)	15	2520.0801	2490.54	4274412
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1220	2520.0801	2475.6101	4274536
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1964	2520.0801	2455.04	4274774
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	12	2520.0801	2468.72	4274428
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	7	2520.0801	2478.9299	4274374
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	6	2520.0801	2447.1299	4274824
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	271	2520.0801	2471.52	4274495
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	SAT (TO)	1255	2520.0801	2464.9199	4274658
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	57	2520.0801	2465.6101	4274716
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	14	2520.0801	2442.23	4274829
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	SAT (TO)	5	2520.0801	2466.3301	4274795
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	SAT (TO)	22	2520.0801	2461.4199	4274414
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	SAT (TO)	326	2520.0801	2466.6101	4274833
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	740	2520.0801	2461.3301	4274838
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	457	2520.0801	2465.3201	4274834
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	539	2520.0801	2477.1599	4274746
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	237	2520.0801	2455.3201	4274546
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	2520.0901	2456.6101	4274819
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	SAT (TO)	650	2520.0901	2466.4199	4274840
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	523	2520.0901	2460.52	4274737
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	2520.0901	2471.4099	4274516
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	25	2520.0901	2442.6299	4274826
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1544	2520.0901	2466.52	4274767
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	79	2520.0901	2465.22	4274721
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	75	2520.0901	2468.9099	4274723
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	74	2520.0901	2466.3101	4274719
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	919	2520.0901	2458.1299	4274765
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	102	2520.0901	2469.4099	4274594
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	3028	2520.0901	2460.9299	4274770
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	119	2520.0901	2454.4299	4274436
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	110	2520.0901	2465.9199	4274649
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	702	2520.0901	2472.8301	4274500
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	104	2520.0901	2471.4099	4274749
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	4	2520.0901	2443.4299	4274778
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	100	2520.0901	2465.73	4274643
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	6	2520.0901	2465.9399	4274411
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	SAT (TO)	0	2520.0901	2452.1499	4274419
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	4	2520.0901	2462.8101	4274803
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	SAT (TO)	6	2520.0901	2024.76	4274780
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	2520.0901	2464.72	4274806
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	1745	2520.1001	2466.3301	4274766
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	150	2520.1001	2456.53	4274543
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1406	2520.1001	2456.74	4274773
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	86	2520.1001	2466.53	4274511
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	2520.1001	2446.75	4274776
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	3	2520.1001	2462.21	4274569
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	4	2520.1001	2361.74	4274787
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	444	2520.1001	2454.3301	4274549
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	2520.1001	2475.3101	4274515
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	3050	2520.1001	2457.1399	4274769
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	3	2520.1001	2465.03	4274568
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	SAT (TO)	0	2520.1001	2384.5701	4274424
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	63	2520.1001	2466.8101	4274718
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	747	2520.1001	2462.6201	4274740
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	6	2520.1001	2472.6299	4274582
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	SAT (TO)	833	2520.1001	1970.75	4274791
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	SAT (TO)	920	2520.1001	2472.52	4274502
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	1332	2520.1001	2446.4399	4274553
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	19	2520.1001	2443.4199	4274825
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	SAT (TO)	12	2520.1001	2469.8301	4274377
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	1044	2520.1001	2449.8301	4274551
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	2520.1001	2467.8401	4274507
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	192	2520.1001	2455.4199	4274545
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	132	2520.1101	2464.4199	4274655
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	348	2520.1101	2469.02	4274757
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1538	2520.1101	2462.04	4274761
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2538	2520.1101	2465.03	4274768
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	234	2520.1101	2455.72	4274730
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	91	2520.1101	2473.21	4274490
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	599	2520.1101	2472.9299	4274499
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	44	2520.1101	2468.4099	4274714
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	128	2520.1101	2459.9199	4274542
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	51	2520.1101	2381.8601	4274517
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	163	2520.1101	2467.9299	4274752
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	1058	2520.1101	2475.02	4274534
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	441	2520.1101	2466.1299	4274835
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	430	2520.1101	2469.8201	4274497
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2733	2520.1101	2455.6299	4274764
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	102	2520.1101	2451.6299	4274445
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	2520.1101	2456.52	4274798
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	21	2520.1101	2454.8301	4274434
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	560	2520.1101	2457.53	4274739
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	14	2520.1101	2459.6399	4274429
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	554	2520.1101	2463.4299	4274574
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	59	2520.1101	2452.6299	4274557
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	2520.1101	2463.71	4274804
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	2520.1201	2471.03	4274811
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2486	2520.1201	2461.04	4274762
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	839	2520.1201	2456.6299	4274759
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	158	2520.1201	2451.9199	4274435
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	472	2520.1201	2472.8201	4274743
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	2520.1201	2470.73	4274408
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	29	2520.1201	2455.23	4274431
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	162	2520.1201	2470.8301	4274753
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	SAT (TO)	818	2520.1201	2471.1201	4274501
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	192	2520.1201	2466.6101	4274642
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	164	2520.1201	2476.8201	4274493
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	SAT (TO)	647	2520.1201	2460.6201	4274841
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	532	2520.1201	2468.71	4274498
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	SAT (TO)	75	2520.1201	2443.76	4274417
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	230	2520.1201	2474.8201	4274494
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1323	2520.1201	2467.72	4274596
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3321	2520.1299	2467.6201	4274763
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	403	2520.1299	2463.9199	4274837
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	12	2520.1299	2458.6299	4274427
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1191	2520.1299	2457.73	4274758
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	668	2520.1299	2456.22	4274738
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	4	2520.1299	2435.1399	4274779
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	227	2520.1299	2447.6399	4274437
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	SAT (TO)	0	2520.1299	2417.1599	4274423
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	5	2520.1299	2259.8401	4274789
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	40	2520.1299	2442.9199	4274827
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	5	2520.1299	2449.3401	4274564
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	91	2520.1299	2448.9399	4274560
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	609	2520.1299	2457.03	4274839
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	553	2520.1399	1952.85	4274790
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	SAT (TO)	1369	2520.1399	2454.47	4274450
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	543	2520.1399	2475.3301	4274745
Opd/Opd-sum-large/ Opd-29-350-100.xml	SAT (TO)	100	2520.1399	2444.46	4274563
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	SAT (TO)	41	2520.1399	2477.46	4274415
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7499862	2520.1399	2464.1599	4274605
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	363	2520.1399	2454.04	4274733
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	SAT (TO)	0	2520.1399	1489.58	4274421
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1233	2520.1399	2459.03	4274675
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3621	2520.1499	2458.23	4274771
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	84	2520.1499	2452.9299	4274559
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	200	2520.1499	2447.0601	4274438
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	782	2520.1499	2449.4299	4274552
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	4343	2520.1599	2462.4299	4274772
Opd/Opd-sum-large/ Opd-46-350-100.xml	SAT (TO)	98	2520.1799	2397.3601	4274565
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	SAT (TO)	1345	2520.2	2459.97	4274447
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	SAT (TO)	1806	2520.22	2467.3701	4274451
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	550	2520.25	2447.55	4274440
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	SAT (TO)	72	2520.3201	2440.99	4274418
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	SAT (TO)	1224	2522.24	1127.4	4274782

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	?	1.30006	0.700571	4274585
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	?	5.3829298	2.13375	4274580
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	?	416.73901	159.10899	4274816

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	2520.02	2501.8101	4274407
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	2520.02	2495.6201	4274383
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	2520.02	2513.71	4274664
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	2520.03	2511.1201	4274686
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	2520.04	2507.02	4274671
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	2520.04	2503.3201	4274449
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	2520.04	2496.52	4274386
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	? (TO)	2520.04	2512.6101	4274659
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	? (TO)	2520.04	2494.8101	4274477
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	2520.04	2503.22	4274635
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	2520.04	2511.71	4274680
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	2520.04	2509.4199	4274614
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	2520.04	2511.02	4274683
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	2520.04	2513.51	4274660
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	2520.04	2504.4099	4274393
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	2520.04	2507.71	4274612
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	2520.04	2490.1299	4274638
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	2520.05	2512.4099	4274663
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	? (TO)	2520.05	2512.9099	4274662
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	2520.05	2508.52	4274616
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	2520.05	2504.71	4274391
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	2520.05	2500.3201	4274634
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	2520.05	2515.02	4274668
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	2520.05	2504.3101	4274398
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	2520.05	2491.8101	4274378
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	? (TO)	2520.05	2512.6101	4274657
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	2520.05	2510.21	4274401
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	2520.05	2478.4099	4274483
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	2520.0601	2511.51	4274687
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	2520.0601	2501.03	4274380
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	2520.0601	2516.02	4274584
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	2520.0601	2510.4099	4274844
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	? (TO)	2520.0601	2491.52	4274448
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	2520.0601	2500.03	4274381
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	2520.0601	2509.51	4274406
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	? (TO)	2520.0601	2513.9099	4274674
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	2520.0601	2469.4099	4274482
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	? (TO)	2520.0601	2509.3201	4274609
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	2520.0701	2513.3101	4274481
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	? (TO)	2520.0701	2501.1201	4274598
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	? (TO)	2520.0701	2511.02	4274430
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	2520.0701	2498.52	4274390
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	2520.0701	2513.71	4274677
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	? (TO)	2520.0701	2501.51	4274802
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	2520.0701	2501.52	4274384
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	? (TO)	2520.0701	2496.52	4274389
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	? (TO)	2520.0701	2478.72	4274793
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	2520.0801	2514.3101	4274685
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	2520.0801	2511.6101	4274688
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	2520.0801	2489.3101	4274397
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	2520.0801	2512.8101	4274678
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	2520.0801	2516.1201	4274432
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	2520.0801	2513.22	4274684
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	2520.0801	2491.1201	4274396
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	2520.0801	2485.3201	4274387
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	2520.0901	2505.6201	4274503
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	? (TO)	2520.0901	2507.6101	4274610
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	2520.0901	2500.8201	4274636
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	2520.0901	2512.9099	4274689
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	2520.0901	2493.52	4274388
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	2520.0901	2511.9099	4274484
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	2520.0901	2512.02	4274402
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	2520.0901	2512.6101	4274485
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	2520.0901	2509.21	4274665
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	2520.0901	2507.21	4274846
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	2520.0901	2514.21	4274661
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	2520.0901	2508.8101	4274399
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	2520.0901	2495.1399	4274600
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	2520.0901	2512.6201	4274404
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	2520.1001	2512.21	4274400
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	2520.1001	2512.71	4274667
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	2520.1001	2510.8101	4274672
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	2520.1001	2516.01	4274583
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	2520.1001	2508.71	4274611
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	2520.1001	2500.53	4274416
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	2520.1001	2509.4099	4274392
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	2520.1001	2510.6101	4274845
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	2520.1001	2509.51	4274843
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	2520.1001	2496.54	4274637
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	? (TO)	2520.1001	2513.3101	4274673
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	2520.1001	2513.1201	4274480
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	2520.1001	2511.4099	4274403
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	2520.1001	2498.6201	4274379
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	2520.1101	2500.71	4274405
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	2520.1101	2511.9099	4274682
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	2520.1101	2500.72	4274617
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	2520.1101	2510.9199	4274615
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	? (TO)	2520.1101	2486.02	4274478
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	2520.1101	2498.02	4274395
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	? (TO)	2520.1101	2491.02	4274805
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	? (TO)	2520.1201	2494.71	4274479
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	2520.1201	2510.6101	4274669
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	2520.1201	2511.51	4274681
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	2520.1201	2498.9199	4274382
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	2520.1299	2508.9199	4274613
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	2520.1399	2514.29	4274666
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	2520.1499	2471.05	4274599
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	2520.2	2515.3301	4274426
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	2520.29	2504.0701	4274670
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	2520.9299	2488.1499	4274385
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	2522.28	908.34497	4274783
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	? (TO)	2528.25	2084.6299	4274781

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

Result page for solver OscaR - Hybrid 2017-07-26 (complete)

Category "optimization problem" (COP)

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

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

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

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

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