2018 XCSP3 competition: sequential solvers tracks: benchmarks results per solver

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
Auction/Auction-cnt/ Auction-cnt-example_c18.xml	OPT	54	1.45209	0.993927	4308678
Auction/Auction-sum/ Auction-sum-example_c18.xml	OPT	54	1.46102	1.01032	4308689
PseudoBoolean-opt/ Pb-garden-4x4_c18.xml	OPT	4	1.56348	1.0429	4308497
TemplateDesign/ TemplateDesign-m2-1_c18.xml	OPT	2	1.57496	1.04161	4308581
TemplateDesign/ TemplateDesign-m1-1_c18.xml	OPT	2	1.60267	1.06429	4308571
SumColoring/ SumColoring-myciel3_c18.xml	OPT	10	1.70534	1.08241	4308595
TemplateDesign/ TemplateDesign-m1-2_c18.xml	OPT	2	1.79375	1.13211	4308572
TemplateDesign/ TemplateDesign-m2-2_c18.xml	OPT	2	1.82742	1.13822	4308582
TemplateDesign/ TemplateDesign-m1s-1_c18.xml	OPT	2	1.84262	1.52648	4308576
GolombRuler/ GolombRuler-a3v18-07_c18.xml	OPT	25	1.9051	1.17433	4308452
SteelMillSlab/ SteelMillSlab-m1-simple_c18.xml	OPT	0	1.93619	1.20922	4308549
GraphColoring/ GraphColoring-queen5-5_c18.xml	OPT	4	1.99593	1.16674	4308398
Bacp/Bacp-m1/ Bacp-m1-05_c18.xml	OPT	9	2.05972	1.24181	4308635
TemplateDesign/ TemplateDesign-m1s-2_c18.xml	OPT	2	2.09127	1.25869	4308577
Tal/ Tal-01_c18.xml	OPT	6	2.16858	1.26131	4308561
Knapsack/ Knapsack-30-100-00_c18.xml	OPT	709	2.20794	1.25703	4308374
Rcpsp/ Rcpsp-j30-01-03_c18.xml	OPT	47	2.21817	1.28179	4308471
Bacp/Bacp-m2/ Bacp-m2-05_c18.xml	OPT	9	2.23907	1.30944	4308640
Rcpsp/ Rcpsp-j30-01-04_c18.xml	OPT	62	2.2492	1.28975	4308472
Rcpsp/ Rcpsp-j30-01-01_c18.xml	OPT	43	2.27742	1.29742	4308469
Knapsack/ Knapsack-30-100-01_c18.xml	OPT	871	2.29195	1.27734	4308375
GolombRuler/ GolombRuler-a3v18-08_c18.xml	OPT	34	2.30792	1.28824	4308453
Mario/ Mario-easy-2_c18.xml	OPT	628	2.32831	1.31039	4308600
Rcpsp/ Rcpsp-j30-01-02_c18.xml	OPT	47	2.37526	1.3304	4308470
TemplateDesign/ TemplateDesign-m1s-catfood_c18.xml	OPT	2	2.38752	1.32241	4308578
SteelMillSlab/ SteelMillSlab-m2-simple_c18.xml	OPT	0	2.45358	1.35632	4308560
Mario/ Mario-easy-5_c18.xml	OPT	445	2.48119	1.36057	4308602
CrosswordDesign/ CrosswordDesign-03-4-rom_c18.xml	OPT	12	2.50895	1.28318	4308399
PeacableArmies/ PeacableArmies-m1-05_c18.xml	OPT	4	2.5277	1.38021	4308412
TravelingTournament/ TravelingTournament-a2-galaxy04_c18.xml	OPT	517	2.73646	1.51521	4308426
Mario/ Mario-easy-4_c18.xml	OPT	545	2.8312	1.46871	4308601
TravelingTournament/ TravelingTournament-a3-galaxy04_c18.xml	OPT	416	2.89568	1.58115	4308433
TravellingSalesman/ TravellingSalesman-10-20-00_c18.xml	OPT	47	3.27381	1.73047	4308441
QuadraticAssignment/ QuadraticAssignment-qap_c18.xml	OPT	4776	3.38151	1.77627	4308515
Rcpsp/ Rcpsp-j60-01-04_c18.xml	OPT	91	3.43895	2.01837	4308476
Rcpsp/ Rcpsp-j60-01-03_c18.xml	OPT	68	3.45422	1.68106	4308475
Rcpsp/ Rcpsp-j60-01-01_c18.xml	OPT	77	3.73535	1.76157	4308473
Mario/ Mario-t-hard-5_c18.xml	OPT	4482	3.81027	1.65195	4308609
Fapp/Fapp-m2s/ Fapp-m2s-ex2_c18.xml	OPT	13871	3.8709	1.72547	4308693
Rcpsp/ Rcpsp-j60-01-02_c18.xml	OPT	68	3.91217	1.83885	4308474
GolombRuler/ GolombRuler-a3v18-09_c18.xml	OPT	44	3.94457	2.16401	4308454
Knapsack/ Knapsack-40-150-01_c18.xml	OPT	1128	4.06937	2.96278	4308377
CrosswordDesign/ CrosswordDesign-04-4-rom_c18.xml	OPT	24	4.2302	1.97567	4308400
PseudoBoolean-opt/ Pb-circ4-3_c18.xml	OPT	20	4.26828	2.38518	4308492
Tal/ Tal-02_c18.xml	OPT	86	4.44374	1.91562	4308562
Mario/ Mario-t-hard-1_c18.xml	OPT	4783	4.54918	1.91693	4308607
Rcpsp/ Rcpsp-j90-01-03_c18.xml	OPT	66	5.05836	2.27589	4308479
Rcpsp/ Rcpsp-j90-01-02_c18.xml	OPT	92	5.07309	2.2264	4308478
TemplateDesign/ TemplateDesign-m2-catfood_c18.xml	OPT	2	5.9211	3.93317	4308583
Rcpsp/ Rcpsp-j90-01-01_c18.xml	OPT	73	6.03346	3.16571	4308477
Knapsack/ Knapsack-40-150-00_c18.xml	OPT	932	6.70039	5.5193	4308376
Rcpsp/ Rcpsp-j90-01-04_c18.xml	OPT	86	7.20925	3.47998	4308480
GolombRuler/ GolombRuler-a3v18-10_c18.xml	OPT	55	7.68873	5.7233	4308455
Mario/ Mario-t-hard-2_c18.xml	OPT	4850	8.91563	4.90842	4308608
SumColoring/ SumColoring-myciel4_c18.xml	OPT	22	10.1685	8.19237	4308596
Rlfap/Rlfap-opt/ Rlfap-scen-05-opt_c18.xml	OPT	792	11.5061	6.35999	4308653
TemplateDesign/ TemplateDesign-m1-catfood_c18.xml	OPT	2	12.9853	10.7277	4308573
NurseRostering/ NurseRostering-00_c18.xml	OPT	1202	14.1428	10.333	4308523
NurseRostering/ NurseRostering-01_c18.xml	OPT	607	47.7975	43.7522	4308524
GraphColoring/ GraphColoring-4-fullins-4_c18.xml	OPT	7	51.2812	44.5511	4308390
SumColoring/ SumColoring-1-fullins-3_c18.xml	OPT	24	93.8242	91.5444	4308586

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
Bacp/Bacp-m1/ Bacp-m1-07b_c18.xml	SAT (TO)	13	2520.02	2466.12	4308626
TravelingTournament/ TravelingTournament-a3-galaxy06_c18.xml	SAT (TO)	1403	2520.02	2479.51	4308434
Bacp/Bacp-m1/ Bacp-m1-10a-nodv_c18.xml	SAT (TO)	14	2520.02	2462.72	4308629
GolombRuler/ GolombRuler-a3v18-11_c18.xml	SAT (TO)	76	2520.03	2475.61	4308456
StillLife/ StillLife-wastage-25_c18.xml	SAT (TO)	247	2520.03	2461.73	4308372
LowAutocorrelation/ LowAutocorrelation-027_c18.xml	SAT (TO)	65	2520.03	2474.31	4308618
SumColoring/ SumColoring-1-fullins-4_c18.xml	SAT (TO)	91	2520.03	2449.32	4308587
Auction/Auction-sum/ Auction-sum-decay400_c18.xml	SAT (TO)	2501073	2520.03	2450.13	4308685
StillLife/ StillLife-wastage-08_c18.xml	SAT (TO)	36	2520.03	2458.81	4308361
TravellingSalesman/ TravellingSalesman-30-30-00_c18.xml	SAT (TO)	141	2520.03	2448.62	4308446
Bacp/Bacp-m2/ Bacp-m2-08b_c18.xml	SAT (TO)	17	2520.03	2466.12	4308639
Knapsack/ Knapsack-70-300-01_c18.xml	SAT (TO)	1465	2520.03	2462.92	4308383
Bacp/Bacp-m1/ Bacp-m1-08a_c18.xml	SAT (TO)	17	2520.03	2467.03	4308632
PseudoBoolean-opt/ Pb-garden-7x7_c18.xml	SAT (TO)	12	2520.03	2456.92	4308498
Tal/ Tal-06_c18.xml	SAT (TO)	106	2520.03	2470.91	4308566
NurseRostering/ NurseRostering-04_c18.xml	SAT (TO)	2437	2520.03	2455.02	4308527
Bacp/Bacp-m2/ Bacp-m2-07a_c18.xml	SAT (TO)	12	2520.04	2467.32	4308637
Bacp/Bacp-m1/ Bacp-m1-10b_c18.xml	SAT (TO)	14	2520.04	2466.02	4308627
LowAutocorrelation/ LowAutocorrelation-024_c18.xml	SAT (TO)	44	2520.04	2452.12	4308615
Knapsack/ Knapsack-90-400-01_c18.xml	SAT (TO)	1681	2520.04	2472.22	4308387
Tal/ Tal-09_c18.xml	SAT (TO)	86	2520.04	2474.41	4308569
Rcpsp/ Rcpsp-j120-01-04_c18.xml	SAT (TO)	97	2520.04	2472.42	4308468
GolombRuler/ GolombRuler-a3v18-nodv-10_c18.xml	SAT (TO)	60	2520.04	2472.41	4308463
GraphColoring/ GraphColoring-5-fullins-3_c18.xml	SAT (TO)	7	2520.04	2466.62	4308392
LowAutocorrelation/ LowAutocorrelation-021_c18.xml	SAT (TO)	26	2520.04	2464.42	4308612
QuadraticAssignment/ QuadraticAssignment-had18_c18.xml	SAT (TO)	2679	2520.04	2472.81	4308513
Rlfap/Rlfap-opt/ Rlfap-graph-09-opt_c18.xml	SAT (TO)	46	2520.04	2512.91	4308654
Mario/ Mario-n-medium-4_c18.xml	SAT (TO)	832	2520.04	2469.13	4308605
Tal/ Tal-05_c18.xml	SAT (TO)	16	2520.04	2464.32	4308565
PeacableArmies/ PeacableArmies-m2-15_c18.xml	SAT (TO)	23	2520.04	2470.52	4308422
NurseRostering/ NurseRostering-02_c18.xml	SAT (TO)	1025	2520.04	2468.61	4308525
Auction/Auction-cnt/ Auction-cnt-matching040_c18.xml	SAT (TO)	12922392	2520.04	2456.93	4308681
Bacp/Bacp-m2/ Bacp-m2-12b_c18.xml	SAT (TO)	17	2520.04	2464.31	4308647
GolombRuler/ GolombRuler-a3v18-nodv-11_c18.xml	SAT (TO)	77	2520.05	2451.22	4308464
LowAutocorrelation/ LowAutocorrelation-026_c18.xml	SAT (TO)	53	2520.05	2455.12	4308617
GolombRuler/ GolombRuler-a3v18-nodv-09_c18.xml	SAT (TO)	47	2520.05	2479.12	4308462
LowAutocorrelation/ LowAutocorrelation-030_c18.xml	SAT (TO)	147	2520.05	2467.32	4308620
CrosswordDesign/ CrosswordDesign-06-4-rom_c18.xml	SAT (TO)	52	2520.05	2498.84	4308402
TravellingSalesman/ TravellingSalesman-45-30-00_c18.xml	SAT (TO)	184	2520.05	2457.61	4308449
StillLife/ StillLife-wastage-15_c18.xml	SAT (TO)	111	2520.05	2464.33	4308368
Knapsack/ Knapsack-50-200-00_c18.xml	SAT (TO)	960	2520.05	2463.12	4308378
Knapsack/ Knapsack-60-250-00_c18.xml	SAT (TO)	1404	2520.05	2466.11	4308380
TravellingSalesman/ TravellingSalesman-150-50-00_c18.xml	SAT (TO)	734	2520.05	2487.73	4308442
PeacableArmies/ PeacableArmies-m1-10_c18.xml	SAT (TO)	14	2520.05	2479.71	4308414
StillLife/ StillLife-wastage-09_c18.xml	SAT (TO)	43	2520.05	2461.02	4308362
Auction/Auction-cnt/ Auction-cnt-decay100_c18.xml	SAT (TO)	759775	2520.05	2451.42	4308677
SumColoring/ SumColoring-myciel5_c18.xml	SAT (TO)	46	2520.05	2450.33	4308597
StillLife/ StillLife-wastage-12_c18.xml	SAT (TO)	73	2520.05	2468.21	4308365
Auction/Auction-sum/ Auction-sum-matching080_c18.xml	SAT (TO)	46256429	2520.05	2449.33	4308691
Rlfap/Rlfap-opt/ Rlfap-graph-06-opt_c18.xml	SAT (TO)	113744	2520.05	2454.15	4308660
TravelingTournament/ TravelingTournament-a2-galaxy08_c18.xml	SAT (TO)	3343	2520.05	2482.32	4308428
TravellingSalesman/ TravellingSalesman-75-50-00_c18.xml	SAT (TO)	415	2520.05	2451.52	4308451
GolombRuler/ GolombRuler-a3v18-12_c18.xml	SAT (TO)	96	2520.05	2479.12	4308457
GolombRuler/ GolombRuler-a3v18-15_c18.xml	SAT (TO)	177	2520.05	2477.33	4308460
QuadraticAssignment/ QuadraticAssignment-had12_c18.xml	SAT (TO)	826	2520.05	2460.62	4308510
Auction/Auction-sum/ Auction-sum-decay500_c18.xml	SAT (TO)	3125540	2520.06	2456.62	4308683
Bacp/Bacp-m1/ Bacp-m1-12a-nodv_c18.xml	SAT (TO)	17	2520.06	2458.72	4308628
Tal/ Tal-03_c18.xml	SAT (TO)	96	2520.06	2467.42	4308563
StillLife/ StillLife-wastage-13_c18.xml	SAT (TO)	71	2520.06	2486.51	4308366
QuadraticAssignment/ QuadraticAssignment-esc128_c18.xml	SAT (TO)	32	2520.06	2466.94	4308504
Auction/Auction-sum/ Auction-sum-decay100_c18.xml	SAT (TO)	750618	2520.06	2458.54	4308688
GolombRuler/ GolombRuler-a3v18-16_c18.xml	SAT (TO)	202	2520.06	2477.13	4308461
PeacableArmies/ PeacableArmies-m1-15_c18.xml	SAT (TO)	24	2520.06	2460.73	4308415
TemplateDesign/ TemplateDesign-m1s-magazine_c18.xml	SAT (TO)	5	2520.06	2466.32	4308580
TravellingSalesman/ TravellingSalesman-100-50-00_c18.xml	SAT (TO)	501	2520.06	2464.43	4308440
PseudoBoolean-opt/ Pb-radar-10-20-45-050-100_c18.xml	SAT (TO)	4	2520.06	2452.03	4308501
TravelingTournament/ TravelingTournament-a2-galaxy12_c18.xml	SAT (TO)	10992	2520.06	2467.72	4308430
LowAutocorrelation/ LowAutocorrelation-023_c18.xml	SAT (TO)	47	2520.06	2453.62	4308614
StillLife/ StillLife-wastage-17_c18.xml	SAT (TO)	107	2520.06	2447.04	4308369
TravelingTournament/ TravelingTournament-a3-galaxy10_c18.xml	SAT (TO)	6050	2520.06	2474.33	4308436
LowAutocorrelation/ LowAutocorrelation-015_c18.xml	SAT (TO)	15	2520.06	2456.62	4308610
Rlfap/Rlfap-opt/ Rlfap-graph-12-opt_c18.xml	SAT (TO)	279879	2520.07	2469.95	4308657
LowAutocorrelation/ LowAutocorrelation-035_c18.xml	SAT (TO)	257	2520.07	2495.72	4308621
Knapsack/ Knapsack-90-400-00_c18.xml	SAT (TO)	1551	2520.07	2467.42	4308386
SumColoring/ SumColoring-myciel6_c18.xml	SAT (TO)	100	2520.07	2461.03	4308598
PeacableArmies/ PeacableArmies-m2-10_c18.xml	SAT (TO)	13	2520.07	2468.72	4308421
PeacableArmies/ PeacableArmies-m1-07_c18.xml	SAT (TO)	7	2520.07	2476.12	4308413
Rcpsp/ Rcpsp-j120-01-03_c18.xml	SAT (TO)	127	2520.07	2470.62	4308467
StillLife/ StillLife-wastage-10_c18.xml	SAT (TO)	54	2520.07	2467.03	4308363
Bacp/Bacp-m1/ Bacp-m1-12b_c18.xml	SAT (TO)	17	2520.07	2462.02	4308631
Rcpsp/ Rcpsp-j120-01-01_c18.xml	SAT (TO)	107	2520.07	2475.45	4308465
GraphColoring/ GraphColoring-2-fullins-5_c18.xml	SAT (TO)	6	2520.07	2484.23	4308388
QuadraticAssignment/ QuadraticAssignment-esc64a_c18.xml	SAT (TO)	58	2520.07	2463.32	4308509
QuadraticAssignment/ QuadraticAssignment-sko72_c18.xml	SAT (TO)	35807	2520.07	2485.16	4308520
Bacp/Bacp-m2/ Bacp-m2-10b_c18.xml	SAT (TO)	14	2520.07	2465.41	4308638
TravellingSalesman/ TravellingSalesman-50-30-00_c18.xml	SAT (TO)	198	2520.07	2457.53	4308450
LowAutocorrelation/ LowAutocorrelation-022_c18.xml	SAT (TO)	39	2520.07	2454.31	4308613
Bacp/Bacp-m1/ Bacp-m1-08b_c18.xml	SAT (TO)	17	2520.07	2468.42	4308630
SumColoring/ SumColoring-dsjc-250-9_c18.xml	SAT (TO)	9554	2520.08	2468.63	4308594
PizzaVoucher/ PizzaVoucher-10b_c18.xml	SAT (TO)	28	2520.08	2468.22	4308482
PseudoBoolean-opt/ Pb-circ6-3_c18.xml	SAT (TO)	72	2520.08	2447.93	4308493
QuadraticAssignment/ QuadraticAssignment-had16_c18.xml	SAT (TO)	1860	2520.08	2469.51	4308512
TravelingTournament/ TravelingTournament-a3-galaxy08_c18.xml	SAT (TO)	3155	2520.08	2482.02	4308435
PseudoBoolean-opt/ Pb-garden-15x15_c18.xml	SAT (TO)	58	2520.08	2461.32	4308496
QuadraticAssignment/ QuadraticAssignment-esc32d_c18.xml	SAT (TO)	100	2520.08	2464.52	4308508
StillLife/ StillLife-wastage-30_c18.xml	SAT (TO)	302	2520.08	2481.06	4308373
Auction/Auction-cnt/ Auction-cnt-decay300_c18.xml	SAT (TO)	1958918	2520.08	2449.05	4308679
Rlfap/Rlfap-opt/ Rlfap-graph-03-opt_c18.xml	SAT (TO)	736	2520.08	2463.72	4308671
Fapp/Fapp-m2s/ Fapp-m2s-21-0500_c18.xml	SAT (TO)	184000747	2520.08	2429.66	4308700
TravellingSalesman/ TravellingSalesman-15-30-00_c18.xml	SAT (TO)	93	2520.08	2471.81	4308443
Rlfap/Rlfap-opt/ Rlfap-scen-02-opt_c18.xml	SAT (TO)	40	2520.08	2483.73	4308663
QuadraticAssignment/ QuadraticAssignment-had20_c18.xml	SAT (TO)	3467	2520.08	2464.33	4308514
Auction/Auction-cnt/ Auction-cnt-matching080_c18.xml	SAT (TO)	49734878	2520.08	2458.82	4308675
QuadraticAssignment/ QuadraticAssignment-esc32a_c18.xml	SAT (TO)	73	2520.08	2480.32	4308507
LowAutocorrelation/ LowAutocorrelation-028_c18.xml	SAT (TO)	98	2520.08	2471.51	4308619
QuadraticAssignment/ QuadraticAssignment-sko49_c18.xml	SAT (TO)	12137	2520.09	2454.73	4308517
Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml	SAT (TO)	40	2520.09	2512.41	4308672
LowAutocorrelation/ LowAutocorrelation-025_c18.xml	SAT (TO)	44	2520.09	2456.02	4308616
Rlfap/Rlfap-opt/ Rlfap-graph-02-opt_c18.xml	SAT (TO)	44	2520.09	2503.22	4308655
Knapsack/ Knapsack-80-350-00_c18.xml	SAT (TO)	1561	2520.09	2463.62	4308384
Knapsack/ Knapsack-50-200-01_c18.xml	SAT (TO)	1297	2520.09	2476.52	4308379
QuadraticAssignment/ QuadraticAssignment-esc16d_c18.xml	SAT (TO)	8	2520.09	2472.71	4308506
TravelingTournament/ TravelingTournament-a2-galaxy14_c18.xml	SAT (TO)	17141	2520.09	2484.93	4308431
Tal/ Tal-08_c18.xml	SAT (TO)	178	2520.09	2490.81	4308568
SumColoring/ SumColoring-1-fullins-5_c18.xml	SAT (TO)	314	2520.09	2475.83	4308588
PeacableArmies/ PeacableArmies-m2-05_c18.xml	SAT (TO)	4	2520.09	2493.32	4308419
TravellingSalesman/ TravellingSalesman-25-30-00_c18.xml	SAT (TO)	113	2520.09	2463.41	4308445
StillLife/ StillLife-wastage-21_c18.xml	SAT (TO)	194	2520.09	2497.25	4308371
TravelingTournament/ TravelingTournament-a2-galaxy16_c18.xml	SAT (TO)	24581	2520.09	2454.03	4308432
Bacp/Bacp-m1/ Bacp-m1-10a_c18.xml	SAT (TO)	14	2520.09	2469.02	4308625
LowAutocorrelation/ LowAutocorrelation-020_c18.xml	SAT (TO)	26	2520.09	2456.62	4308611
Rlfap/Rlfap-opt/ Rlfap-scen-06-opt_c18.xml	SAT (TO)	28280	2520.09	2451.62	4308666
Bacp/Bacp-m2/ Bacp-m2-10a_c18.xml	SAT (TO)	14	2520.09	2468.22	4308645
Rlfap/Rlfap-opt/ Rlfap-graph-07-opt_c18.xml	SAT (TO)	107644	2520.09	2454.63	4308649
TemplateDesign/ TemplateDesign-m1s-herbs_c18.xml	SAT (TO)	3	2520.09	2449.04	4308579
GraphColoring/ GraphColoring-3-fullins-5_c18.xml	SAT (TO)	1093	2520.09	2370.94	4308389
SumColoring/ SumColoring-myciel7_c18.xml	SAT (TO)	251	2520.09	2456.13	4308599
Bacp/Bacp-m1/ Bacp-m1-06_c18.xml	SAT (TO)	10	2520.1	2465.13	4308633
NurseRostering/ NurseRostering-03_c18.xml	SAT (TO)	1403	2520.1	2469.13	4308526
Rlfap/Rlfap-opt/ Rlfap-graph-05-opt_c18.xml	SAT (TO)	35159	2520.1	2451.73	4308656
PseudoBoolean-opt/ Pb-garden-9x9_c18.xml	SAT (TO)	21	2520.1	2495.82	4308499
PeacableArmies/ PeacableArmies-m1-20_c18.xml	SAT (TO)	46	2520.1	2458.14	4308416
TravelingTournament/ TravelingTournament-a3-galaxy12_c18.xml	SAT (TO)	10255	2520.1	2479.63	4308437
Mario/ Mario-n-medium-2_c18.xml	SAT (TO)	990	2520.1	2461.03	4308603
Mario/ Mario-n-medium-5_c18.xml	SAT (TO)	769	2520.1	2485.33	4308606
Bacp/Bacp-m1/ Bacp-m1-07a_c18.xml	SAT (TO)	12	2520.1	2470.03	4308624
Rcpsp/ Rcpsp-j120-01-02_c18.xml	SAT (TO)	112	2520.1	2465.03	4308466
StillLife/ StillLife-wastage-14_c18.xml	SAT (TO)	96	2520.1	2457.03	4308367
SumColoring/ SumColoring-dsjc-125-5_c18.xml	SAT (TO)	1014	2520.1	2452.82	4308590
StillLife/ StillLife-wastage-19_c18.xml	SAT (TO)	143	2520.1	2451.03	4308370
StillLife/ StillLife-wastage-11_c18.xml	SAT (TO)	56	2520.1	2447.04	4308364
Rlfap/Rlfap-opt/ Rlfap-scen-08-opt_c18.xml	SAT (TO)	4722	2520.1	2470.66	4308661
Rlfap/Rlfap-opt/ Rlfap-scen-10-opt_c18.xml	SAT (TO)	6060752	2520.1	2491.95	4308662
Auction/Auction-cnt/ Auction-cnt-decay200_c18.xml	SAT (TO)	1458346	2520.1	2451.94	4308676
Rlfap/Rlfap-opt/ Rlfap-scen-01-opt_c18.xml	SAT (TO)	46	2520.1	2512.22	4308667
Fapp/Fapp-m2s/ Fapp-m2s-04-0300_c18.xml	SAT (TO)	276680333	2520.1	2354.77	4308697
SumColoring/ SumColoring-dsjc-250-1_c18.xml	SAT (TO)	863	2520.1	2457.74	4308592
SumColoring/ SumColoring-dsjc-125-9_c18.xml	SAT (TO)	2523	2520.1	2461.41	4308591
QuadraticAssignment/ QuadraticAssignment-sko64_c18.xml	SAT (TO)	25546	2520.1	2483.34	4308519
QuadraticAssignment/ QuadraticAssignment-had14_c18.xml	SAT (TO)	1372	2520.1	2468.02	4308511
PeacableArmies/ PeacableArmies-m2-30_c18.xml	SAT (TO)	83	2520.1	2455.73	4308424
TravelingTournament/ TravelingTournament-a2-galaxy06_c18.xml	SAT (TO)	1582	2520.1	2477.51	4308427
QuadraticAssignment/ QuadraticAssignment-sko56_c18.xml	SAT (TO)	17822	2520.11	2495.65	4308518
TravelingTournament/ TravelingTournament-a3-galaxy16_c18.xml	SAT (TO)	23425	2520.11	2479.15	4308439
Rlfap/Rlfap-opt/ Rlfap-graph-01-opt_c18.xml	SAT (TO)	34	2520.11	2489.51	4308651
Fapp/Fapp-m2s/ Fapp-m2s-test01-0150_c18.xml	SAT (TO)	50437546	2520.11	2455.96	4308702
PeacableArmies/ PeacableArmies-m2-07_c18.xml	SAT (TO)	7	2520.11	2488.03	4308420
Rlfap/Rlfap-opt/ Rlfap-graph-11-opt_c18.xml	SAT (TO)	232059	2520.11	2468.63	4308665
GraphColoring/ GraphColoring-qg-order40_c18.xml	SAT (TO)	558	2520.11	2397.75	4308396
TravellingSalesman/ TravellingSalesman-35-30-00_c18.xml	SAT (TO)	148	2520.11	2461.04	4308447
Rlfap/Rlfap-opt/ Rlfap-graph-08-opt_c18.xml	SAT (TO)	46	2520.11	2512.23	4308669
Fapp/Fapp-m2s/ Fapp-m2s-ex1_c18.xml	SAT (TO)	523	2520.11	2455.23	4308705
TravelingTournament/ TravelingTournament-a2-galaxy10_c18.xml	SAT (TO)	6276	2520.11	2485.53	4308429
Bacp/Bacp-m2/ Bacp-m2-07b_c18.xml	SAT (TO)	13	2520.11	2467.41	4308643
QuadraticAssignment/ QuadraticAssignment-sko81_c18.xml	SAT (TO)	49154	2520.11	2473.85	4308521
Knapsack/ Knapsack-70-300-00_c18.xml	SAT (TO)	1425	2520.11	2472.41	4308382
GraphColoring/ GraphColoring-4-fullins-5_c18.xml	SAT (TO)	3861	2520.11	2017.98	4308391
PeacableArmies/ PeacableArmies-m2-20_c18.xml	SAT (TO)	22	2520.12	2474.04	4308423
LowAutocorrelation/ LowAutocorrelation-050_c18.xml	SAT (TO)	289	2520.12	2471.22	4308623
PizzaVoucher/ PizzaVoucher-10a_c18.xml	SAT (TO)	210	2520.12	2463.52	4308481
GolombRuler/ GolombRuler-a3v18-13_c18.xml	SAT (TO)	129	2520.12	2487.32	4308458
Fapp/Fapp-m2s/ Fapp-m2s-03-0300_c18.xml	SAT (TO)	474810662	2520.12	2323.76	4308699
GolombRuler/ GolombRuler-a3v18-14_c18.xml	SAT (TO)	145	2520.12	2474.92	4308459
QuadraticAssignment/ QuadraticAssignment-esc16a_c18.xml	SAT (TO)	34	2520.12	2470.13	4308505
Auction/Auction-cnt/ Auction-cnt-decay500_c18.xml	SAT (TO)	3017966	2520.12	2450.05	4308682
PseudoBoolean-opt/ Pb-radar-10-10-45-050-100_c18.xml	SAT (TO)	5	2520.12	2453.92	4308500
Fapp/Fapp-m2s/ Fapp-m2s-18-0350_c18.xml	SAT (TO)	231183439	2520.12	2294.37	4308701
TravellingSalesman/ TravellingSalesman-40-30-00_c18.xml	SAT (TO)	170	2520.12	2469.31	4308448
Auction/Auction-sum/ Auction-sum-decay200_c18.xml	SAT (TO)	1433796	2520.12	2453.93	4308687
TravellingSalesman/ TravellingSalesman-20-30-00_c18.xml	SAT (TO)	104	2520.12	2459.51	4308444
NurseRostering/ NurseRostering-05_c18.xml	SAT (TO)	2061	2520.12	2453.82	4308528
Auction/Auction-cnt/ Auction-cnt-decay400_c18.xml	SAT (TO)	2494709	2520.12	2449.55	4308680
Bacp/Bacp-m2/ Bacp-m2-08a_c18.xml	SAT (TO)	17	2520.12	2463.71	4308646
TravelingTournament/ TravelingTournament-a3-galaxy14_c18.xml	SAT (TO)	16349	2520.12	2475.32	4308438
QuadraticAssignment/ QuadraticAssignment-sko90_c18.xml	SAT (TO)	62971	2520.12	2477.35	4308522
PseudoBoolean-opt/ Pb-radar-30-30-45-050-100_c18.xml	SAT (TO)	95	2520.12	2473.75	4308502
Bacp/Bacp-m2/ Bacp-m2-12a-nodv_c18.xml	SAT (TO)	17	2520.12	2461.12	4308642
Mario/ Mario-n-medium-3_c18.xml	SAT (TO)	943	2520.12	2468.61	4308604
Knapsack/ Knapsack-80-350-01_c18.xml	SAT (TO)	1668	2520.12	2477.03	4308385
Knapsack/ Knapsack-60-250-01_c18.xml	SAT (TO)	1323	2520.12	2475.71	4308381
Bacp/Bacp-m2/ Bacp-m2-10a-nodv_c18.xml	SAT (TO)	14	2520.12	2502.82	4308641
Bacp/Bacp-m2/ Bacp-m2-06_c18.xml	SAT (TO)	10	2520.12	2464.32	4308636
GraphColoring/ GraphColoring-5-fullins-4_c18.xml	SAT (TO)	8	2520.13	2453.44	4308393
Fapp/Fapp-m2s/ Fapp-m2s-17-0300_c18.xml	SAT (TO)	379665800	2520.13	2346.57	4308709
CrosswordDesign/ CrosswordDesign-05-4-rom_c18.xml	SAT (TO)	38	2520.13	2509.62	4308401
Auction/Auction-sum/ Auction-sum-matching040_c18.xml	SAT (TO)	12918598	2520.13	2451.54	4308690
Fapp/Fapp-m2s/ Fapp-m2s-06-0500_c18.xml	SAT (TO)	1064813911	2520.13	2023.09	4308708
SumColoring/ SumColoring-dsjc-250-5_c18.xml	SAT (TO)	3754	2520.13	2471.43	4308593
Tal/ Tal-04_c18.xml	SAT (TO)	146	2520.13	2451.52	4308564
LowAutocorrelation/ LowAutocorrelation-040_c18.xml	SAT (TO)	200	2520.13	2463.72	4308622
QuadraticAssignment/ QuadraticAssignment-sko42_c18.xml	SAT (TO)	8186	2520.13	2458.32	4308516
PeacableArmies/ PeacableArmies-m2-50_c18.xml	SAT (TO)	35	2520.14	2476.05	4308425
PeacableArmies/ PeacableArmies-m1-30_c18.xml	SAT (TO)	96	2520.14	2468.44	4308417
GraphColoring/ GraphColoring-qg-order30_c18.xml	SAT (TO)	29	2520.14	2471.15	4308395
Fapp/Fapp-m2s/ Fapp-m2s-test02-0250_c18.xml	SAT (TO)	142736257	2520.15	2402.08	4308710
Fapp/Fapp-m2s/ Fapp-m2s-16-0260_c18.xml	SAT (TO)	388718691	2520.16	2398.46	4308696
Rlfap/Rlfap-opt/ Rlfap-scen-09-opt_c18.xml	SAT (TO)	250507	2520.16	2454.25	4308650
SumColoring/ SumColoring-dsjc-125-1_c18.xml	SAT (TO)	242	2520.17	2453.04	4308589
Fapp/Fapp-m2s/ Fapp-m2s-01-0200_c18.xml	SAT (TO)	99057185	2520.17	2456.07	4308694
Auction/Auction-sum/ Auction-sum-decay300_c18.xml	SAT (TO)	1955977	2520.18	2448.17	4308686
PeacableArmies/ PeacableArmies-m1-50_c18.xml	SAT (TO)	184	2520.37	2452.89	4308418
Tal/ Tal-07_c18.xml	SAT (TO)	134	2520.43	2447.59	4308567
Rlfap/Rlfap-opt/ Rlfap-scen-07-opt_c18.xml	SAT (TO)	90810905	2520.71	2275.13	4308664
Fapp/Fapp-m2s/ Fapp-m2s-02-0250_c18.xml	SAT (TO)	226876343	2520.96	2379.07	4308695
Fapp/Fapp-m2s/ Fapp-m2s-07-0600_c18.xml	SAT (TO)	2041539264	2527.21	1194.69	4308707

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CrosswordDesign/ CrosswordDesign-08-4-rom_c18.xml	?	62.6924	21.5132	4308404
CrosswordDesign/ CrosswordDesign-09-4-rom_c18.xml	?	68.914	24.0252	4308405
CrosswordDesign/ CrosswordDesign-10-4-rom_c18.xml	?	69.1477	24.931	4308406
CrosswordDesign/ CrosswordDesign-13-4-rom_c18.xml	?	71.4654	27.4834	4308409
CrosswordDesign/ CrosswordDesign-11-4-rom_c18.xml	?	72.2679	26.4684	4308407
CrosswordDesign/ CrosswordDesign-07-4-rom_c18.xml	?	72.7087	24.6653	4308403
CrosswordDesign/ CrosswordDesign-14-4-rom_c18.xml	?	73.8206	28.9424	4308410
CrosswordDesign/ CrosswordDesign-12-4-rom_c18.xml	?	75.0722	28.7483	4308408
CrosswordDesign/ CrosswordDesign-15-4-rom_c18.xml	?	76.2117	30.5163	4308411
GraphColoring/ GraphColoring-qg-order100_c18.xml	?	677.957	208.812	4308394

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
TemplateDesign/ TemplateDesign-m1-magazine_c18.xml	? (TO)	2520.03	2499.12	4308575
SteelMillSlab/ SteelMillSlab-m2s-3-2_c18.xml	? (TO)	2520.03	2506.92	4308558
PizzaVoucher/ PizzaVoucher-15a_c18.xml	? (TO)	2520.03	2478.32	4308485
SteelMillSlab/ SteelMillSlab-m2s-2-0_c18.xml	? (TO)	2520.03	2504.42	4308555
PizzaVoucher/ PizzaVoucher-12b_c18.xml	? (TO)	2520.04	2477.61	4308484
PseudoBoolean-opt/ Pb-circ8-3_c18.xml	? (TO)	2520.04	2483.92	4308494
NurseRostering/ NurseRostering-13_c18.xml	? (TO)	2520.04	2493.91	4308536
SteelMillSlab/ SteelMillSlab-m2-3-2_c18.xml	? (TO)	2520.04	2495.32	4308553
SteelMillSlab/ SteelMillSlab-m1-4-0_c18.xml	? (TO)	2520.04	2513.71	4308548
Rlfap/Rlfap-opt/ Rlfap-scen-03-opt_c18.xml	? (TO)	2520.04	2513.81	4308659
PizzaVoucher/ PizzaVoucher-18a_c18.xml	? (TO)	2520.04	2477.92	4308487
Rlfap/Rlfap-opt/ Rlfap-graph-04-opt_c18.xml	? (TO)	2520.04	2501.03	4308658
TemplateDesign/ TemplateDesign-m2-herbs_c18.xml	? (TO)	2520.05	2510.52	4308584
Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml	? (TO)	2520.05	2514.41	4308652
NurseRostering/ NurseRostering-10_c18.xml	? (TO)	2520.05	2499.03	4308533
Fapp/Fapp-m2s/ Fapp-m2s-20-0420_c18.xml	? (TO)	2520.05	2472.63	4308706
Tal/ Tal-10_c18.xml	? (TO)	2520.05	2504.41	4308570
NurseRostering/ NurseRostering-12_c18.xml	? (TO)	2520.05	2503.82	4308535
SteelMillSlab/ SteelMillSlab-m2-2-2_c18.xml	? (TO)	2520.06	2508.04	4308551
PizzaVoucher/ PizzaVoucher-22a_c18.xml	? (TO)	2520.06	2478.22	4308489
TemplateDesign/ TemplateDesign-m1-herbs_c18.xml	? (TO)	2520.06	2509.81	4308574
PizzaVoucher/ PizzaVoucher-12a_c18.xml	? (TO)	2520.06	2478.82	4308483
SteelMillSlab/ SteelMillSlab-m1-2-2_c18.xml	? (TO)	2520.06	2514.31	4308545
PseudoBoolean-opt/ Pb-circ10-3_c18.xml	? (TO)	2520.06	2498.53	4308491
Rlfap/Rlfap-opt/ Rlfap-scen-11-opt_c18.xml	? (TO)	2520.07	2514.51	4308668
NurseRostering/ NurseRostering-15_c18.xml	? (TO)	2520.07	2501.42	4308538
PizzaVoucher/ PizzaVoucher-18b_c18.xml	? (TO)	2520.07	2478.61	4308488
Bacp/Bacp-m1/ Bacp-m1-12a_c18.xml	? (TO)	2520.07	2504.21	4308634
SteelMillSlab/ SteelMillSlab-m2-4-0_c18.xml	? (TO)	2520.07	2508.23	4308554
NurseRostering/ NurseRostering-11_c18.xml	? (TO)	2520.08	2498.03	4308534
Bacp/Bacp-m2/ Bacp-m2-12a_c18.xml	? (TO)	2520.08	2498.12	4308644
NurseRostering/ NurseRostering-09_c18.xml	? (TO)	2520.08	2497.13	4308532
NurseRostering/ NurseRostering-07_c18.xml	? (TO)	2520.09	2494.71	4308530
Fapp/Fapp-m2s/ Fapp-m2s-05-0350_c18.xml	? (TO)	2520.09	2483.62	4308703
SteelMillSlab/ SteelMillSlab-m2s-3-0_c18.xml	? (TO)	2520.09	2506.04	4308557
NurseRostering/ NurseRostering-14_c18.xml	? (TO)	2520.09	2496.13	4308537
SteelMillSlab/ SteelMillSlab-m2s-4-0_c18.xml	? (TO)	2520.09	2505.73	4308559
SteelMillSlab/ SteelMillSlab-m1-3-2_c18.xml	? (TO)	2520.1	2512.71	4308547
PizzaVoucher/ PizzaVoucher-22b_c18.xml	? (TO)	2520.1	2478.51	4308490
SteelMillSlab/ SteelMillSlab-m1-3-0_c18.xml	? (TO)	2520.1	2513.21	4308546
TemplateDesign/ TemplateDesign-m2-magazine_c18.xml	? (TO)	2520.1	2503.21	4308585
SteelMillSlab/ SteelMillSlab-m2s-2-2_c18.xml	? (TO)	2520.1	2507.13	4308556
Fapp/Fapp-m2s/ Fapp-m2s-08-0700_c18.xml	? (TO)	2520.1	2479.23	4308698
NurseRostering/ NurseRostering-06_c18.xml	? (TO)	2520.1	2498.12	4308529
Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml	? (TO)	2520.11	2501.02	4308648
NurseRostering/ NurseRostering-18_c18.xml	? (TO)	2520.11	2496.92	4308541
Fapp/Fapp-m2s/ Fapp-m2s-test03-0400_c18.xml	? (TO)	2520.11	2486.63	4308704
NurseRostering/ NurseRostering-20_c18.xml	? (TO)	2520.11	2493.53	4308543
NurseRostering/ NurseRostering-08_c18.xml	? (TO)	2520.11	2501.03	4308531
NurseRostering/ NurseRostering-16_c18.xml	? (TO)	2520.11	2494.22	4308539
SteelMillSlab/ SteelMillSlab-m2-2-0_c18.xml	? (TO)	2520.11	2507.53	4308550
NurseRostering/ NurseRostering-19_c18.xml	? (TO)	2520.12	2488.62	4308542
SteelMillSlab/ SteelMillSlab-m1-2-0_c18.xml	? (TO)	2520.12	2513.12	4308544
NurseRostering/ NurseRostering-17_c18.xml	? (TO)	2520.12	2499.12	4308540
SteelMillSlab/ SteelMillSlab-m2-3-0_c18.xml	? (TO)	2520.12	2507.42	4308552
Rlfap/Rlfap-opt/ Rlfap-graph-13-opt_c18.xml	? (TO)	2520.12	2503.92	4308670
PizzaVoucher/ PizzaVoucher-15b_c18.xml	? (TO)	2520.14	2479.03	4308486
GraphColoring/ GraphColoring-qg-order60_c18.xml	? (TO)	2527.14	754.865	4308397
PseudoBoolean-opt/ Pb-radar-30-70-45-050-100_c18.xml	? (TO)	2528.15	958.469	4308503
PseudoBoolean-opt/ Pb-garden-100x100_c18.xml	? (TO)	2528.29	1121.99	4308495

2018 XCSP3 competition: sequential solvers tracks: benchmarks results per solver

Result page for solver OscaR - Hybrid 2018-08-14 (complete)

Category "optimization problem" (COP)

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

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

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

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