Instances of family crafted_2020 solved by depqbf_prefix_opt_qdo
Crafted Instances Track

InstanceResultTime
EQ2-N-3UNSAT0
KBKF_LD-N-4UNSAT0
KBKF_LD-N-5UNSAT0
KBKF_LD-N-8UNSAT0
KBKF_QU-N-10UNSAT0
BEQ-N-8UNSAT0
KBKF_QU-N-15UNSAT0
BEQ-N-5UNSAT0
BEQ-N-4UNSAT0
KBKF_QU-N-3UNSAT0
BEQ-N-3UNSAT0
KBKF_QU-N-30UNSAT0
KBKF_QU-N-4UNSAT0
KBKF_QU-N-40UNSAT0
BEQ-N-10UNSAT0
KBKF_QU-N-5UNSAT0
KBKF_QU-N-50UNSAT0
CR-N-3UNSAT0
KBKF_LD-N-3UNSAT0
EQ2-N-4UNSAT0
EQ2-N-5UNSAT0
EQ-N-8UNSAT0
KBKF-N-10UNSAT0
EQ-N-5UNSAT0
EQ-N-4UNSAT0
KBKF-N-3UNSAT0
EQ-N-3UNSAT0
EQ-N-15UNSAT0
KBKF-N-4UNSAT0
EQ-N-10UNSAT0
KBKF-N-5UNSAT0
KBKF-N-8UNSAT0
CR-N-5UNSAT0
KBKF_LD-N-10UNSAT0
CR-N-4UNSAT0
KBKF_QU-N-8UNSAT0
LONSING-N-10UNSAT0
LONSING-N-15UNSAT0
PARITY-N-15UNSAT0
PARITY-N-20UNSAT0
PARITY-N-3UNSAT0
PARITY-N-30UNSAT0
PARITY-N-4UNSAT0
PARITY-N-40UNSAT0
PARITY-N-5UNSAT0
PARITY-N-50UNSAT0
PARITY-N-8UNSAT0
QU_PARITY-N-3UNSAT0
QU_PARITY-N-4UNSAT0
QU_PARITY-N-5UNSAT0
QU_PARITY-N-8UNSAT0
TRAP-N-3UNSAT0
TRAP-N-4UNSAT0
TRAP-N-5UNSAT0
PARITY-N-100UNSAT0
PARITY-N-10UNSAT0
LQ_PARITY-N-8UNSAT0
LONSING-N-20UNSAT0
LONSING-N-3UNSAT0
LONSING-N-30UNSAT0
LONSING-N-4UNSAT0
KBKF_QU-N-20UNSAT0
LONSING-N-5UNSAT0
BEQ-N-15UNSAT0
LONSING-N-8UNSAT0
LQ_PARITY-N-10UNSAT0
QU_PARITY-N-10UNSAT0
LQ_PARITY-N-5UNSAT0
LQ_PARITY-N-3UNSAT0
LQ_PARITY-N-4UNSAT0
LONSING-N-40UNSAT0.06
LONSING-N-50UNSAT0.12
KBKF_QU-N-100UNSAT0.69
EQ2-N-8UNSAT1.21
TRAP-N-8UNSAT1.52
KBKF-N-15UNSAT1.54
LQ_PARITY-N-15UNSAT1.81
QU_PARITY-N-15UNSAT2
LONSING-N-100UNSAT2.45
KBKF_LD-N-15UNSAT8.36
EQ-N-20UNSAT12.8
BEQ-N-20UNSAT13.14
EQ2-N-10UNSAT33.87
KBKF-N-20UNSAT182.85
LQ_PARITY-N-20UNSAT189.05
QU_PARITY-N-20UNSAT195.4
CR-N-8UNSAT717.3
KBKF_LD-N-20UNSAT850.51
LQ_PARITY-N-30FAIL900
LQ_PARITY-N-100FAIL900
LQ_PARITY-N-40FAIL900
LQ_PARITY-N-50FAIL900
TRAP-N-10FAIL900
TRAP-N-100FAIL900
TRAP-N-15FAIL900
TRAP-N-20FAIL900
TRAP-N-30FAIL900
TRAP-N-40FAIL900
QU_PARITY-N-50FAIL900
QU_PARITY-N-100FAIL900
QU_PARITY-N-30FAIL900
QU_PARITY-N-40FAIL900
TRAP-N-50FAIL900
EQ2-N-20FAIL900
EQ-N-100FAIL900
KBKF-N-40FAIL900
KBKF-N-50FAIL900
CR-N-50FAIL900
CR-N-40FAIL900
KBKF_LD-N-100FAIL900
CR-N-30FAIL900
KBKF_LD-N-30FAIL900
KBKF-N-30FAIL900
EQ-N-30FAIL900
EQ2-N-30FAIL900
EQ2-N-15FAIL900
EQ2-N-40FAIL900
EQ2-N-100FAIL900
EQ2-N-50FAIL900
EQ-N-50FAIL900
KBKF-N-100FAIL900
EQ-N-40FAIL900
CR-N-20FAIL900
KBKF_LD-N-40FAIL900
CR-N-15FAIL900
KBKF_LD-N-50FAIL900
CR-N-100FAIL900
CR-N-10FAIL900
BEQ-N-50FAIL900
BEQ-N-40FAIL900
BEQ-N-30FAIL900
BEQ-N-100FAIL900