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.53308	1.03915	4307730
Langford/ LangfordBin-06_c18.xml	UNSAT	1.57664	1.06689	4307580
ColouredQueens/ ColouredQueens-06_c18.xml	UNSAT	1.8731	2.02582	4307569
StripPacking/ StripPacking-1a_c18.xml	UNSAT	1.96496	1.88246	4307668
Haystacks/ Haystacks-ext-05_c18.xml	UNSAT	2.45835	1.34604	4307731
Langford/ LangfordBin-09_c18.xml	UNSAT	2.68924	1.43192	4307583
Quasigroups/ QuasiGroup-7-07_c18.xml	UNSAT	2.79449	1.8867	4307648
Quasigroups/ QuasiGroup-4-07_c18.xml	UNSAT	3.33492	1.81975	4307640
Langford/ LangfordBin-10_c18.xml	UNSAT	3.88722	3.34516	4307584
MagicHexagon/ MagicHexagon-04-0017_c18.xml	UNSAT	5.66067	4.05538	4307604
Dubois/ Dubois-018_c18.xml	UNSAT	5.88572	4.68175	4307591
Subisomorphism/ Subisomorphism-g34-g36_c18.xml	UNSAT	8.70003	6.14303	4307700
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f12_c18.xml	UNSAT	10.2667	5.21304	4307764
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f11_c18.xml	UNSAT	10.6887	5.23209	4307768
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f10_c18.xml	UNSAT	11.226	5.7796	4307767
Dubois/ Dubois-020_c18.xml	UNSAT	16.7741	15.4943	4307592
Quasigroups/ QuasiGroup-7-08_c18.xml	UNSAT	26.8998	24.6179	4307649
Dubois/ Dubois-021_c18.xml	UNSAT	33.5397	32.4397	4307593
SocialGolfers/ SocialGolfers-4-4-7-cp_c18.xml	UNSAT	36.3103	30.1962	4307659
Dubois/ Dubois-022_c18.xml	UNSAT	63.3973	62.3307	4307594
Quasigroups/ QuasiGroup-4-08_c18.xml	UNSAT	99.887	97.9361	4307641
PseudoBoolean-dec/ Pb-chnl10-11_c18.xml	UNSAT	115.284	113.885	4307740
Dubois/ Dubois-023_c18.xml	UNSAT	130.127	127.87	4307595
SocialGolfers/ SocialGolfers-4-4-6-cp_c18.xml	UNSAT	182.543	175.287	4307658
Dubois/ Dubois-024_c18.xml	UNSAT	274.585	270.823	4307596
Haystacks/ Haystacks-ext-06_c18.xml	UNSAT	453.202	448.6	4307732
Dubois/ Dubois-025_c18.xml	UNSAT	547.971	541.312	4307597
Langford/ LangfordBin-13_c18.xml	UNSAT	674.478	671.243	4307587
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f07_c18.xml	UNSAT	780.23	768.911	4307763
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f09_c18.xml	UNSAT	1124.26	1108.67	4307770

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Langford/ LangfordBin-07_c18.xml	SAT	1.51643	1.00831	4307581
Langford/ LangfordBin-08_c18.xml	SAT	1.54585	1.03464	4307582
Langford/ LangfordBin-12_c18.xml	SAT	1.59098	1.03799	4307586
ColouredQueens/ ColouredQueens-05_c18.xml	SAT	1.59151	2.16605	4307568
Langford/ LangfordBin-11_c18.xml	SAT	1.61562	1.0549	4307585
Bibd/ Bibd-sum-07-03-01_c18.xml	SAT	1.63067	1.06903	4307545
GracefulGraph/ GracefulGraph-K03-P03_c18.xml	SAT	1.6739	1.22652	4307630
CarSequencing/ CarSequencing-dingbas_c18.xml	SAT	1.70754	1.10754	4307567
ColouredQueens/ ColouredQueens-07_c18.xml	SAT	1.71537	1.97697	4307570
Langford/ LangfordBin-15_c18.xml	SAT	1.72923	1.09638	4307589
GracefulGraph/ GracefulGraph-K04-P02_c18.xml	SAT	1.77825	2.59374	4307631
Langford/ LangfordBin-16_c18.xml	SAT	1.79895	1.10977	4307590
Eternity/ Eternity-04-04_c18.xml	SAT	1.92664	1.17236	4307614
SportsScheduling/ SportsScheduling-08_c18.xml	SAT	2.01873	1.2516	4307680
GracefulGraph/ GracefulGraph-K02-P09_c18.xml	SAT	2.13889	1.30211	4307629
Bibd/ Bibd-sc-07-03-01_c18.xml	SAT	2.15301	1.26423	4307539
MisteryShopper/ MisteryShopper-04_c18.xml	SAT	2.17951	1.26655	4307753
SportsScheduling/ SportsScheduling-10_c18.xml	SAT	2.23755	1.29443	4307681
Eternity/ Eternity-05-05_c18.xml	SAT	2.37679	1.31897	4307615
PseudoBoolean-dec/ Pb-robin08_c18.xml	SAT	2.87213	1.47591	4307747
SocialGolfers/ SocialGolfers-4-4-4-cp_c18.xml	SAT	2.8836	1.45993	4307656
Crossword/ Crossword-m18-ogd2008-vg-04-05_c18.xml	SAT	2.93182	1.3683	4307717
Crossword/ Crossword-m18-ogd2008-vg-05-06_c18.xml	SAT	3.26107	1.62533	4307718
MisteryShopper/ MisteryShopper-06b_c18.xml	SAT	3.70392	1.86106	4307755
MisteryShopper/ MisteryShopper-10a_c18.xml	SAT	3.80477	1.72666	4307758
SocialGolfers/ SocialGolfers-4-4-5-cp_c18.xml	SAT	4.0558	1.71487	4307657
MisteryShopper/ MisteryShopper-06a_c18.xml	SAT	4.36726	1.90969	4307754
Eternity/ Eternity-10-04_c18.xml	SAT	4.49871	2.42155	4307620
SocialGolfers/ SocialGolfers-5-5-5-cp_c18.xml	SAT	4.8692	2.07218	4307660
Crossword/ Crossword-m18-ogd2008-vg-06-07_c18.xml	SAT	4.98251	2.47101	4307719
SportsScheduling/ SportsScheduling-12_c18.xml	SAT	5.35971	3.41034	4307682
Subisomorphism/ Subisomorphism-g08-g43_c18.xml	SAT	7.36249	5.44029	4307690
Quasigroups/ QuasiGroup-7-09_c18.xml	SAT	7.37664	5.3782	4307650
Eternity/ Eternity-06-06_c18.xml	SAT	7.55132	5.42858	4307616
SocialGolfers/ SocialGolfers-5-5-6-cp_c18.xml	SAT	7.67533	2.87311	4307661
GracefulGraph/ GracefulGraph-K04-P03_c18.xml	SAT	8.82326	6.42871	4307632
Frb/ frb-30-15-1_c18.xml	SAT	9.46894	7.51663	4307701
PseudoBoolean-dec/ Pb-robin10_c18.xml	SAT	12.0331	9.28878	4307748
Frb/ frb-40-19-1-mgd_c18.xml	SAT	12.1995	10.0583	4307703
Quasigroups/ QuasiGroup-4-09_c18.xml	SAT	12.4905	10.5725	4307642
MisteryShopper/ MisteryShopper-06d_c18.xml	SAT	12.8852	8.23983	4307757
GracefulGraph/ GracefulGraph-K05-P02_c18.xml	SAT	21.8959	18.9885	4307634
MagicHexagon/ MagicHexagon-04-m004_c18.xml	SAT	35.0267	33.0669	4307605
PseudoBoolean-dec/ Pb-robin12_c18.xml	SAT	54.735	51.6931	4307749
Frb/ frb-35-17-1_c18.xml	SAT	68.6738	65.8218	4307702
MisteryShopper/ MisteryShopper-06c_c18.xml	SAT	237.055	231.627	4307756
SportsScheduling/ SportsScheduling-16_c18.xml	SAT	326.745	323.164	4307684
Eternity/ Eternity-10-05_c18.xml	SAT	327.978	324.513	4307621
GracefulGraph/ GracefulGraph-K04-P04_c18.xml	SAT	1175.71	1168.47	4307633
SportsScheduling/ SportsScheduling-14_c18.xml	SAT	1198.05	1191.82	4307683
MagicHexagon/ MagicHexagon-04-0003_c18.xml	SAT	2205.65	2198.56	4307603
StripPacking/ StripPacking-1b_c18.xml	SAT	2477.3	2441.64	4307669

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Haystacks/ Haystacks-ext-08_c18.xml	? (TO)	2520.02	2498.71	4307734
Frb/ frb-53-24-1-mgd_c18.xml	? (TO)	2520.02	2505.02	4307708
MagicHexagon/ MagicHexagon-08-0006_c18.xml	? (TO)	2520.02	2513.02	4307612
CarSequencing/ CarSequencing-75-02_c18.xml	? (TO)	2520.02	2503.91	4307560
StripPacking/ StripPacking-C2P1_c18.xml	? (TO)	2520.02	2481.21	4307673
Quasigroups/ QuasiGroup-7-20_c18.xml	? (TO)	2520.02	2510.61	4307655
SocialGolfers/ SocialGolfers-5-5-8-cp_c18.xml	? (TO)	2520.02	2469.71	4307663
StripPacking/ StripPacking-T1c_c18.xml	? (TO)	2520.02	2480.31	4307678
PseudoBoolean-dec/ Pb-fpga25-25-sat_c18.xml	? (TO)	2520.03	2512.61	4307745
Subisomorphism/ Subisomorphism-g17-g37_c18.xml	? (TO)	2520.03	2513.13	4307695
SportsScheduling/ SportsScheduling-20_c18.xml	? (TO)	2520.03	2507.31	4307686
Dubois/ Dubois-050_c18.xml	? (TO)	2520.03	2487.21	4307600
Quasigroups/ QuasiGroup-4-14_c18.xml	? (TO)	2520.03	2514.31	4307645
Quasigroups/ QuasiGroup-4-16_c18.xml	? (TO)	2520.03	2514.32	4307646
Eternity/ Eternity-14-14_c18.xml	? (TO)	2520.03	2511.12	4307627
StripPacking/ StripPacking-C1P1_c18.xml	? (TO)	2520.03	2482.61	4307670
Quasigroups/ QuasiGroup-7-16_c18.xml	? (TO)	2520.03	2510.71	4307654
MagicHexagon/ MagicHexagon-07-0002_c18.xml	? (TO)	2520.03	2510.81	4307610
Quasigroups/ QuasiGroup-7-14_c18.xml	? (TO)	2520.04	2510.71	4307653
SportsScheduling/ SportsScheduling-22_c18.xml	? (TO)	2520.04	2507.02	4307687
CarSequencing/ CarSequencing-04-72_c18.xml	? (TO)	2520.04	2507.21	4307551
Frb/ frb-59-26-2-mgd_c18.xml	? (TO)	2520.04	2504.71	4307715
Eternity/ Eternity-07-07_c18.xml	? (TO)	2520.04	2507.21	4307617
Dubois/ Dubois-030_c18.xml	? (TO)	2520.04	2490.12	4307598
Frb/ frb-53-24-3-mgd_c18.xml	? (TO)	2520.04	2506.02	4307710
CarSequencing/ CarSequencing-80-01_c18.xml	? (TO)	2520.04	2503.31	4307561
Frb/ frb-45-21-1_c18.xml	? (TO)	2520.04	2504.71	4307704
GracefulGraph/ GracefulGraph-K07-P03_c18.xml	? (TO)	2520.04	2510.61	4307639
Langford/ LangfordBin-14_c18.xml	? (TO)	2520.04	2511.91	4307588
StripPacking/ StripPacking-T1d_c18.xml	? (TO)	2520.04	2475.12	4307679
PseudoBoolean-dec/ Pb-robin16_c18.xml	? (TO)	2520.04	2512.61	4307751
ColouredQueens/ ColouredQueens-11_c18.xml	? (TO)	2520.04	2509.91	4307574
MisteryShopper/ MisteryShopper-10c_c18.xml	? (TO)	2520.04	2499.02	4307760
SocialGolfers/ SocialGolfers-6-6-7-cp_c18.xml	? (TO)	2520.04	2472.81	4307665
StripPacking/ StripPacking-C1P2_c18.xml	? (TO)	2520.04	2481.51	4307671
PseudoBoolean-dec/ Pb-robin14_c18.xml	? (TO)	2520.04	2513.61	4307750
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f03_c18.xml	? (TO)	2520.05	2486.81	4307766
Bibd/ Bibd-sum-34-085-30-12-10_c18.xml	? (TO)	2520.05	2473.62	4307550
Quasigroups/ QuasiGroup-7-12_c18.xml	? (TO)	2520.05	2510.51	4307652
Subisomorphism/ Subisomorphism-g19-g45_c18.xml	? (TO)	2520.05	2511.41	4307698
Haystacks/ Haystacks-ext-11_c18.xml	? (TO)	2520.05	2497.21	4307737
Frb/ frb-56-25-2-mgd_c18.xml	? (TO)	2520.05	2505.42	4307712
Eternity/ Eternity-08-08_c18.xml	? (TO)	2520.05	2508.91	4307618
ColouredQueens/ ColouredQueens-09_c18.xml	? (TO)	2520.05	2509.71	4307572
Bibd/ Bibd-sc-12-06-05_c18.xml	? (TO)	2520.05	2481.62	4307542
Subisomorphism/ Subisomorphism-g11-g30_c18.xml	? (TO)	2520.05	2512.91	4307693
MagicHexagon/ MagicHexagon-07-m011_c18.xml	? (TO)	2520.06	2511.41	4307611
Haystacks/ Haystacks-ext-09_c18.xml	? (TO)	2520.06	2497.91	4307735
CarSequencing/ CarSequencing-85-02_c18.xml	? (TO)	2520.06	2504.61	4307564
PseudoBoolean-dec/ Pb-fpga45-45-sat_c18.xml	? (TO)	2520.06	2502.51	4307746
Crossword/ Crossword-m18-ogd2008-vg-11-12_c18.xml	? (TO)	2520.06	2513.63	4307724
Crossword/ Crossword-m18-ogd2008-vg-14-15_c18.xml	? (TO)	2520.06	2514.53	4307727
Bibd/ Bibd-sum-10-03-08_c18.xml	? (TO)	2520.06	2482.01	4307547
CarSequencing/ CarSequencing-65-02_c18.xml	? (TO)	2520.06	2495.81	4307556
PseudoBoolean-dec/ Pb-chnl15-16_c18.xml	? (TO)	2520.06	2512.21	4307741
Dubois/ Dubois-040_c18.xml	? (TO)	2520.06	2486.51	4307599
MagicHexagon/ MagicHexagon-05-m003_c18.xml	? (TO)	2520.06	2511.21	4307607
CarSequencing/ CarSequencing-06-76_c18.xml	? (TO)	2520.06	2501.12	4307552
StripPacking/ StripPacking-N1a_c18.xml	? (TO)	2520.06	2473.65	4307674
MagicHexagon/ MagicHexagon-05-0006_c18.xml	? (TO)	2520.06	2509.41	4307606
Haystacks/ Haystacks-ext-13_c18.xml	? (TO)	2520.07	2497.31	4307739
Subisomorphism/ Subisomorphism-g11-g44_c18.xml	? (TO)	2520.07	2512.51	4307694
Crossword/ Crossword-m18-ogd2008-vg-16-17_c18.xml	? (TO)	2520.07	2515.22	4307729
Eternity/ Eternity-11-11_c18.xml	? (TO)	2520.07	2510.51	4307624
Subisomorphism/ Subisomorphism-g19-g43_c18.xml	? (TO)	2520.07	2510.21	4307697
PseudoBoolean-dec/ Pb-chnl20-21_c18.xml	? (TO)	2520.07	2512.31	4307742
CarSequencing/ CarSequencing-70-02_c18.xml	? (TO)	2520.07	2502.51	4307558
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f04_c18.xml	? (TO)	2520.07	2493.12	4307769
ColouredQueens/ ColouredQueens-08_c18.xml	? (TO)	2520.07	2508.81	4307571
ColouredQueens/ ColouredQueens-13_c18.xml	? (TO)	2520.07	2511.02	4307576
Frb/ frb-59-26-3-mgd_c18.xml	? (TO)	2520.07	2505.01	4307716
SocialGolfers/ SocialGolfers-5-5-7-cp_c18.xml	? (TO)	2520.07	2468.61	4307662
Haystacks/ Haystacks-ext-12_c18.xml	? (TO)	2520.07	2499.91	4307738
CarSequencing/ CarSequencing-85-01_c18.xml	? (TO)	2520.07	2506.21	4307563
SportsScheduling/ SportsScheduling-18_c18.xml	? (TO)	2520.07	2509.31	4307685
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f01_c18.xml	? (TO)	2520.07	2494.72	4307771
Subisomorphism/ Subisomorphism-g10-g27_c18.xml	? (TO)	2520.07	2508.02	4307692
MisteryShopper/ MisteryShopper-10b_c18.xml	? (TO)	2520.08	2495.91	4307759
Frb/ frb-56-25-1-mgd_c18.xml	? (TO)	2520.08	2505.71	4307711
CarSequencing/ CarSequencing-60-02_c18.xml	? (TO)	2520.08	2493.91	4307554
Eternity/ Eternity-09-09_c18.xml	? (TO)	2520.08	2509.41	4307619
Eternity/ Eternity-10-06_c18.xml	? (TO)	2520.08	2508.12	4307622
Haystacks/ Haystacks-ext-07_c18.xml	? (TO)	2520.08	2497.71	4307733
Quasigroups/ QuasiGroup-7-10_c18.xml	? (TO)	2520.08	2509.71	4307651
ColouredQueens/ ColouredQueens-12_c18.xml	? (TO)	2520.08	2509.71	4307575
GracefulGraph/ GracefulGraph-K06-P03_c18.xml	? (TO)	2520.08	2510.81	4307637
Eternity/ Eternity-15-15_c18.xml	? (TO)	2520.08	2512.22	4307628
Frb/ frb-56-25-3-mgd_c18.xml	? (TO)	2520.08	2505.52	4307713
Eternity/ Eternity-10-10_c18.xml	? (TO)	2520.08	2510.71	4307623
SocialGolfers/ SocialGolfers-6-6-8-cp_c18.xml	? (TO)	2520.08	2471.78	4307666
MisteryShopper/ MisteryShopper-10d_c18.xml	? (TO)	2520.08	2495.12	4307761
Dubois/ Dubois-075_c18.xml	? (TO)	2520.09	2489.02	4307601
MagicHexagon/ MagicHexagon-06-m001_c18.xml	? (TO)	2520.09	2512.02	4307609
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f05_c18.xml	? (TO)	2520.09	2490.81	4307772
GracefulGraph/ GracefulGraph-K07-P02_c18.xml	? (TO)	2520.09	2510.21	4307638
Frb/ frb-59-26-1-mgd_c18.xml	? (TO)	2520.09	2505.41	4307714
Subisomorphism/ Subisomorphism-g17-g42_c18.xml	? (TO)	2520.09	2512.02	4307696
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f08_c18.xml	? (TO)	2520.09	2488.12	4307773
StripPacking/ StripPacking-N1b_c18.xml	? (TO)	2520.09	2474.02	4307675
Frb/ frb-53-24-2-mgd_c18.xml	? (TO)	2520.09	2504.71	4307709
Bibd/ Bibd-sc-09-03-09_c18.xml	? (TO)	2520.09	2484.71	4307540
Bibd/ Bibd-sc-34-085-30-12-10_c18.xml	? (TO)	2520.09	2474.41	4307544
Frb/ frb-50-23-2-mgd_c18.xml	? (TO)	2520.09	2505.91	4307706
CarSequencing/ CarSequencing-70-01_c18.xml	? (TO)	2520.09	2504.41	4307557
CarSequencing/ CarSequencing-75-01_c18.xml	? (TO)	2520.09	2503.02	4307559
Subisomorphism/ Subisomorphism-g10-g23_c18.xml	? (TO)	2520.09	2509.91	4307691
Quasigroups/ QuasiGroup-4-12_c18.xml	? (TO)	2520.09	2514.81	4307644
SportsScheduling/ SportsScheduling-26_c18.xml	? (TO)	2520.09	2506.91	4307689
MisteryShopper/ MisteryShopper-12_c18.xml	? (TO)	2520.09	2500.21	4307762
Dubois/ Dubois-100_c18.xml	? (TO)	2520.1	2489.03	4307602
ColouredQueens/ ColouredQueens-16_c18.xml	? (TO)	2520.1	2510.41	4307579
MagicHexagon/ MagicHexagon-08-m009_c18.xml	? (TO)	2520.1	2507.12	4307613
SocialGolfers/ SocialGolfers-6-6-9-cp_c18.xml	? (TO)	2520.1	2471.32	4307667
CarSequencing/ CarSequencing-60-01_c18.xml	? (TO)	2520.1	2502.81	4307553
Frb/ frb-50-23-3-mgd_c18.xml	? (TO)	2520.1	2505.21	4307707
CarSequencing/ CarSequencing-80-02_c18.xml	? (TO)	2520.1	2502.91	4307562
ColouredQueens/ ColouredQueens-14_c18.xml	? (TO)	2520.1	2511.13	4307577
SportsScheduling/ SportsScheduling-24_c18.xml	? (TO)	2520.1	2504.02	4307688
Bibd/ Bibd-sc-22-033-12-08-04_c18.xml	? (TO)	2520.1	2483.02	4307543
MagicHexagon/ MagicHexagon-06-0010_c18.xml	? (TO)	2520.1	2510.31	4307608
PseudoBoolean-dec/ Pb-chnl50-51_c18.xml	? (TO)	2520.1	2514.32	4307744
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f02_c18.xml	? (TO)	2520.1	2494.51	4307774
CarSequencing/ CarSequencing-90-02_c18.xml	? (TO)	2520.1	2504.02	4307566
GracefulGraph/ GracefulGraph-K05-P03_c18.xml	? (TO)	2520.1	2509.51	4307635
Eternity/ Eternity-12-12_c18.xml	? (TO)	2520.11	2510.51	4307625
Bibd/ Bibd-sum-22-033-12-08-04_c18.xml	? (TO)	2520.11	2472.02	4307549
Bibd/ Bibd-sum-12-06-05_c18.xml	? (TO)	2520.11	2474.71	4307548
Quasigroups/ QuasiGroup-4-20_c18.xml	? (TO)	2520.11	2514.31	4307647
ColouredQueens/ ColouredQueens-15_c18.xml	? (TO)	2520.11	2510.71	4307578
ColouredQueens/ ColouredQueens-10_c18.xml	? (TO)	2520.11	2509.41	4307573
CarSequencing/ CarSequencing-65-01_c18.xml	? (TO)	2520.11	2505.91	4307555
Quasigroups/ QuasiGroup-4-10_c18.xml	? (TO)	2520.11	2514.02	4307643
Crossword/ Crossword-m18-ogd2008-vg-10-11_c18.xml	? (TO)	2520.11	2513.92	4307723
Crossword/ Crossword-m18-ogd2008-vg-08-09_c18.xml	? (TO)	2520.11	2514.72	4307721
Bibd/ Bibd-sum-09-03-09_c18.xml	? (TO)	2520.11	2480.41	4307546
CarSequencing/ CarSequencing-90-01_c18.xml	? (TO)	2520.11	2504.42	4307565
Crossword/ Crossword-m18-ogd2008-vg-13-14_c18.xml	? (TO)	2520.11	2514.83	4307726
Eternity/ Eternity-13-13_c18.xml	? (TO)	2520.11	2511.12	4307626
StripPacking/ StripPacking-C1P3_c18.xml	? (TO)	2520.11	2482.62	4307672
Crossword/ Crossword-m18-ogd2008-vg-15-16_c18.xml	? (TO)	2520.11	2515.23	4307728
SocialGolfers/ SocialGolfers-6-6-6-cp_c18.xml	? (TO)	2520.11	2472.9	4307664
Haystacks/ Haystacks-ext-10_c18.xml	? (TO)	2520.11	2498.61	4307736
PseudoBoolean-dec/ Pb-chnl30-31_c18.xml	? (TO)	2520.12	2513.61	4307743
StripPacking/ StripPacking-N1c_c18.xml	? (TO)	2520.12	2473.51	4307676
Crossword/ Crossword-m18-ogd2008-vg-12-13_c18.xml	? (TO)	2520.12	2513.43	4307725
StripPacking/ StripPacking-T1a_c18.xml	? (TO)	2520.12	2470.62	4307677
Subisomorphism/ Subisomorphism-g29-g50_c18.xml	? (TO)	2520.12	2500.03	4307699
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f06_c18.xml	? (TO)	2520.12	2489.12	4307765
Frb/ frb-50-23-1-mgd_c18.xml	? (TO)	2520.12	2507.51	4307705
PseudoBoolean-dec/ Pb-robin18_c18.xml	? (TO)	2520.12	2513.7	4307752
GracefulGraph/ GracefulGraph-K06-P02_c18.xml	? (TO)	2520.12	2509.02	4307636
Bibd/ Bibd-sc-10-03-08_c18.xml	? (TO)	2520.12	2479.02	4307541
Crossword/ Crossword-m18-ogd2008-vg-09-10_c18.xml	? (TO)	2520.13	2514.43	4307722
Crossword/ Crossword-m18-ogd2008-vg-07-08_c18.xml	? (TO)	2520.13	2515.33	4307720

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

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

Category "decision problem" (CSP)

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

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

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