Sota solver results for family chess_solving
Prenex non-CNF Track


InstanceSolverResultTime
chess_solving_mate_in_2_1982_WCSC-6_02QuAbS___quabs-caqe_2019SAT22.7
chess_solving_mate_in_2_1983_FIN-CH-4_01Quabs_2018SAT5.37
chess_solving_mate_in_2_1987_FIN-CH-8_01Quabs_2018SAT20
chess_solving_mate_in_2_1991_GER-CH-15_01GhostQ___plain_qcir_2019SAT27.88
chess_solving_mate_in_2_1996_FIN-CH-17_03Quabs_2018SAT3.1
chess_solving_mate_in_2_1997_WCCC-OPEN-40_03GhostQ___plain_qcir_2019SAT31.42
chess_solving_mate_in_2_1998_GBR-CH-19_01Cqesto_2018SAT5.18
chess_solving_mate_in_2_2002_MAC-CH-6_03GhostQ___plain_qcir_2019SAT17.09
chess_solving_mate_in_2_2002_WCCC-OPEN-45_01Quabs_2018SAT2.29
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01QuAbS___quabs-caqe_2019SAT11.71
chess_solving_mate_in_2_2008_BEL-CH-16B_08Quabs_2018SAT9.19
chess_solving_mate_in_2_2009_BEL-CH-17B_01QuAbS___quabs-caqe_2019SAT8.54
chess_solving_mate_in_2_2009_POL-CH-33_01QuAbS___quabs-caqe_2019SAT4
chess_solving_mate_in_2_2011_GBR-CH-32_03GhostQ___plain_qcir_2019SAT13.88
chess_solving_mate_in_2_2011_ISC-7B_01Cqesto_2018SAT5.91
chess_solving_mate_in_2_2011_ROM-CH-W_02Quabs_2018SAT13.61
chess_solving_mate_in_2_2011_WCCC-OPEN-54_01GhostQ___plain_qcir_2019SAT20.6
chess_solving_mate_in_2_2012_GER-CH-36-19_03QuAbS___quabs-caqe_2019SAT25.21
chess_solving_mate_in_2_2014_NED-CH-20B_09Quabs_2018SAT1.08
chess_solving_mate_in_2_2015_GBR-CH-36_02QuAbS___quabs-caqe_2019SAT14.7
chess_solving_mate_in_3_1978_WCSC-2_05GhostQ___plain_qcir_2019SAT208.22
chess_solving_mate_in_3_1991_WCSC-15_05QuAbS___quabs-caqe_2019SAT107.24
chess_solving_mate_in_3_2000_CZE-CH_04Cqesto_2018SAT334.38
chess_solving_mate_in_3_2001_UKR-CH_06GhostQ___plain_qcir_2019SAT252.79
chess_solving_mate_in_3_2003_UKR-CH_04GhostQ___plain_qcir_2019SAT272.13
chess_solving_mate_in_3_2008_ISC-4B_07Cqesto_2018SAT26.06
chess_solving_mate_in_3_2010_UKR-CH_04GhostQ___plain_qcir_2019SAT43.66
chess_solving_mate_in_3_2011_UKR-OPEN-25_04GhostQ___plain_qcir_2019SAT112.11
chess_solving_mate_in_3_2012_GRE-CH-11_02Quabs_2018SAT209.58
chess_solving_mate_in_3_2012_NED-CH-18B_04GhostQ___plain_qcir_2019SAT202.4
chess_solving_mate_in_3_2014_FRA-CH_03GhostQ___plain_qcir_2019SAT139.7
chess_solving_mate_in_4_2001_UKR-CH_13GhostQ___plain_qcir_2019SAT256.34