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	3.49289	2.17752	4305728
Langford/ LangfordBin-06_c18.xml	UNSAT	3.66919	2.19311	4305578
Haystacks/ Haystacks-ext-05_c18.xml	UNSAT	3.9478	2.40985	4305729
Dubois/ Dubois-018_c18.xml	UNSAT	4.29686	2.41912	4305589
Dubois/ Dubois-020_c18.xml	UNSAT	4.3566	2.43831	4305590
ColouredQueens/ ColouredQueens-06_c18.xml	UNSAT	4.40861	2.60368	4305567
Haystacks/ Haystacks-ext-06_c18.xml	UNSAT	4.443	2.45893	4305730
Dubois/ Dubois-021_c18.xml	UNSAT	4.49765	2.59127	4305591
Dubois/ Dubois-023_c18.xml	UNSAT	4.54197	2.53472	4305593
Dubois/ Dubois-025_c18.xml	UNSAT	4.62237	2.4979	4305595
Dubois/ Dubois-024_c18.xml	UNSAT	4.6264	2.50437	4305594
Dubois/ Dubois-022_c18.xml	UNSAT	4.70481	2.50225	4305592
StripPacking/ StripPacking-1a_c18.xml	UNSAT	4.80638	2.57648	4305666
Dubois/ Dubois-030_c18.xml	UNSAT	4.81623	2.66847	4305596
Haystacks/ Haystacks-ext-07_c18.xml	UNSAT	5.08454	2.64366	4305731
Dubois/ Dubois-040_c18.xml	UNSAT	5.12312	2.67259	4305597
Dubois/ Dubois-050_c18.xml	UNSAT	5.48592	2.77356	4305598
Haystacks/ Haystacks-ext-08_c18.xml	UNSAT	5.88436	2.84838	4305732
Quasigroups/ QuasiGroup-7-07_c18.xml	UNSAT	6.08209	2.94457	4305646
Dubois/ Dubois-075_c18.xml	UNSAT	6.15751	2.98847	4305599
Dubois/ Dubois-100_c18.xml	UNSAT	6.77744	3.16525	4305600
Haystacks/ Haystacks-ext-09_c18.xml	UNSAT	6.85941	3.2114	4305733
Langford/ LangfordBin-09_c18.xml	UNSAT	7.04693	5.14997	4305581
Quasigroups/ QuasiGroup-7-08_c18.xml	UNSAT	7.53585	4.39871	4305647
Quasigroups/ QuasiGroup-4-07_c18.xml	UNSAT	7.71229	3.71659	4305638
Haystacks/ Haystacks-ext-10_c18.xml	UNSAT	8.42768	4.02895	4305734
MagicHexagon/ MagicHexagon-04-0017_c18.xml	UNSAT	10.2749	6.71405	4305602
SocialGolfers/ SocialGolfers-4-4-6-cp_c18.xml	UNSAT	10.4085	4.07561	4305656
Haystacks/ Haystacks-ext-11_c18.xml	UNSAT	11.2134	6.32202	4305735
SocialGolfers/ SocialGolfers-4-4-7-cp_c18.xml	UNSAT	11.2225	4.54335	4305657
Haystacks/ Haystacks-ext-12_c18.xml	UNSAT	16.4462	10.4594	4305736
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f12_c18.xml	UNSAT	17.3812	7.32067	4305762
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f07_c18.xml	UNSAT	17.6736	7.70972	4305761
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f11_c18.xml	UNSAT	17.9558	7.46034	4305766
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f08_c18.xml	UNSAT	18.1154	7.63869	4305771
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f09_c18.xml	UNSAT	18.2352	7.7269	4305768
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f05_c18.xml	UNSAT	18.3093	8.47387	4305770
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f10_c18.xml	UNSAT	18.3516	7.69016	4305765
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f06_c18.xml	UNSAT	18.7478	7.92218	4305763
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f03_c18.xml	UNSAT	19.2071	8.89316	4305764
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f04_c18.xml	UNSAT	19.4326	8.63415	4305767
SocialGolfers/ SocialGolfers-5-5-8-cp_c18.xml	UNSAT	19.8307	8.12011	4305661
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f01_c18.xml	UNSAT	21.2062	10.9495	4305769
Rlfap/Rlfap-dec-scens11/ Rlfap-scen-11-f02_c18.xml	UNSAT	22.0386	10.9466	4305772
SocialGolfers/ SocialGolfers-5-5-7-cp_c18.xml	UNSAT	24.538	13.8683	4305660
Langford/ LangfordBin-10_c18.xml	UNSAT	26.4155	24.3676	4305582
Haystacks/ Haystacks-ext-13_c18.xml	UNSAT	33.3317	26.7904	4305737
PseudoBoolean-dec/ Pb-chnl10-11_c18.xml	UNSAT	38.8771	37.0456	4305738
Subisomorphism/ Subisomorphism-g34-g36_c18.xml	UNSAT	55.6276	40.2451	4305698
Quasigroups/ QuasiGroup-4-08_c18.xml	UNSAT	93.6782	88.5945	4305639
CarSequencing/ CarSequencing-06-76_c18.xml	UNSAT	111.829	97.3855	4305550
Quasigroups/ QuasiGroup-7-10_c18.xml	UNSAT	1431.43	1426.1	4305649
Subisomorphism/ Subisomorphism-g17-g42_c18.xml	UNSAT	2132.26	2118.16	4305694

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Langford/ LangfordBin-07_c18.xml	SAT	3.94259	2.307	4305579
ColouredQueens/ ColouredQueens-05_c18.xml	SAT	4.10555	2.38638	4305566
Langford/ LangfordBin-08_c18.xml	SAT	4.11862	2.44606	4305580
GracefulGraph/ GracefulGraph-K03-P03_c18.xml	SAT	4.49128	2.449	4305628
GracefulGraph/ GracefulGraph-K04-P02_c18.xml	SAT	4.54019	2.44906	4305629
Langford/ LangfordBin-11_c18.xml	SAT	4.58251	2.62703	4305583
StripPacking/ StripPacking-1b_c18.xml	SAT	4.69459	2.56641	4305667
Langford/ LangfordBin-12_c18.xml	SAT	4.83113	2.67148	4305584
ColouredQueens/ ColouredQueens-07_c18.xml	SAT	5.16143	2.64708	4305568
Bibd/ Bibd-sum-07-03-01_c18.xml	SAT	5.25776	2.70123	4305543
Langford/ LangfordBin-15_c18.xml	SAT	5.27325	2.73714	4305587
CarSequencing/ CarSequencing-dingbas_c18.xml	SAT	5.34116	2.73874	4305565
Langford/ LangfordBin-16_c18.xml	SAT	5.61641	2.77633	4305588
StripPacking/ StripPacking-C1P3_c18.xml	SAT	5.62136	2.83528	4305670
Bibd/ Bibd-sc-07-03-01_c18.xml	SAT	6.10983	2.94881	4305537
GracefulGraph/ GracefulGraph-K02-P09_c18.xml	SAT	6.62045	3.88275	4305627
StripPacking/ StripPacking-T1c_c18.xml	SAT	7.66461	4.36287	4305676
SocialGolfers/ SocialGolfers-4-4-4-cp_c18.xml	SAT	7.68875	3.53175	4305654
Quasigroups/ QuasiGroup-7-09_c18.xml	SAT	7.91334	3.55966	4305648
MisteryShopper/ MisteryShopper-04_c18.xml	SAT	8.21651	3.53399	4305751
StripPacking/ StripPacking-C1P1_c18.xml	SAT	8.53882	5.68136	4305668
SocialGolfers/ SocialGolfers-4-4-5-cp_c18.xml	SAT	9.10706	3.76159	4305655
PseudoBoolean-dec/ Pb-robin08_c18.xml	SAT	9.35699	3.94614	4305745
PseudoBoolean-dec/ Pb-fpga25-25-sat_c18.xml	SAT	9.48621	4.17603	4305743
StripPacking/ StripPacking-C2P1_c18.xml	SAT	10.0365	6.26506	4305671
StripPacking/ StripPacking-C1P2_c18.xml	SAT	10.1715	7.21173	4305669
Eternity/ Eternity-04-04_c18.xml	SAT	10.2663	4.05573	4305612
SportsScheduling/ SportsScheduling-08_c18.xml	SAT	10.4554	4.59268	4305678
Quasigroups/ QuasiGroup-4-09_c18.xml	SAT	10.786	4.56797	4305640
Frb/ frb-30-15-1_c18.xml	SAT	10.9787	4.44618	4305699
GracefulGraph/ GracefulGraph-K04-P03_c18.xml	SAT	11.2754	8.34322	4305630
SocialGolfers/ SocialGolfers-5-5-5-cp_c18.xml	SAT	13.6755	5.45579	4305658
Bibd/ Bibd-sum-12-06-05_c18.xml	SAT	13.9711	5.93895	4305546
PseudoBoolean-dec/ Pb-robin10_c18.xml	SAT	14.8728	7.2017	4305746
Eternity/ Eternity-05-05_c18.xml	SAT	14.9394	6.09581	4305613
PseudoBoolean-dec/ Pb-fpga45-45-sat_c18.xml	SAT	15.5027	7.19367	4305744
MisteryShopper/ MisteryShopper-06a_c18.xml	SAT	15.6444	6.10928	4305752
SportsScheduling/ SportsScheduling-10_c18.xml	SAT	15.7442	6.6596	4305679
MisteryShopper/ MisteryShopper-10a_c18.xml	SAT	16.5116	6.5234	4305756
SocialGolfers/ SocialGolfers-5-5-6-cp_c18.xml	SAT	16.5179	6.43315	4305659
Bibd/ Bibd-sc-12-06-05_c18.xml	SAT	16.7827	6.85547	4305540
Frb/ frb-35-17-1_c18.xml	SAT	18.8316	10.2967	4305700
MisteryShopper/ MisteryShopper-06b_c18.xml	SAT	21.2694	8.79502	4305753
MisteryShopper/ MisteryShopper-10b_c18.xml	SAT	24.8333	11.1613	4305757
Eternity/ Eternity-06-06_c18.xml	SAT	25.9029	14.7336	4305614
Eternity/ Eternity-10-04_c18.xml	SAT	27.7963	15.528	4305618
Frb/ frb-40-19-1-mgd_c18.xml	SAT	29.5742	18.8537	4305701
MisteryShopper/ MisteryShopper-06c_c18.xml	SAT	32.1205	16.7678	4305754
Bibd/ Bibd-sum-09-03-09_c18.xml	SAT	37.3459	23.033	4305544
PseudoBoolean-dec/ Pb-robin12_c18.xml	SAT	37.556	27.8831	4305747
MisteryShopper/ MisteryShopper-10c_c18.xml	SAT	37.5887	21.0545	4305758
GracefulGraph/ GracefulGraph-K05-P02_c18.xml	SAT	43.8363	40.9681	4305632
Bibd/ Bibd-sc-09-03-09_c18.xml	SAT	44.2631	25.4391	4305538
Crossword/ Crossword-m18-ogd2008-vg-04-05_c18.xml	SAT	45.2712	26.1597	4305715
Bibd/ Bibd-sum-10-03-08_c18.xml	SAT	49.4813	33.0218	4305545
MisteryShopper/ MisteryShopper-06d_c18.xml	SAT	52.5082	35.6017	4305755
Eternity/ Eternity-10-05_c18.xml	SAT	53.5599	42.1143	4305619
Bibd/ Bibd-sc-10-03-08_c18.xml	SAT	54.8243	32.7168	4305539
Subisomorphism/ Subisomorphism-g08-g43_c18.xml	SAT	56.3287	39.9407	4305688
MisteryShopper/ MisteryShopper-12_c18.xml	SAT	64.1599	46.8984	4305760
CarSequencing/ CarSequencing-04-72_c18.xml	SAT	66.5502	52.4914	4305549
Eternity/ Eternity-07-07_c18.xml	SAT	84.3698	70.8896	4305615
PseudoBoolean-dec/ Pb-robin14_c18.xml	SAT	87.4245	76.3843	4305748
StripPacking/ StripPacking-T1d_c18.xml	SAT	104.993	101.678	4305677
Crossword/ Crossword-m18-ogd2008-vg-05-06_c18.xml	SAT	118.556	81.8523	4305716
SportsScheduling/ SportsScheduling-12_c18.xml	SAT	120.565	107.782	4305680
MisteryShopper/ MisteryShopper-10d_c18.xml	SAT	138.117	117.444	4305759
MagicHexagon/ MagicHexagon-04-0003_c18.xml	SAT	267.223	263.228	4305601
Crossword/ Crossword-m18-ogd2008-vg-06-07_c18.xml	SAT	285.641	229.031	4305717
StripPacking/ StripPacking-N1b_c18.xml	SAT	451.722	447.99	4305673
GracefulGraph/ GracefulGraph-K04-P04_c18.xml	SAT	456.132	452.065	4305631
CarSequencing/ CarSequencing-70-01_c18.xml	SAT	596.461	575.788	4305555
CarSequencing/ CarSequencing-60-02_c18.xml	SAT	805.862	786.87	4305552
CarSequencing/ CarSequencing-70-02_c18.xml	SAT	808.362	786.557	4305556
Frb/ frb-50-23-2-mgd_c18.xml	SAT	844.678	830.763	4305704
CarSequencing/ CarSequencing-60-01_c18.xml	SAT	846.345	825.114	4305551
StripPacking/ StripPacking-N1c_c18.xml	SAT	864.998	861.26	4305674
MagicHexagon/ MagicHexagon-04-m004_c18.xml	SAT	964.865	960.518	4305603
CarSequencing/ CarSequencing-65-02_c18.xml	SAT	1077.03	1058.46	4305554
CarSequencing/ CarSequencing-65-01_c18.xml	SAT	1130.78	1109.07	4305553
Quasigroups/ QuasiGroup-4-12_c18.xml	SAT	1135.64	1124.84	4305642
Frb/ frb-45-21-1_c18.xml	SAT	1151.63	1141.26	4305702
CarSequencing/ CarSequencing-75-02_c18.xml	SAT	1318.1	1296.36	4305558
CarSequencing/ CarSequencing-80-02_c18.xml	SAT	1697.71	1676.05	4305560
CarSequencing/ CarSequencing-75-01_c18.xml	SAT	1749.15	1727.96	4305557
StripPacking/ StripPacking-T1a_c18.xml	SAT	1792.43	1788.23	4305675
SportsScheduling/ SportsScheduling-14_c18.xml	SAT	1845.37	1828.72	4305681
CarSequencing/ CarSequencing-80-01_c18.xml	SAT	2449.31	2426.79	4305559

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
Frb/ frb-56-25-2-mgd_c18.xml	? (TO)	2520.04	2506.12	4305710
Bibd/ Bibd-sc-22-033-12-08-04_c18.xml	? (TO)	2520.05	2498.62	4305541
Quasigroups/ QuasiGroup-7-12_c18.xml	? (TO)	2520.05	2512.41	4305650
ColouredQueens/ ColouredQueens-12_c18.xml	? (TO)	2520.05	2514.32	4305573
Frb/ frb-50-23-1-mgd_c18.xml	? (TO)	2520.05	2506.12	4305703
Subisomorphism/ Subisomorphism-g17-g37_c18.xml	? (TO)	2520.05	2505.72	4305693
Frb/ frb-53-24-3-mgd_c18.xml	? (TO)	2520.05	2506.51	4305708
Quasigroups/ QuasiGroup-4-16_c18.xml	? (TO)	2520.06	2506.52	4305644
Eternity/ Eternity-10-10_c18.xml	? (TO)	2520.06	2498.13	4305621
Frb/ frb-59-26-2-mgd_c18.xml	? (TO)	2520.06	2505.12	4305713
Quasigroups/ QuasiGroup-7-16_c18.xml	? (TO)	2520.06	2508.82	4305652
ColouredQueens/ ColouredQueens-13_c18.xml	? (TO)	2520.07	2514.21	4305574
Frb/ frb-56-25-3-mgd_c18.xml	? (TO)	2520.07	2506.02	4305711
GracefulGraph/ GracefulGraph-K07-P02_c18.xml	? (TO)	2520.07	2514.51	4305636
Quasigroups/ QuasiGroup-4-14_c18.xml	? (TO)	2520.07	2507.52	4305643
GracefulGraph/ GracefulGraph-K07-P03_c18.xml	? (TO)	2520.08	2513.22	4305637
ColouredQueens/ ColouredQueens-10_c18.xml	? (TO)	2520.08	2515.51	4305571
Subisomorphism/ Subisomorphism-g10-g27_c18.xml	? (TO)	2520.08	2509.31	4305690
Frb/ frb-50-23-3-mgd_c18.xml	? (TO)	2520.08	2505.92	4305705
GracefulGraph/ GracefulGraph-K06-P03_c18.xml	? (TO)	2520.08	2513.32	4305635
Eternity/ Eternity-08-08_c18.xml	? (TO)	2520.08	2504.52	4305616
StripPacking/ StripPacking-N1a_c18.xml	? (TO)	2520.09	2515.81	4305672
Quasigroups/ QuasiGroup-7-20_c18.xml	? (TO)	2520.09	2505.92	4305653
CarSequencing/ CarSequencing-85-01_c18.xml	? (TO)	2520.09	2497.26	4305561
Eternity/ Eternity-10-06_c18.xml	? (TO)	2520.09	2505.22	4305620
Quasigroups/ QuasiGroup-4-20_c18.xml	? (TO)	2520.09	2502.14	4305645
Frb/ frb-59-26-1-mgd_c18.xml	? (TO)	2520.09	2505.42	4305712
SocialGolfers/ SocialGolfers-6-6-8-cp_c18.xml	? (TO)	2520.09	2503.21	4305664
MagicHexagon/ MagicHexagon-08-0006_c18.xml	? (TO)	2520.09	2506.16	4305610
ColouredQueens/ ColouredQueens-08_c18.xml	? (TO)	2520.09	2516.51	4305569
GracefulGraph/ GracefulGraph-K05-P03_c18.xml	? (TO)	2520.09	2514.72	4305633
GracefulGraph/ GracefulGraph-K06-P02_c18.xml	? (TO)	2520.1	2515.03	4305634
SocialGolfers/ SocialGolfers-6-6-7-cp_c18.xml	? (TO)	2520.1	2504.32	4305663
Eternity/ Eternity-12-12_c18.xml	? (TO)	2520.1	2488.43	4305623
Quasigroups/ QuasiGroup-4-10_c18.xml	? (TO)	2520.1	2511.31	4305641
Crossword/ Crossword-m18-ogd2008-vg-07-08_c18.xml	? (TO)	2520.1	2372.06	4305718
PseudoBoolean-dec/ Pb-robin16_c18.xml	? (TO)	2520.11	2505.32	4305749
MagicHexagon/ MagicHexagon-07-0002_c18.xml	? (TO)	2520.11	2508.84	4305608
ColouredQueens/ ColouredQueens-14_c18.xml	? (TO)	2520.11	2513.61	4305575
ColouredQueens/ ColouredQueens-16_c18.xml	? (TO)	2520.11	2512.92	4305577
Eternity/ Eternity-11-11_c18.xml	? (TO)	2520.11	2492.35	4305622
Subisomorphism/ Subisomorphism-g11-g44_c18.xml	? (TO)	2520.11	2502.32	4305692
Quasigroups/ QuasiGroup-7-14_c18.xml	? (TO)	2520.11	2511.02	4305651
ColouredQueens/ ColouredQueens-11_c18.xml	? (TO)	2520.11	2514.71	4305572
CarSequencing/ CarSequencing-90-02_c18.xml	? (TO)	2520.12	2496.65	4305564
Subisomorphism/ Subisomorphism-g10-g23_c18.xml	? (TO)	2520.12	2509.21	4305689
Langford/ LangfordBin-14_c18.xml	? (TO)	2520.12	2516.61	4305586
PseudoBoolean-dec/ Pb-chnl30-31_c18.xml	? (TO)	2520.12	2515.12	4305741
SportsScheduling/ SportsScheduling-16_c18.xml	? (TO)	2520.13	2501.33	4305682
Langford/ LangfordBin-13_c18.xml	? (TO)	2520.13	2517.21	4305585
MagicHexagon/ MagicHexagon-05-m003_c18.xml	? (TO)	2520.13	2513.53	4305605
SocialGolfers/ SocialGolfers-6-6-9-cp_c18.xml	? (TO)	2520.13	2503.02	4305665
MagicHexagon/ MagicHexagon-06-0010_c18.xml	? (TO)	2520.13	2510.62	4305606
PseudoBoolean-dec/ Pb-chnl50-51_c18.xml	? (TO)	2520.13	2512.12	4305742
PseudoBoolean-dec/ Pb-chnl15-16_c18.xml	? (TO)	2520.13	2516.91	4305739
MagicHexagon/ MagicHexagon-06-m001_c18.xml	? (TO)	2520.13	2510.52	4305607
Frb/ frb-53-24-2-mgd_c18.xml	? (TO)	2520.13	2505.52	4305707
ColouredQueens/ ColouredQueens-15_c18.xml	? (TO)	2520.13	2513.41	4305576
Frb/ frb-53-24-1-mgd_c18.xml	? (TO)	2520.13	2505.12	4305706
Crossword/ Crossword-m18-ogd2008-vg-08-09_c18.xml	? (TO)	2520.13	2220.09	4305719
SocialGolfers/ SocialGolfers-6-6-6-cp_c18.xml	? (TO)	2520.14	2506.12	4305662
Frb/ frb-56-25-1-mgd_c18.xml	? (TO)	2520.14	2506.32	4305709
Subisomorphism/ Subisomorphism-g19-g45_c18.xml	? (TO)	2520.14	2496.72	4305696
MagicHexagon/ MagicHexagon-08-m009_c18.xml	? (TO)	2520.14	2506.55	4305611
CarSequencing/ CarSequencing-85-02_c18.xml	? (TO)	2520.14	2497.96	4305562
Subisomorphism/ Subisomorphism-g11-g30_c18.xml	? (TO)	2520.14	2505.03	4305691
Subisomorphism/ Subisomorphism-g19-g43_c18.xml	? (TO)	2520.14	2495.92	4305695
SportsScheduling/ SportsScheduling-18_c18.xml	? (TO)	2520.14	2497.44	4305683
PseudoBoolean-dec/ Pb-chnl20-21_c18.xml	? (TO)	2520.14	2516.72	4305740
Bibd/ Bibd-sum-22-033-12-08-04_c18.xml	? (TO)	2520.15	2504.62	4305547
Frb/ frb-59-26-3-mgd_c18.xml	? (TO)	2520.15	2504.82	4305714
MagicHexagon/ MagicHexagon-07-m011_c18.xml	? (TO)	2520.15	2508.43	4305609
ColouredQueens/ ColouredQueens-09_c18.xml	? (TO)	2520.15	2516.12	4305570
Eternity/ Eternity-09-09_c18.xml	? (TO)	2520.15	2502.02	4305617
Eternity/ Eternity-14-14_c18.xml	? (TO)	2520.15	2477.87	4305625
Bibd/ Bibd-sc-34-085-30-12-10_c18.xml	? (TO)	2520.16	2478.27	4305542
MagicHexagon/ MagicHexagon-05-0006_c18.xml	? (TO)	2520.16	2513.33	4305604
Eternity/ Eternity-13-13_c18.xml	? (TO)	2520.16	2481.25	4305624
SportsScheduling/ SportsScheduling-20_c18.xml	? (TO)	2520.16	2493.57	4305684
SportsScheduling/ SportsScheduling-22_c18.xml	? (TO)	2520.17	2491.3	4305685
PseudoBoolean-dec/ Pb-robin18_c18.xml	? (TO)	2520.17	2501.16	4305750
Subisomorphism/ Subisomorphism-g29-g50_c18.xml	? (TO)	2520.18	2345.27	4305697
CarSequencing/ CarSequencing-90-01_c18.xml	? (TO)	2520.18	2496.76	4305563
Bibd/ Bibd-sum-34-085-30-12-10_c18.xml	? (TO)	2520.2	2487.07	4305548
Eternity/ Eternity-15-15_c18.xml	? (TO)	2520.21	2468.29	4305626
SportsScheduling/ SportsScheduling-24_c18.xml	? (TO)	2520.28	2487.65	4305686
SportsScheduling/ SportsScheduling-26_c18.xml	? (TO)	2520.38	2486.75	4305687
Crossword/ Crossword-m18-ogd2008-vg-11-12_c18.xml	? (TO)	2520.92	959.947	4305722
Crossword/ Crossword-m18-ogd2008-vg-16-17_c18.xml	? (TO)	2523.04	954.676	4305727
Crossword/ Crossword-m18-ogd2008-vg-13-14_c18.xml	? (TO)	2528.24	954.177	4305724
Crossword/ Crossword-m18-ogd2008-vg-14-15_c18.xml	? (TO)	2528.26	948.865	4305725
Crossword/ Crossword-m18-ogd2008-vg-12-13_c18.xml	? (TO)	2528.37	960.126	4305723
Crossword/ Crossword-m18-ogd2008-vg-15-16_c18.xml	? (TO)	2528.37	949.369	4305726
Crossword/ Crossword-m18-ogd2008-vg-10-11_c18.xml	? (TO)	2528.42	968.248	4305721
Crossword/ Crossword-m18-ogd2008-vg-09-10_c18.xml	? (TO)	2528.48	966.887	4305720

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

Result page for solver scop both+MapleCOMSPS (2018-07-31) (complete)

Category "decision problem" (CSP)

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

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

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