Instances solved by caqe-pre
Crafted Instances Track

InstanceResultTime
PARITY-N-50UNSAT0
LQ_PARITY-N-8UNSAT0
LQ_PARITY-N-50UNSAT0
LQ_PARITY-N-5UNSAT0
KBKF-N-10UNSAT0
KBKF-N-100UNSAT0
LQ_PARITY-N-40UNSAT0
KBKF-N-20UNSAT0
KBKF-N-3UNSAT0
KBKF-N-30UNSAT0
KBKF-N-4UNSAT0
KBKF-N-40UNSAT0
KBKF-N-5UNSAT0
KBKF-N-50UNSAT0
EQ2-N-4UNSAT0
PARITY-N-10UNSAT0
EQ2-N-3UNSAT0
PARITY-N-5UNSAT0
KBKF-N-15UNSAT0
EQ-N-3UNSAT0
PARITY-N-40UNSAT0
EQ-N-4UNSAT0
PARITY-N-4UNSAT0
EQ-N-5UNSAT0
PARITY-N-30UNSAT0
EQ-N-8UNSAT0
PARITY-N-3UNSAT0
PARITY-N-20UNSAT0
PARITY-N-15UNSAT0
PARITY-N-100UNSAT0
KBKF-N-8UNSAT0
KBKF_LD-N-10UNSAT0
KBKF_LD-N-100UNSAT0
KBKF_QU-N-8UNSAT0
LONSING-N-10UNSAT0
LONSING-N-15UNSAT0
LONSING-N-20UNSAT0
LONSING-N-3UNSAT0
LONSING-N-30UNSAT0
LONSING-N-4UNSAT0
LONSING-N-40UNSAT0
LONSING-N-5UNSAT0
LONSING-N-50UNSAT0
LONSING-N-8UNSAT0
LQ_PARITY-N-10UNSAT0
LQ_PARITY-N-100UNSAT0
LQ_PARITY-N-20UNSAT0
LQ_PARITY-N-3UNSAT0
KBKF_QU-N-4UNSAT0
KBKF_LD-N-15UNSAT0
KBKF_LD-N-20UNSAT0
KBKF_LD-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
LQ_PARITY-N-4UNSAT0
KBKF_QU-N-3UNSAT0
LQ_PARITY-N-30UNSAT0
LQ_PARITY-N-15UNSAT0
TRAP-N-8UNSAT0
QU_PARITY-N-20UNSAT0
QU_PARITY-N-3UNSAT0
BEQ-N-10UNSAT0
QU_PARITY-N-30UNSAT0
QU_PARITY-N-4UNSAT0
QU_PARITY-N-40UNSAT0
QU_PARITY-N-5UNSAT0
QU_PARITY-N-50UNSAT0
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT0
QU_PARITY-N-8UNSAT0
TRAP-N-10UNSAT0
TRAP-N-15UNSAT0
QU_PARITY-N-10UNSAT0
TRAP-N-3UNSAT0
KBKF_QU-N-5UNSAT0
TRAP-N-4UNSAT0
TRAP-N-5UNSAT0
QU_PARITY-N-15UNSAT0
BEQ-N-3UNSAT0
CR-N-15UNSAT0
CR-N-30UNSAT0
CR-N-40UNSAT0
CR-N-3UNSAT0
CR-N-5UNSAT0
CR-N-20UNSAT0
CR-N-4UNSAT0
CR-N-50UNSAT0
CR-N-10UNSAT0
CR-N-8UNSAT0
EQ-N-10UNSAT0
BEQ-N-4UNSAT0
QU_PARITY-N-100UNSAT0
BEQ-N-5UNSAT0
PARITY-N-8UNSAT0
BEQ-N-8UNSAT0
KBKF_QU-N-15UNSAT0.7
EQ2-N-5UNSAT1.36
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT1.36
klieber2017q-074-18-t1UNSAT1.66
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspSAT1.75
TRAP-N-20UNSAT1.82
LONSING-N-100UNSAT1.9
TRAP-N-30UNSAT2.02
klieber2017q-088-22-t1UNSAT2.06
klieber2017q-084-21-t1UNSAT2.06
TRAP-N-40UNSAT2.51
klieber2017q-076-19-t1UNSAT2.73
CR-N-100UNSAT3.52
TRAP-N-50UNSAT3.67
klieber2017q-080-20-t1UNSAT4.37
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspSAT4.85
klieber2017q-096-24-t1UNSAT5.37
klieber2017q-092-23-t1UNSAT5.84
klieber2017q-082-20-t1UNSAT6.02
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspSAT7.27
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspSAT8.22
klieber2017q-078-19-t1UNSAT21.99
TRAP-N-100UNSAT30.69
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspSAT34.78
KBKF_QU-N-20UNSAT44.27
klieber2017q-086-21-t1UNSAT48.57
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspSAT65.55
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspSAT71.41
klieber2017q-074-18-eqSAT123.33
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspSAT216.79
klieber2017q-078-19-eqSAT315.25
BEQ-N-30UNSAT449.93
BEQ-N-15UNSAT449.95
BEQ-N-20UNSAT449.96
BEQ-N-50UNSAT449.97
BEQ-N-40UNSAT449.99
BEQ-N-100UNSAT450.01
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspSAT519.12
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspSAT563
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspSAT583.38
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspSAT771.26
EQ-N-30FAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL900
klieber2017q-096-24-eqFAIL900
klieber2017q-092-23-eqFAIL900
klieber2017q-088-22-eqFAIL900
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL900
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
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900
klieber2017q-076-19-eqFAIL900
klieber2017q-080-20-eqFAIL900
klieber2017q-082-20-eqFAIL900
klieber2017q-086-21-eqFAIL900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900
klieber2017q-084-21-eqFAIL900
KBKF_QU-N-40FAIL900
KBKF_QU-N-30FAIL900
KBKF_QU-N-100FAIL900
EQ2-N-50FAIL900
EQ2-N-40FAIL900
EQ2-N-30FAIL900
EQ2-N-20FAIL900
EQ2-N-15FAIL900
EQ2-N-100FAIL900
EQ2-N-10FAIL900
EQ-N-50FAIL900
EQ-N-40FAIL900
EQ-N-15FAIL900
EQ-N-100FAIL900
EQ-N-20FAIL900
EQ2-N-8FAIL900
KBKF_QU-N-50FAIL900