Instances solved by PortfolioGhostQQfunQuAbSQute___pf3
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
query71_query15_1133UNSAT4.54
query30_eequery_1133SAT4.59
pg-hkb-2UNSAT4.61
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT4.61
query04_query03_1133UNSAT4.61
klieber2017q-078-19-t1UNSAT4.64
query64_query31_1133UNSAT4.66
klieber2017q-112-28-t1UNSAT4.66
SR-unsat-02-01-06-1UNSAT4.69
ntrivil_query54_1133SAT4.7
stay22n.unsatUNSAT4.71
query50_query49_1133UNSAT4.73
bs128n.unsatUNSAT4.73
6s318r_c0to15.unsatUNSAT4.74
pg-hkb-3UNSAT4.79
query21_reachqu_1133SAT4.8
CM-sat-02-01-07-3SAT4.85
k_ph_n-21SAT4.93
driver_d9n.unsatUNSAT5.11
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT5.17
query44_query57_1133UNSAT5.19
ev-pr-4x4-11-3-0-0-1-lgSAT5.22
CM-sat-03-01-07-3SAT5.3
ev-pr-4x4-13-3-0-0-1-lgSAT5.4
query51_query48_1133UNSAT5.47
JP-sat-02-07-3SAT5.59
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT5.6
klieber2017q-104-26-t1FAIL5.66
k0225682.c.oeFAIL5.67
cycle_sched_6_2_1.satFAIL5.69
klieber2017q-074-18-t1FAIL5.69
jctc1-passFAIL5.69
sortnetsort10.v.stepl.005FAIL5.69
k0026150.h.oeFAIL5.69
k0206272.s.oeFAIL5.7
rankfunc33_signed_32FAIL5.7
k0300663.v.oeFAIL5.71
genbuf9b4n.unsatFAIL5.71
nreachq_query02_1344FAIL5.71
klieber2017q-082-20-eqFAIL5.71
k0206272.h.oeFAIL5.71
gb_s2_r2_comp3_REAL.satFAIL5.72
jctc4-failFAIL5.72
mult_bool_matrix_4_5_5.satFAIL5.72
sdlx-fixpoint-3FAIL5.72
klieber2017q-108-27-t1FAIL5.73
query08_query64_1344FAIL5.73
klieber2017q-116-29-eqFAIL5.73
audio_ddksynth_csynth2.cppFAIL5.74
k0201058.c.oeFAIL5.74
chess_solving_mate_in_2_2011_ISC-7B_01FAIL5.74
klieber2017q-080-20-eqFAIL5.74
k0226271.c.oeFAIL5.74
load_full_3_comp3_REAL.unsatFAIL5.74
gb_s2_r2_comp3_REAL.unsatFAIL5.75
k0300663.s.oeFAIL5.75
klieber2017q-108-27-eqFAIL5.75
ltl2dpa_C26_comp3_REAL.satFAIL5.76
incrementer-enc07-uniform-depth-25FAIL5.76
klieber2017q-092-23-eqFAIL5.76
query03_query57_1344FAIL5.76
k0300663.h.oeFAIL5.76
klieber2017q-104-26-eqFAIL5.76
query64_query58_1344FAIL5.76
bs128n.satFAIL5.76
klieber2017q-076-19-eqFAIL5.77
klieber2017q-084-21-t1FAIL5.77
klieber2017q-086-21-eqFAIL5.77
query44_query58_1344FAIL5.77
klieber2017q-086-21-t1FAIL5.77
driver_a9y.unsatFAIL5.77
rankfunc17_unsigned_16FAIL5.77
k_ph_p-12FAIL5.77
mult_bool_matrix_4_5_5.unsatFAIL5.77
mult_bool_matrix_2_3_30.satFAIL5.77
incrementer-enc08-uniform-depth-33FAIL5.77
sortnetsort9.v.stepl.005FAIL5.78
k0026150.v.oeFAIL5.78
amba2f9n.unsatFAIL5.78
chess_solving_mate_in_6_1998_OST-CH-1_15FAIL5.78
ltl2dpa_C26_comp2_REAL.unsatFAIL5.78
test2_quant_squaring2FAIL5.78
jctc8-passFAIL5.78
stay24n.satFAIL5.78
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL5.78
sortnetsort9.v.stepl.007FAIL5.78
mult_bool_matrix_2_3_30.unsatFAIL5.79
klieber2017q-100-25-t1FAIL5.79
k0225418.s.oeFAIL5.79
genbuf5b4n.unsatFAIL5.79
k0026150.s.oeFAIL5.79
rankfunc13_unsigned_64FAIL5.8
k0225418.c.oeFAIL5.8
klieber2017q-080-20-t1FAIL5.8
jctc13-failFAIL5.8
small-swap2-fixpoint-4FAIL5.8
klieber2017q-092-23-t1FAIL5.8
k0225418.h.oeFAIL5.8
query64_query55_1344FAIL5.8
load_3c_comp_comp7_REAL.unsatFAIL5.8
ev-pr-6x6-9-5-0-1-2-lgFAIL5.8
k0225744.s.oeFAIL5.8
ken.flash^08.C-d4FAIL5.8
k0206272.v.oeFAIL5.81
jctc9-passFAIL5.81
incrementer-enc02-uniform-depth-58FAIL5.81
query48_query42_1344FAIL5.81
query49_query58_1344FAIL5.81
input_pnpi8042_moudep.cFAIL5.81
amba2f9n.satFAIL5.81
test3_quant_squaring2FAIL5.81
k0225744.h.oeFAIL5.81
load_full_3_comp3_REAL.satFAIL5.82
klieber2017q-078-19-eqFAIL5.82
query42_query64_1344FAIL5.82
query33_query71_1344FAIL5.82
klieber2017q-116-29-t1FAIL5.83
jctc16-vals-0,2-passFAIL5.83
klieber2017q-100-25-eqFAIL5.83
klieber2017q-096-24-t1FAIL5.83
query49_query64_1133FAIL5.84
genbuf5b4n.satFAIL5.84
dungeon_i15-m7-u4-v0.pddl_planlen=81FAIL5.84
ken.oop^2.C-d4FAIL5.84
chess_solving_mate_in_2_1996_FIN-CH-17_03FAIL5.85
qshifter_7FAIL5.85
jctc10-failFAIL5.86
genbuf10b4y.unsatFAIL5.86
chess_solving_mate_in_6_2011_SRB-CH_15FAIL5.87
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01FAIL5.88
chess_solving_mate_in_2_1983_FIN-CH-4_01FAIL5.88
jctc2-passFAIL5.9
cnt16rFAIL5.9
beemldelec4b1_c0to15.unsatFAIL5.9
nreachq_reachqu_2233FAIL5.91
chess_solving_mate_in_5_2012_NED-CH-18A_11FAIL5.91
k0302060.c.oeFAIL5.91
oski3ub1i_c0to63.unsatFAIL5.91
jctc6-passFAIL5.91
filesys_smbmrx_cvsndrcv.cFAIL5.92
6s318r_c0to31.satFAIL5.93
k0225418.v.oeFAIL5.95
klieber2017q-074-18-eqFAIL5.96
mv16y.satFAIL5.97
klieber2017q-112-28-eqFAIL5.97
jctc7-passFAIL5.98
ltl2dpa_C26_comp3_REAL.unsatFAIL5.98
chess_solving_mate_in_5_1996_UKR-CH-10_15FAIL5.98
klieber2017q-096-24-eqFAIL5.98
k0225744.v.oeFAIL5.99
chess_solving_mate_in_6_2016_RUS-CH_15FAIL6
query42_query57_1344FAIL6.01
jctc15-unrolled-failFAIL6.02
chess_solving_mate_in_2_2012_GER-CH-36-19_03FAIL6.03
jctc5-failFAIL6.03
network_irda_miniport_nscirda_comm.cFAIL6.03
chess_solving_mate_in_5_1984_FIN-CH-5_09FAIL6.03
cycle_sched_6_2_1.unsatFAIL6.04
ev-pr-6x6-11-5-0-1-2-lgFAIL6.07
jctc14-unrolled-failFAIL6.08
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT6.12
jctc3-vals-0,2-passFAIL6.19
chess_solving_mate_in_6_2013_WCCC-OPEN-56_10FAIL6.19
p20-5.pddl_planlen=32FAIL6.26
JP-sat-02-08-3SAT6.41
jctc11-passFAIL6.5
CM-sat-03-01-06-4SAT6.59
jctc18-vals-0,2-passFAIL6.61
pg-hkb-4UNSAT6.67
SR-sat-02-01-06-2SAT6.76
SR-sat-02-01-07-2SAT6.84
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT7.04
nreachq_reachqu_2133FAIL7.11
jctc17-vals-0,2-passFAIL7.12
query09_trivial_1344SAT7.3
DW-sat-06-20-1SAT7.32
CM-sat-04-01-06-3SAT7.47
dungeon_i25-m12-u3-v0.pddl_planlen=190FAIL7.82
JP-unsat-02-06-3UNSAT8.06
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL8.19
k_branch_p-10UNSAT8.63
JP-sat-02-07-4SAT8.67
SR-unsat-02-01-05-2UNSAT8.84
DW-sat-08-23-1SAT9.33
DW-sat-08-22-1SAT9.34
p20-20.pddl_planlen=23FAIL9.68
CM-sat-04-01-06-4SAT10
random-qcir-1000-50-441UNSAT12.27
DWs-sat-10-23-1SAT12.5
CM-sat-04-01-07-3SAT13.52
DWs-sat-10-25-1SAT13.71
DWs-unsat-07-16-1UNSAT13.74
pg-hkb-5UNSAT14.18
random-qcir-1000-50-930UNSAT18.12
random-qcir-1000-50-754UNSAT18.34
random-qcir-1000-50-134UNSAT18.65
DWs-sat-12-28-1SAT19.58
DWs-unsat-08-17-1UNSAT19.62
random-qcir-1000-50-970UNSAT21.09
random-qcir-1000-50-857UNSAT22.12
DW-sat-08-24-1SAT22.95
DWs-unsat-08-18-1UNSAT23.86
random-qcir-1000-50-898UNSAT24.41
random-qcir-1000-50-68UNSAT25.41
random-qcir-1000-50-428UNSAT27.61
random-qcir-1000-50-393UNSAT27.89
random-qcir-1000-50-267UNSAT28.57
random-qcir-1000-50-983UNSAT28.87
random-qcir-1000-50-473UNSAT30.07
random-qcir-1000-50-275UNSAT30.37
random-qcir-1000-50-98UNSAT31.64
random-qcir-1000-50-361UNSAT32.11
random-qcir-1000-50-743UNSAT32.21
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT32.7
random-qcir-1000-50-846UNSAT32.89
random-qcir-1000-50-295UNSAT33.46
k_branch_p-11UNSAT34.2
random-qcir-1000-50-658UNSAT37.03
DWs-sat-15-35-1SAT38.81
random-qcir-1000-50-940UNSAT39.87
random-qcir-1000-50-456UNSAT39.9
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspUNSAT41.3
ev-pr-8x8-7-7-0-1-2-lgUNSAT42.92
random-qcir-1000-50-793UNSAT44.51
random-qcir-1000-50-545UNSAT46.3
DWs-unsat-09-19-1UNSAT46.34
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT46.99
SR-sat-02-01-06-3SAT47.68
random-qcir-1000-50-255UNSAT51.86
pg-hkb-6UNSAT58.87
pipesnotankage18_8FAIL59.58
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT61.87
CM-sat-07-01-07-3SAT67.13
cnt14SAT69.45
DW-sat-09-26-1SAT81.55
CM-sat-07-01-06-4SAT86.66
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspSAT99.32
DW-unsat-09-22-1UNSAT116.65
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT118.78
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT134.82
SR-sat-03-01-07-2SAT138.63
SR-sat-03-01-08-2SAT144.21
k_branch_n-10SAT151.4
DWs-sat-10-24-1SAT155.31
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT158.65
JP-unsat-03-08-3UNSAT162.18
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT168
DWs-unsat-11-23-1UNSAT192.37
JP-unsat-03-07-4UNSAT234.59
CM-sat-07-01-06-3SAT242.11
sortnetsort9.AE.stepl.012UNSAT250.94
CM-unsat-07-01-06-2UNSAT256.09
k0225418.connected.oeSAT265.82
DWs-unsat-11-24-1UNSAT275.68
DW-unsat-10-25-1UNSAT282.91
pg-hkb-7UNSAT315.06
k_branch_p-16UNSAT346.79
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT356.74
DWs-unsat-12-25-1UNSAT387.09
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT458.89
DW-unsat-11-26-1UNSAT666.44
ev-pr-4x4-15-3-0-0-1-sFAIL708.04
DW-unsat-11-27-1UNSAT820.48
SR-unsat-03-01-06-2UNSAT868.51
pg-hkb-23FAIL900.01
small-swap1-fixpoint-3FAIL900.01
pg-hkb-24FAIL900.01
pg-hkb-8FAIL900.01
chess_solving_mate_in_3_2009_POLTAVA-OPEN_03FAIL900.01
chess_composing_6_template_01FAIL900.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#360.w#2.s#8.aspFAIL900.01
pg-hkb-18FAIL900.01
chess_solving_mate_in_9_2003_RUS-CH_15FAIL900.02
chess_solving_mate_in_3_2009_FIN-CH-30_04FAIL900.02
chess_composing_8_template_42FAIL900.02
pipesnotankage14_10FAIL900.02
chess_solving_mate_in_7_2005_GER-CH-29-12_15FAIL900.02
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL900.03
pg-hkb-15FAIL900.03
chess_composing_8_template_43FAIL900.03
k_ph_p-19FAIL900.03
k0026150.connected.oeFAIL900.03
pg-hkb-9FAIL900.03
pg-hkb-21FAIL900.03
pg-hkb-17FAIL900.03
ev-pr-6x6-17-5-0-1-2-lgFAIL900.03
k_branch_n-12FAIL900.03
JP-sat-03-09-4FAIL900.03
chess_solving_mate_in_4_1999_GER-CH-23-6_14FAIL900.04
k0225744.connected.oeFAIL900.04
chess_composing_6_template_04FAIL900.04
chess_solving_mate_in_7_2011_SVK-CH-19_15FAIL900.04
pg-hkb-12FAIL900.04
pg-hkb-13FAIL900.04
pg-hkb-22FAIL900.04
pg-hkb-26FAIL900.04
chess_solving_mate_in_4_1984_GBR-CH-5_04FAIL900.04
chess_solving_mate_in_3_2016_BEL-CH-23A_02FAIL900.04
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL900.05
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL900.05
chess_composing_6_template_06FAIL900.05
chess_composing_8_template_38FAIL900.05
pg-hkb-11FAIL900.06
query08_query26_1344FAIL900.06
chess_composing_8_template_02FAIL900.06
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL900.06
chess_solving_mate_in_8_2011_BEL-CH-19A_03FAIL900.06
chess_solving_mate_in_7_2016_BEL-CH-23A_03FAIL900.06
DWs-unsat-13-28-1FAIL900.07
pg-hkb-14FAIL900.07
JP-unsat-03-08-5FAIL900.07
p20-1.pddl_planlen=24FAIL900.07
pg-hkb-19FAIL900.07
k0300663.connected.oeFAIL900.07
test1_quant_squaring3FAIL900.07
chess_solving_mate_in_4_2009_SEROCK-OPEN_09FAIL900.08
pg-hkb-10FAIL900.08
pg-hkb-16FAIL900.08
pg-hkb-25FAIL900.08
chess_composing_8_template_13FAIL900.08
JP-unsat-03-09-4FAIL900.08
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL900.09
chess_solving_mate_in_7_2009_POL-CH-33_15FAIL900.09
JP-sat-03-08-4FAIL900.09
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspFAIL900.09
pg-hkb-20FAIL900.09
test2_quant_squaring3FAIL900.09
k0206272.connected.oeFAIL900.09
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900.09
beemldelec4b1_c0to15.satFAIL900.1
chess_solving_mate_in_3_1999_WCSC-23_05FAIL900.1
oski3ub1i_c0to63.satFAIL900.1