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

InstanceResultTime
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01FAIL6.89
chess_solving_mate_in_2_1983_FIN-CH-4_01FAIL6.94
chess_solving_mate_in_3_2016_BEL-CH-23A_02FAIL6.97
chess_solving_mate_in_2_1996_FIN-CH-17_03FAIL6.98
chess_solving_mate_in_3_2009_FIN-CH-30_04FAIL6.99
chess_solving_mate_in_3_2009_POLTAVA-OPEN_03FAIL6.99
chess_solving_mate_in_2_2011_ISC-7B_01FAIL7
chess_solving_mate_in_2_2012_GER-CH-36-19_03FAIL7
chess_solving_mate_in_5_1996_UKR-CH-10_15FAIL7
chess_solving_mate_in_4_1984_GBR-CH-5_04FAIL7.03
chess_solving_mate_in_3_1999_WCSC-23_05FAIL7.03
chess_solving_mate_in_4_1999_GER-CH-23-6_14FAIL7.06
chess_solving_mate_in_5_1984_FIN-CH-5_09FAIL7.07
chess_solving_mate_in_6_2013_WCCC-OPEN-56_10FAIL7.11
chess_solving_mate_in_4_2009_SEROCK-OPEN_09FAIL7.12
chess_solving_mate_in_6_2016_RUS-CH_15FAIL7.13
chess_solving_mate_in_5_2012_NED-CH-18A_11FAIL7.14
chess_solving_mate_in_6_2011_SRB-CH_15FAIL7.33
chess_solving_mate_in_6_1998_OST-CH-1_15FAIL8.2
chess_solving_mate_in_7_2005_GER-CH-29-12_15FAIL900
chess_solving_mate_in_7_2009_POL-CH-33_15FAIL900.02
chess_solving_mate_in_7_2011_SVK-CH-19_15FAIL900.05
chess_solving_mate_in_7_2016_BEL-CH-23A_03FAIL900.05
chess_solving_mate_in_9_2003_RUS-CH_15FAIL900.08
chess_solving_mate_in_8_2011_BEL-CH-19A_03FAIL900.12