Instances of family chess_solving solved by GhostQ___plain_qcir_2019
Prenex non-CNF Track

InstanceResultTime
chess_solving_mate_in_2_2009_BEL-CH-17B_01SAT12.3
chess_solving_mate_in_2_2002_WCCC-OPEN-45_01SAT13.49
chess_solving_mate_in_2_2011_GBR-CH-32_03SAT13.88
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01SAT14.19
chess_solving_mate_in_2_2014_NED-CH-20B_09SAT14.38
chess_solving_mate_in_2_1983_FIN-CH-4_01SAT15.5
chess_solving_mate_in_2_2008_BEL-CH-16B_08SAT16.01
chess_solving_mate_in_2_2009_POL-CH-33_01SAT16.72
chess_solving_mate_in_2_2002_MAC-CH-6_03SAT17.09
chess_solving_mate_in_2_2011_ISC-7B_01SAT18.68
chess_solving_mate_in_2_1996_FIN-CH-17_03SAT20.06
chess_solving_mate_in_2_1998_GBR-CH-19_01SAT20.45
chess_solving_mate_in_2_2011_WCCC-OPEN-54_01SAT20.6
chess_solving_mate_in_2_2011_ROM-CH-W_02SAT22.39
chess_solving_mate_in_2_1987_FIN-CH-8_01SAT22.76
chess_solving_mate_in_2_2015_GBR-CH-36_02SAT24.38
chess_solving_mate_in_2_2012_GER-CH-36-19_03SAT26.78
chess_solving_mate_in_2_1991_GER-CH-15_01SAT27.88
chess_solving_mate_in_2_1982_WCSC-6_02SAT30.87
chess_solving_mate_in_2_1997_WCCC-OPEN-40_03SAT31.42
chess_solving_mate_in_3_2010_UKR-CH_04SAT43.66
chess_solving_mate_in_3_2008_ISC-4B_07SAT76.08
chess_solving_mate_in_3_2011_UKR-OPEN-25_04SAT112.11
chess_solving_mate_in_3_2014_FRA-CH_03SAT139.7
chess_solving_mate_in_3_2012_NED-CH-18B_04SAT202.4
chess_solving_mate_in_3_1978_WCSC-2_05SAT208.22
chess_solving_mate_in_3_1991_WCSC-15_05SAT218.87
chess_solving_mate_in_3_2001_UKR-CH_06SAT252.79
chess_solving_mate_in_4_2001_UKR-CH_13SAT256.34
chess_solving_mate_in_3_2012_GRE-CH-11_02SAT258.6
chess_solving_mate_in_3_2003_UKR-CH_04SAT272.13
chess_solving_mate_in_3_2000_CZE-CH_04SAT609.88