Detail page for chess_solving family


	Submitter:	Tomas Peitl

	Suite:	Peitl

	Domain:	Miscellanea

	Description:

	Number of instances:	127

	Results:	2020 - Track 3 2019 - Track 2 2018 - Track 2

	Instances:	chess_solving_mate_in_10_1993_WCCC-OPEN-36_04 chess_solving_mate_in_2_1982_WCSC-6_02 chess_solving_mate_in_2_1983_FIN-CH-4_01 chess_solving_mate_in_2_1987_FIN-CH-8_01 chess_solving_mate_in_2_1991_GER-CH-15_01 chess_solving_mate_in_2_1996_FIN-CH-17_03 chess_solving_mate_in_2_1997_WCCC-OPEN-40_03 chess_solving_mate_in_2_1998_GBR-CH-19_01 chess_solving_mate_in_2_2002_MAC-CH-6_03 chess_solving_mate_in_2_2002_WCCC-OPEN-45_01 chess_solving_mate_in_2_2005_POLTAVA-OPEN_01 chess_solving_mate_in_2_2008_BEL-CH-16B_08 chess_solving_mate_in_2_2009_BEL-CH-17B_01 chess_solving_mate_in_2_2009_POL-CH-33_01 chess_solving_mate_in_2_2011_GBR-CH-32_03 chess_solving_mate_in_2_2011_ISC-7B_01 chess_solving_mate_in_2_2011_ROM-CH-W_02 chess_solving_mate_in_2_2011_WCCC-OPEN-54_01 chess_solving_mate_in_2_2012_GER-CH-36-19_03 chess_solving_mate_in_2_2014_NED-CH-20B_09 chess_solving_mate_in_2_2015_GBR-CH-36_02 chess_solving_mate_in_3_1978_WCSC-2_05 chess_solving_mate_in_3_1991_WCSC-15_05 chess_solving_mate_in_3_1999_WCSC-23_05 chess_solving_mate_in_3_2000_CZE-CH_04 chess_solving_mate_in_3_2001_UKR-CH_06 chess_solving_mate_in_3_2003_UKR-CH_04 chess_solving_mate_in_3_2003_UKR-CH_06 chess_solving_mate_in_3_2006_DOBRUSKA_06 chess_solving_mate_in_3_2008_ISC-4B_07 chess_solving_mate_in_3_2009_FIN-CH-30_04 chess_solving_mate_in_3_2009_GER-CH-33-16_04 chess_solving_mate_in_3_2009_POLTAVA-OPEN_03 chess_solving_mate_in_3_2010_UKR-CH_04 chess_solving_mate_in_3_2011_UKR-OPEN-25_04 chess_solving_mate_in_3_2012_FIDE-WORLD-CUP-4_14 chess_solving_mate_in_3_2012_GRE-CH-11_02 chess_solving_mate_in_3_2012_NED-CH-18B_04 chess_solving_mate_in_3_2014_FRA-CH_03 chess_solving_mate_in_3_2016_BEL-CH-23A_02 chess_solving_mate_in_3_2016_BEL-CH-23A_08 chess_solving_mate_in_4_1981_BRD-CH-5_15 chess_solving_mate_in_4_1983_FIN-CH-4_07 chess_solving_mate_in_4_1984_GBR-CH-5_04 chess_solving_mate_in_4_1985_WCSC-9_13 chess_solving_mate_in_4_1991_WCCC-OPEN-34_05 chess_solving_mate_in_4_1999_GER-CH-23-6_14 chess_solving_mate_in_4_2001_HUN-CH_13 chess_solving_mate_in_4_2001_UKR-CH_13 chess_solving_mate_in_4_2002_GER-CH-26-9_14 chess_solving_mate_in_4_2002_POLTAVA-OPEN_06 chess_solving_mate_in_4_2005_CZE-OPEN_14 chess_solving_mate_in_4_2006_HAGEDOORN-17_04 chess_solving_mate_in_4_2008_ISR-CH_03 chess_solving_mate_in_4_2008_NED-CH-14_09 chess_solving_mate_in_4_2008_UKR-CH-22_13 chess_solving_mate_in_4_2009_SEROCK-OPEN_09 chess_solving_mate_in_4_2010_CZE-CH-18_13 chess_solving_mate_in_4_2010_GBR-CH-31_11 chess_solving_mate_in_4_2012_URAL-PROBLEMIST-6_05 chess_solving_mate_in_4_2013_HAGEDOORN-24B_05 chess_solving_mate_in_5_1984_FIN-CH-5_09 chess_solving_mate_in_5_1994_FIN-CH-15_06 chess_solving_mate_in_5_1995_GBR-CH-16_05 chess_solving_mate_in_5_1996_UKR-CH-10_15 chess_solving_mate_in_5_1998_NED-CH-4_06 chess_solving_mate_in_5_2002_MAC-CH-6_14 chess_solving_mate_in_5_2002_UKR-CH_13 chess_solving_mate_in_5_2003_BECHEROVKA_15 chess_solving_mate_in_5_2008_GBR-CH_11 chess_solving_mate_in_5_2010_NED-CH-16_09 chess_solving_mate_in_5_2010_POL-CH-34_14 chess_solving_mate_in_5_2011_FIDE-WORLD-CUP-3_15 chess_solving_mate_in_5_2012_NED-CH-18A_11 chess_solving_mate_in_5_2012_SVK-CH-20_14 chess_solving_mate_in_5_2012_URAL-PROBLEMIST-6_06 chess_solving_mate_in_5_2013_ECSC-9_14 chess_solving_mate_in_5_2014_WARSAW-GP-13_14 chess_solving_mate_in_5_2015_HAGEDOORN-26A_09 chess_solving_mate_in_5_2015_SWZ-CH_06 chess_solving_mate_in_5_2016_KLAIPEDA-OPEN_12 chess_solving_mate_in_6_1998_OST-CH-1_15 chess_solving_mate_in_6_1999_NED-CH-5_06 chess_solving_mate_in_6_2001_FIN-CH-22_06 chess_solving_mate_in_6_2002_MAC-CH-6_15 chess_solving_mate_in_6_2005_WCSC-29_16 chess_solving_mate_in_6_2006_WCCC-OPEN-49_10 chess_solving_mate_in_6_2007_ISC-3A_03 chess_solving_mate_in_6_2007_WCSC-31_15 chess_solving_mate_in_6_2008_WARSAW-GP-OPEN_10 chess_solving_mate_in_6_2011_CRO-CH_15 chess_solving_mate_in_6_2011_SRB-CH_15 chess_solving_mate_in_6_2012_ECSC-8_15 chess_solving_mate_in_6_2012_ISC-8A_09 chess_solving_mate_in_6_2013_ECSC-9_15 chess_solving_mate_in_6_2013_WCCC-OPEN-56_10 chess_solving_mate_in_6_2015_ISR-OPEN-CH-2A_03 chess_solving_mate_in_6_2016_CRO-CH_03 chess_solving_mate_in_6_2016_KLAIPEDA-OPEN_05 chess_solving_mate_in_6_2016_MONTENEGRO-GP-1_15 chess_solving_mate_in_6_2016_RUS-CH_15 chess_solving_mate_in_7_1993_UKR-CH-8_15 chess_solving_mate_in_7_1996_WCSC-20_15 chess_solving_mate_in_7_2003_FRA-CH_04 chess_solving_mate_in_7_2004_DOBRUSKA_15 chess_solving_mate_in_7_2005_GER-CH-29-12_15 chess_solving_mate_in_7_2006_FIN-CH-27_12 chess_solving_mate_in_7_2007_UKR-CH_15 chess_solving_mate_in_7_2008_GER-CH-32-15_15 chess_solving_mate_in_7_2008_SVK-CH-16_15 chess_solving_mate_in_7_2009_POL-CH-33_15 chess_solving_mate_in_7_2009_POLTAVA-300AT_15 chess_solving_mate_in_7_2010_GRE-CH-9_09 chess_solving_mate_in_7_2011_SVK-CH-19_15 chess_solving_mate_in_7_2012_FIDE-WORLD-CUP-4_21 chess_solving_mate_in_7_2013_GER-CH-37_15 chess_solving_mate_in_7_2014_BEL-CH-21A_09 chess_solving_mate_in_7_2014_FIN-CH-35_06 chess_solving_mate_in_7_2016_AZE-CH-37_15 chess_solving_mate_in_7_2016_BEL-CH-23A_03 chess_solving_mate_in_7_2016_LIT-CH-37_15 chess_solving_mate_in_8_2001_POLTAVA-OPEN_07 chess_solving_mate_in_8_2010_WCSC-34_15 chess_solving_mate_in_8_2011_BEL-CH-19A_03 chess_solving_mate_in_8_2016_HAGEDOORN-27A_09 chess_solving_mate_in_9_1999_WCSC-23_15 chess_solving_mate_in_9_2003_RUS-CH_15

The Quantified Boolean Formulas Satisfiability Library

Detail page for chess_solving family