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.28464	0.791356	4247927
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-04.xml	UNSAT		3.89905	1.48546	4247920

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
GolombRuler/GolombRuler-a4-s1/ GolombRuler-05-a4.xml	SAT (TO)	11	2400.02	2338.23	4246766
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-36-01.xml	SAT (TO)	66	2400.02	2343.61	4247811
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-20-1.xml	SAT (TO)	5	2400.02	2345.9099	4246982
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-02.xml	SAT (TO)	119	2400.03	2334.33	4249125
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-40-08.xml	SAT (TO)	57	2400.03	2345.22	4247825
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-05.xml	SAT (TO)	103	2400.03	2320.42	4247783
GraphColoring/GraphColoring-m1-mono/ GraphColoring-queen8-8.xml	SAT (TO)	8	2400.03	2327.72	4245106
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-nrwsSmall-4-1.xml	SAT (TO)	3	2400.03	2346.71	4247003
Ramsey/Ramsey-int-s1/ Ramsey-int-09.xml	SAT (TO)	2	2400.03	2371.22	4248657
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-36-08.xml	SAT (TO)	69	2400.03	2341.31	4247720
Scheduling/Scheduling-os-taillard/ Taillard-os-05-05-9.xml	SAT (TO)	326	2400.03	2349.9199	4244662
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-015.xml	SAT (TO)	15	2400.03	2324.72	4247392
GolombRuler/GolombRuler-a4-s1/ GolombRuler-06-a4.xml	SAT (TO)	17	2400.03	2332.13	4246850
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-1.xml	SAT (TO)	630	2400.03	2340.52	4244606
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-3.xml	SAT (TO)	5	2400.03	2333.82	4245190
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-05.xml	SAT (TO)	406	2400.03	2318.62	4249257
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-09-11.xml	SAT (TO)	3	2400.03	2327.9299	4249274
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-17.xml	SAT (TO)	992	2400.04	2337.82	4248345
Opd/Opd-sum-small/ Opd-10-038-010.xml	SAT (TO)	2	2400.04	2311.63	4245623
GolombRuler/GolombRuler-a4-s1/ GolombRuler-19-a4.xml	SAT (TO)	319	2400.04	2317.02	4246857
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-04.xml	SAT (TO)	172	2400.04	2334.24	4249166
Opd/Opd-sum-large/ Opd-02-350-100.xml	SAT (TO)	0	2400.04	2302.72	4245560
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-9.xml	SAT (TO)	405	2400.04	2347.72	4244697
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-09.xml	SAT (TO)	120	2400.04	2336.92	4249132
TravellingSalesman/TravellingSalesman-m1-n45/ TravellingSalesman-45-30-09.xml	SAT (TO)	159	2400.04	2328.92	4249173
StillLife/StillLife-m1-s1/ StillLife-06-13.xml	SAT (TO)	40	2400.04	2331.33	4244895
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-042.xml	SAT (TO)	221	2400.04	2296.94	4247399
StillLife/StillLife-m1-s1/ StillLife-10-11.xml	SAT (TO)	59	2400.04	2324.23	4244860
Fastfood/Fastfood-m1-s1/ Fastfood-ff32.xml	SAT (TO)	5708	2400.04	2338.53	4249848
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-9.xml	SAT (TO)	618	2400.04	2342.4199	4244592
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-22-06.xml	SAT (TO)	52	2400.04	2334.52	4247832
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-20-20-1.xml	SAT (TO)	11	2400.04	2342.72	4247052
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-8.xml	SAT (TO)	261	2400.04	2350.6399	4244648
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-30-1.xml	SAT (TO)	6	2400.04	2344.4199	4246954
Fastfood/Fastfood-m1-s1/ Fastfood-ff65.xml	SAT (TO)	63	2400.04	2310.04	4249764
GolombRuler/GolombRuler-a4-s1/ GolombRuler-17-a4.xml	SAT (TO)	230	2400.04	2320.52	4246794
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-tiny.xml	SAT (TO)	3	2400.04	2352.03	4246961
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-26-08.xml	SAT (TO)	83	2400.05	2314.92	4247755
StillLife/StillLife-wst-s1/ StillLife-wastage-28.xml	SAT (TO)	334	2400.05	2289.33	4244790
Opd/Opd-sum-large/ Opd-07-035-010.xml	SAT (TO)	2	2400.05	2317.85	4245518
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32d.xml	SAT (TO)	104	2400.05	2330.22	4245695
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-013.xml	SAT (TO)	6	2400.05	2326.64	4247448
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-040.xml	SAT (TO)	188	2400.05	2297.24	4247455
Rack/ Rack-m1c-s1/Rack-m1c-r2.xml	SAT (TO)	1100	2400.05	2356.52	4249890
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-033.xml	SAT (TO)	116	2400.05	2304.93	4247413
Fastfood/Fastfood-m1-s1/ Fastfood-ff69.xml	SAT (TO)	6119	2400.05	2333.32	4249855
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-13-09.xml	SAT (TO)	110	2400.05	2318.12	4247727
Fastfood/Fastfood-m1-s1/ Fastfood-ff18.xml	SAT (TO)	1143	2400.05	2315.03	4249841
Fastfood/Fastfood-m1-s1/ Fastfood-ff37.xml	SAT (TO)	644	2400.05	2320.03	4249778
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-sp-4-1.xml	SAT (TO)	9	2400.05	2338.3201	4247045
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-15.xml	SAT (TO)	6	2400.05	2312.35	4249393
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai15a.xml	SAT (TO)	197522	2400.05	2324.02	4245674
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-1.xml	SAT (TO)	8	2400.05	2307.53	4245183
Ramsey/Ramsey-int-s1/ Ramsey-int-41.xml	SAT (TO)	5	2400.05	2329.3301	4248664
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-05.xml	SAT (TO)	175	2400.05	2328.94	4249194
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-6.xml	SAT (TO)	118	2400.05	2299.32	4246175
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-0.xml	SAT (TO)	700	2400.05	2342.3301	4244676
GraphColoring/GraphColoring-m1-mono/ GraphColoring-mug100-25.xml	SAT (TO)	3	2400.05	2330.52	4245148
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-ste36c.xml	SAT (TO)	5241924	2400.05	2299.22	4245765
Fastfood/Fastfood-m1-s1/ Fastfood-ff46.xml	SAT (TO)	1	2400.05	2301.14	4249799
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-06.xml	SAT (TO)	1134	2400.05	2339.32	4248387
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-08.xml	SAT (TO)	887	2400.05	2339.92	4248429
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-09-06.xml	SAT (TO)	131	2400.05	2314.12	4247741
StillLife/StillLife-m1-s1/ StillLife-10-12.xml	SAT (TO)	64	2400.05	2323.92	4244881
StillLife/StillLife-m1-s1/ StillLife-03-05.xml	SAT (TO)	8	2400.05	2334.62	4244888
GolombRuler/GolombRuler-a4-s1/ GolombRuler-25-a4.xml	SAT (TO)	661	2400.06	2312.92	4246787
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhopt-o5-h10-1.xml	SAT (TO)	4	2400.06	2341.02	4245099
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-02.xml	SAT (TO)	336	2400.06	2327.84	4249222
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P251-Q379.xml	SAT (TO)	251	2400.06	2333.23	4249045
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0120-17.xml	SAT (TO)	22	2400.06	2304.53	4249533
StillLife/StillLife-m1-s1/ StillLife-04-05.xml	SAT (TO)	12	2400.06	2337.42	4244965
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-08.xml	SAT (TO)	410	2400.06	2314.73	4249250
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-13.xml	SAT (TO)	1477	2400.06	2338.63	4248415
StillLife/StillLife-wst-s1/ StillLife-wastage-27.xml	SAT (TO)	310	2400.06	2290.13	4244783
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-74.xml	SAT (TO)	1	2400.06	2288.17	4249708
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-500-5.xml	SAT (TO)	65	2400.06	2221.15	4245162
StillLife/StillLife-m1-s1/ StillLife-08-13.xml	SAT (TO)	56	2400.06	2327.52	4244902
PseudoBoolean/ PseudoBoolean-opt-gr/Pb-gr-05.xml	SAT (TO)	11	2400.06	2331.61	4249092
GraphColoring/GraphColoring-m1-mono/ GraphColoring-zeroin-i-3.xml	SAT (TO)	29	2400.06	2293.93	4245141
Opd/Opd-sum-small/ Opd-10-026-004.xml	SAT (TO)	1	2400.06	2320.73	4245609
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-05.xml	SAT (TO)	100	2400.06	2320.43	4247790
StillLife/StillLife-wst-s1/ StillLife-wastage-15.xml	SAT (TO)	115	2400.06	2311.24	4244804
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii08a1.xml	SAT (TO)	54	2400.06	2332.83	4249007
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug20.xml	SAT (TO)	1307	2400.06	2321.22	4245751
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-7.xml	SAT (TO)	1222	2400.06	2313.02	4244466
Opd/Opd-sum-large/ Opd-03-035-010.xml	SAT (TO)	0	2400.06	2335.62	4245546
StillLife/StillLife-wst-s1/ StillLife-wastage-24.xml	SAT (TO)	271	2400.06	2292.54	4244741
StillLife/StillLife-wst-s1/ StillLife-wastage-44.xml	SAT (TO)	463	2400.06	2296.13	4244755
StillLife/StillLife-m1-s1/ StillLife-08-10.xml	SAT (TO)	44	2400.06	2326.54	4244867
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-2.xml	SAT (TO)	122	2400.06	2280.64	4246182
Opd/Opd-sum-large/ Opd-10-360-120.xml	SAT (TO)	109	2400.06	2281.94	4245588
Fastfood/Fastfood-m1-s1/ Fastfood-ff84.xml	SAT (TO)	770	2400.06	2322.33	4249827
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-11-11.xml	SAT (TO)	3	2400.0601	2327.4199	4249372
Ramsey/Ramsey-int-s1/ Ramsey-int-38.xml	SAT (TO)	5	2400.0601	2328.53	4248587
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-17-19.xml	SAT (TO)	5	2400.0601	2141.3501	4249323
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-15-15-1.xml	SAT (TO)	4	2400.0601	2347.22	4247031
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-10-1.xml	SAT (TO)	3	2400.0601	2349.3301	4247066
Rack/ Rack-m1c-s1/Rack-m1c-r1.xml	SAT (TO)	550	2400.0601	2354.1299	4249883
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-13-13.xml	SAT (TO)	4	2400.0601	2318.6399	4249386
Ramsey/Ramsey-int-s1/ Ramsey-int-49.xml	SAT (TO)	12	2400.0601	2323.23	4248594
Ramsey/Ramsey-int-s1/ Ramsey-int-27.xml	SAT (TO)	4	2400.0601	2332.8201	4248692
GolombRuler/GolombRuler-a3-s1/ GolombRuler-06-a3.xml	SAT (TO)	17	2400.07	2336.62	4246689
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml	SAT (TO)	72	2400.07	2222.37	4249519
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k6.xml	SAT (TO)	1272	2400.07	2297.74	4246277
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-05.xml	SAT (TO)	1333	2400.07	2337.52	4248408
Fastfood/Fastfood-m1-s1/ Fastfood-ff71.xml	SAT (TO)	16	2400.07	2302.73	4249806
PseudoBoolean/PseudoBoolean-opt-routing/ Pb-routing-s3-3-3-1.xml	SAT (TO)	36	2400.07	2325.22	4248983
GolombRuler/GolombRuler-a4-s1/ GolombRuler-18-a4.xml	SAT (TO)	279	2400.07	2321.22	4246759
Vrp/Vrp-zinc-s1/ Vrp-A-n60-k9.xml	SAT (TO)	3208	2400.07	2328.34	4246333
StillLife/StillLife-wst-s1/ StillLife-wastage-32.xml	SAT (TO)	371	2400.07	2286.53	4244839
StillLife/StillLife-wst-s1/ StillLife-wastage-50.xml	SAT (TO)	667	2400.07	2297.34	4244734
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-03.xml	SAT (TO)	1358	2400.07	2338.32	4248380
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-50-04.xml	SAT (TO)	102	2400.07	2314.82	4247804
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t1.xml	SAT (TO)	7	2400.07	2333.91	4248501
StillLife/StillLife-m1-s1/ StillLife-11-15.xml	SAT (TO)	85	2400.07	2321.13	4244853
GolombRuler/GolombRuler-a3-s1/ GolombRuler-05-a3.xml	SAT (TO)	11	2400.07	2343.32	4246640
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai10b.xml	SAT (TO)	58937	2400.07	2335.22	4245758
Vrp/Vrp-zinc-s1/ Vrp-A-n36-k5.xml	SAT (TO)	1661	2400.07	2304.24	4246312
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai12a.xml	SAT (TO)	115352	2400.07	2331.23	4245730
GolombRuler/GolombRuler-a3-s1/ GolombRuler-10-a3.xml	SAT (TO)	55	2400.07	2334.42	4246724
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-lipa20b.xml	SAT (TO)	15661	2400.07	2318.33	4245716
GolombRuler/GolombRuler-a3-s1/ GolombRuler-08-a3.xml	SAT (TO)	34	2400.07	2338.22	4246661
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-9.xml	SAT (TO)	1243	2400.07	2308.63	4244571
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-2.xml	SAT (TO)	1132	2400.07	2369.22	4244341
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-5.xml	SAT (TO)	457	2400.0701	2348.4199	4244613
Ramsey/Ramsey-int-s1/ Ramsey-int-47.xml	SAT (TO)	10	2400.0701	2326.23	4248699
Rack/ Rack-m1c-s1/Rack-m1c-r3.xml	SAT (TO)	1200	2400.0701	2353.02	4249876
Ramsey/Ramsey-int-s1/ Ramsey-int-34.xml	SAT (TO)	4	2400.0701	2331.3201	4248601
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml	SAT (TO)	7491603	2400.08	2295.87	4245660
Fastfood/Fastfood-m1-s1/ Fastfood-ff44.xml	SAT (TO)	3	2400.08	2298.93	4249757
Fastfood/Fastfood-m1-s1/ Fastfood-ff76.xml	SAT (TO)	310	2400.08	2313.82	4249792
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-02-03.xml	SAT (TO)	92	2400.08	2321.52	4247776
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-16.xml	SAT (TO)	886	2400.08	2338.72	4248450
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc32a.xml	SAT (TO)	69	2400.08	2329.83	4245688
Vrp/Vrp-zinc-s1/ Vrp-B-n67-k10.xml	SAT (TO)	3121	2400.08	2294.34	4246305
Fastfood/Fastfood-m1-s1/ Fastfood-ff16.xml	SAT (TO)	1916	2400.08	2319.83	4249820
GolombRuler/GolombRuler-a4-s1/ GolombRuler-21-a4.xml	SAT (TO)	429	2400.08	2317.12	4246843
GolombRuler/GolombRuler-a3-s1/ GolombRuler-09-a3.xml	SAT (TO)	44	2400.08	2336.22	4246731
Fastfood/Fastfood-m1-s1/ Fastfood-ff57.xml	SAT (TO)	1334	2400.08	2312.43	4249771
PseudoBoolean/PseudoBoolean-opt-radar/ Pb-radar-10-10-45-095-100.xml	SAT (TO)	0	2400.08	2315.12	4249106
StillLife/StillLife-m1-s1/ StillLife-10-14.xml	SAT (TO)	74	2400.08	2321.02	4244937
TravellingSalesman/TravellingSalesman-m1-n40/ TravellingSalesman-40-30-19.xml	SAT (TO)	146	2400.08	2333.82	4249201
TravellingSalesman/TravellingSalesman-m1-n15/ TravellingSalesman-15-30-13.xml	SAT (TO)	104	2400.08	2336.42	4249180
GolombRuler/GolombRuler-a4-s1/ GolombRuler-13-a4.xml	SAT (TO)	114	2400.08	2328.42	4246780
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-06.xml	SAT (TO)	15	2400.08	2336.65	4249414
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-00.xml	SAT (TO)	932	2400.08	2341.02	4248436
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r4.xml	SAT (TO)	30	2400.08	2287.23	4248515
GolombRuler/GolombRuler-a4-s1/ GolombRuler-14-a4.xml	SAT (TO)	139	2400.08	2326.02	4246752
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr20b.xml	SAT (TO)	1149	2400.08	2337.31	4245723
Fastfood/Fastfood-m1-s1/ Fastfood-ff54.xml	SAT (TO)	3420	2400.08	2313.23	4249750
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-2.xml	SAT (TO)	1255	2400.08	2319.72	4244480
GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25d.xml	SAT (TO)	26	2400.08	2284.23	4245155
StillLife/StillLife-wst-s1/ StillLife-wastage-03.xml	SAT (TO)	6	2400.08	2344.02	4244846
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-esc16d.xml	SAT (TO)	8	2400.08	2337.02	4245744
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-8.xml	SAT (TO)	464	2400.0801	2346.9199	4244683
Ramsey/Ramsey-int-s1/ Ramsey-int-15.xml	SAT (TO)	3	2400.0801	2348.22	4248671
Ramsey/Ramsey-int-s1/ Ramsey-int-24.xml	SAT (TO)	4	2400.0801	2337.53	4248678
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbp-10-20-1.xml	SAT (TO)	6	2400.0801	2347.3101	4247017
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-15-15.xml	SAT (TO)	4	2400.0801	2146.25	4249379
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-20-20.xml	SAT (TO)	7	2400.0801	2012.65	4249351
Rcpsp/Rcpsp-m1-j60/ Rcpsp-j60-24-03.xml	SAT (TO)	67	2400.09	2333.81	4247734
Fastfood/Fastfood-m1-s1/ Fastfood-ff77.xml	SAT (TO)	125	2400.09	2312.84	4249834
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-020.xml	SAT (TO)	26	2400.09	2320.93	4247490
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-16.xml	SAT (TO)	885	2400.09	2339.02	4248373
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-06.xml	SAT (TO)	0	2400.09	2343.12	4247899
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4r.xml	SAT (TO)	7	2400.09	2321.83	4249484
StillLife/StillLife-m1-s1/ StillLife-03-11.xml	SAT (TO)	18	2400.09	2339.22	4244944
Vrp/Vrp-zinc-s1/ Vrp-P-n50-k10.xml	SAT (TO)	1337	2400.09	2308.74	4246368
Vrp/Vrp-zinc-s1/ Vrp-B-n50-k8.xml	SAT (TO)	2410	2400.09	2308.74	4246340
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug30.xml	SAT (TO)	3173	2400.09	2303.32	4245681
Vrp/Vrp-zinc-s1/ Vrp-A-n61-k9.xml	SAT (TO)	2660	2400.09	2299.64	4246284
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap01a.xml	SAT (TO)	52	2400.09	2208.57	4245176
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-081.xml	SAT (TO)	988	2400.09	2281.34	4247504
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-038.xml	SAT (TO)	167	2400.09	2299.03	4247441
GraphColoring/GraphColoring-m1-mono/ GraphColoring-games120.xml	SAT (TO)	8	2400.09	2324.52	4245120
GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml	SAT (TO)	166	2400.09	2328.32	4246822
StillLife/StillLife-m1-s1/ StillLife-11-14.xml	SAT (TO)	79	2400.09	2318.73	4244874
GolombRuler/GolombRuler-a4-s1/ GolombRuler-24-a4.xml	SAT (TO)	628	2400.09	2316.22	4246745
StillLife/StillLife-m1-s1/ StillLife-03-06.xml	SAT (TO)	10	2400.09	2335.93	4244916
GolombRuler/GolombRuler-a4-s1/ GolombRuler-12-a4.xml	SAT (TO)	93	2400.09	2331.62	4246829
TravellingSalesman/TravellingSalesman-m1-n20/ TravellingSalesman-20-30-18.xml	SAT (TO)	104	2400.09	2335.92	4249139
GolombRuler/GolombRuler-a3-s1/ GolombRuler-12-a3.xml	SAT (TO)	91	2400.09	2336.31	4246626
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-13.xml	SAT (TO)	7	2400.09	2335.33	4249449
BinPacking/BinPacking-tab-sw100/ BinPacking-tab-sw100-15.xml	SAT (TO)	0	2400.09	2210.49	4249701
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-15.xml	SAT (TO)	6	2400.09	2312.53	4249435
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-31.xml	SAT (TO)	0	2400.09	2166.67	4249722
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-10-1.xml	SAT (TO)	5	2400.0901	2350.4299	4247059
Ramsey/Ramsey-int-s1/ Ramsey-int-11.xml	SAT (TO)	2	2400.0901	2338.74	4248636
Scheduling/Scheduling-os-taillard/ Taillard-os-07-07-6.xml	SAT (TO)	437	2400.0901	2349.6299	4244634
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-23-25.xml	SAT (TO)	574	2400.0901	1918.25	4249302
Ramsey/Ramsey-int-s1/ Ramsey-int-18.xml	SAT (TO)	3	2400.0901	2340.8301	4248615
Rcpsp/Rcpsp-m1-j30/ Rcpsp-j30-43-06.xml	SAT (TO)	58	2400.1	2339.73	4247818
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-06.xml	SAT (TO)	1188	2400.1	2341.93	4248359
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-bur26g.xml	SAT (TO)	3187644	2400.1	2308.22	4245709
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-18.xml	SAT (TO)	937	2400.1	2338.22	4248352
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft249-09.xml	SAT (TO)	15	2400.1	2322.04	4249400
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-011.xml	SAT (TO)	5	2400.1	2332.82	4247434
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P409-Q499.xml	SAT (TO)	409	2400.1	2331.62	4249052
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-chr15c.xml	SAT (TO)	4752	2400.1	2339.42	4245667
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-5.xml	SAT (TO)	613	2400.1	2289.04	4246210
GolombRuler/GolombRuler-a3-s1/ GolombRuler-07-a3.xml	SAT (TO)	25	2400.1	2332.62	4246738
StillLife/StillLife-wst-s1/ StillLife-wastage-42.xml	SAT (TO)	403	2400.1	2298.14	4244825
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P071-Q409.xml	SAT (TO)	71	2400.1	2334.33	4249038
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-9.xml	SAT (TO)	1461	2400.1	2376.14	4244473
StillLife/StillLife-m1-s1/ StillLife-11-12.xml	SAT (TO)	70	2400.1	2316.23	4244923
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1.xml	SAT (TO)	28	2400.1	2303.85	4248494
Vrp/Vrp-zinc-s1/ Vrp-A-n48-k7.xml	SAT (TO)	2389	2400.1	2303.34	4246298
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-23-09.xml	SAT (TO)	107	2400.1	2326.42	4247797
GolombRuler/GolombRuler-a4-s1/ GolombRuler-28-a4.xml	SAT (TO)	934	2400.1	2310.72	4246773
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-0.xml	SAT (TO)	1290	2400.1	2321.13	4244362
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-096.xml	SAT (TO)	1388	2400.1	2266.35	4247406
GolombRuler/GolombRuler-a4-s1/ GolombRuler-27-a4.xml	SAT (TO)	826	2400.1	2318.22	4246808
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft060-06.xml	SAT (TO)	3	2400.1	2325.53	4249428
Opd/Opd-sum-large/ Opd-12-350-100.xml	SAT (TO)	71	2400.1	2276.44	4245532
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-6.xml	SAT (TO)	201	2400.1001	2350.01	4244599
Ramsey/Ramsey-int-s1/ Ramsey-int-44.xml	SAT (TO)	6	2400.1001	2326.03	4248629
Ramsey/Ramsey-int-s1/ Ramsey-int-10.xml	SAT (TO)	2	2400.1001	2367.4199	4248650
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-07-09.xml	SAT (TO)	2	2400.1001	2333.52	4249288
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-pb-10-20-1.xml	SAT (TO)	7	2400.1001	2346.3301	4246975
Ramsey/Ramsey-int-s1/ Ramsey-int-21.xml	SAT (TO)	3	2400.1001	2340.3301	4248685
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-04-06.xml	SAT (TO)	1	2400.1001	2354.73	4249316
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-05-05.xml	SAT (TO)	2	2400.1001	2330.1299	4249358
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-057.xml	SAT (TO)	448	2400.11	2285.23	4247483
Opd/Opd-sum-large/ Opd-46-035-010.xml	SAT (TO)	5	2400.11	2265.74	4245574
Opd/Opd-sum-large/ Opd-07-350-100.xml	SAT (TO)	73	2400.11	2289.74	4245539
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-10-7.xml	SAT (TO)	1620	2400.11	2320.83	4244404
StillLife/StillLife-wst-s1/ StillLife-wastage-08.xml	SAT (TO)	36	2400.11	2330.43	4244769
Opd/Opd-sum-large/ Opd-13-035-010.xml	SAT (TO)	3	2400.11	2307.94	4245553
Opd/Opd-sum-small/ Opd-19-019-009.xml	SAT (TO)	4	2400.11	2310.44	4245602
GraphColoring/GraphColoring-m1-mono/ GraphColoring-dsjc-250-9.xml	SAT (TO)	82	2400.11	2287.95	4245113
Opd/Opd-sum-large/ Opd-14-035-010.xml	SAT (TO)	3	2400.11	2310.04	4245581
GolombRuler/GolombRuler-a4-s1/ GolombRuler-10-a4.xml	SAT (TO)	55	2400.11	2334.23	4246801
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-07.xml	SAT (TO)	1058	2400.11	2340.22	4248394
Rcpsp/Rcpsp-m1-j120/ Rcpsp-j120-46-04.xml	SAT (TO)	187	2400.11	2317.52	4247769
PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-aim-050-3-4-yes1-1.xml	SAT (TO)	50	2400.11	2337.02	4249014
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-07-04.xml	SAT (TO)	86	2400.11	2323.42	4247762
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-12.xml	SAT (TO)	954	2400.11	2341.42	4248443
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-15.xml	SAT (TO)	535	2400.11	2303.84	4249208
TravellingSalesman/TravellingSalesman-m1-n30/ TravellingSalesman-30-30-18.xml	SAT (TO)	126	2400.11	2334.63	4249236
Fastfood/Fastfood-m1-s1/ Fastfood-ff41.xml	SAT (TO)	14	2400.11	2297.94	4249813
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-055.xml	SAT (TO)	443	2400.11	2287.13	4247420
PseudoBoolean/PseudoBoolean-opt-factor/ Pb-factor-S9-P167-Q347.xml	SAT (TO)	167	2400.11	2333.62	4249059
StillLife/StillLife-m1-s1/ StillLife-09-12.xml	SAT (TO)	58	2400.11	2326.53	4244951
StillLife/StillLife-wst-s1/ StillLife-wastage-37.xml	SAT (TO)	318	2400.11	2284.54	4244762
StillLife/StillLife-wst-s1/ StillLife-wastage-07.xml	SAT (TO)	28	2400.11	2326.23	4244811
PseudoBoolean/PseudoBoolean-opt-vtxcov/ Pb-vtxcov-v2000-e4000-05.xml	SAT (TO)	1146	2400.11	2312.53	4249066
Scheduling/Scheduling-os-taillard/ Taillard-os-04-04-3.xml	SAT (TO)	250	2400.1101	2350.8201	4244627
Ramsey/Ramsey-int-s1/ Ramsey-int-46.xml	SAT (TO)	9	2400.1101	2326.6299	4248643
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-16-18.xml	SAT (TO)	5	2400.1101	2197.4399	4249281
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-2.xml	SAT (TO)	639	2400.1101	2346.4299	4244690
Rack/ Rack-m1c-s1/Rack-m1c-r4.xml	SAT (TO)	1150	2400.1101	2352.51	4249869
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-19.xml	SAT (TO)	6	2400.12	2316.43	4249407
Knapsack/Knapsack-m1-s50/ Knapsack-50-200-16.xml	SAT (TO)	1429	2400.12	2339.73	4248338
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-9.xml	SAT (TO)	2830	2400.12	2304.03	4244369
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-004.xml	SAT (TO)	2	2400.12	2350.42	4247462
Opd/Opd-sum-small/ Opd-09-037-012.xml	SAT (TO)	4	2400.12	2313.92	4245616
Knapsack/Knapsack-m1-s60/ Knapsack-60-250-17.xml	SAT (TO)	1220	2400.12	2338.63	4248401
GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml	SAT (TO)	45	2400.12	2266.55	4245127
StillLife/StillLife-m1-s1/ StillLife-12-12.xml	SAT (TO)	76	2400.12	2319.72	4244909
Knapsack/Knapsack-m1-s40/ Knapsack-40-150-07.xml	SAT (TO)	1021	2400.12	2339.42	4248422
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-nug21.xml	SAT (TO)	1248	2400.12	2322.43	4245702
Scheduling/Scheduling-fs-taillard/ Taillard-fs-020-05-8.xml	SAT (TO)	1239	2400.12	2317.03	4244390
GraphColoring/GraphColoring-m1-mono/ GraphColoring-4-insertions-3.xml	SAT (TO)	3	2400.12	2335.33	4245169
Cutstock/Cutstock-zinc-s1/ Cutstock-t13-1.xml	SAT (TO)	63	2400.12	2300.83	4246161
Fastfood/Fastfood-m1-s1/ Fastfood-ff06.xml	SAT (TO)	2	2400.12	2292.64	4249785
BinPacking/ BinPacking-tab-ft/BinPacking-tab-ft120-10.xml	SAT (TO)	7	2400.12	2312.34	4249421
Fastfood/Fastfood-m1-s1/ Fastfood-ff15.xml	SAT (TO)	1	2400.12	2291.44	4249862
GraphColoring/GraphColoring-m1-mono/ GraphColoring-2-fullins-3.xml	SAT (TO)	4	2400.12	2332.62	4245197
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-054.xml	SAT (TO)	431	2400.12	2284.33	4247476
TravellingSalesman/TravellingSalesman-m1-n150/ TravellingSalesman-150-50-14.xml	SAT (TO)	531	2400.12	2312.34	4249215
TravellingSalesman/TravellingSalesman-m1-n75/ TravellingSalesman-75-50-15.xml	SAT (TO)	341	2400.12	2320.63	4249229
StillLife/StillLife-m1-s1/ StillLife-03-10.xml	SAT (TO)	16	2400.12	2336.92	4244958
GolombRuler/GolombRuler-a4-s1/ GolombRuler-09-a4.xml	SAT (TO)	44	2400.12	2334.62	4246815
GolombRuler/GolombRuler-a4-s1/ GolombRuler-23-a4.xml	SAT (TO)	554	2400.12	2319.43	4246836
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-3.xml	SAT (TO)	102	2400.12	2285.14	4246105
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-30-1.xml	SAT (TO)	6	2400.1201	2358.72	4246996
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-12-12.xml	SAT (TO)	3	2400.1201	2326.6399	4249330
Ramsey/Ramsey-int-s1/ Ramsey-int-40.xml	SAT (TO)	5	2400.1299	2329.03	4248608
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-036.xml	SAT (TO)	150	2400.13	2301.73	4247497
TravellingSalesman/TravellingSalesman-m1-n100/ TravellingSalesman-100-50-00.xml	SAT (TO)	413	2400.13	2317.33	4249243
GraphColoring/GraphColoring-m1-mono/ GraphColoring-3-fullins-5.xml	SAT (TO)	7	2400.13	2337.45	4245134
PseudoBoolean/PseudoBoolean-opt-domset/ Pb-domset-v500-e2000-w30-mw19-11.xml	SAT (TO)	204	2400.13	2308.83	4249000
StillLife/StillLife-wst-s1/ StillLife-wastage-29.xml	SAT (TO)	366	2400.13	2291.33	4244818
StillLife/StillLife-m1-s1/ StillLife-05-06.xml	SAT (TO)	16	2400.13	2336.53	4244930
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft120-11.xml	SAT (TO)	7	2400.13	2335.24	4249442
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k5.xml	SAT (TO)	1360	2400.13	2299.05	4246291
Rcpsp/Rcpsp-m1-j90/ Rcpsp-j90-37-03.xml	SAT (TO)	135	2400.13	2319.03	4247748
TravellingSalesman/TravellingSalesman-m1-n50/ TravellingSalesman-50-30-01.xml	SAT (TO)	193	2400.13	2331.63	4249187
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-15-17.xml	SAT (TO)	4	2400.1399	2304.3501	4249295
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-15-30-1.xml	SAT (TO)	5	2400.1399	2346.4399	4246968
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-35-35.xml	SAT (TO)	1224	2400.1399	1039.16	4249344
Cutstock/Cutstock-zinc-s1/ Cutstock-t07-8.xml	SAT (TO)	43	2400.14	2303.84	4246112
Opd/Opd-sum-large/ Opd-29-350-100.xml	SAT (TO)	100	2400.14	2200.66	4245567
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-1.xml	SAT (TO)	123	2400.14	2281.95	4246098
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r3.xml	SAT (TO)	17	2400.14	2302.07	4248522
Vrp/Vrp-zinc-s1/ Vrp-B-n31-k5.xml	SAT (TO)	707	2400.14	2303.73	4246361
Knapsack/Knapsack-m1-s30/ Knapsack-30-100-04.xml	SAT (TO)	1129	2400.14	2340.83	4248366
Vrp/Vrp-zinc-s1/ Vrp-A-n34-k5.xml	SAT (TO)	1562	2400.14	2300.54	4246382
Opd/Opd-sum-large/ Opd-10-325-100.xml	SAT (TO)	71	2400.14	2277.33	4245511
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-t2.xml	SAT (TO)	22	2400.14	2283.93	4248543
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r2.xml	SAT (TO)	14	2400.14	2312.93	4248550
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-1.xml	SAT (TO)	1513	2400.14	2279.36	4246203
Vrp/Vrp-zinc-s1/ Vrp-B-n68-k9.xml	SAT (TO)	3621	2400.15	2294.65	4246354
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft249-19.xml	SAT (TO)	12	2400.15	2302.37	4249463
Opd/Opd-sum-large/ Opd-46-350-100.xml	SAT (TO)	100	2400.15	2046.96	4245525
Vrp/Vrp-zinc-s1/ Vrp-B-n45-k5.xml	SAT (TO)	1251	2400.15	2316.65	4246326
Opd/Opd-sum-small/ Opd-10-031-009.xml	SAT (TO)	2	2400.15	2315.54	4245595
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-084.xml	SAT (TO)	1054	2400.15	2275.94	4247469
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1.xml	SAT (TO)	12	2400.15	2294.03	4248529
PseudoBoolean/ PseudoBoolean-opt-dimacs/Pb-ii8d2.xml	SAT (TO)	554	2400.16	2303.44	4249021
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r1a.xml	SAT (TO)	12	2400.16	2297.64	4248487
Cutstock/Cutstock-zinc-s1/ Cutstock-t15-7.xml	SAT (TO)	171	2400.16	2292.04	4246126
StillLife/StillLife-wst-s1/ StillLife-wastage-14.xml	SAT (TO)	102	2400.16	2312.73	4244748
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-6.xml	SAT (TO)	213	2400.16	2293.65	4246140
Vrp/Vrp-zinc-s1/ Vrp-B-n57-k9.xml	SAT (TO)	3146	2400.17	2299.95	4246389
GraphColoring/GraphColoring-m1-mono/ GraphColoring-ash331GPIA.xml	SAT (TO)	3	2400.17	2327.94	4245204
Cutstock/Cutstock-zinc-s1/ Cutstock-t02-3.xml	SAT (TO)	158	2400.18	2290.73	4246189
PseudoBoolean/PseudoBoolean-opt-logicSynthesis/ Pb-logic-m100-100-30-30-r.xml	SAT (TO)	6	2400.18	2332.68	4249118
Vrp/Vrp-zinc-s1/ Vrp-B-n78-k10.xml	SAT (TO)	3994	2400.19	2302.46	4246375
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-0.xml	SAT (TO)	1614	2400.19	2277.27	4246133
Vrp/Vrp-zinc-s1/ Vrp-A-n33-k6.xml	SAT (TO)	1234	2400.19	2300.85	4246319
LowAutocorrelation/LowAutocorrelation-m1-s1/ LowAutocorrelation-069.xml	SAT (TO)	746	2400.2	2277.65	4247427
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-08.xml	SAT (TO)	41	2400.2	2321.74	4249512
Vrp/Vrp-zinc-s1/ Vrp-P-n65-k10.xml	SAT (TO)	1894	2400.2	2297.54	4246347
StillLife/StillLife-wst-s1/ StillLife-wastage-26.xml	SAT (TO)	284	2400.21	2294.04	4244776
Cutstock/Cutstock-zinc-s1/ Cutstock-t08-9.xml	SAT (TO)	553	2400.22	2290.54	4246196
Cutstock/Cutstock-zinc-s1/ Cutstock-t04-1.xml	SAT (TO)	240	2400.24	2272.34	4246119
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-7.xml	SAT (TO)	1810	2400.24	2320.11	4246154
StillLife/StillLife-wst-s1/ StillLife-wastage-43.xml	SAT (TO)	489	2400.4	2291.03	4244832
StillLife/StillLife-wst-s1/ StillLife-wastage-09.xml	SAT (TO)	43	2400.45	2325.88	4244797
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0500-09.xml	SAT (TO)	74	2400.53	2215.71	4249540
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-25-25.xml	SAT (TO)	624	2401.0601	1135.46	4249365
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-10.xml	SAT (TO)	0	2403.62	809.092	4249715
ChessboardColoration/ChessboardColoration-int-s2/ ChessboardColoration-int-28-30.xml	SAT (TO)	839	2405.4199	1196.27	4249309
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-41.xml	SAT (TO)	0	2406.17	833.466	4249729
BinPacking/BinPacking-tab-sw120/ BinPacking-tab-sw120-50.xml	SAT (TO)	0	2408.39	721.242	4249736

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-sentoy.xml	?	1.37953	0.722758	4249085
PseudoBoolean/PseudoBoolean-opt-fs/ Pb-fs-50-250-0-45-90-4-1000.xml	?	6.98342	2.21635	4248976
Ramsey/Ramsey-int-s1/ Ramsey-int-14.xml	?	1369.88	404.20401	4248622

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-20-1.xml	? (TO)	2400.01	2380.01	4244432
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-6.xml	? (TO)	2400.02	2364.02	4244355
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-8.xml	? (TO)	2400.02	2390.01	4244641
GolombRuler/GolombRuler-a3-s1/ GolombRuler-28-a3.xml	? (TO)	2400.02	2383.01	4246654
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-4.xml	? (TO)	2400.02	2384.11	4244543
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-20-3.xml	? (TO)	2400.02	2373.32	4244418
PseudoBoolean/PseudoBoolean-opt-marketSplit/ Pb-msplit-7-60-4.xml	? (TO)	2400.03	2389.91	4249099
GolombRuler/GolombRuler-a3-s1/ GolombRuler-27-a3.xml	? (TO)	2400.03	2383.51	4246682
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-7.xml	? (TO)	2400.03	2393.11	4244439
Scheduling/Scheduling-os-taillard/ Taillard-os-10-10-6.xml	? (TO)	2400.03	2389.51	4244655
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml	? (TO)	2400.03	2388.81	4249638
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-10.xml	? (TO)	2400.03	2364.92	4247990
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-03.xml	? (TO)	2400.04	2343.22	4249666
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-18.xml	? (TO)	2400.04	2358.53	4247969
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-6.xml	? (TO)	2400.04	2336.63	4246147
Scheduling/Scheduling-js-taillard/ Taillard-js-020-15-1.xml	? (TO)	2400.04	2386.21	4244550
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-19.xml	? (TO)	2400.04	2344.84	4248011
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w3b3r7.xml	? (TO)	2400.04	2373.51	4249631
Cutstock/Cutstock-zinc-s1/ Cutstock-t16-5.xml	? (TO)	2400.04	2340.23	4246168
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-2.xml	? (TO)	2400.04	2389.6101	4244669
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-3.xml	? (TO)	2400.05	2388.71	4244397
Scheduling/Scheduling-os-taillard/ Taillard-os-15-15-8.xml	? (TO)	2400.05	2390.01	4244620
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-75.xml	? (TO)	2400.05	2359.72	4249659
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-63.xml	? (TO)	2400.05	2363.62	4249687
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko100a.xml	? (TO)	2400.05	2253.25	4245772
GolombRuler/GolombRuler-a3-s1/ GolombRuler-16-a3.xml	? (TO)	2400.05	2380.52	4246668
GolombRuler/GolombRuler-a3-s1/ GolombRuler-25-a3.xml	? (TO)	2400.05	2383.82	4246675
BinPacking/ BinPacking-mdd-ft/BinPacking-mdd-ft501-07.xml	? (TO)	2400.05	2385.41	4249456
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-16.xml	? (TO)	2400.05	2373.43	4247906
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w2b3r4.xml	? (TO)	2400.05	2390.53	4249624
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-17.xml	? (TO)	2400.05	2357.72	4247997
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-2.xml	? (TO)	2400.05	2388.51	4244508
PseudoBoolean/PseudoBoolean-opt-mps/ Pb-mps-v2-20-10-l152lav.xml	? (TO)	2400.05	2391.01	4249078
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-14.xml	? (TO)	2400.05	2377.14	4247976
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-8.xml	? (TO)	2400.06	2386.81	4244536
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-09.xml	? (TO)	2400.06	2359.72	4248004
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-13.xml	? (TO)	2400.06	2373.83	4247962
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-15.xml	? (TO)	2400.06	2370.12	4247983
Scheduling/Scheduling-js-taillard/ Taillard-js-030-15-9.xml	? (TO)	2400.06	2390.82	4244564
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-9.xml	? (TO)	2400.06	2390.32	4244425
BinPacking/ BinPacking-sum-ft/BinPacking-sum-ft060-11.xml	? (TO)	2400.06	2344.91	4249505
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-8.xml	? (TO)	2400.06	2389.11	4244334
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-7.xml	? (TO)	2400.06	2388.41	4244487
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-12.xml	? (TO)	2400.06	2375.62	4247941
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-83.xml	? (TO)	2400.06	2341.42	4249561
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-91.xml	? (TO)	2400.07	2338.63	4249554
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-30.xml	? (TO)	2400.07	2355.13	4249547
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-63.xml	? (TO)	2400.07	2353.52	4249582
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-10-6.xml	? (TO)	2400.07	2381.91	4244376
GraphColoring/GraphColoring-m1-fixed/ GraphColoring-qwhdec-o50-h825-bal-1.xml	? (TO)	2400.07	2377.33	4245092
Scheduling/Scheduling-fs-taillard/ Taillard-fs-200-10-2.xml	? (TO)	2400.07	2390.12	4244411
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-92.xml	? (TO)	2400.07	2360.32	4249652
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-3.xml	? (TO)	2400.07	2390.11	4244522
GolombRuler/GolombRuler-a3-s1/ GolombRuler-15-a3.xml	? (TO)	2400.07	2379.01	4246710
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b3r4.xml	? (TO)	2400.07	2352.41	4249645
Scheduling/Scheduling-fs-taillard/ Taillard-fs-050-05-1.xml	? (TO)	2400.07	2388.12	4244383
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n3c3w4h.xml	? (TO)	2400.07	2348.31	4249477
BinPacking/ BinPacking-tab-fu/BinPacking-tab-fu0250-15.xml	? (TO)	2400.08	2353.24	4249526
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c3w4o.xml	? (TO)	2400.08	2339.72	4249470
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w3b3r1.xml	? (TO)	2400.08	2354.31	4249610
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-8.xml	? (TO)	2400.08	2382.31	4244557
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-10-5.xml	? (TO)	2400.08	2387.22	4244327
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-70.xml	? (TO)	2400.08	2356.22	4249680
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-11.xml	? (TO)	2400.08	2367.33	4247948
Scheduling/Scheduling-fs-taillard/ Taillard-fs-100-05-1.xml	? (TO)	2400.08	2393.72	4244348
GolombRuler/GolombRuler-a3-s1/ GolombRuler-17-a3.xml	? (TO)	2400.08	2381.31	4246717
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-99.xml	? (TO)	2400.09	2364.82	4249575
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-07.xml	? (TO)	2400.09	2360.91	4247913
GolombRuler/GolombRuler-a3-s1/ GolombRuler-26-a3.xml	? (TO)	2400.09	2383.72	4246633
BinPacking/BinPacking-mdd-sw120/ BinPacking-mdd-sw120-20.xml	? (TO)	2400.09	2366.42	4249568
OpenStacks/ OpenStacks-m2c-s1/OpenStacks-m2c-Miller-19.xml	? (TO)	2400.0901	2361.1201	4247038
Scheduling/Scheduling-os-taillard/ Taillard-os-20-20-9.xml	? (TO)	2400.0901	2389.01	4244585
GolombRuler/GolombRuler-a3-s1/ GolombRuler-19-a3.xml	? (TO)	2400.1	2381.01	4246696
GolombRuler/GolombRuler-a3-s1/ GolombRuler-14-a3.xml	? (TO)	2400.1	2374.51	4246647
Scheduling/Scheduling-js-taillard/ Taillard-js-050-15-0.xml	? (TO)	2400.1	2387.61	4244578
GolombRuler/GolombRuler-a3-s1/ GolombRuler-21-a3.xml	? (TO)	2400.1	2382.51	4246703
BinPacking/BinPacking-sum-sw100/ BinPacking-sum-sw100-11.xml	? (TO)	2400.1	2348.31	4249743
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-c1a.xml	? (TO)	2400.1	2394.01	4248508
Scheduling/Scheduling-js-taillard/ Taillard-js-050-20-9.xml	? (TO)	2400.1	2386.71	4244494
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n1w4b2r0.xml	? (TO)	2400.1	2354.21	4249596
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbo-10-20-1.xml	? (TO)	2400.1001	2380.6101	4246989
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-08.xml	? (TO)	2400.11	2360.11	4247934
Scheduling/Scheduling-js-taillard/ Taillard-js-015-15-4.xml	? (TO)	2400.11	2387.41	4244515
Scheduling/Scheduling-js-taillard/ Taillard-js-020-20-7.xml	? (TO)	2400.11	2385.41	4244529
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n1c3w4d.xml	? (TO)	2400.11	2352.71	4249498
BusScheduling/BusScheduling-cnt-s1/ BusScheduling-cnt-r5.xml	? (TO)	2400.11	2394.82	4248536
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n2w4b2r4.xml	? (TO)	2400.11	2355.61	4249603
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n3w4b3r3.xml	? (TO)	2400.11	2369.42	4249617
BinPacking/BinPacking-sum-s28/ BinPacking-sum-s28-561.xml	? (TO)	2400.11	2372.02	4249694
QueenAttacking/QueenAttacking-m1-s1/ QueenAttacking-20.xml	? (TO)	2400.11	2329.24	4247955
OpenStacks/OpenStacks-m2c-s1/ OpenStacks-m2c-wbop-10-30-1.xml	? (TO)	2400.1101	2366.4099	4247024
BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w3b2r8.xml	? (TO)	2400.12	2347.21	4249589
BinPacking/BinPacking-sum-skj1/ BinPacking-sum-n4c2w2n.xml	? (TO)	2400.12	2347.02	4249491
Scheduling/Scheduling-js-taillard/ Taillard-js-030-20-6.xml	? (TO)	2400.12	2390.01	4244501
QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-sko81.xml	? (TO)	2400.13	2343.83	4245737
BinPacking/BinPacking-mdd-sw100/ BinPacking-mdd-sw100-43.xml	? (TO)	2401.86	2355.65	4249673
ChessboardColoration/ChessboardColoration-int-s1/ ChessboardColoration-int-40-40.xml	? (TO)	2408.4199	824.48297	4249337

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

Result page for solver R1: OscaR - ALNS 2017-06-30 (complete)

Category "optimization problem" (COP)

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

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

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

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