The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for PositionalGames_hex family
Download (0 Kb)
Submitter:
Valentin Mayer-Eichberger
Suite:
MayerEichberger-Saffidine
Domain:
Miscellanea
Description:
Number of instances:
49
Results:
2019 - Track 1
2018 - Track 1
2018 - Track 5
2017 - Track 5
Instances:
hex_hein_4x4_04
hex_hein_4x4_06
hex_hein_4x4_07
hex_hein_4x4_09
hex_hein_4x4_12
hex_hein_5x5_02
hex_hein_5x5_05
hex_hein_5x5_08
hex_hein_5x5_10
hex_hein_5x5_11
hex_hein_5x5_13
hex_hein_5x5_14
hex_hein_5x5_15
hex_hein_5x5_16
hex_hein_5x5_19
hex_hein_6x6_03
hex_hein_6x6_17
hex_hein_6x6_20
hex_hein_7x7_18
hex_rand_6x6-12m-0
hex_rand_6x6-12m-1
hex_rand_6x6-12m-2
hex_rand_6x6-12m-3
hex_rand_6x6-12m-4
hex_rand_6x6-12m-5
hex_rand_6x6-12m-6
hex_rand_6x6-12m-7
hex_rand_6x6-12m-8
hex_rand_6x6-12m-9
hex_rand_6x6-20m-0
hex_rand_6x6-20m-1
hex_rand_6x6-20m-2
hex_rand_6x6-20m-3
hex_rand_6x6-20m-4
hex_rand_6x6-20m-5
hex_rand_6x6-20m-6
hex_rand_6x6-20m-7
hex_rand_6x6-20m-8
hex_rand_6x6-20m-9
hex_rand_6x6-6m-0
hex_rand_6x6-6m-1
hex_rand_6x6-6m-2
hex_rand_6x6-6m-3
hex_rand_6x6-6m-4
hex_rand_6x6-6m-5
hex_rand_6x6-6m-6
hex_rand_6x6-6m-7
hex_rand_6x6-6m-8
hex_rand_6x6-6m-9
Contact
|
Organization
|
Links
|
Citing QBFLIB