Instances solved by GhostQ___cegar_qcir_2019
QBFEVAL'19 - Prenex non-CNF Track

InstanceResultTime
mvs2y.satSAT0
k0225744.s.oeFAIL0
k0226271.connected.oeFAIL0
k0226271.s.oeFAIL0
k0248814.c.oeFAIL0
k0248814.h.oeFAIL0
k0248814.v.oeFAIL0
k0300663.c.oeFAIL0
k0300663.s.oeFAIL0
k0300663.v.oeFAIL0
k0225682.v.oeFAIL0
k0225418.v.oeFAIL0
k0225418.connected.oeFAIL0
trivial_query09_1344SAT0
k0201058.c.oeFAIL0
bs8y.unsatUNSAT0
k0201058.connected.oeFAIL0
k0201058.h.oeFAIL0
k0201058.v.oeFAIL0
k0206272.c.oeFAIL0
k0206272.h.oeFAIL0
k0206272.s.oeFAIL0
k0302060.connected.oeFAIL0
k0302060.h.oeFAIL0
k0302060.s.oeFAIL0
k0327620.h.oeFAIL0
query50_query06_1133UNSAT0
query25_query54_1133SAT0
query08_axquery_1133SAT0
falsequ_query11_1133SAT0
exquery_query60_1133UNSAT0
axquery_exquery_1133UNSAT0
k0327178.connected.oeFAIL0
axquery_axquery_1133SAT0
k0327178.c.oeFAIL0
k0326191.connected.oeFAIL0
k0325715.s.oeFAIL0
k0325261.connected.oeFAIL0
k0325261.h.oeFAIL0
k0325261.s.oeFAIL0
k0325624.connected.oeFAIL0
axquery_eequery_1133UNSAT0
k0325624.s.oeFAIL0
k0325624.v.oeFAIL0
k0325715.c.oeFAIL0
k0325715.connected.oeFAIL0
k0327694.v.oeFAIL0
eequery_query23_1344UNSAT0
mvs2y.unsatUNSAT0
mult4.unsatUNSAT0
mult2.unsatUNSAT0
cnt2n.unsatUNSAT0
cnt25n.unsatUNSAT0
cnt4y.satSAT0
axquery_query02_1344SAT0
cnt2n.satSAT0
add6n.satSAT0
mvs8n.unsatUNSAT0
mvs8y.unsatUNSAT0
DWs-unsat-01-04-1UNSAT0
DWs-unsat-01-03-1UNSAT0
mult_bool_matrix_dyn_3_2.satSAT0
bs16y.unsatUNSAT0
query04_query03_1133UNSAT0
stay16n.unsatUNSAT0
cnt3y.unsatUNSAT0
cnt10y.satSAT0
DWs-sat-01-06-1SAT0
DWs-sat-01-05-1SAT0
k0026150.c.oeFAIL0
query07_falsequ_1344UNSAT0
query23_query06_1344SAT0
query49_query23_1344UNSAT0
k0026150.h.oeFAIL0
query55_query30_1344UNSAT0
eequery_query04_1133UNSAT0.07
cnt8n.satSAT0.08
mult_bool_matrix_2_3_2.satSAT0.08
exquery_query07_1344UNSAT0.09
query55_query10_1133UNSAT0.1
stay6y.unsatUNSAT0.1
exquery_query42_1133UNSAT0.1
eequery_query36_1133UNSAT0.1
query27_query03_1344SAT0.11
query26_query60_1133UNSAT0.11
genbuf1b4y.unsatUNSAT0.12
klieber2017q-048-12-eqSAT0.12
query04_query03_1344UNSAT0.12
klieber2017q-048-12-t1UNSAT0.13
axquery_query31_1344SAT0.14
klieber2017q-052-13-t1UNSAT0.14
axquery_query58_1344SAT0.15
k0206272.v.oeFAIL0.17
DWs-sat-02-07-1SAT0.25
DW-sat-01-10-1SAT0.25
k0326578.connected.oeFAIL0.26
trivial_query31_1344SAT0.38
query09_trivial_1344SAT0.64
klieber2017q-056-14-t1UNSAT0.7
DW-sat-02-11-1SAT0.72
bs128y.unsatUNSAT0.74
CM-sat-02-01-06-4SAT1.13
klieber2017q-066-16-t1UNSAT1.15
CM-sat-02-01-06-3SAT1.17
6s318r_c0to15.unsatUNSAT1.21
DWs-sat-03-11-1SAT1.23
klieber2017q-070-17-t1UNSAT1.26
klieber2017q-060-15-t1UNSAT1.55
nreachq_query02_1344UNSAT1.55
klieber2017q-056-14-eqSAT1.74
DWs-sat-04-11-1SAT2.2
klieber2017q-068-17-t1UNSAT2.29
DWs-sat-04-12-1SAT2.37
query08_query26_1344SAT2.49
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT2.52
klieber2017q-052-13-eqSAT2.72
query03_query57_1344SAT3.13
DWs-unsat-05-11-1UNSAT3.29
driver_a9y.unsatUNSAT3.44
DW-sat-04-16-1SAT3.62
JP-unsat-02-07-2UNSAT3.88
query11_query64_1344UNSAT4.21
DWs-unsat-05-12-1UNSAT4.4
klieber2017q-066-16-eqSAT4.7
query49_query64_1133UNSAT4.84
klieber2017q-060-15-eqSAT5.7
DWs-sat-05-15-1SAT5.75
klieber2017q-068-17-eqSAT5.84
JP-sat-02-07-3SAT6.28
klieber2017q-104-26-t1UNSAT6.33
klieber2017q-072-18-eqSAT6.33
jctc13-failUNSAT6.42
jctc6-passSAT6.44
klieber2017q-062-15-t1UNSAT6.6
klieber2017q-070-17-eqSAT6.79
query52_query36_1344UNSAT6.87
klieber2017q-078-19-eqSAT7.17
klieber2017q-076-19-eqSAT7.38
load_full_2_comp6_REAL.unsatUNSAT7.67
klieber2017q-108-27-t1UNSAT8.91
klieber2017q-076-19-t1UNSAT9.19
klieber2017q-064-16-t1UNSAT9.37
beemldelec4b1_c0to15.unsatUNSAT9.62
JP-sat-02-07-4SAT9.66
CM-sat-03-01-07-3SAT9.75
klieber2017q-082-20-t1UNSAT9.99
klieber2017q-074-18-t1UNSAT10.09
DWs-sat-06-17-1SAT10.36
klieber2017q-064-16-eqSAT10.8
driver_a8y.unsatUNSAT11.06
klieber2017q-074-18-eqSAT11.4
DW-unsat-06-16-1UNSAT11.44
klieber2017q-062-15-eqSAT11.49
query08_query64_1344SAT12.16
SR-sat-02-01-06-2SAT12.21
JP-sat-02-08-3SAT13.98
SR-sat-02-01-07-2SAT14.01
jctc16-vals-0,2-passSAT15.75
klieber2017q-072-18-t1UNSAT15.76
klieber2017q-112-28-t1UNSAT16.38
amba2b9y.unsatUNSAT16.38
DW-sat-06-20-1SAT16.6
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT17.49
query51_query31_1344UNSAT17.57
klieber2017q-100-25-t1UNSAT20.44
jctc1-passSAT20.59
oski3ub5i_c0to15.unsatUNSAT21.78
klieber2017q-084-21-eqSAT21.86
klieber2017q-080-20-t1UNSAT22.08
genbuf5b4n.unsatUNSAT22.56
DW-sat-07-20-1SAT22.74
6s216rb0_c0to7.unsatUNSAT23.22
DWs-unsat-07-16-1UNSAT23.24
CM-sat-03-01-06-4SAT23.79
CM-sat-04-01-06-3SAT26.1
jctc4-failUNSAT26.78
SR-unsat-02-01-05-2UNSAT28.16
amba2f9n.unsatUNSAT30.48
klieber2017q-088-22-t1UNSAT35.08
DWs-unsat-08-17-1UNSAT36.89
eequery_reachqu_1344UNSAT39.34
SR-unsat-04-01-08-1UNSAT39.58
klieber2017q-078-19-t1UNSAT41.6
chess_solving_mate_in_2_2002_WCCC-OPEN-45_01SAT42.12
chess_solving_mate_in_2_2009_BEL-CH-17B_01SAT42.86
chess_solving_mate_in_2_2011_WCCC-OPEN-54_01SAT45.08
chess_solving_mate_in_2_2008_BEL-CH-16B_08SAT46.41
CM-sat-04-01-07-3SAT46.6
chess_solving_mate_in_2_1983_FIN-CH-4_01SAT52.42
jctc2-passSAT52.57
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT54.6
DWs-unsat-08-18-1UNSAT58.36
chess_solving_mate_in_2_2002_MAC-CH-6_03SAT61.5
klieber2017q-086-21-t1UNSAT63.06
DW-sat-08-24-1SAT67.74
chess_solving_mate_in_2_2009_POL-CH-33_01SAT70.29
chess_solving_mate_in_2_1998_GBR-CH-19_01SAT72.36
klieber2017q-088-22-eqSAT73.08
chess_solving_mate_in_2_1987_FIN-CH-8_01SAT75.07
chess_solving_mate_in_2_2011_ISC-7B_01SAT75.63
DW-sat-08-22-1SAT83.3
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01SAT84.29
chess_solving_mate_in_2_2014_NED-CH-20B_09SAT85.79
DW-sat-09-26-1SAT85.94
DWs-unsat-09-19-1UNSAT88.52
DW-sat-08-23-1SAT92.99
DWs-sat-10-25-1SAT95.08
query33_query71_1344UNSAT95.4
chess_solving_mate_in_2_2011_ROM-CH-W_02SAT99.82
chess_solving_mate_in_2_1996_FIN-CH-17_03SAT107.84
chess_solving_mate_in_2_2015_GBR-CH-36_02SAT108.48
CM-sat-04-01-06-4SAT108.83
jctc8-passSAT126.24
CM-sat-07-01-06-3SAT154.59
oski3ub1i_c0to63.unsatUNSAT161.11
DW-unsat-09-22-1UNSAT168.33
klieber2017q-084-21-t1UNSAT171.81
chess_solving_mate_in_2_1982_WCSC-6_02SAT184.65
chess_solving_mate_in_2_2011_GBR-CH-32_03SAT194.41
chess_solving_mate_in_2_1997_WCCC-OPEN-40_03SAT199.89
DW-unsat-09-23-1UNSAT227.46
DWs-sat-10-24-1SAT228.74
chess_solving_mate_in_2_2012_GER-CH-36-19_03SAT243.82
chess_solving_mate_in_2_1991_GER-CH-15_01SAT265.6
genbuf9b4n.unsatUNSAT313.66
genbuf10b4y.unsatUNSAT329.5
DWs-unsat-10-22-1UNSAT368.37
jctc9-passSAT368.44
DWs-sat-10-23-1SAT395.47
query64_query55_1344UNSAT424.18
gb_s2_r2_comp3_REAL.unsatUNSAT486.99
DW-unsat-10-25-1UNSAT504.73
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT511.88
SR-sat-02-01-06-3SAT520.39
DWs-unsat-11-23-1UNSAT539.12
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT559.3
CM-sat-07-01-06-4SAT609.12
CM-sat-07-01-07-3SAT734.19
DWs-unsat-11-24-1UNSAT847.04
add20y.unsatFAIL900
chess_composing_8_template_28FAIL900.01
chess_composing_8_template_39FAIL900.01
chess_composing_8_template_47FAIL900.01
chess_composing_8_template_11FAIL900.01
chess_solving_mate_in_3_2010_UKR-CH_04FAIL900.01
chess_composing_8_template_32FAIL900.01
chess_solving_mate_in_3_2008_ISC-4B_07FAIL900.01
chess_composing_8_template_27FAIL900.01
chess_composing_8_template_33FAIL900.01
chess_composing_6_template_03FAIL900.01
jctc5-failFAIL900.01
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspFAIL900.01
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspFAIL900.01
amba2f9n.satFAIL900.01
jctc3-vals-0,2-passFAIL900.01
amba7c5y.unsatFAIL900.01
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900.01
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900.01
jctc14-unrolled-failFAIL900.01
jctc10-failFAIL900.01
chess_solving_mate_in_4_2008_UKR-CH-22_13FAIL900.01
chess_solving_mate_in_4_1985_WCSC-9_13FAIL900.01
chess_composing_8_template_17FAIL900.02
chess_composing_8_template_14FAIL900.02
chess_composing_8_template_40FAIL900.02
chess_composing_8_template_16FAIL900.02
6s389b02_c0to15.satFAIL900.02
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL900.02
chess_composing_8_template_12FAIL900.02
cycle_sched_4_7_2.satFAIL900.02
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspFAIL900.02
chess_composing_8_template_04FAIL900.02
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspFAIL900.02
chess_composing_6_template_05FAIL900.02
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL900.02
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL900.02
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspFAIL900.02
chess_composing_8_template_21FAIL900.02
DWs-unsat-17-35-1FAIL900.02
SR-sat-03-01-07-2FAIL900.02
chess_solving_mate_in_3_2003_UKR-CH_04FAIL900.02
jctc17-vals-0,2-passFAIL900.02
chess_solving_mate_in_4_2008_ISR-CH_03FAIL900.02
jctc7-passFAIL900.03
chess_composing_8_template_05FAIL900.03
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL900.03
chess_solving_mate_in_4_2001_UKR-CH_13FAIL900.03
chess_composing_8_template_37FAIL900.03
chess_composing_8_template_25FAIL900.03
chess_composing_6_template_08FAIL900.03
chess_solving_mate_in_3_2012_NED-CH-18B_04FAIL900.03
chess_solving_mate_in_3_1978_WCSC-2_05FAIL900.03
mult_bool_matrix_8_10_6.satFAIL900.04
chess_solving_mate_in_3_2011_UKR-OPEN-25_04FAIL900.04
chess_solving_mate_in_3_2001_UKR-CH_06FAIL900.04
chess_solving_mate_in_3_2012_GRE-CH-11_02FAIL900.04
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL900.04
chess_composing_8_template_15FAIL900.04
CM-unsat-07-01-06-2FAIL900.04
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspFAIL900.04
DW-unsat-14-33-1FAIL900.04
chess_composing_8_template_49FAIL900.04
jctc15-unrolled-failFAIL900.05
chess_solving_mate_in_4_2012_URAL-PROBLEMIST-6_05FAIL900.05
chess_composing_8_template_07FAIL900.05
chess_composing_6_template_02FAIL900.05
chess_composing_6_template_07FAIL900.05
query42_query64_1344FAIL900.05
DWs-unsat-23-48-1FAIL900.05
chess_solving_mate_in_3_2000_CZE-CH_04FAIL900.05
chess_composing_8_template_01FAIL900.06
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspFAIL900.06
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL900.06
chess_composing_8_template_30FAIL900.06
chess_composing_8_template_35FAIL900.06
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspFAIL900.06
jctc11-passFAIL900.06
chess_composing_8_template_23FAIL900.06
chess_composing_8_template_20FAIL900.06
chess_composing_8_template_44FAIL900.06
JP-unsat-03-08-3FAIL900.06
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL900.06
jctc18-vals-0,2-passFAIL900.07
DWs-sat-12-28-1FAIL900.07
6s389b02_c0to0.satFAIL900.07
JP-unsat-03-07-4FAIL900.07
chess_solving_mate_in_3_2014_FRA-CH_03FAIL900.07
amba3f9n.satFAIL900.07
DW-unsat-11-26-1FAIL900.08
chess_composing_8_template_26FAIL900.08
chess_composing_8_template_50FAIL900.08
DW-unsat-21-47-1FAIL900.08
bs128n.satFAIL900.08
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspFAIL900.08
chess_composing_8_template_36FAIL900.08
chess_composing_8_template_08FAIL900.09
chess_composing_8_template_24FAIL900.09
SR-sat-03-01-08-2FAIL900.09
chess_solving_mate_in_3_1991_WCSC-15_05FAIL900.09
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspFAIL900.09
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.09