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

InstanceResultTime
chess_solving_mate_in_5_1996_UKR-CH-10_15FAIL900
chess_solving_mate_in_7_2009_POL-CH-33_15FAIL900.01
chess_solving_mate_in_7_2016_BEL-CH-23A_03FAIL900.01
chess_solving_mate_in_6_1998_OST-CH-1_15FAIL900.01
chess_solving_mate_in_4_1999_GER-CH-23-6_14FAIL900.02
chess_solving_mate_in_7_2005_GER-CH-29-12_15FAIL900.02
chess_solving_mate_in_5_2012_NED-CH-18A_11FAIL900.02
chess_solving_mate_in_3_2009_POLTAVA-OPEN_03FAIL900.02
chess_solving_mate_in_4_1984_GBR-CH-5_04FAIL900.02
chess_solving_mate_in_6_2016_RUS-CH_15FAIL900.03
chess_solving_mate_in_2_2011_ISC-7B_01FAIL900.03
chess_solving_mate_in_2_2012_GER-CH-36-19_03FAIL900.03
chess_solving_mate_in_2_1983_FIN-CH-4_01FAIL900.03
chess_solving_mate_in_6_2011_SRB-CH_15FAIL900.03
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01FAIL900.04
chess_solving_mate_in_5_1984_FIN-CH-5_09FAIL900.04
chess_solving_mate_in_9_2003_RUS-CH_15FAIL900.04
chess_solving_mate_in_3_1999_WCSC-23_05FAIL900.05
chess_solving_mate_in_2_1996_FIN-CH-17_03FAIL900.05
chess_solving_mate_in_4_2009_SEROCK-OPEN_09FAIL900.06
chess_solving_mate_in_3_2009_FIN-CH-30_04FAIL900.06
chess_solving_mate_in_7_2011_SVK-CH-19_15FAIL900.08
chess_solving_mate_in_8_2011_BEL-CH-19A_03FAIL900.08
chess_solving_mate_in_3_2016_BEL-CH-23A_02FAIL900.08
chess_solving_mate_in_6_2013_WCCC-OPEN-56_10FAIL900.09