Instances of family chess_solving solved by PortfolioGhostQQfunQuAbSQute___pf2
QBFEVAL'19 - Prenex non-CNF Track

InstanceResultTime
chess_solving_mate_in_2_2002_WCCC-OPEN-45_01FAIL7.05
chess_solving_mate_in_2_1987_FIN-CH-8_01FAIL7.08
chess_solving_mate_in_2_1982_WCSC-6_02FAIL7.09
chess_solving_mate_in_3_2010_UKR-CH_04FAIL7.09
chess_solving_mate_in_2_2002_MAC-CH-6_03FAIL7.1
chess_solving_mate_in_2_2011_GBR-CH-32_03FAIL7.11
chess_solving_mate_in_2_1996_FIN-CH-17_03FAIL7.12
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01FAIL7.13
chess_solving_mate_in_2_2011_ROM-CH-W_02FAIL7.14
chess_solving_mate_in_2_2009_POL-CH-33_01FAIL7.14
chess_solving_mate_in_3_2012_NED-CH-18B_04FAIL7.14
chess_solving_mate_in_2_2011_WCCC-OPEN-54_01FAIL7.16
chess_solving_mate_in_2_2008_BEL-CH-16B_08FAIL7.16
chess_solving_mate_in_2_1998_GBR-CH-19_01FAIL7.17
chess_solving_mate_in_2_1983_FIN-CH-4_01FAIL7.17
chess_solving_mate_in_2_2014_NED-CH-20B_09FAIL7.17
chess_solving_mate_in_2_2015_GBR-CH-36_02FAIL7.17
chess_solving_mate_in_2_1991_GER-CH-15_01FAIL7.18
chess_solving_mate_in_3_1978_WCSC-2_05FAIL7.18
chess_solving_mate_in_2_1997_WCCC-OPEN-40_03FAIL7.18
chess_solving_mate_in_4_2008_ISR-CH_03FAIL7.19
chess_solving_mate_in_3_1991_WCSC-15_05FAIL7.19
chess_solving_mate_in_2_2011_ISC-7B_01FAIL7.2
chess_solving_mate_in_3_2000_CZE-CH_04FAIL7.2
chess_solving_mate_in_2_2012_GER-CH-36-19_03FAIL7.2
chess_solving_mate_in_4_2008_UKR-CH-22_13FAIL7.2
chess_solving_mate_in_3_2012_GRE-CH-11_02FAIL7.2
chess_solving_mate_in_3_2001_UKR-CH_06FAIL7.21
chess_solving_mate_in_3_2003_UKR-CH_04FAIL7.21
chess_solving_mate_in_2_2009_BEL-CH-17B_01FAIL7.21
chess_solving_mate_in_3_2011_UKR-OPEN-25_04FAIL7.21
chess_solving_mate_in_4_2001_UKR-CH_13FAIL7.23
chess_solving_mate_in_4_1985_WCSC-9_13FAIL7.24
chess_solving_mate_in_4_2012_URAL-PROBLEMIST-6_05FAIL7.24
chess_solving_mate_in_3_2008_ISC-4B_07FAIL7.26
chess_solving_mate_in_3_2014_FRA-CH_03FAIL7.3