Instances of family crafted_2020 solved by iprover_bloqqer_schedule
Crafted Instances Track

InstanceResultTime
BEQ-N-30UNSAT0
KBKF_LD-N-4UNSAT0
KBKF_LD-N-30UNSAT0
KBKF_LD-N-3UNSAT0
KBKF_LD-N-20UNSAT0
EQ-N-10UNSAT0
EQ-N-100UNSAT0
EQ-N-15UNSAT0
EQ-N-20UNSAT0
EQ-N-3UNSAT0
KBKF_LD-N-40UNSAT0
CR-N-3UNSAT0
BEQ-N-4UNSAT0
BEQ-N-40UNSAT0
BEQ-N-5UNSAT0
BEQ-N-50UNSAT0
BEQ-N-8UNSAT0
KBKF_QU-N-10UNSAT0
KBKF_LD-N-8UNSAT0
KBKF_LD-N-50UNSAT0
KBKF_LD-N-5UNSAT0
EQ-N-30UNSAT0
EQ-N-4UNSAT0
EQ-N-40UNSAT0
EQ2-N-5UNSAT0
KBKF-N-5UNSAT0
EQ2-N-8UNSAT0
KBKF-N-10UNSAT0
KBKF-N-100UNSAT0
KBKF-N-40UNSAT0
KBKF-N-20UNSAT0
KBKF-N-3UNSAT0
KBKF-N-30UNSAT0
KBKF-N-50UNSAT0
EQ2-N-4UNSAT0
EQ-N-5UNSAT0
EQ-N-50UNSAT0
EQ-N-8UNSAT0
EQ2-N-10UNSAT0
KBKF_LD-N-15UNSAT0
KBKF_LD-N-100UNSAT0
KBKF_LD-N-10UNSAT0
EQ2-N-3UNSAT0
KBKF-N-8UNSAT0
KBKF-N-4UNSAT0
BEQ-N-15UNSAT0
PARITY-N-5UNSAT0
PARITY-N-4UNSAT0
PARITY-N-3UNSAT0
LQ_PARITY-N-5UNSAT0
LQ_PARITY-N-4UNSAT0
LQ_PARITY-N-3UNSAT0
TRAP-N-8UNSAT0
KBKF-N-15UNSAT0
LONSING-N-8UNSAT0
PARITY-N-8UNSAT0
QU_PARITY-N-3UNSAT0
TRAP-N-5UNSAT0
TRAP-N-40UNSAT0
TRAP-N-4UNSAT0
TRAP-N-30UNSAT0
TRAP-N-3UNSAT0
TRAP-N-20UNSAT0
TRAP-N-10UNSAT0
QU_PARITY-N-5UNSAT0
QU_PARITY-N-4UNSAT0
LONSING-N-5UNSAT0
LONSING-N-40UNSAT0
KBKF_QU-N-40UNSAT0
KBKF_QU-N-4UNSAT0
KBKF_QU-N-30UNSAT0
KBKF_QU-N-3UNSAT0
KBKF_QU-N-20UNSAT0
KBKF_QU-N-15UNSAT0
BEQ-N-10UNSAT0
BEQ-N-100UNSAT0
KBKF_QU-N-100UNSAT0
BEQ-N-20UNSAT0
KBKF_QU-N-5UNSAT0
BEQ-N-3UNSAT0
KBKF_QU-N-50UNSAT0
KBKF_QU-N-8UNSAT0
LONSING-N-4UNSAT0
LONSING-N-10UNSAT0
LONSING-N-15UNSAT0
LONSING-N-30UNSAT0
LONSING-N-20UNSAT0
LONSING-N-3UNSAT0
CR-N-4UNSAT0.05
PARITY-N-10UNSAT0.06
LQ_PARITY-N-30UNSAT0.06
QU_PARITY-N-10UNSAT0.06
CR-N-5UNSAT0.06
LQ_PARITY-N-10UNSAT0.07
LQ_PARITY-N-8UNSAT0.07
PARITY-N-20UNSAT0.07
PARITY-N-15UNSAT0.07
LQ_PARITY-N-20UNSAT0.07
QU_PARITY-N-15UNSAT0.07
QU_PARITY-N-8UNSAT0.07
CR-N-8UNSAT0.08
QU_PARITY-N-20UNSAT0.08
LQ_PARITY-N-15UNSAT0.08
QU_PARITY-N-30UNSAT0.09
TRAP-N-15UNSAT0.09
PARITY-N-40UNSAT0.09
PARITY-N-30UNSAT0.09
PARITY-N-50UNSAT0.1
CR-N-10UNSAT0.1
LQ_PARITY-N-50UNSAT0.12
LQ_PARITY-N-40UNSAT0.12
QU_PARITY-N-40UNSAT0.12
QU_PARITY-N-50UNSAT0.13
PARITY-N-100UNSAT0.16
LQ_PARITY-N-100UNSAT0.16
QU_PARITY-N-100UNSAT0.21
CR-N-15UNSAT0.22
CR-N-20UNSAT0.41
LONSING-N-50UNSAT0.62
CR-N-40UNSAT0.67
TRAP-N-50UNSAT0.75
EQ2-N-15UNSAT0.9
CR-N-30UNSAT1.05
CR-N-50UNSAT1.32
EQ2-N-20UNSAT2.63
LONSING-N-100UNSAT5.48
TRAP-N-100UNSAT6.09
CR-N-100UNSAT7.36
EQ2-N-40UNSAT8.61
EQ2-N-30UNSAT14.83
EQ2-N-50UNSAT18.88
EQ2-N-100UNSAT120.28