Instances solved by GhostQ___plain_qcir_2019
Prenex non-CNF Track

InstanceResultTime
k0302060.connected.oeFAIL0
k0300663.s.oeFAIL0
k0300663.v.oeFAIL0
eequery_query71_1133SAT0
exquery_query64_1133SAT0
falsequ_query60_1133SAT0
falsequ_query71_1133SAT0
k0248814.v.oeFAIL0
nxquery_query50_1133UNSAT0
trueque_query71_1344SAT0
k0325715.connected.oeFAIL0
nxquery_query71_1133UNSAT0
falsequ_query64_1133SAT0
nxquery_query71_1344SAT0
query64_query11_1133UNSAT0
falsequ_query71_1344SAT0
axquery_query64_1133SAT0
axquery_query42_1133SAT0
k0302060.h.oeFAIL0
k0302060.s.oeFAIL0
k0325261.connected.oeFAIL0
k0325261.h.oeFAIL0
k0325261.s.oeFAIL0
k0325624.connected.oeFAIL0
k0325624.s.oeFAIL0
k0325624.v.oeFAIL0
k0325715.c.oeFAIL0
k0325715.s.oeFAIL0
k0326191.connected.oeFAIL0
k0326578.connected.oeFAIL0
k0327178.c.oeFAIL0
k0327620.h.oeFAIL0
k0327694.v.oeFAIL0
falsequ_query64_1344SAT0
exquery_query64_1344SAT0
nxquery_query42_1133SAT0
k0225418.connected.oeFAIL0
k0206272.h.oeFAIL0
k0226271.s.oeFAIL0
k0225418.v.oeFAIL0
k0225744.s.oeFAIL0
trueque_query71_1133SAT0
trueque_query64_1133SAT0
trueque_query60_1133SAT0
k0226271.connected.oeFAIL0
k0206272.v.oeFAIL0
k0206272.s.oeFAIL0
k0201058.c.oeFAIL0
k0026150.c.oeFAIL0
k0248814.h.oeFAIL0
axquery_query71_1344SAT0
k0026150.h.oeFAIL0
k0201058.connected.oeFAIL0
k0201058.h.oeFAIL0
k0201058.v.oeFAIL0
k0206272.c.oeFAIL0
trivial_query64_1133SAT0
axquery_query71_1133UNSAT0.09
exquery_query71_1133SAT0.09
exquery_query42_1133UNSAT0.1
nxquery_query64_1133SAT0.1
eequery_query42_1133UNSAT0.11
eequery_query64_1133UNSAT0.11
trueque_query64_1344SAT0.12
exquery_query71_1344SAT0.15
query64_query42_1133UNSAT0.15
axquery_query64_1344SAT0.16
trivial_query60_1133SAT0.17
nreachq_query11_1133UNSAT0.17
trivial_query71_1133SAT0.17
ntrivil_query71_1133SAT0.17
ntrivil_query42_1133SAT0.18
k0248814.c.oeFAIL0.19
k0300663.c.oeFAIL0.19
k0225682.v.oeFAIL0.19
ntrivil_query64_1133SAT0.19
SR-unsat-02-01-06-1UNSAT0.22
query71_query36_1133UNSAT0.27
query71_query31_1133UNSAT0.27
k0327178.connected.oeFAIL0.28
query71_query34_1133UNSAT0.28
trivial_query71_1344SAT0.39
ntrivil_query71_1344SAT0.4
trivial_query64_1344SAT0.45
ntrivil_query64_1344SAT0.55
nreachq_query54_1133UNSAT1.2
nreachq_query71_1133UNSAT1.29
jctc6-passSAT2.13
reachqu_query60_1133SAT2.34
SR-unsat-03-01-07-1UNSAT2.74
DW-sat-04-16-1SAT3.28
reachqu_query64_1133SAT3.56
jctc13-failUNSAT3.6
jctc1-passSAT3.69
jctc9-passSAT6.09
JP-unsat-02-07-2UNSAT6.94
klieber2017q-048-12-t1UNSAT6.97
jctc4-failUNSAT9.79
chess_solving_mate_in_2_2009_BEL-CH-17B_01SAT12.3
jctc8-passSAT13.06
chess_solving_mate_in_2_2002_WCCC-OPEN-45_01SAT13.49
chess_solving_mate_in_2_2011_GBR-CH-32_03SAT13.88
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01SAT14.19
chess_solving_mate_in_2_2014_NED-CH-20B_09SAT14.38
jctc16-vals-0,2-passSAT14.48
chess_solving_mate_in_2_1983_FIN-CH-4_01SAT15.5
chess_solving_mate_in_2_2008_BEL-CH-16B_08SAT16.01
jctc2-passSAT16.62
chess_solving_mate_in_2_2009_POL-CH-33_01SAT16.72
chess_solving_mate_in_2_2002_MAC-CH-6_03SAT17.09
chess_solving_mate_in_2_2011_ISC-7B_01SAT18.68
chess_solving_mate_in_2_1996_FIN-CH-17_03SAT20.06
chess_solving_mate_in_2_1998_GBR-CH-19_01SAT20.45
chess_solving_mate_in_2_2011_WCCC-OPEN-54_01SAT20.6
chess_solving_mate_in_2_2011_ROM-CH-W_02SAT22.39
klieber2017q-048-12-eqSAT22.75
chess_solving_mate_in_2_1987_FIN-CH-8_01SAT22.76
chess_solving_mate_in_2_2015_GBR-CH-36_02SAT24.38
chess_solving_mate_in_2_2012_GER-CH-36-19_03SAT26.78
chess_solving_mate_in_2_1991_GER-CH-15_01SAT27.88
chess_solving_mate_in_2_1982_WCSC-6_02SAT30.87
chess_solving_mate_in_2_1997_WCCC-OPEN-40_03SAT31.42
klieber2017q-052-13-eqSAT37.21
DW-sat-08-23-1SAT39.06
chess_solving_mate_in_3_2010_UKR-CH_04SAT43.66
chess_solving_mate_in_3_2008_ISC-4B_07SAT76.08
klieber2017q-056-14-eqSAT81.1
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT87.88
SR-unsat-02-01-05-2UNSAT97.06
DW-sat-08-22-1SAT102.2
chess_solving_mate_in_3_2011_UKR-OPEN-25_04SAT112.11
JP-sat-02-08-3SAT112.81
DW-sat-09-26-1SAT120.06
chess_solving_mate_in_3_2014_FRA-CH_03SAT139.7
DWs-unsat-08-17-1UNSAT168.46
klieber2017q-066-16-t1UNSAT171.35
chess_solving_mate_in_3_2012_NED-CH-18B_04SAT202.4
chess_solving_mate_in_3_1978_WCSC-2_05SAT208.22
chess_solving_mate_in_3_1991_WCSC-15_05SAT218.87
DW-unsat-09-23-1UNSAT244.02
chess_solving_mate_in_3_2001_UKR-CH_06SAT252.79
chess_solving_mate_in_4_2001_UKR-CH_13SAT256.34
DWs-unsat-08-18-1UNSAT258.12
chess_solving_mate_in_3_2012_GRE-CH-11_02SAT258.6
chess_solving_mate_in_3_2003_UKR-CH_04SAT272.13
DW-unsat-09-22-1UNSAT276.37
DWs-sat-10-23-1SAT292.45
SR-unsat-04-01-08-1UNSAT307.85
klieber2017q-060-15-t1UNSAT373.92
JP-sat-02-07-4SAT433.75
jctc10-failUNSAT435.59
DWs-unsat-09-19-1UNSAT444.29
klieber2017q-062-15-eqSAT446.12
DWs-sat-12-28-1SAT447.64
SR-sat-02-01-06-2SAT483.66
SR-sat-02-01-07-2SAT500.82
klieber2017q-060-15-eqSAT570.67
chess_solving_mate_in_3_2000_CZE-CH_04SAT609.88
eequery_query42_1344UNSAT623.34
DW-unsat-10-25-1UNSAT627.77
jctc14-unrolled-failUNSAT797.45
amba2c7n.satSAT849.21
DW-sat-21-48-1FAIL900
klieber2017q-070-17-t1FAIL900
klieber2017q-064-16-eqFAIL900
DWs-unsat-10-22-1FAIL900
DWs-unsat-22-45-1FAIL900
DWs-unsat-23-47-1FAIL900
DWs-unsat-24-49-1FAIL900
klieber2017q-064-16-t1FAIL900
DWs-sat-25-53-1FAIL900
DWs-sat-24-51-1FAIL900
DWs-sat-23-49-1FAIL900
DW-sat-22-50-1FAIL900
reachqu_query60_1344FAIL900
klieber2017q-068-17-t1FAIL900
klieber2017q-070-17-eqFAIL900
DWs-sat-19-41-1FAIL900
DWs-sat-20-43-1FAIL900
DWs-sat-21-45-1FAIL900
DWs-sat-22-47-1FAIL900
klieber2017q-072-18-eqFAIL900
klieber2017q-066-16-eqFAIL900
DWs-unsat-25-51-1FAIL900
DW-unsat-21-46-1FAIL900
JP-unsat-03-08-3FAIL900
JP-sat-03-10-5FAIL900
JP-sat-03-08-4FAIL900
DW-unsat-25-54-1FAIL900
DW-unsat-24-52-1FAIL900
DW-unsat-23-50-1FAIL900
DW-unsat-22-48-1FAIL900
JP-unsat-03-08-5FAIL900
JP-unsat-03-09-4FAIL900
SR-sat-02-01-06-3FAIL900
klieber2017q-068-17-eqFAIL900
SR-unsat-03-01-06-2FAIL900
klieber2017q-072-18-t1FAIL900
DW-unsat-11-26-1FAIL900
SR-sat-04-01-09-2FAIL900
klieber2017q-062-15-t1FAIL900
SR-sat-04-01-08-3FAIL900
SR-sat-03-01-07-2FAIL900
JP-sat-03-09-6FAIL900
add20y.satFAIL900
mult_bool_matrix_10_9_11.unsatFAIL900
mult_bool_matrix_10_9_11.satFAIL900
ltl2dpa_C26_comp2_REAL.satFAIL900
ltl2dba_C2-6_comp3_REAL.satFAIL900
load_full_4_comp3_REAL.unsatFAIL900
load_3c_comp_comp7_REAL.unsatFAIL900
beemldelec4b1_c0to127.satFAIL900
genbuf9b4n.unsatFAIL900
genbuf10b4n.unsatFAIL900
driver_d9y.satFAIL900
driver_a9n.satFAIL900
cycle_sched_6_7_1.satFAIL900
cycle_sched_4_7_1.unsatFAIL900
cycle_sched_4_7_1.satFAIL900
mult_bool_matrix_17_17_17.satFAIL900
stay24n.satFAIL900
amba3b5y.satFAIL900
mult_bool_matrix_dyn_9_5.satFAIL900
mult_bool_matrix_18_18_18.satFAIL900
mult_bool_matrix_12_13_11.satFAIL900
ltl2dba_C2-8_comp4_REAL.satFAIL900
load_2c_comp_comp7_REAL.satFAIL900
beemskbn1f1_c0to7.satFAIL900
driver_c9y.satFAIL900
driver_c9n.satFAIL900
driver_b8n.satFAIL900
driver_a10y.satFAIL900
cycle_sched_6_6_2.satFAIL900
cycle_sched_4_4_2.satFAIL900
cycle_sched_2_10_1.satFAIL900
cycle_sched_12_2_1.satFAIL900
amba4b9y.unsatFAIL900
amba2f9n.satFAIL900
reachqu_query71_1344FAIL900
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#344.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#336.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL900
reachqu_query64_1344FAIL900
nreachq_query71_1344FAIL900
eequery_query64_1344FAIL900
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspFAIL900
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#392.w#6.s#4.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspFAIL900
bs128n.satFAIL900
DW-sat-20-46-1FAIL900
jctc18-vals-0,2-passFAIL900
jctc17-vals-0,2-passFAIL900
SR-sat-03-01-08-2FAIL900
chess_composing_8_template_43FAIL900
chess_composing_8_template_42FAIL900
chess_composing_8_template_38FAIL900
chess_composing_8_template_13FAIL900
chess_composing_8_template_02FAIL900
chess_composing_6_template_06FAIL900
chess_composing_6_template_04FAIL900
chess_composing_6_template_01FAIL900
SR-unsat-04-01-07-2FAIL900
SR-sat-04-01-08-2FAIL900
SR-sat-03-01-07-3FAIL900
jctc5-failFAIL900
CM-sat-04-01-06-3FAIL900
CM-sat-04-01-06-4FAIL900
DW-sat-18-42-1FAIL900
DW-sat-17-40-1FAIL900
CM-unsat-21-01-05-3FAIL900
CM-unsat-20-01-05-3FAIL900
CM-unsat-19-01-05-3FAIL900
CM-unsat-16-01-05-3FAIL900
CM-unsat-15-01-05-3FAIL900
CM-unsat-14-01-05-3FAIL900
CM-unsat-13-01-05-3FAIL900
CM-sat-21-01-06-3FAIL900
CM-sat-20-01-06-3FAIL900
CM-sat-19-01-06-3FAIL900
CM-sat-18-01-07-3FAIL900
CM-sat-04-01-07-3FAIL900
JP-unsat-03-07-4FAIL900
JP-unsat-02-06-3FAIL900
JP-sat-03-09-5FAIL900
klieber2017q-088-22-t1FAIL900
klieber2017q-088-22-eqFAIL900
klieber2017q-086-21-t1FAIL900
klieber2017q-084-21-t1FAIL900
klieber2017q-084-21-eqFAIL900
klieber2017q-082-20-t1FAIL900
klieber2017q-080-20-t1FAIL900
klieber2017q-078-19-t1FAIL900
klieber2017q-078-19-eqFAIL900
klieber2017q-076-19-t1FAIL900
klieber2017q-076-19-eqFAIL900
klieber2017q-074-18-t1FAIL900
klieber2017q-074-18-eqFAIL900
mult9.satFAIL900
klieber2017q-100-25-t1FAIL900
klieber2017q-104-26-t1FAIL900
klieber2017q-108-27-t1FAIL900
JP-sat-03-09-4FAIL900
JP-sat-03-08-5FAIL900
DW-unsat-20-44-1FAIL900
DWs-unsat-11-24-1FAIL900
DWs-unsat-11-23-1FAIL900
DWs-sat-10-25-1FAIL900
DW-sat-19-44-1FAIL900
CM-unsat-18-01-05-3FAIL900
CM-unsat-17-01-05-3FAIL900
CM-unsat-07-01-06-2FAIL900
CM-sat-07-01-07-3FAIL900
CM-sat-07-01-06-4FAIL900
CM-sat-07-01-06-3FAIL900
klieber2017q-112-28-t1FAIL900
bs128y.satFAIL900