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

InstanceResultTime
query08_axquery_1133SAT4.66
mvs8y.unsatUNSAT4.67
axquery_eequery_1133UNSAT4.67
cnt8n.satSAT4.68
axquery_exquery_1133UNSAT4.7
stay6y.unsatUNSAT4.7
mvs8n.unsatUNSAT4.7
eequery_query36_1133UNSAT4.7
mvs2y.satSAT4.71
DWs-sat-01-05-1SAT4.71
bs8y.unsatUNSAT4.71
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT4.71
query04_query03_1133UNSAT4.71
mvs2y.unsatUNSAT4.72
klieber2017q-056-14-t1UNSAT4.72
6s318r_c0to15.unsatUNSAT4.72
cnt10y.satSAT4.73
falsequ_query11_1133SAT4.73
eequery_query23_1344UNSAT4.73
bs16y.unsatUNSAT4.73
DWs-sat-03-11-1SAT4.73
DWs-unsat-01-03-1UNSAT4.74
DWs-unsat-01-04-1UNSAT4.74
query25_query54_1133SAT4.74
CM-sat-02-01-06-3SAT4.74
DWs-sat-02-07-1SAT4.74
k0206272.c.oeFAIL4.75
cnt25n.unsatUNSAT4.75
cnt2n.satSAT4.75
cnt3y.unsatUNSAT4.75
k0325261.h.oeFAIL4.76
k0206272.v.oeFAIL4.76
k0300663.v.oeFAIL4.76
k0302060.s.oeFAIL4.76
k0225744.s.oeFAIL4.76
k0327178.c.oeFAIL4.76
trivial_query09_1344SAT4.76
axquery_axquery_1133SAT4.76
query27_query03_1344SAT4.76
mult2.unsatUNSAT4.76
query23_query06_1344SAT4.77
k0225418.v.oeFAIL4.77
k0325624.connected.oeFAIL4.77
exquery_query07_1344UNSAT4.77
k0026150.c.oeFAIL4.77
k0325715.c.oeFAIL4.77
k0226271.connected.oeFAIL4.77
k0325261.connected.oeFAIL4.77
k0302060.h.oeFAIL4.77
k0326191.connected.oeFAIL4.78
k0300663.c.oeFAIL4.78
klieber2017q-082-20-t1UNSAT4.78
exquery_query42_1133UNSAT4.78
k0225682.v.oeFAIL4.78
add6n.satSAT4.78
k0327620.h.oeFAIL4.78
klieber2017q-078-19-t1UNSAT4.78
query55_query30_1344UNSAT4.78
axquery_query02_1344SAT4.78
k0201058.h.oeFAIL4.78
mult_bool_matrix_2_3_2.satSAT4.79
k0026150.h.oeFAIL4.79
k0326578.connected.oeFAIL4.79
k0201058.v.oeFAIL4.79
mult_bool_matrix_dyn_3_2.satSAT4.79
k0325715.connected.oeFAIL4.79
k0201058.c.oeFAIL4.79
k0325261.s.oeFAIL4.79
query49_query23_1344UNSAT4.79
k0206272.s.oeFAIL4.79
k0206272.h.oeFAIL4.79
query50_query06_1133UNSAT4.79
mult4.unsatUNSAT4.79
eequery_query04_1133UNSAT4.79
k0226271.s.oeFAIL4.8
cnt4y.satSAT4.8
k0325624.v.oeFAIL4.8
exquery_query60_1133UNSAT4.8
cnt2n.unsatUNSAT4.8
k0302060.connected.oeFAIL4.8
stay16n.unsatUNSAT4.8
query07_falsequ_1344UNSAT4.81
k0327178.connected.oeFAIL4.81
DW-sat-01-10-1SAT4.81
k0325624.s.oeFAIL4.81
k0327694.v.oeFAIL4.82
DWs-sat-01-06-1SAT4.82
klieber2017q-088-22-t1UNSAT4.82
k0248814.v.oeFAIL4.83
k0300663.s.oeFAIL4.83
trivial_query31_1344SAT4.83
k0225418.connected.oeFAIL4.83
bs128y.unsatUNSAT4.84
klieber2017q-112-28-t1UNSAT4.84
k0201058.connected.oeFAIL4.85
k0248814.h.oeFAIL4.85
k0325715.s.oeFAIL4.85
query26_query60_1133UNSAT4.85
k0248814.c.oeFAIL4.87
DW-sat-02-11-1SAT4.88
CM-sat-02-01-06-4SAT5.01
query55_query10_1133UNSAT5.03
DWs-sat-04-11-1SAT5.05
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT5.18
DWs-sat-05-15-1SAT5.34
klieber2017q-052-13-t1UNSAT5.43
CM-sat-03-01-07-3SAT5.47
genbuf1b4y.unsatUNSAT5.55
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT5.7
JP-sat-02-07-3SAT5.75
DWs-sat-04-12-1SAT5.77
klieber2017q-084-21-t1FAIL5.8
klieber2017q-076-19-eqFAIL5.82
klieber2017q-066-16-t1FAIL5.83
klieber2017q-078-19-eqFAIL5.83
cycle_sched_4_7_2.satFAIL5.83
6s216rb0_c0to7.unsatFAIL5.84
klieber2017q-048-12-t1FAIL5.84
klieber2017q-060-15-t1FAIL5.85
klieber2017q-072-18-eqFAIL5.85
query09_trivial_1344FAIL5.85
klieber2017q-100-25-t1FAIL5.85
klieber2017q-076-19-t1FAIL5.85
JP-sat-02-07-4FAIL5.87
chess_solving_mate_in_2_2002_MAC-CH-6_03FAIL5.87
amba2f9n.satFAIL5.87
klieber2017q-060-15-eqFAIL5.87
klieber2017q-104-26-t1FAIL5.88
klieber2017q-070-17-t1FAIL5.88
driver_a9y.unsatFAIL5.88
query42_query64_1344FAIL5.89
genbuf10b4y.unsatFAIL5.89
add20y.unsatFAIL5.89
klieber2017q-068-17-t1FAIL5.89
DW-sat-04-16-1FAIL5.89
jctc13-failFAIL5.89
query03_query57_1344FAIL5.89
chess_solving_mate_in_2_1982_WCSC-6_02FAIL5.89
genbuf9b4n.unsatFAIL5.89
beemldelec4b1_c0to15.unsatFAIL5.9
klieber2017q-048-12-eqFAIL5.9
query08_query64_1344FAIL5.9
klieber2017q-062-15-t1FAIL5.9
klieber2017q-064-16-eqFAIL5.9
klieber2017q-086-21-t1FAIL5.9
jctc6-passFAIL5.91
klieber2017q-064-16-t1FAIL5.91
klieber2017q-070-17-eqFAIL5.91
klieber2017q-088-22-eqFAIL5.91
query51_query31_1344FAIL5.91
klieber2017q-052-13-eqFAIL5.91
chess_solving_mate_in_2_1997_WCCC-OPEN-40_03FAIL5.91
klieber2017q-074-18-eqFAIL5.91
mult_bool_matrix_8_10_6.satFAIL5.91
driver_a8y.unsatFAIL5.92
chess_solving_mate_in_2_2011_WCCC-OPEN-54_01FAIL5.92
JP-sat-02-08-3FAIL5.92
klieber2017q-062-15-eqFAIL5.92
amba3f9n.satFAIL5.92
eequery_reachqu_1344FAIL5.92
chess_solving_mate_in_2_1991_GER-CH-15_01FAIL5.92
klieber2017q-068-17-eqFAIL5.92
klieber2017q-056-14-eqFAIL5.92
klieber2017q-072-18-t1FAIL5.92
genbuf5b4n.unsatFAIL5.92
axquery_query58_1344FAIL5.93
chess_solving_mate_in_2_2011_GBR-CH-32_03FAIL5.93
amba2b9y.unsatFAIL5.93
query52_query36_1344FAIL5.93
query04_query03_1344FAIL5.93
amba7c5y.unsatFAIL5.93
klieber2017q-108-27-t1FAIL5.93
SR-unsat-02-01-05-2FAIL5.93
chess_solving_mate_in_2_2008_BEL-CH-16B_08FAIL5.93
query11_query64_1344FAIL5.93
jctc16-vals-0,2-passFAIL5.93
load_full_2_comp6_REAL.unsatFAIL5.93
chess_solving_mate_in_2_1987_FIN-CH-8_01FAIL5.94
klieber2017q-080-20-t1FAIL5.94
chess_composing_6_template_03FAIL5.94
klieber2017q-074-18-t1FAIL5.94
chess_composing_6_template_07FAIL5.94
amba2f9n.unsatFAIL5.94
query49_query64_1133FAIL5.94
jctc10-failFAIL5.94
query33_query71_1344FAIL5.94
chess_solving_mate_in_2_1983_FIN-CH-4_01FAIL5.95
gb_s2_r2_comp3_REAL.unsatFAIL5.95
klieber2017q-084-21-eqFAIL5.95
chess_composing_6_template_02FAIL5.95
klieber2017q-066-16-eqFAIL5.95
nreachq_query02_1344FAIL5.95
chess_solving_mate_in_4_2012_URAL-PROBLEMIST-6_05FAIL5.95
query64_query55_1344FAIL5.95
jctc9-passFAIL5.95
chess_solving_mate_in_2_2002_WCCC-OPEN-45_01FAIL5.95
chess_solving_mate_in_2_2009_POL-CH-33_01FAIL5.95
jctc1-passFAIL5.96
bs128n.satFAIL5.96
axquery_query31_1344FAIL5.96
chess_solving_mate_in_2_2015_GBR-CH-36_02FAIL5.96
chess_solving_mate_in_2_1996_FIN-CH-17_03FAIL5.96
chess_solving_mate_in_3_2003_UKR-CH_04FAIL5.96
jctc4-failFAIL5.96
SR-sat-02-01-06-2FAIL5.97
chess_composing_6_template_05FAIL5.97
chess_solving_mate_in_3_2010_UKR-CH_04FAIL5.97
query08_query26_1344FAIL5.97
chess_solving_mate_in_2_2012_GER-CH-36-19_03FAIL5.97
chess_solving_mate_in_3_2001_UKR-CH_06FAIL5.98
chess_solving_mate_in_3_2000_CZE-CH_04FAIL5.98
chess_solving_mate_in_2_1998_GBR-CH-19_01FAIL5.98
chess_solving_mate_in_2_2011_ISC-7B_01FAIL5.98
chess_solving_mate_in_3_1978_WCSC-2_05FAIL5.98
chess_solving_mate_in_3_2008_ISC-4B_07FAIL6
oski3ub5i_c0to15.unsatFAIL6
chess_solving_mate_in_2_2011_ROM-CH-W_02FAIL6.01
jctc8-passFAIL6.01
chess_solving_mate_in_4_2001_UKR-CH_13FAIL6.01
chess_composing_6_template_08FAIL6.02
chess_solving_mate_in_2_2009_BEL-CH-17B_01FAIL6.02
chess_solving_mate_in_4_2008_UKR-CH-22_13FAIL6.02
chess_solving_mate_in_2_2014_NED-CH-20B_09FAIL6.03
chess_solving_mate_in_3_2014_FRA-CH_03FAIL6.03
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01FAIL6.04
chess_solving_mate_in_3_2012_GRE-CH-11_02FAIL6.04
chess_solving_mate_in_4_1985_WCSC-9_13FAIL6.05
chess_solving_mate_in_4_2008_ISR-CH_03FAIL6.05
chess_solving_mate_in_3_1991_WCSC-15_05FAIL6.06
chess_solving_mate_in_3_2011_UKR-OPEN-25_04FAIL6.06
chess_solving_mate_in_3_2012_NED-CH-18B_04FAIL6.08
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.aspUNSAT6.27
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT6.31
DWs-unsat-05-11-1UNSAT6.63
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.aspUNSAT6.71
CM-sat-03-01-06-4SAT6.81
JP-unsat-02-07-2UNSAT6.92
DWs-unsat-05-12-1UNSAT7.02
SR-sat-02-01-07-2SAT7.03
DWs-sat-06-17-1SAT7.1
DW-sat-06-20-1SAT7.57
CM-sat-04-01-06-3SAT7.69
DW-sat-07-20-1SAT7.8
oski3ub1i_c0to63.unsatUNSAT8.74
DW-sat-08-23-1SAT9.45
DW-sat-08-22-1SAT9.47
CM-sat-04-01-06-4SAT9.87
DW-unsat-06-16-1UNSAT10.88
DWs-sat-10-23-1SAT12.01
CM-sat-04-01-07-3SAT12.73
jctc2-passSAT13.05
DWs-unsat-07-16-1UNSAT13.82
DWs-sat-10-25-1SAT13.88
SR-unsat-04-01-08-1UNSAT16.78
DWs-sat-12-28-1SAT19.8
DWs-unsat-08-17-1UNSAT19.85
DWs-unsat-08-18-1UNSAT22.53
DW-sat-08-24-1SAT23.34
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT32.78
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT41.96
SR-sat-02-01-06-3SAT42.05
DWs-unsat-09-19-1UNSAT47.25
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT47.62
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT63.31
CM-sat-07-01-07-3SAT67.77
jctc18-vals-0,2-passSAT73.59
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.aspUNSAT81.36
DW-sat-09-26-1SAT81.69
CM-sat-07-01-06-4SAT87.16
DWs-unsat-10-22-1UNSAT106.87
DW-unsat-09-23-1UNSAT114.13
DW-unsat-09-22-1UNSAT118.27
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT119.61
jctc17-vals-0,2-passSAT119.85
SR-sat-03-01-07-2SAT139.51
SR-sat-03-01-08-2SAT142.93
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT149.64
DWs-sat-10-24-1SAT157.97
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT158.42
JP-unsat-03-08-3UNSAT163.25
DWs-unsat-11-23-1UNSAT174.91
JP-unsat-03-07-4UNSAT207.38
CM-sat-07-01-06-3SAT212.72
CM-unsat-07-01-06-2UNSAT252.08
DW-unsat-10-25-1UNSAT260.33
DWs-unsat-11-24-1UNSAT273.86
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT309.83
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT435.92
DW-unsat-11-26-1UNSAT663.36
chess_composing_8_template_25FAIL900
chess_composing_8_template_14FAIL900
chess_composing_8_template_26FAIL900
chess_composing_8_template_49FAIL900.01
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900.01
6s389b02_c0to0.satFAIL900.01
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.aspFAIL900.01
DWs-unsat-23-48-1FAIL900.01
jctc3-vals-0,2-passFAIL900.01
chess_composing_8_template_47FAIL900.01
jctc5-failFAIL900.02
chess_composing_8_template_05FAIL900.02
chess_composing_8_template_36FAIL900.03
chess_composing_8_template_33FAIL900.03
chess_composing_8_template_16FAIL900.03
chess_composing_8_template_21FAIL900.03
chess_composing_8_template_07FAIL900.03
chess_composing_8_template_24FAIL900.03
chess_composing_8_template_15FAIL900.03
chess_composing_8_template_17FAIL900.03
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.aspFAIL900.04
chess_composing_8_template_20FAIL900.04
chess_composing_8_template_40FAIL900.04
chess_composing_8_template_12FAIL900.04
DW-unsat-21-47-1FAIL900.04
chess_composing_8_template_08FAIL900.04
chess_composing_8_template_23FAIL900.04
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL900.04
chess_composing_8_template_27FAIL900.05
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900.05
jctc11-passFAIL900.05
DWs-unsat-17-35-1FAIL900.05
chess_composing_8_template_35FAIL900.05
chess_composing_8_template_30FAIL900.06
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.aspFAIL900.07
chess_composing_8_template_37FAIL900.07
chess_composing_8_template_32FAIL900.07
chess_composing_8_template_28FAIL900.07
chess_composing_8_template_50FAIL900.07
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.aspFAIL900.08
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.aspFAIL900.08
jctc15-unrolled-failFAIL900.08
chess_composing_8_template_44FAIL900.09
chess_composing_8_template_11FAIL900.09
DW-unsat-14-33-1FAIL900.09
jctc7-passFAIL900.09
6s389b02_c0to15.satFAIL900.09
chess_composing_8_template_01FAIL900.09
chess_composing_8_template_04FAIL900.1
jctc14-unrolled-failFAIL900.1
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL900.11
chess_composing_8_template_39FAIL900.11