Sota solver results for family chess_solving <br> QBFEVAL'18

Instance	Solver	Result	Time
chess_solving_mate_in_2_1983_FIN-CH-4_01	Quabs_2018	SAT	5.34
chess_solving_mate_in_2_1996_FIN-CH-17_03	Quabs_2018	SAT	3.03
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01	Quabs_2018	SAT	11.88
chess_solving_mate_in_2_2011_ISC-7B_01	Cqesto_2018	SAT	6.1
chess_solving_mate_in_2_2012_GER-CH-36-19_03	Qute_opt617	SAT	14
chess_solving_mate_in_3_1999_WCSC-23_05	GhostQ_PG___plain_qcir_2018	SAT	463.94
chess_solving_mate_in_3_2009_FIN-CH-30_04	Quabs_2018	SAT	201.19
chess_solving_mate_in_3_2009_POLTAVA-OPEN_03	GhostQ_PG___plain_qcir_2018	SAT	697.56
chess_solving_mate_in_3_2016_BEL-CH-23A_02	Quabs_2018	SAT	467.5

QBF Solver Evaluation Portal