Instances of family chess_solving solved by <a href='solver_detail.php?solver=321'>PortfolioGhostQQfunQuAbSQute___pf2</a> <br> QBFEVAL'18

Instance	Result	Time
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01	FAIL	6.89
chess_solving_mate_in_2_1983_FIN-CH-4_01	FAIL	6.94
chess_solving_mate_in_3_2016_BEL-CH-23A_02	FAIL	6.97
chess_solving_mate_in_2_1996_FIN-CH-17_03	FAIL	6.98
chess_solving_mate_in_3_2009_FIN-CH-30_04	FAIL	6.99
chess_solving_mate_in_3_2009_POLTAVA-OPEN_03	FAIL	6.99
chess_solving_mate_in_2_2012_GER-CH-36-19_03	FAIL	7
chess_solving_mate_in_5_1996_UKR-CH-10_15	FAIL	7
chess_solving_mate_in_2_2011_ISC-7B_01	FAIL	7
chess_solving_mate_in_3_1999_WCSC-23_05	FAIL	7.03
chess_solving_mate_in_4_1984_GBR-CH-5_04	FAIL	7.03
chess_solving_mate_in_4_1999_GER-CH-23-6_14	FAIL	7.06
chess_solving_mate_in_5_1984_FIN-CH-5_09	FAIL	7.07
chess_solving_mate_in_6_2013_WCCC-OPEN-56_10	FAIL	7.11
chess_solving_mate_in_4_2009_SEROCK-OPEN_09	FAIL	7.12
chess_solving_mate_in_6_2016_RUS-CH_15	FAIL	7.13
chess_solving_mate_in_5_2012_NED-CH-18A_11	FAIL	7.14
chess_solving_mate_in_6_2011_SRB-CH_15	FAIL	7.33
chess_solving_mate_in_6_1998_OST-CH-1_15	FAIL	8.2
chess_solving_mate_in_7_2005_GER-CH-29-12_15	FAIL	900
chess_solving_mate_in_7_2009_POL-CH-33_15	FAIL	900.02
chess_solving_mate_in_7_2011_SVK-CH-19_15	FAIL	900.05
chess_solving_mate_in_7_2016_BEL-CH-23A_03	FAIL	900.05
chess_solving_mate_in_9_2003_RUS-CH_15	FAIL	900.08
chess_solving_mate_in_8_2011_BEL-CH-19A_03	FAIL	900.12

QBF Solver Evaluation Portal