Instances solved by GhostQ___cegar_pcnf_2019
Crafted Instances Track

InstanceResultTime
BEQ-N-4UNSAT0
EQ-N-15UNSAT0
EQ-N-20UNSAT0
EQ-N-3UNSAT0
EQ-N-30UNSAT0
EQ-N-4UNSAT0
EQ-N-40UNSAT0
EQ-N-5UNSAT0
EQ-N-8UNSAT0
KBKF_QU-N-10UNSAT0
EQ-N-10UNSAT0
CR-N-5UNSAT0
KBKF_QU-N-4UNSAT0
BEQ-N-5UNSAT0
KBKF_QU-N-3UNSAT0
CR-N-15UNSAT0
CR-N-20UNSAT0
CR-N-3UNSAT0
KBKF_QU-N-20UNSAT0
CR-N-4UNSAT0
KBKF_QU-N-15UNSAT0
KBKF_LD-N-8UNSAT0
KBKF_LD-N-50UNSAT0
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-20UNSAT0
KBKF-N-100UNSAT0
KBKF_LD-N-5UNSAT0
EQ2-N-3UNSAT0
KBKF_LD-N-40UNSAT0
EQ2-N-4UNSAT0
KBKF_LD-N-4UNSAT0
EQ2-N-5UNSAT0
KBKF_LD-N-30UNSAT0
KBKF_LD-N-3UNSAT0
KBKF-N-10UNSAT0
KBKF_LD-N-15UNSAT0
BEQ-N-3UNSAT0
TRAP-N-5UNSAT0
PARITY-N-40UNSAT0
PARITY-N-4UNSAT0
PARITY-N-30UNSAT0
PARITY-N-20UNSAT0
KBKF-N-15UNSAT0
PARITY-N-15UNSAT0
PARITY-N-10UNSAT0
PARITY-N-3UNSAT0
LQ_PARITY-N-5UNSAT0
PARITY-N-5UNSAT0
PARITY-N-50UNSAT0
TRAP-N-4UNSAT0
TRAP-N-3UNSAT0
QU_PARITY-N-8UNSAT0
QU_PARITY-N-50UNSAT0
QU_PARITY-N-4UNSAT0
QU_PARITY-N-30UNSAT0
QU_PARITY-N-15UNSAT0
LQ_PARITY-N-8UNSAT0
PARITY-N-8UNSAT0
LQ_PARITY-N-4UNSAT0
LQ_PARITY-N-30UNSAT0
LONSING-N-5UNSAT0
LONSING-N-4UNSAT0
LONSING-N-3UNSAT0
LONSING-N-15UNSAT0
LONSING-N-10UNSAT0
QU_PARITY-N-40UNSAT0
KBKF_QU-N-8UNSAT0
KBKF_QU-N-5UNSAT0
LQ_PARITY-N-10UNSAT0
LQ_PARITY-N-15UNSAT0
LQ_PARITY-N-20UNSAT0
LQ_PARITY-N-3UNSAT0
QU_PARITY-N-3UNSAT0.06
QU_PARITY-N-5UNSAT0.07
BEQ-N-8UNSAT0.07
QU_PARITY-N-10UNSAT0.07
CR-N-8UNSAT0.08
KBKF_QU-N-30UNSAT0.09
EQ-N-50UNSAT0.09
QU_PARITY-N-20UNSAT0.09
KBKF_QU-N-40UNSAT0.1
CR-N-10UNSAT0.1
KBKF_QU-N-50UNSAT0.11
EQ-N-100UNSAT0.12
LQ_PARITY-N-40UNSAT0.12
LQ_PARITY-N-50UNSAT0.13
LONSING-N-8UNSAT0.13
KBKF_QU-N-100UNSAT0.17
QU_PARITY-N-100UNSAT0.2
LQ_PARITY-N-100UNSAT0.2
PARITY-N-100UNSAT0.25
TRAP-N-8UNSAT0.5
CR-N-30UNSAT0.53
EQ2-N-8UNSAT0.54
CR-N-40UNSAT0.99
LONSING-N-20UNSAT1.21
CR-N-50UNSAT1.8
BEQ-N-10UNSAT2.39
EQ2-N-10UNSAT4.06
LONSING-N-30UNSAT4.22
klieber2017q-076-19-eqSAT4.64
TRAP-N-10UNSAT5.28
klieber2017q-084-21-eqSAT5.95
klieber2017q-082-20-t1UNSAT6.59
klieber2017q-084-21-t1UNSAT7.06
klieber2017q-080-20-t1UNSAT8.95
klieber2017q-078-19-eqSAT10.29
LONSING-N-40UNSAT10.72
klieber2017q-096-24-t1UNSAT12.11
klieber2017q-092-23-t1UNSAT13.7
CR-N-100UNSAT15.65
klieber2017q-088-22-t1UNSAT18.54
klieber2017q-074-18-t1UNSAT19.31
klieber2017q-078-19-t1UNSAT19.73
LONSING-N-50UNSAT22.37
klieber2017q-092-23-eqSAT26.58
klieber2017q-074-18-eqSAT36.41
klieber2017q-086-21-t1UNSAT40.51
klieber2017q-076-19-t1UNSAT51.48
klieber2017q-082-20-eqSAT56.18
klieber2017q-088-22-eqSAT57.28
BEQ-N-15UNSAT80.56
klieber2017q-080-20-eqSAT82.79
klieber2017q-086-21-eqSAT96.06
LONSING-N-100UNSAT225.27
klieber2017q-096-24-eqSAT627.62
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT810.6
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900
TRAP-N-30FAIL900
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900
TRAP-N-50FAIL900
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL900
TRAP-N-40FAIL900
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL900
TRAP-N-20FAIL900
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspFAIL900
TRAP-N-15FAIL900
TRAP-N-100FAIL900
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL900
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL900
BEQ-N-20FAIL900
BEQ-N-30FAIL900
BEQ-N-40FAIL900
BEQ-N-50FAIL900
EQ2-N-100FAIL900
EQ2-N-15FAIL900
EQ2-N-20FAIL900
EQ2-N-30FAIL900
EQ2-N-40FAIL900
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL900
BEQ-N-100FAIL900
KBKF_LD-N-100FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900
EQ2-N-50FAIL900