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

InstanceResultTime
query49_query23_1344UNSAT4.67
mult_bool_matrix_dyn_3_2.satSAT4.68
eequery_query23_1344UNSAT4.68
cnt3y.unsatUNSAT4.69
mult2.unsatUNSAT4.69
query50_query06_1133UNSAT4.7
query55_query30_1344UNSAT4.71
eequery_query36_1133UNSAT4.71
axquery_exquery_1133UNSAT4.72
mvs8n.unsatUNSAT4.72
bs128y.unsatUNSAT4.72
query23_query06_1344SAT4.72
axquery_axquery_1133SAT4.73
add6n.satSAT4.73
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT4.73
falsequ_query11_1133SAT4.73
mvs2y.unsatUNSAT4.73
axquery_eequery_1133UNSAT4.74
DWs-unsat-01-04-1UNSAT4.74
eequery_query04_1133UNSAT4.74
DWs-sat-02-07-1SAT4.75
k0206272.v.oeFAIL4.76
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT4.76
k0201058.c.oeFAIL4.76
DWs-unsat-01-03-1UNSAT4.76
DWs-sat-01-06-1SAT4.76
cnt2n.unsatUNSAT4.76
k0325715.c.oeFAIL4.76
query04_query03_1133UNSAT4.76
mult4.unsatUNSAT4.76
query08_axquery_1133SAT4.76
trivial_query09_1344SAT4.77
k0325624.v.oeFAIL4.77
mvs2y.satSAT4.77
k0302060.s.oeFAIL4.77
mult_bool_matrix_2_3_2.satSAT4.77
axquery_query58_1344SAT4.77
cnt4y.satSAT4.77
bs16y.unsatUNSAT4.77
mvs8y.unsatUNSAT4.77
query27_query03_1344SAT4.78
cnt2n.satSAT4.78
k0325624.s.oeFAIL4.78
k0226271.s.oeFAIL4.78
stay16n.unsatUNSAT4.78
k0325261.s.oeFAIL4.78
query07_falsequ_1344UNSAT4.78
cnt25n.unsatUNSAT4.78
k0206272.s.oeFAIL4.78
k0026150.c.oeFAIL4.79
stay6y.unsatUNSAT4.79
cnt8n.satSAT4.79
k0302060.h.oeFAIL4.79
k0327178.c.oeFAIL4.8
query55_query10_1133UNSAT4.8
DW-sat-01-10-1SAT4.8
k0225682.v.oeFAIL4.8
k0206272.c.oeFAIL4.8
k0300663.v.oeFAIL4.8
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT4.8
DWs-sat-01-05-1SAT4.8
k0327620.h.oeFAIL4.8
bs8y.unsatUNSAT4.81
k0248814.c.oeFAIL4.81
k0325624.connected.oeFAIL4.81
exquery_query60_1133UNSAT4.81
k0327694.v.oeFAIL4.81
k0026150.h.oeFAIL4.82
axquery_query02_1344SAT4.82
DW-sat-02-11-1SAT4.82
query25_query54_1133SAT4.82
k0206272.h.oeFAIL4.82
exquery_query42_1133UNSAT4.82
k0248814.v.oeFAIL4.82
k0326578.connected.oeFAIL4.82
k0225744.s.oeFAIL4.82
trivial_query31_1344SAT4.83
k0325261.h.oeFAIL4.83
exquery_query07_1344UNSAT4.83
k0302060.connected.oeFAIL4.84
k0325715.connected.oeFAIL4.84
k0201058.h.oeFAIL4.84
k0225418.connected.oeFAIL4.84
k0225418.v.oeFAIL4.84
k0325715.s.oeFAIL4.84
k0201058.v.oeFAIL4.84
k0300663.s.oeFAIL4.84
query26_query60_1133UNSAT4.84
k0327178.connected.oeFAIL4.85
k0226271.connected.oeFAIL4.85
k0326191.connected.oeFAIL4.86
k0300663.c.oeFAIL4.86
k0325261.connected.oeFAIL4.86
cnt10y.satSAT4.86
DWs-sat-03-11-1SAT4.87
k0248814.h.oeFAIL4.87
6s318r_c0to15.unsatUNSAT4.87
axquery_query31_1344SAT4.9
k0201058.connected.oeFAIL4.94
CM-sat-02-01-06-3SAT4.96
DWs-sat-04-11-1SAT5.02
CM-sat-02-01-06-4SAT5.04
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT5.15
JP-sat-02-08-3SAT5.16
driver_a9y.unsatUNSAT5.16
query04_query03_1344UNSAT5.22
DWs-sat-04-12-1SAT5.23
query08_query26_1344SAT5.24
DWs-sat-05-15-1SAT5.35
jctc6-passSAT5.46
DWs-unsat-05-11-1UNSAT5.47
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT5.55
DW-sat-04-16-1SAT5.56
CM-sat-03-01-06-4SAT5.67
SR-sat-02-01-06-2SAT5.72
JP-unsat-02-07-2UNSAT5.75
genbuf1b4y.unsatUNSAT5.77
DWs-unsat-05-12-1UNSAT5.87
klieber2017q-112-28-t1UNSAT5.9
klieber2017q-056-14-t1UNSAT5.93
klieber2017q-088-22-t1UNSAT5.95
klieber2017q-082-20-t1UNSAT5.95
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT5.96
klieber2017q-078-19-t1UNSAT6.16
klieber2017q-052-13-t1UNSAT6.69
CM-sat-03-01-07-3SAT6.71
JP-sat-02-07-3SAT6.96
klieber2017q-070-17-t1FAIL6.99
klieber2017q-048-12-t1FAIL6.99
klieber2017q-076-19-eqFAIL7.01
klieber2017q-072-18-eqFAIL7.03
genbuf5b4n.unsatFAIL7.03
oski3ub1i_c0to63.unsatFAIL7.04
klieber2017q-062-15-t1FAIL7.04
amba2b9y.unsatFAIL7.04
nreachq_query02_1344FAIL7.05
klieber2017q-062-15-eqFAIL7.05
eequery_reachqu_1344FAIL7.05
klieber2017q-100-25-t1FAIL7.05
chess_solving_mate_in_2_2002_WCCC-OPEN-45_01FAIL7.05
query03_query57_1344FAIL7.06
jctc4-failFAIL7.06
klieber2017q-108-27-t1FAIL7.06
add20y.unsatFAIL7.06
klieber2017q-078-19-eqFAIL7.07
klieber2017q-084-21-eqFAIL7.07
klieber2017q-052-13-eqFAIL7.07
amba3f9n.satFAIL7.07
klieber2017q-060-15-t1FAIL7.07
klieber2017q-064-16-eqFAIL7.07
klieber2017q-066-16-eqFAIL7.07
klieber2017q-060-15-eqFAIL7.08
klieber2017q-068-17-t1FAIL7.08
chess_solving_mate_in_2_1987_FIN-CH-8_01FAIL7.08
bs128n.satFAIL7.08
query51_query31_1344FAIL7.08
klieber2017q-064-16-t1FAIL7.08
amba2f9n.satFAIL7.08
beemldelec4b1_c0to15.unsatFAIL7.09
genbuf9b4n.unsatFAIL7.09
klieber2017q-072-18-t1FAIL7.09
query64_query55_1344FAIL7.09
query33_query71_1344FAIL7.09
chess_solving_mate_in_2_1982_WCSC-6_02FAIL7.09
query09_trivial_1344FAIL7.09
chess_solving_mate_in_3_2010_UKR-CH_04FAIL7.09
amba7c5y.unsatFAIL7.1
chess_solving_mate_in_2_2002_MAC-CH-6_03FAIL7.1
driver_a8y.unsatFAIL7.1
klieber2017q-068-17-eqFAIL7.1
cycle_sched_4_7_2.satFAIL7.1
jctc10-failFAIL7.1
klieber2017q-074-18-eqFAIL7.1
jctc13-failFAIL7.1
klieber2017q-086-21-t1FAIL7.11
klieber2017q-084-21-t1FAIL7.11
klieber2017q-088-22-eqFAIL7.11
klieber2017q-048-12-eqFAIL7.11
klieber2017q-070-17-eqFAIL7.11
jctc16-vals-0,2-passFAIL7.11
genbuf10b4y.unsatFAIL7.11
mult_bool_matrix_8_10_6.satFAIL7.11
chess_solving_mate_in_2_2011_GBR-CH-32_03FAIL7.11
klieber2017q-104-26-t1FAIL7.12
klieber2017q-056-14-eqFAIL7.12
query11_query64_1344FAIL7.12
chess_solving_mate_in_2_1996_FIN-CH-17_03FAIL7.12
load_full_2_comp6_REAL.unsatFAIL7.12
klieber2017q-076-19-t1FAIL7.12
query08_query64_1344FAIL7.12
chess_composing_8_template_05FAIL7.13
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01FAIL7.13
klieber2017q-074-18-t1FAIL7.13
chess_solving_mate_in_2_2009_POL-CH-33_01FAIL7.14
query52_query36_1344FAIL7.14
jctc8-passFAIL7.14
chess_solving_mate_in_3_2012_NED-CH-18B_04FAIL7.14
chess_composing_8_template_21FAIL7.14
klieber2017q-080-20-t1FAIL7.14
chess_solving_mate_in_2_2011_ROM-CH-W_02FAIL7.14
6s389b02_c0to0.satFAIL7.15
gb_s2_r2_comp3_REAL.unsatFAIL7.15
klieber2017q-066-16-t1FAIL7.15
chess_composing_8_template_11FAIL7.15
chess_composing_8_template_08FAIL7.15
amba2f9n.unsatFAIL7.15
jctc9-passFAIL7.15
chess_composing_6_template_03FAIL7.15
query42_query64_1344FAIL7.15
chess_solving_mate_in_2_2011_WCCC-OPEN-54_01FAIL7.16
jctc1-passFAIL7.16
chess_solving_mate_in_2_2008_BEL-CH-16B_08FAIL7.16
chess_composing_8_template_26FAIL7.16
chess_composing_8_template_25FAIL7.16
chess_solving_mate_in_2_1998_GBR-CH-19_01FAIL7.17
chess_solving_mate_in_2_2014_NED-CH-20B_09FAIL7.17
chess_solving_mate_in_2_1983_FIN-CH-4_01FAIL7.17
oski3ub5i_c0to15.unsatFAIL7.17
chess_solving_mate_in_2_2015_GBR-CH-36_02FAIL7.17
chess_solving_mate_in_2_1991_GER-CH-15_01FAIL7.18
jctc7-passFAIL7.18
chess_solving_mate_in_2_1997_WCCC-OPEN-40_03FAIL7.18
chess_solving_mate_in_3_1978_WCSC-2_05FAIL7.18
6s216rb0_c0to7.unsatFAIL7.18
6s389b02_c0to15.satFAIL7.19
chess_composing_6_template_05FAIL7.19
chess_composing_8_template_37FAIL7.19
chess_solving_mate_in_4_2008_ISR-CH_03FAIL7.19
chess_solving_mate_in_3_1991_WCSC-15_05FAIL7.19
chess_solving_mate_in_4_2008_UKR-CH-22_13FAIL7.2
chess_solving_mate_in_3_2000_CZE-CH_04FAIL7.2
chess_solving_mate_in_3_2012_GRE-CH-11_02FAIL7.2
chess_solving_mate_in_2_2012_GER-CH-36-19_03FAIL7.2
chess_solving_mate_in_2_2011_ISC-7B_01FAIL7.2
chess_composing_6_template_08FAIL7.2
chess_composing_6_template_07FAIL7.2
chess_composing_8_template_35FAIL7.2
chess_composing_6_template_02FAIL7.2
chess_composing_8_template_40FAIL7.21
chess_composing_8_template_50FAIL7.21
chess_composing_8_template_27FAIL7.21
chess_solving_mate_in_3_2003_UKR-CH_04FAIL7.21
chess_solving_mate_in_3_2011_UKR-OPEN-25_04FAIL7.21
chess_solving_mate_in_2_2009_BEL-CH-17B_01FAIL7.21
chess_composing_8_template_28FAIL7.21
chess_composing_8_template_17FAIL7.21
chess_solving_mate_in_3_2001_UKR-CH_06FAIL7.21
jctc14-unrolled-failFAIL7.22
chess_composing_8_template_01FAIL7.22
chess_composing_8_template_07FAIL7.22
chess_composing_8_template_16FAIL7.23
chess_composing_8_template_33FAIL7.23
chess_composing_8_template_04FAIL7.23
chess_solving_mate_in_4_2001_UKR-CH_13FAIL7.23
chess_composing_8_template_15FAIL7.24
chess_composing_8_template_14FAIL7.24
chess_composing_8_template_32FAIL7.24
chess_composing_8_template_39FAIL7.24
chess_composing_8_template_12FAIL7.24
chess_composing_8_template_36FAIL7.24
chess_composing_8_template_30FAIL7.24
chess_solving_mate_in_4_1985_WCSC-9_13FAIL7.24
chess_composing_8_template_24FAIL7.24
chess_solving_mate_in_4_2012_URAL-PROBLEMIST-6_05FAIL7.24
chess_composing_8_template_20FAIL7.24
jctc2-passFAIL7.25
chess_composing_8_template_49FAIL7.25
chess_composing_8_template_23FAIL7.25
chess_composing_8_template_44FAIL7.26
jctc5-failFAIL7.26
chess_solving_mate_in_3_2008_ISC-4B_07FAIL7.26
chess_composing_8_template_47FAIL7.28
chess_solving_mate_in_3_2014_FRA-CH_03FAIL7.3
jctc15-unrolled-failFAIL7.39
jctc3-vals-0,2-passFAIL7.44
jctc11-passFAIL7.81
jctc18-vals-0,2-passFAIL7.96
jctc17-vals-0,2-passFAIL8.05
SR-sat-02-01-07-2SAT8.12
DWs-sat-06-17-1SAT8.26
DW-sat-06-20-1SAT8.7
CM-sat-04-01-06-3SAT8.85
DW-sat-07-20-1SAT8.89
JP-sat-02-07-4SAT10.03
SR-unsat-02-01-05-2UNSAT10.24
DW-sat-08-23-1SAT10.59
DW-sat-08-22-1SAT10.6
CM-sat-04-01-06-4SAT11.05
DW-unsat-06-16-1UNSAT12.03
DWs-sat-10-23-1SAT13.3
CM-sat-04-01-07-3SAT13.92
DWs-sat-10-25-1SAT15.03
DWs-unsat-07-16-1UNSAT15.05
SR-unsat-04-01-08-1UNSAT17.86
DWs-sat-12-28-1SAT20.9
DWs-unsat-08-17-1UNSAT21.05
DWs-unsat-08-18-1UNSAT23.68
DW-sat-08-24-1SAT24.43
query49_query64_1133UNSAT26.18
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT34.19
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT42.65
SR-sat-02-01-06-3SAT43.45
DWs-unsat-09-19-1UNSAT47.95
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT48.76
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT63.37
CM-sat-07-01-07-3SAT68.89
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspUNSAT76.35
DW-sat-09-26-1SAT83
CM-sat-07-01-06-4SAT87.49
DWs-unsat-10-22-1UNSAT107.6
DW-unsat-09-23-1UNSAT115.25
DW-unsat-09-22-1UNSAT118.32
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT121.13
SR-sat-03-01-07-2SAT140.61
SR-sat-03-01-08-2SAT146.62
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT151.82
DWs-sat-10-24-1SAT155.84
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT160.75
JP-unsat-03-08-3UNSAT164.95
DWs-unsat-11-23-1UNSAT176.54
JP-unsat-03-07-4UNSAT210.43
CM-sat-07-01-06-3SAT212.33
CM-unsat-07-01-06-2UNSAT256.63
DW-unsat-10-25-1UNSAT263.85
DWs-unsat-11-24-1UNSAT274.07
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT310.87
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT474.84
DW-unsat-11-26-1UNSAT665.3
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.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#376.w#2.s#4.aspFAIL900.03
DW-unsat-21-47-1FAIL900.04
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900.04
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL900.05
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL900.05
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900.08
DWs-unsat-23-48-1FAIL900.08
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.08
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL900.09
DW-unsat-14-33-1FAIL900.09
DWs-unsat-17-35-1FAIL900.11