Sota solver results for family chess_solving
QBFEVAL'19 - Prenex non-CNF Track


InstanceSolverResultTime
chess_solving_mate_in_2_1982_WCSC-6_02QuAbS___quabs-caqe_2019SAT22.74
chess_solving_mate_in_2_1983_FIN-CH-4_01Quabs_2018SAT5.3
chess_solving_mate_in_2_1987_FIN-CH-8_01Quabs_2018SAT19.69
chess_solving_mate_in_2_1991_GER-CH-15_01GhostQ___plain_qcir_2019SAT27.9
chess_solving_mate_in_2_1996_FIN-CH-17_03QuAbS___quabs-caqe_2019SAT3.09
chess_solving_mate_in_2_1997_WCCC-OPEN-40_03GhostQ___plain_qcir_2019SAT31.27
chess_solving_mate_in_2_1998_GBR-CH-19_01Quabs_2018SAT6.63
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_2018SAT11.84
chess_solving_mate_in_2_2008_BEL-CH-16B_08QuAbS___quabs-caqe_2019SAT9.02
chess_solving_mate_in_2_2009_BEL-CH-17B_01Quabs_2018SAT8.71
chess_solving_mate_in_2_2009_POL-CH-33_01Quabs_2018SAT4
chess_solving_mate_in_2_2011_GBR-CH-32_03GhostQ___plain_qcir_2019SAT13.87
chess_solving_mate_in_2_2011_ISC-7B_01GhostQ___plain_qcir_2019SAT18.75
chess_solving_mate_in_2_2011_ROM-CH-W_02Quabs_2018SAT13.64
chess_solving_mate_in_2_2011_WCCC-OPEN-54_01GhostQ___plain_qcir_2019SAT20.49
chess_solving_mate_in_2_2012_GER-CH-36-19_03QuAbS___quabs-caqe_2019SAT25.34
chess_solving_mate_in_2_2014_NED-CH-20B_09Quabs_2018SAT1.07
chess_solving_mate_in_2_2015_GBR-CH-36_02Quabs_2018SAT14.87
chess_solving_mate_in_3_1978_WCSC-2_05GhostQ___plain_qcir_2019SAT210.8
chess_solving_mate_in_3_1991_WCSC-15_05Quabs_2018SAT108.36
chess_solving_mate_in_3_2000_CZE-CH_04GhostQ___plain_qcir_2019SAT660.32
chess_solving_mate_in_3_2001_UKR-CH_06GhostQ___plain_qcir_2019SAT253.84
chess_solving_mate_in_3_2003_UKR-CH_04GhostQ___plain_qcir_2019SAT275.41
chess_solving_mate_in_3_2008_ISC-4B_07Quabs_2018SAT56.3
chess_solving_mate_in_3_2010_UKR-CH_04GhostQ___plain_qcir_2019SAT43.36
chess_solving_mate_in_3_2011_UKR-OPEN-25_04GhostQ___plain_qcir_2019SAT112.18
chess_solving_mate_in_3_2012_GRE-CH-11_02Quabs_2018SAT209.71
chess_solving_mate_in_3_2012_NED-CH-18B_04GhostQ___plain_qcir_2019SAT204.12
chess_solving_mate_in_3_2014_FRA-CH_03GhostQ___plain_qcir_2019SAT141.86
chess_solving_mate_in_4_2001_UKR-CH_13GhostQ___plain_qcir_2019SAT248.39