The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for chess_composing family
Download (0 Kb)
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
Contact
|
Organization
|
Links
|
Citing QBFLIB