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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Haystacks/ Haystacks-ext-04_c18.xml	UNSAT	1.55555	1.03597	4290909
Langford/ LangfordBin-06_c18.xml	UNSAT	1.65364	1.09488	4290759
ColouredQueens/ ColouredQueens-06_c18.xml	UNSAT	1.87763	1.15963	4290748
StripPacking/ StripPacking-1a_c18.xml	UNSAT	1.96786	1.23025	4290847
Haystacks/ Haystacks-ext-05_c18.xml	UNSAT	2.51184	1.36261	4290910
Quasigroups/ QuasiGroup-7-07_c18.xml	UNSAT	2.862	1.52629	4290827
Langford/ LangfordBin-09_c18.xml	UNSAT	3.12892	1.58096	4290762
Quasigroups/ QuasiGroup-4-07_c18.xml	UNSAT	3.88308	1.98339	4290819
Langford/ LangfordBin-10_c18.xml	UNSAT	4.63868	2.81042	4290763
MagicHexagon/ MagicHexagon-04-0017_c18.xml	UNSAT	5.19498	3.57106	4290783
Dubois/ Dubois-018_c18.xml	UNSAT	6.01538	5.32711	4290770
Subisomorphism/ Subisomorphism-g34-g36_c18.xml	UNSAT	8.70645	6.14786	4290879
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f11_c18.xml	UNSAT	11.0444	5.52228	4291795
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f12_c18.xml	UNSAT	11.4398	5.61016	4291845
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f10_c18.xml	UNSAT	11.5116	5.5253	4291820
Dubois/ Dubois-020_c18.xml	UNSAT	16.7862	15.709	4290771
Quasigroups/ QuasiGroup-7-08_c18.xml	UNSAT	24.0059	22.213	4290828
Dubois/ Dubois-021_c18.xml	UNSAT	33.6473	32.2726	4290772
SocialGolfers/ SocialGolfers-4-4-7-cp_c18.xml	UNSAT	35.721	29.9748	4290838
Dubois/ Dubois-022_c18.xml	UNSAT	64.5261	63.0283	4290773
Quasigroups/ QuasiGroup-4-08_c18.xml	UNSAT	102.589	100.164	4290820
PseudoBoolean-dec/ Pb-chnl10-11_c18.xml	UNSAT	117.824	116.125	4290919
Dubois/ Dubois-023_c18.xml	UNSAT	135.312	132.948	4290774
SocialGolfers/ SocialGolfers-4-4-6-cp_c18.xml	UNSAT	181.258	173.971	4290837
Dubois/ Dubois-024_c18.xml	UNSAT	268.842	265.514	4290775
Haystacks/ Haystacks-ext-06_c18.xml	UNSAT	460.911	456.085	4290911
Dubois/ Dubois-025_c18.xml	UNSAT	542.898	536.055	4290776
Langford/ LangfordBin-13_c18.xml	UNSAT	699.677	696.286	4290766
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f07_c18.xml	UNSAT	789.479	777.37	4291815
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f09_c18.xml	UNSAT	1219.27	1203.57	4291810

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
ColouredQueens/ ColouredQueens-05_c18.xml	SAT	1.56624	1.19829	4290747
ColouredQueens/ ColouredQueens-07_c18.xml	SAT	1.67901	1.07772	4290749
Langford/ LangfordBin-07_c18.xml	SAT	1.68175	1.12587	4290760
Langford/ LangfordBin-08_c18.xml	SAT	1.69389	1.12426	4290761
CarSequencing/ CarSequencing-dingbas_c18.xml	SAT	1.71238	1.11539	4290746
Langford/ LangfordBin-12_c18.xml	SAT	1.72167	1.12345	4290765
Langford/ LangfordBin-11_c18.xml	SAT	1.72479	1.12656	4290764
Bibd/ Bibd-sum-07-03-01_c18.xml	SAT	1.75901	1.1496	4290724
GracefulGraph/ GracefulGraph-K03-P03_c18.xml	SAT	1.77645	1.14196	4290809
GracefulGraph/ GracefulGraph-K04-P02_c18.xml	SAT	1.85956	1.17361	4290810
Langford/ LangfordBin-15_c18.xml	SAT	1.91872	1.19699	4290768
Langford/ LangfordBin-16_c18.xml	SAT	1.99484	1.2749	4290769
SportsScheduling/ SportsScheduling-08_c18.xml	SAT	2.07781	1.27239	4290859
Eternity/ Eternity-04-04_c18.xml	SAT	2.08125	1.24769	4290793
GracefulGraph/ GracefulGraph-K02-P09_c18.xml	SAT	2.24013	1.30506	4290808
MisteryShopper/ MisteryShopper-04_c18.xml	SAT	2.24334	1.26412	4290932
SportsScheduling/ SportsScheduling-10_c18.xml	SAT	2.31932	1.3354	4290860
Eternity/ Eternity-05-05_c18.xml	SAT	2.49076	1.39023	4290794
Bibd/ Bibd-sc-07-03-01_c18.xml	SAT	2.60226	1.4109	4290718
PseudoBoolean-dec/ Pb-robin08_c18.xml	SAT	2.85815	1.42685	4290926
Crossword/ Crossword-m18-ogd2008-vg-04-05_c18.xml	SAT	2.93197	1.36646	4290896
SocialGolfers/ SocialGolfers-4-4-4-cp_c18.xml	SAT	3.04588	1.54608	4290835
Crossword/ Crossword-m18-ogd2008-vg-05-06_c18.xml	SAT	3.27464	1.64343	4290897
MisteryShopper/ MisteryShopper-06b_c18.xml	SAT	3.72559	2.08841	4290934
MisteryShopper/ MisteryShopper-10a_c18.xml	SAT	3.79842	1.73144	4290937
MisteryShopper/ MisteryShopper-06a_c18.xml	SAT	4.23816	1.90744	4290933
SocialGolfers/ SocialGolfers-4-4-5-cp_c18.xml	SAT	4.39327	1.84485	4290836
Eternity/ Eternity-10-04_c18.xml	SAT	4.73356	2.53147	4290799
SocialGolfers/ SocialGolfers-5-5-5-cp_c18.xml	SAT	4.94825	2.07473	4290839
Crossword/ Crossword-m18-ogd2008-vg-06-07_c18.xml	SAT	5.13626	2.52599	4290898
SportsScheduling/ SportsScheduling-12_c18.xml	SAT	5.90117	3.61665	4290861
Quasigroups/ QuasiGroup-7-09_c18.xml	SAT	7.08773	5.70934	4290829
Subisomorphism/ Subisomorphism-g08-g43_c18.xml	SAT	7.34148	5.32063	4290869
SocialGolfers/ SocialGolfers-5-5-6-cp_c18.xml	SAT	7.64	2.96989	4290840
Eternity/ Eternity-06-06_c18.xml	SAT	7.64846	5.4811	4290795
Frb/ frb-30-15-1_c18.xml	SAT	9.44174	7.13471	4290880
GracefulGraph/ GracefulGraph-K04-P03_c18.xml	SAT	9.69351	6.6298	4290811
Frb/ frb-40-19-1-mgd_c18.xml	SAT	12.2677	9.58245	4290882
PseudoBoolean-dec/ Pb-robin10_c18.xml	SAT	12.3105	9.59746	4290927
MisteryShopper/ MisteryShopper-06d_c18.xml	SAT	13.3433	8.45335	4290936
Quasigroups/ QuasiGroup-4-09_c18.xml	SAT	13.5696	11.3075	4290821
GracefulGraph/ GracefulGraph-K05-P02_c18.xml	SAT	22.5393	19.6534	4290813
MagicHexagon/ MagicHexagon-04-m004_c18.xml	SAT	35.5909	33.5501	4290784
PseudoBoolean-dec/ Pb-robin12_c18.xml	SAT	52.3109	49.3231	4290928
Frb/ frb-35-17-1_c18.xml	SAT	68.7887	66.2959	4290881
MisteryShopper/ MisteryShopper-06c_c18.xml	SAT	240.344	234.063	4290935
SportsScheduling/ SportsScheduling-16_c18.xml	SAT	321.729	318.035	4290863
Eternity/ Eternity-10-05_c18.xml	SAT	325.049	321.38	4290800
GracefulGraph/ GracefulGraph-K04-P04_c18.xml	SAT	1163.63	1156.43	4290812
SportsScheduling/ SportsScheduling-14_c18.xml	SAT	1224.02	1217.74	4290862
MagicHexagon/ MagicHexagon-04-0003_c18.xml	SAT	2192.13	2184.95	4290782

