Detail page for chess_composing family


	Submitter:	Tomas Peitl

	Suite:	Peitl

	Domain:	Miscellanea

	Description:

	Number of instances:	58

	Results:	2020 - Track 3 2019 - Track 2 2018 - Track 2

	Instances:	chess_composing_6_template_01 chess_composing_6_template_02 chess_composing_6_template_03 chess_composing_6_template_04 chess_composing_6_template_05 chess_composing_6_template_06 chess_composing_6_template_07 chess_composing_6_template_08 chess_composing_8_template_01 chess_composing_8_template_02 chess_composing_8_template_03 chess_composing_8_template_04 chess_composing_8_template_05 chess_composing_8_template_06 chess_composing_8_template_07 chess_composing_8_template_08 chess_composing_8_template_09 chess_composing_8_template_10 chess_composing_8_template_11 chess_composing_8_template_12 chess_composing_8_template_13 chess_composing_8_template_14 chess_composing_8_template_15 chess_composing_8_template_16 chess_composing_8_template_17 chess_composing_8_template_18 chess_composing_8_template_19 chess_composing_8_template_20 chess_composing_8_template_21 chess_composing_8_template_22 chess_composing_8_template_23 chess_composing_8_template_24 chess_composing_8_template_25 chess_composing_8_template_26 chess_composing_8_template_27 chess_composing_8_template_28 chess_composing_8_template_29 chess_composing_8_template_30 chess_composing_8_template_31 chess_composing_8_template_32 chess_composing_8_template_33 chess_composing_8_template_34 chess_composing_8_template_35 chess_composing_8_template_36 chess_composing_8_template_37 chess_composing_8_template_38 chess_composing_8_template_39 chess_composing_8_template_40 chess_composing_8_template_41 chess_composing_8_template_42 chess_composing_8_template_43 chess_composing_8_template_44 chess_composing_8_template_45 chess_composing_8_template_46 chess_composing_8_template_47 chess_composing_8_template_48 chess_composing_8_template_49 chess_composing_8_template_50

The Quantified Boolean Formulas Satisfiability Library

Detail page for chess_composing family