The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for crafted_2020 family
Download (0 Kb)
Submitter:
Martina Seidl
Suite:
Seidl
Domain:
Miscellanea
Description:
Number of instances:
132
Results:
2020 - Track 2
Instances:
BEQ-N-10
BEQ-N-100
BEQ-N-15
BEQ-N-20
BEQ-N-3
BEQ-N-30
BEQ-N-4
BEQ-N-40
BEQ-N-5
BEQ-N-50
BEQ-N-8
CR-N-10
CR-N-100
CR-N-15
CR-N-20
CR-N-3
CR-N-30
CR-N-4
CR-N-40
CR-N-5
CR-N-50
CR-N-8
EQ-N-10
EQ-N-100
EQ-N-15
EQ-N-20
EQ-N-3
EQ-N-30
EQ-N-4
EQ-N-40
EQ-N-5
EQ-N-50
EQ-N-8
EQ2-N-10
EQ2-N-100
EQ2-N-15
EQ2-N-20
EQ2-N-3
EQ2-N-30
EQ2-N-4
EQ2-N-40
EQ2-N-5
EQ2-N-50
EQ2-N-8
KBKF-N-10
KBKF-N-100
KBKF-N-15
KBKF-N-20
KBKF-N-3
KBKF-N-30
KBKF-N-4
KBKF-N-40
KBKF-N-5
KBKF-N-50
KBKF-N-8
KBKF_LD-N-10
KBKF_LD-N-100
KBKF_LD-N-15
KBKF_LD-N-20
KBKF_LD-N-3
KBKF_LD-N-30
KBKF_LD-N-4
KBKF_LD-N-40
KBKF_LD-N-5
KBKF_LD-N-50
KBKF_LD-N-8
KBKF_QU-N-10
KBKF_QU-N-100
KBKF_QU-N-15
KBKF_QU-N-20
KBKF_QU-N-3
KBKF_QU-N-30
KBKF_QU-N-4
KBKF_QU-N-40
KBKF_QU-N-5
KBKF_QU-N-50
KBKF_QU-N-8
LONSING-N-10
LONSING-N-100
LONSING-N-15
LONSING-N-20
LONSING-N-3
LONSING-N-30
LONSING-N-4
LONSING-N-40
LONSING-N-5
LONSING-N-50
LONSING-N-8
LQ_PARITY-N-10
LQ_PARITY-N-100
LQ_PARITY-N-15
LQ_PARITY-N-20
LQ_PARITY-N-3
LQ_PARITY-N-30
LQ_PARITY-N-4
LQ_PARITY-N-40
LQ_PARITY-N-5
LQ_PARITY-N-50
LQ_PARITY-N-8
PARITY-N-10
PARITY-N-100
PARITY-N-15
PARITY-N-20
PARITY-N-3
PARITY-N-30
PARITY-N-4
PARITY-N-40
PARITY-N-5
PARITY-N-50
PARITY-N-8
QU_PARITY-N-10
QU_PARITY-N-100
QU_PARITY-N-15
QU_PARITY-N-20
QU_PARITY-N-3
QU_PARITY-N-30
QU_PARITY-N-4
QU_PARITY-N-40
QU_PARITY-N-5
QU_PARITY-N-50
QU_PARITY-N-8
TRAP-N-10
TRAP-N-100
TRAP-N-15
TRAP-N-20
TRAP-N-3
TRAP-N-30
TRAP-N-4
TRAP-N-40
TRAP-N-5
TRAP-N-50
TRAP-N-8
Contact
|
Organization
|
Links
|
Citing QBFLIB