Benchmark Name	Answer	objective function	CPU time	Wall clock time	TraceID
Crossword/ Crossword-m18-ogd2008-vg-07-08_c18.xml	?		2399.69	2395.37	4290899

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CarSequencing/ CarSequencing-85-02_c18.xml	? (TO)	2400.02	2385.31	4290743
Dubois/ Dubois-050_c18.xml	? (TO)	2400.02	2372.12	4290779
StripPacking/ StripPacking-T1c_c18.xml	? (TO)	2400.02	2360.71	4290857
SportsScheduling/ SportsScheduling-20_c18.xml	? (TO)	2400.02	2388.02	4290865
Eternity/ Eternity-15-15_c18.xml	? (TO)	2400.02	2392.62	4290807
CarSequencing/ CarSequencing-04-72_c18.xml	? (TO)	2400.02	2387.51	4290730
PseudoBoolean-dec/ Pb-chnl50-51_c18.xml	? (TO)	2400.02	2394.31	4290923
CarSequencing/ CarSequencing-90-01_c18.xml	? (TO)	2400.02	2386.41	4290744
StripPacking/ StripPacking-C1P3_c18.xml	? (TO)	2400.02	2363.91	4290851
Eternity/ Eternity-08-08_c18.xml	? (TO)	2400.02	2388.91	4290797
Haystacks/ Haystacks-ext-09_c18.xml	? (TO)	2400.02	2377.91	4290914
ColouredQueens/ ColouredQueens-16_c18.xml	? (TO)	2400.03	2389.92	4290758
CarSequencing/ CarSequencing-75-02_c18.xml	? (TO)	2400.03	2385.41	4290739
CarSequencing/ CarSequencing-75-01_c18.xml	? (TO)	2400.03	2383.12	4290738
Frb/ frb-53-24-3-mgd_c18.xml	? (TO)	2400.03	2386.91	4290889
Quasigroups/ QuasiGroup-4-20_c18.xml	? (TO)	2400.03	2394.12	4290826
Subisomorphism/ Subisomorphism-g29-g50_c18.xml	? (TO)	2400.03	2377.81	4290878
GracefulGraph/ GracefulGraph-K07-P03_c18.xml	? (TO)	2400.03	2391.61	4290818
StripPacking/ StripPacking-T1d_c18.xml	? (TO)	2400.03	2355.61	4290858
MagicHexagon/ MagicHexagon-05-0006_c18.xml	? (TO)	2400.03	2388.91	4290785
Eternity/ Eternity-10-06_c18.xml	? (TO)	2400.03	2388.21	4290801
Frb/ frb-56-25-3-mgd_c18.xml	? (TO)	2400.03	2386.02	4290892
Bibd/ Bibd-sc-10-03-08_c18.xml	? (TO)	2400.03	2361.02	4290720
Bibd/ Bibd-sc-12-06-05_c18.xml	? (TO)	2400.03	2362.12	4290721
PseudoBoolean-dec/ Pb-fpga25-25-sat_c18.xml	? (TO)	2400.03	2392.42	4290924
Langford/ LangfordBin-14_c18.xml	? (TO)	2400.04	2390.81	4290767
CarSequencing/ CarSequencing-60-02_c18.xml	? (TO)	2400.04	2375.51	4290733
Dubois/ Dubois-040_c18.xml	? (TO)	2400.04	2370.52	4290778
Bibd/ Bibd-sc-09-03-09_c18.xml	? (TO)	2400.04	2359.42	4290719
Dubois/ Dubois-030_c18.xml	? (TO)	2400.04	2369.71	4290777
CarSequencing/ CarSequencing-80-01_c18.xml	? (TO)	2400.04	2384.02	4290740
ColouredQueens/ ColouredQueens-10_c18.xml	? (TO)	2400.04	2390.21	4290752
PseudoBoolean-dec/ Pb-robin18_c18.xml	? (TO)	2400.04	2393.62	4290931
ColouredQueens/ ColouredQueens-09_c18.xml	? (TO)	2400.04	2388.51	4290751
ColouredQueens/ ColouredQueens-08_c18.xml	? (TO)	2400.04	2389.61	4290750
ColouredQueens/ ColouredQueens-14_c18.xml	? (TO)	2400.04	2390.31	4290756
PseudoBoolean-dec/ Pb-fpga45-45-sat_c18.xml	? (TO)	2400.04	2387.31	4290925
Bibd/ Bibd-sum-34-085-30-12-10_c18.xml	? (TO)	2400.04	2353.52	4290729
Haystacks/ Haystacks-ext-07_c18.xml	? (TO)	2400.05	2377.71	4290912
Eternity/ Eternity-09-09_c18.xml	? (TO)	2400.05	2389.91	4290798
StripPacking/ StripPacking-T1a_c18.xml	? (TO)	2400.05	2353.02	4290856
Quasigroups/ QuasiGroup-4-12_c18.xml	? (TO)	2400.05	2394.02	4290823
Frb/ frb-50-23-3-mgd_c18.xml	? (TO)	2400.05	2386.81	4290886
Dubois/ Dubois-100_c18.xml	? (TO)	2400.05	2372.41	4290781
Subisomorphism/ Subisomorphism-g17-g37_c18.xml	? (TO)	2400.05	2393.61	4290874
Crossword/ Crossword-m18-ogd2008-vg-10-11_c18.xml	? (TO)	2400.05	2394.03	4290902
Eternity/ Eternity-11-11_c18.xml	? (TO)	2400.05	2390.51	4290803
Haystacks/ Haystacks-ext-11_c18.xml	? (TO)	2400.05	2379.91	4290916
SportsScheduling/ SportsScheduling-18_c18.xml	? (TO)	2400.05	2389.61	4290864
ColouredQueens/ ColouredQueens-15_c18.xml	? (TO)	2400.05	2391.02	4290757
CarSequencing/ CarSequencing-65-02_c18.xml	? (TO)	2400.05	2377.21	4290735
Frb/ frb-59-26-3-mgd_c18.xml	? (TO)	2400.05	2385.31	4290895
SportsScheduling/ SportsScheduling-26_c18.xml	? (TO)	2400.05	2386.61	4290868
Eternity/ Eternity-10-10_c18.xml	? (TO)	2400.05	2390.51	4290802
Eternity/ Eternity-13-13_c18.xml	? (TO)	2400.05	2390.41	4290805
ColouredQueens/ ColouredQueens-12_c18.xml	? (TO)	2400.05	2389.21	4290754
PseudoBoolean-dec/ Pb-robin14_c18.xml	? (TO)	2400.05	2393.71	4290929
Frb/ frb-53-24-1-mgd_c18.xml	? (TO)	2400.06	2385.52	4290887
Subisomorphism/ Subisomorphism-g11-g44_c18.xml	? (TO)	2400.06	2392.21	4290873
MagicHexagon/ MagicHexagon-07-0002_c18.xml	? (TO)	2400.06	2391.71	4290789
Subisomorphism/ Subisomorphism-g17-g42_c18.xml	? (TO)	2400.06	2392.31	4290875
Crossword/ Crossword-m18-ogd2008-vg-15-16_c18.xml	? (TO)	2400.06	2394.73	4290907
Quasigroups/ QuasiGroup-7-14_c18.xml	? (TO)	2400.06	2391.71	4290832
Subisomorphism/ Subisomorphism-g19-g43_c18.xml	? (TO)	2400.06	2389.61	4290876
Subisomorphism/ Subisomorphism-g10-g23_c18.xml	? (TO)	2400.06	2390.81	4290870
ColouredQueens/ ColouredQueens-13_c18.xml	? (TO)	2400.06	2390.41	4290755
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f06_c18.xml	? (TO)	2400.06	2371.02	4291835
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f02_c18.xml	? (TO)	2400.06	2371.02	4291800
StripPacking/ StripPacking-N1a_c18.xml	? (TO)	2400.07	2356.21	4290853
MagicHexagon/ MagicHexagon-06-0010_c18.xml	? (TO)	2400.07	2391.51	4290787
Haystacks/ Haystacks-ext-12_c18.xml	? (TO)	2400.07	2379.31	4290917
CarSequencing/ CarSequencing-90-02_c18.xml	? (TO)	2400.07	2385.02	4290745
Frb/ frb-59-26-1-mgd_c18.xml	? (TO)	2400.07	2386.21	4290893
Haystacks/ Haystacks-ext-13_c18.xml	? (TO)	2400.07	2380.41	4290918
Bibd/ Bibd-sum-22-033-12-08-04_c18.xml	? (TO)	2400.07	2353.02	4290728
Quasigroups/ QuasiGroup-4-10_c18.xml	? (TO)	2400.07	2394.02	4290822
MisteryShopper/ MisteryShopper-10d_c18.xml	? (TO)	2400.07	2376.51	4290940
SocialGolfers/ SocialGolfers-6-6-7-cp_c18.xml	? (TO)	2400.07	2353.31	4290844
Quasigroups/ QuasiGroup-7-16_c18.xml	? (TO)	2400.07	2391.51	4290833
Eternity/ Eternity-14-14_c18.xml	? (TO)	2400.07	2391.31	4290806
Subisomorphism/ Subisomorphism-g19-g45_c18.xml	? (TO)	2400.07	2392.12	4290877
GracefulGraph/ GracefulGraph-K06-P02_c18.xml	? (TO)	2400.07	2390.02	4290815
Frb/ frb-56-25-1-mgd_c18.xml	? (TO)	2400.07	2386.51	4290890
CarSequencing/ CarSequencing-70-02_c18.xml	? (TO)	2400.08	2384.61	4290737
StripPacking/ StripPacking-C1P1_c18.xml	? (TO)	2400.08	2365.72	4290849
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f08_c18.xml	? (TO)	2400.08	2369.71	4291850
MagicHexagon/ MagicHexagon-06-m001_c18.xml	? (TO)	2400.08	2393.02	4290788
MagicHexagon/ MagicHexagon-07-m011_c18.xml	? (TO)	2400.08	2391.51	4290790
Frb/ frb-50-23-1-mgd_c18.xml	? (TO)	2400.08	2385.41	4290884
CarSequencing/ CarSequencing-65-01_c18.xml	? (TO)	2400.08	2386.22	4290734
Bibd/ Bibd-sum-09-03-09_c18.xml	? (TO)	2400.08	2364.61	4290725
Crossword/ Crossword-m18-ogd2008-vg-16-17_c18.xml	? (TO)	2400.08	2395.32	4290908
Bibd/ Bibd-sum-12-06-05_c18.xml	? (TO)	2400.08	2356.61	4290727
Crossword/ Crossword-m18-ogd2008-vg-09-10_c18.xml	? (TO)	2400.08	2394.72	4290901
MagicHexagon/ MagicHexagon-05-m003_c18.xml	? (TO)	2400.08	2392.21	4290786
SocialGolfers/ SocialGolfers-5-5-7-cp_c18.xml	? (TO)	2400.08	2353.12	4290841
CarSequencing/ CarSequencing-70-01_c18.xml	? (TO)	2400.08	2384.71	4290736
Subisomorphism/ Subisomorphism-g10-g27_c18.xml	? (TO)	2400.08	2389.21	4290871
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f01_c18.xml	? (TO)	2400.08	2374.62	4291825
Frb/ frb-59-26-2-mgd_c18.xml	? (TO)	2400.08	2385.41	4290894
Quasigroups/ QuasiGroup-7-12_c18.xml	? (TO)	2400.08	2392.41	4290831
Haystacks/ Haystacks-ext-08_c18.xml	? (TO)	2400.09	2379.81	4290913
PseudoBoolean-dec/ Pb-chnl20-21_c18.xml	? (TO)	2400.09	2392.71	4290921
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f03_c18.xml	? (TO)	2400.09	2367.62	4291805
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f04_c18.xml	? (TO)	2400.09	2375.13	4291830
MisteryShopper/ MisteryShopper-10c_c18.xml	? (TO)	2400.09	2380.12	4290939
SportsScheduling/ SportsScheduling-22_c18.xml	? (TO)	2400.09	2388.01	4290866
Frb/ frb-53-24-2-mgd_c18.xml	? (TO)	2400.09	2386.62	4290888
Frb/ frb-45-21-1_c18.xml	? (TO)	2400.09	2385.11	4290883
Eternity/ Eternity-07-07_c18.xml	? (TO)	2400.09	2388.71	4290796
ColouredQueens/ ColouredQueens-11_c18.xml	? (TO)	2400.09	2388.91	4290753
MagicHexagon/ MagicHexagon-08-0006_c18.xml	? (TO)	2400.09	2394.01	4290791
SportsScheduling/ SportsScheduling-24_c18.xml	? (TO)	2400.09	2384.02	4290867
Quasigroups/ QuasiGroup-4-14_c18.xml	? (TO)	2400.09	2394.51	4290824
SocialGolfers/ SocialGolfers-5-5-8-cp_c18.xml	? (TO)	2400.09	2352.51	4290842
CarSequencing/ CarSequencing-06-76_c18.xml	? (TO)	2400.09	2380.52	4290731
CarSequencing/ CarSequencing-80-02_c18.xml	? (TO)	2400.09	2383.32	4290741
Quasigroups/ QuasiGroup-7-10_c18.xml	? (TO)	2400.09	2391.51	4290830
Crossword/ Crossword-m18-ogd2008-vg-08-09_c18.xml	? (TO)	2400.09	2395.22	4290900
Frb/ frb-50-23-2-mgd_c18.xml	? (TO)	2400.1	2386.02	4290885
StripPacking/ StripPacking-C2P1_c18.xml	? (TO)	2400.1	2361.31	4290852
StripPacking/ StripPacking-1b_c18.xml	? (TO)	2400.1	2361.81	4290848
GracefulGraph/ GracefulGraph-K05-P03_c18.xml	? (TO)	2400.1	2389.91	4290814
StripPacking/ StripPacking-C1P2_c18.xml	? (TO)	2400.1	2364.31	4290850
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f05_c18.xml	? (TO)	2400.1	2371.21	4291840
Crossword/ Crossword-m18-ogd2008-vg-13-14_c18.xml	? (TO)	2400.1	2394.14	4290905
PseudoBoolean-dec/ Pb-chnl30-31_c18.xml	? (TO)	2400.1	2393.91	4290922
PseudoBoolean-dec/ Pb-robin16_c18.xml	? (TO)	2400.1	2392.81	4290930
MisteryShopper/ MisteryShopper-10b_c18.xml	? (TO)	2400.1	2373.21	4290938
Bibd/ Bibd-sum-10-03-08_c18.xml	? (TO)	2400.1	2365.12	4290726
Quasigroups/ QuasiGroup-7-20_c18.xml	? (TO)	2400.1	2390.91	4290834
Bibd/ Bibd-sc-34-085-30-12-10_c18.xml	? (TO)	2400.1	2354.12	4290723
CarSequencing/ CarSequencing-60-01_c18.xml	? (TO)	2400.11	2383.31	4290732
StripPacking/ StripPacking-N1c_c18.xml	? (TO)	2400.11	2355.51	4290855
PseudoBoolean-dec/ Pb-chnl15-16_c18.xml	? (TO)	2400.11	2391.92	4290920
Quasigroups/ QuasiGroup-4-16_c18.xml	? (TO)	2400.11	2394.71	4290825
CarSequencing/ CarSequencing-85-01_c18.xml	? (TO)	2400.11	2386.71	4290742
Bibd/ Bibd-sc-22-033-12-08-04_c18.xml	? (TO)	2400.11	2361.81	4290722
GracefulGraph/ GracefulGraph-K07-P02_c18.xml	? (TO)	2400.11	2390.92	4290817
StripPacking/ StripPacking-N1b_c18.xml	? (TO)	2400.11	2354.81	4290854
GracefulGraph/ GracefulGraph-K06-P03_c18.xml	? (TO)	2400.11	2390.91	4290816
Dubois/ Dubois-075_c18.xml	? (TO)	2400.11	2371.31	4290780
MisteryShopper/ MisteryShopper-12_c18.xml	? (TO)	2400.12	2380.82	4290941
Crossword/ Crossword-m18-ogd2008-vg-11-12_c18.xml	? (TO)	2400.12	2394.03	4290903
SocialGolfers/ SocialGolfers-6-6-6-cp_c18.xml	? (TO)	2400.12	2354.61	4290843
Haystacks/ Haystacks-ext-10_c18.xml	? (TO)	2400.12	2379.02	4290915
SocialGolfers/ SocialGolfers-6-6-9-cp_c18.xml	? (TO)	2400.12	2352.82	4290846
Eternity/ Eternity-12-12_c18.xml	? (TO)	2400.12	2390.51	4290804
SocialGolfers/ SocialGolfers-6-6-8-cp_c18.xml	? (TO)	2400.12	2350.03	4290845
Frb/ frb-56-25-2-mgd_c18.xml	? (TO)	2400.12	2385.02	4290891
Subisomorphism/ Subisomorphism-g11-g30_c18.xml	? (TO)	2400.12	2393.02	4290872
Crossword/ Crossword-m18-ogd2008-vg-12-13_c18.xml	? (TO)	2400.13	2394.13	4290904
MagicHexagon/ MagicHexagon-08-m009_c18.xml	? (TO)	2400.13	2386.02	4290792
Crossword/ Crossword-m18-ogd2008-vg-14-15_c18.xml	? (TO)	2400.13	2394.83	4290906

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

Result page for solver OscaR - Conflict Ordering 2018-07-02 (complete)

Category "decision problem" (CSP)

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

Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (51 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (1 run) [Show/Hide]

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