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

InstanceResultTime
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01SAT14.47
chess_solving_mate_in_2_1983_FIN-CH-4_01SAT15.71
chess_solving_mate_in_2_2011_ISC-7B_01SAT19.07
chess_solving_mate_in_2_1996_FIN-CH-17_03SAT20.44
chess_solving_mate_in_2_2012_GER-CH-36-19_03SAT27.25
chess_solving_mate_in_3_2009_FIN-CH-30_04SAT438.2
chess_solving_mate_in_3_1999_WCSC-23_05SAT463.94
chess_solving_mate_in_3_2016_BEL-CH-23A_02SAT575.27
chess_solving_mate_in_3_2009_POLTAVA-OPEN_03SAT697.56
chess_solving_mate_in_6_2011_SRB-CH_15FAIL900.01
chess_solving_mate_in_4_1984_GBR-CH-5_04FAIL900.01
chess_solving_mate_in_6_1998_OST-CH-1_15FAIL900.02
chess_solving_mate_in_6_2013_WCCC-OPEN-56_10FAIL900.02
chess_solving_mate_in_4_1999_GER-CH-23-6_14FAIL900.03
chess_solving_mate_in_6_2016_RUS-CH_15FAIL900.03
chess_solving_mate_in_8_2011_BEL-CH-19A_03FAIL900.03
chess_solving_mate_in_5_1984_FIN-CH-5_09FAIL900.04
chess_solving_mate_in_5_1996_UKR-CH-10_15FAIL900.04
chess_solving_mate_in_5_2012_NED-CH-18A_11FAIL900.04
chess_solving_mate_in_7_2009_POL-CH-33_15FAIL900.05
chess_solving_mate_in_4_2009_SEROCK-OPEN_09FAIL900.06
chess_solving_mate_in_9_2003_RUS-CH_15FAIL900.06
chess_solving_mate_in_7_2005_GER-CH-29-12_15FAIL900.09
chess_solving_mate_in_7_2011_SVK-CH-19_15FAIL900.09
chess_solving_mate_in_7_2016_BEL-CH-23A_03FAIL900.1