Instances of family chess_composing solved by <a href='solver_detail.php?solver=323'>PortfolioGhostQQfunQuAbSQute___pfs</a> <br> QBFEVAL'19 - Prenex non-CNF Track

qbflib.org

Instances of family chess_composing solved by PortfolioGhostQQfunQuAbSQute___pfs
QBFEVAL'19 - Prenex non-CNF Track

Instance	Result	Time
chess_composing_6_template_03	FAIL	5.94
chess_composing_6_template_07	FAIL	5.94
chess_composing_6_template_02	FAIL	5.95
chess_composing_6_template_05	FAIL	5.97
chess_composing_6_template_08	FAIL	6.02
chess_composing_8_template_14	FAIL	900
chess_composing_8_template_25	FAIL	900
chess_composing_8_template_26	FAIL	900
chess_composing_8_template_47	FAIL	900.01
chess_composing_8_template_49	FAIL	900.01
chess_composing_8_template_05	FAIL	900.02
chess_composing_8_template_21	FAIL	900.03
chess_composing_8_template_33	FAIL	900.03
chess_composing_8_template_24	FAIL	900.03
chess_composing_8_template_36	FAIL	900.03
chess_composing_8_template_15	FAIL	900.03
chess_composing_8_template_16	FAIL	900.03
chess_composing_8_template_17	FAIL	900.03
chess_composing_8_template_07	FAIL	900.03
chess_composing_8_template_08	FAIL	900.04
chess_composing_8_template_23	FAIL	900.04
chess_composing_8_template_12	FAIL	900.04
chess_composing_8_template_40	FAIL	900.04
chess_composing_8_template_20	FAIL	900.04
chess_composing_8_template_35	FAIL	900.05
chess_composing_8_template_27	FAIL	900.05
chess_composing_8_template_30	FAIL	900.06
chess_composing_8_template_32	FAIL	900.07
chess_composing_8_template_50	FAIL	900.07
chess_composing_8_template_37	FAIL	900.07
chess_composing_8_template_28	FAIL	900.07
chess_composing_8_template_11	FAIL	900.09
chess_composing_8_template_01	FAIL	900.09
chess_composing_8_template_44	FAIL	900.09
chess_composing_8_template_04	FAIL	900.1
chess_composing_8_template_39	FAIL	900.11

Contact | Organization | Links | Citing QBFLIB