The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for gttt-4x4_2020 family
Download (0 Kb)
Submitter:
Valentin Mayer-Eichberger
Suite:
MayerEichberger-Saffidine
Domain:
Miscellanea
Description:
Number of instances:
96
Results:
2020 - Track 1
Instances:
gttt_1_1_00011011_4x4_b_2020
gttt_1_1_00011011_4x4_torus_b_2020
gttt_1_1_00011011_4x4_torus_w_2020
gttt_1_1_00011011_4x4_w_2020
gttt_1_1_00011020_4x4_b_2020
gttt_1_1_00011020_4x4_torus_b_2020
gttt_1_1_00011020_4x4_torus_w_2020
gttt_1_1_00011020_4x4_w_2020
gttt_1_1_000111_4x4_b_2020
gttt_1_1_000111_4x4_torus_b_2020
gttt_1_1_000111_4x4_torus_w_2020
gttt_1_1_000111_4x4_w_2020
gttt_1_1_00101120_4x4_b_2020
gttt_1_1_00101120_4x4_torus_b_2020
gttt_1_1_00101120_4x4_torus_w_2020
gttt_1_1_00101120_4x4_w_2020
gttt_1_1_00101121_4x4_b_2020
gttt_1_1_00101121_4x4_torus_b_2020
gttt_1_1_00101121_4x4_torus_w_2020
gttt_1_1_00101121_4x4_w_2020
gttt_1_1_00102030_4x4_b_2020
gttt_1_1_00102030_4x4_torus_b_2020
gttt_1_1_00102030_4x4_torus_w_2020
gttt_1_1_00102030_4x4_w_2020
gttt_1_1_001020_4x4_b_2020
gttt_1_1_001020_4x4_torus_b_2020
gttt_1_1_001020_4x4_torus_w_2020
gttt_1_1_001020_4x4_w_2020
gttt_1_1_0010_4x4_b_2020
gttt_1_1_0010_4x4_torus_b_2020
gttt_1_1_0010_4x4_torus_w_2020
gttt_1_1_0010_4x4_w_2020
gttt_2_1_00011011_4x4_b_2020
gttt_2_1_00011011_4x4_torus_b_2020
gttt_2_1_00011011_4x4_torus_w_2020
gttt_2_1_00011011_4x4_w_2020
gttt_2_1_00011020_4x4_b_2020
gttt_2_1_00011020_4x4_torus_b_2020
gttt_2_1_00011020_4x4_torus_w_2020
gttt_2_1_00011020_4x4_w_2020
gttt_2_1_000111_4x4_b_2020
gttt_2_1_000111_4x4_torus_b_2020
gttt_2_1_000111_4x4_torus_w_2020
gttt_2_1_000111_4x4_w_2020
gttt_2_1_00101120_4x4_b_2020
gttt_2_1_00101120_4x4_torus_b_2020
gttt_2_1_00101120_4x4_torus_w_2020
gttt_2_1_00101120_4x4_w_2020
gttt_2_1_00101121_4x4_b_2020
gttt_2_1_00101121_4x4_torus_b_2020
gttt_2_1_00101121_4x4_torus_w_2020
gttt_2_1_00101121_4x4_w_2020
gttt_2_1_00102030_4x4_b_2020
gttt_2_1_00102030_4x4_torus_b_2020
gttt_2_1_00102030_4x4_torus_w_2020
gttt_2_1_00102030_4x4_w_2020
gttt_2_1_001020_4x4_b_2020
gttt_2_1_001020_4x4_torus_b_2020
gttt_2_1_001020_4x4_torus_w_2020
gttt_2_1_001020_4x4_w_2020
gttt_2_1_0010_4x4_b_2020
gttt_2_1_0010_4x4_torus_b_2020
gttt_2_1_0010_4x4_torus_w_2020
gttt_2_1_0010_4x4_w_2020
gttt_2_2_00011011_4x4_b_2020
gttt_2_2_00011011_4x4_torus_b_2020
gttt_2_2_00011011_4x4_torus_w_2020
gttt_2_2_00011011_4x4_w_2020
gttt_2_2_00011020_4x4_b_2020
gttt_2_2_00011020_4x4_torus_b_2020
gttt_2_2_00011020_4x4_torus_w_2020
gttt_2_2_00011020_4x4_w_2020
gttt_2_2_000111_4x4_b_2020
gttt_2_2_000111_4x4_torus_b_2020
gttt_2_2_000111_4x4_torus_w_2020
gttt_2_2_000111_4x4_w_2020
gttt_2_2_00101120_4x4_b_2020
gttt_2_2_00101120_4x4_torus_b_2020
gttt_2_2_00101120_4x4_torus_w_2020
gttt_2_2_00101120_4x4_w_2020
gttt_2_2_00101121_4x4_b_2020
gttt_2_2_00101121_4x4_torus_b_2020
gttt_2_2_00101121_4x4_torus_w_2020
gttt_2_2_00101121_4x4_w_2020
gttt_2_2_00102030_4x4_b_2020
gttt_2_2_00102030_4x4_torus_b_2020
gttt_2_2_00102030_4x4_torus_w_2020
gttt_2_2_00102030_4x4_w_2020
gttt_2_2_001020_4x4_b_2020
gttt_2_2_001020_4x4_torus_b_2020
gttt_2_2_001020_4x4_torus_w_2020
gttt_2_2_001020_4x4_w_2020
gttt_2_2_0010_4x4_b_2020
gttt_2_2_0010_4x4_torus_b_2020
gttt_2_2_0010_4x4_torus_w_2020
gttt_2_2_0010_4x4_w_2020
Contact
|
Organization
|
Links
|
Citing QBFLIB