Instances solved by Qute_opt500
Crafted Instances Track

InstanceResultTime
EQ2-N-4UNSAT0
KBKF_LD-N-5UNSAT0
KBKF_LD-N-50UNSAT0
KBKF_LD-N-8UNSAT0
KBKF_QU-N-10FAIL0
KBKF_QU-N-100FAIL0
KBKF_QU-N-15FAIL0
KBKF_QU-N-3UNSAT0
KBKF_QU-N-30FAIL0
KBKF_QU-N-4UNSAT0
KBKF_QU-N-40FAIL0
KBKF_QU-N-5UNSAT0
KBKF_QU-N-50FAIL0
KBKF_QU-N-8FAIL0
LONSING-N-10UNSAT0
LONSING-N-15UNSAT0
LONSING-N-20UNSAT0
LONSING-N-3UNSAT0
KBKF_LD-N-40UNSAT0
KBKF_LD-N-4UNSAT0
KBKF_LD-N-30UNSAT0
EQ2-N-8FAIL0
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
KBKF_LD-N-20UNSAT0
KBKF_LD-N-3UNSAT0
LONSING-N-30UNSAT0
LONSING-N-4UNSAT0
PARITY-N-4UNSAT0
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-3UNSAT0
PARITY-N-20UNSAT0
PARITY-N-15UNSAT0
LONSING-N-40UNSAT0
LONSING-N-5UNSAT0
LONSING-N-50UNSAT0
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
TRAP-N-8UNSAT0
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL0
BEQ-N-30FAIL0
BEQ-N-4UNSAT0
BEQ-N-40FAIL0
BEQ-N-5UNSAT0
BEQ-N-50FAIL0
BEQ-N-8UNSAT0
CR-N-10UNSAT0
CR-N-15UNSAT0
CR-N-20UNSAT0
CR-N-3UNSAT0
BEQ-N-3UNSAT0
BEQ-N-20FAIL0
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.aspFAIL0
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.aspFAIL0
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspFAIL0
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL0
BEQ-N-15FAIL0
QU_PARITY-N-10UNSAT0
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.aspSAT0
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL0
BEQ-N-10FAIL0
BEQ-N-100FAIL0
CR-N-30UNSAT0
CR-N-4UNSAT0
CR-N-40UNSAT0
EQ-N-8UNSAT0
EQ-N-5UNSAT0
EQ-N-40FAIL0
EQ-N-4UNSAT0
EQ-N-30FAIL0
EQ-N-3UNSAT0
EQ-N-20FAIL0
EQ-N-15FAIL0
EQ-N-100FAIL0
EQ2-N-10FAIL0
EQ-N-10FAIL0
EQ2-N-3UNSAT0
CR-N-8UNSAT0
EQ2-N-15FAIL0
CR-N-5UNSAT0
EQ-N-50FAIL0
EQ2-N-5FAIL0.13
KBKF_QU-N-20FAIL0.13
CR-N-50UNSAT0.53
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.aspFAIL0.6
TRAP-N-15UNSAT0.61
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.aspFAIL0.62
klieber2017q-084-21-t1FAIL0.65
klieber2017q-084-21-eqFAIL0.67
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.aspFAIL0.68
EQ2-N-20FAIL0.68
klieber2017q-088-22-t1FAIL0.7
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.aspFAIL0.75
klieber2017q-088-22-eqFAIL0.77
klieber2017q-086-21-eqFAIL0.84
klieber2017q-086-21-t1FAIL0.88
klieber2017q-096-24-t1FAIL0.94
klieber2017q-092-23-t1FAIL0.95
klieber2017q-096-24-eqFAIL0.95
klieber2017q-092-23-eqFAIL0.97
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspFAIL1.49
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspSAT1.57
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.aspFAIL1.79
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.aspFAIL1.8
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.aspFAIL1.89
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL1.9
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.aspFAIL1.9
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.aspFAIL2
PARITY-N-30UNSAT2.07
klieber2017q-074-18-t1FAIL2.11
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL2.32
klieber2017q-076-19-t1FAIL2.33
klieber2017q-080-20-t1FAIL2.39
EQ2-N-30FAIL2.46
klieber2017q-078-19-t1FAIL2.48
klieber2017q-078-19-eqFAIL2.49
klieber2017q-082-20-eqFAIL2.62
klieber2017q-076-19-eqFAIL2.64
klieber2017q-074-18-eqFAIL2.73
klieber2017q-082-20-t1FAIL2.85
klieber2017q-080-20-eqFAIL2.89
LONSING-N-100UNSAT3.04
PARITY-N-40UNSAT3.97
TRAP-N-20UNSAT5.36
EQ2-N-40FAIL7.25
TRAP-N-30UNSAT8.05
TRAP-N-40UNSAT8.19
TRAP-N-50UNSAT9.18
CR-N-100UNSAT9.33
PARITY-N-50UNSAT12.12
EQ2-N-50FAIL15.78
TRAP-N-100UNSAT36.16
EQ2-N-100FAIL49.27