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

qbflib.org

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

Instance	Result	Time
chess_composing_8_template_05	FAIL	7.13
chess_composing_8_template_21	FAIL	7.14
chess_composing_6_template_03	FAIL	7.15
chess_composing_8_template_08	FAIL	7.15
chess_composing_8_template_11	FAIL	7.15
chess_composing_8_template_25	FAIL	7.16
chess_composing_8_template_26	FAIL	7.16
chess_composing_6_template_05	FAIL	7.19
chess_composing_8_template_37	FAIL	7.19
chess_composing_6_template_02	FAIL	7.2
chess_composing_6_template_07	FAIL	7.2
chess_composing_8_template_35	FAIL	7.2
chess_composing_6_template_08	FAIL	7.2
chess_composing_8_template_17	FAIL	7.21
chess_composing_8_template_28	FAIL	7.21
chess_composing_8_template_40	FAIL	7.21
chess_composing_8_template_50	FAIL	7.21
chess_composing_8_template_27	FAIL	7.21
chess_composing_8_template_07	FAIL	7.22
chess_composing_8_template_01	FAIL	7.22
chess_composing_8_template_33	FAIL	7.23
chess_composing_8_template_04	FAIL	7.23
chess_composing_8_template_16	FAIL	7.23
chess_composing_8_template_20	FAIL	7.24
chess_composing_8_template_30	FAIL	7.24
chess_composing_8_template_32	FAIL	7.24
chess_composing_8_template_12	FAIL	7.24
chess_composing_8_template_24	FAIL	7.24
chess_composing_8_template_14	FAIL	7.24
chess_composing_8_template_36	FAIL	7.24
chess_composing_8_template_15	FAIL	7.24
chess_composing_8_template_39	FAIL	7.24
chess_composing_8_template_23	FAIL	7.25
chess_composing_8_template_49	FAIL	7.25
chess_composing_8_template_44	FAIL	7.26
chess_composing_8_template_47	FAIL	7.28

Contact | Organization | Links | Citing QBFLIB