Instances of family crafted_2020 solved by depqbf_pre_QxQBH
Crafted Instances Track

InstanceResultTime
EQ2-N-3UNSAT0
KBKF_LD-N-30UNSAT0
KBKF_LD-N-4UNSAT0
KBKF_LD-N-40UNSAT0
KBKF_LD-N-5UNSAT0
KBKF_LD-N-50UNSAT0
KBKF_LD-N-8UNSAT0
KBKF_QU-N-10UNSAT0
KBKF_QU-N-15UNSAT0
KBKF_QU-N-3UNSAT0
KBKF_QU-N-4UNSAT0
KBKF_QU-N-5UNSAT0
KBKF_QU-N-8UNSAT0
LONSING-N-10UNSAT0
LONSING-N-15UNSAT0
LONSING-N-20UNSAT0
LONSING-N-3UNSAT0
KBKF_LD-N-3UNSAT0
KBKF_LD-N-20UNSAT0
EQ2-N-4UNSAT0
EQ2-N-5UNSAT0
KBKF-N-10UNSAT0
KBKF-N-100UNSAT0
KBKF-N-15UNSAT0
KBKF-N-20UNSAT0
KBKF-N-3UNSAT0
KBKF-N-30UNSAT0
KBKF-N-4UNSAT0
KBKF-N-40UNSAT0
KBKF-N-5UNSAT0
KBKF-N-50UNSAT0
KBKF-N-8UNSAT0
KBKF_LD-N-10UNSAT0
KBKF_LD-N-100UNSAT0
KBKF_LD-N-15UNSAT0
LONSING-N-30UNSAT0
LONSING-N-4UNSAT0
LONSING-N-5UNSAT0
PARITY-N-5UNSAT0
PARITY-N-8UNSAT0
QU_PARITY-N-100UNSAT0
QU_PARITY-N-15UNSAT0
QU_PARITY-N-20UNSAT0
QU_PARITY-N-3UNSAT0
QU_PARITY-N-30UNSAT0
QU_PARITY-N-4UNSAT0
QU_PARITY-N-40UNSAT0
QU_PARITY-N-5UNSAT0
QU_PARITY-N-50UNSAT0
QU_PARITY-N-8UNSAT0
TRAP-N-10UNSAT0
TRAP-N-3UNSAT0
TRAP-N-4UNSAT0
TRAP-N-5UNSAT0
PARITY-N-4UNSAT0
PARITY-N-3UNSAT0
LONSING-N-8UNSAT0
LQ_PARITY-N-10UNSAT0
LQ_PARITY-N-100UNSAT0
LQ_PARITY-N-15UNSAT0
LQ_PARITY-N-20UNSAT0
LQ_PARITY-N-3UNSAT0
LQ_PARITY-N-30UNSAT0
LQ_PARITY-N-4UNSAT0
LQ_PARITY-N-40UNSAT0
LQ_PARITY-N-5UNSAT0
LQ_PARITY-N-50UNSAT0
LQ_PARITY-N-8UNSAT0
PARITY-N-10UNSAT0
PARITY-N-100UNSAT0
PARITY-N-15UNSAT0
PARITY-N-20UNSAT0
TRAP-N-8UNSAT0
BEQ-N-100UNSAT0
CR-N-5UNSAT0
CR-N-40UNSAT0
CR-N-4UNSAT0
CR-N-3UNSAT0
CR-N-20UNSAT0
CR-N-15UNSAT0
CR-N-10UNSAT0
BEQ-N-8UNSAT0
BEQ-N-50UNSAT0
BEQ-N-5UNSAT0
BEQ-N-40UNSAT0
BEQ-N-4UNSAT0
BEQ-N-30UNSAT0
BEQ-N-3UNSAT0
BEQ-N-10UNSAT0
BEQ-N-20UNSAT0
CR-N-8UNSAT0
EQ-N-10UNSAT0
EQ-N-100UNSAT0
CR-N-30UNSAT0
BEQ-N-15UNSAT0
EQ-N-8UNSAT0
QU_PARITY-N-10UNSAT0
EQ-N-50UNSAT0
EQ-N-5UNSAT0
EQ-N-40UNSAT0
EQ-N-20UNSAT0
EQ-N-15UNSAT0
EQ-N-4UNSAT0
EQ-N-30UNSAT0
EQ-N-3UNSAT0
KBKF_QU-N-30UNSAT0.42
KBKF_QU-N-20UNSAT0.48
KBKF_QU-N-40UNSAT0.51
LONSING-N-40UNSAT0.65
CR-N-50UNSAT0.69
KBKF_QU-N-50UNSAT0.7
EQ2-N-8UNSAT0.77
TRAP-N-15UNSAT0.78
EQ2-N-15UNSAT1.19
LONSING-N-50UNSAT1.26
EQ2-N-10UNSAT1.39
KBKF_QU-N-100UNSAT1.51
PARITY-N-30UNSAT2.29
TRAP-N-20UNSAT2.45
TRAP-N-30UNSAT3.03
EQ2-N-20UNSAT3.2
CR-N-100UNSAT3.87
PARITY-N-40UNSAT4.5
TRAP-N-40UNSAT4.89
TRAP-N-50UNSAT9.02
LONSING-N-100UNSAT9.84
EQ2-N-40UNSAT12.5
PARITY-N-50UNSAT12.83
EQ2-N-30UNSAT18.64
EQ2-N-50UNSAT23.39
TRAP-N-100UNSAT244.3
EQ2-N-100UNSAT393.76