Instances solved by quabs___caqe-bloqqer
QBFEVAL'18 - Prenex non-CNF Track

InstanceResultTime
random-qcir-1000-50-295UNSAT0
pg-hkb-6UNSAT0
random-qcir-1000-50-545UNSAT0
pg-hkb-4UNSAT0
pg-hkb-3UNSAT0
pg-hkb-2UNSAT0
ntrivil_query54_1133SAT0
random-qcir-1000-50-658UNSAT0
random-qcir-1000-50-68UNSAT0
random-qcir-1000-50-743UNSAT0
random-qcir-1000-50-754UNSAT0
query71_query15_1133UNSAT0
small-swap2-fixpoint-4SAT0
small-swap1-fixpoint-3SAT0
random-qcir-1000-50-473UNSAT0
random-qcir-1000-50-456UNSAT0
random-qcir-1000-50-275UNSAT0
random-qcir-1000-50-267UNSAT0
random-qcir-1000-50-255UNSAT0
random-qcir-1000-50-134UNSAT0
ltl2dpa_C26_comp2_REAL.unsatUNSAT0
random-qcir-1000-50-361UNSAT0
bs128n.satSAT0
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.aspSAT0
ci.e#1.a#3.E#40.A#60.c#208.w#6.s#8.aspSAT0
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.aspSAT0
random-qcir-1000-50-393UNSAT0
random-qcir-1000-50-428UNSAT0
random-qcir-1000-50-441UNSAT0
query64_query31_1133UNSAT0
rankfunc33_signed_32SAT0
rankfunc17_unsigned_16SAT0
mv16y.satSAT0
random-qcir-1000-50-930UNSAT0
random-qcir-1000-50-940UNSAT0
bs128n.unsatUNSAT0
mult_bool_matrix_4_5_5.satSAT0
mult_bool_matrix_2_3_30.satSAT0
random-qcir-1000-50-970UNSAT0
random-qcir-1000-50-983UNSAT0
driver_d9n.unsatUNSAT0
driver_a9y.unsatUNSAT0
random-qcir-1000-50-857UNSAT0
stay22n.unsatUNSAT0
k_branch_n-10SAT0
k_branch_p-10UNSAT0
rankfunc13_unsigned_64SAT0
query51_query48_1133UNSAT0
query50_query49_1133UNSAT0
random-qcir-1000-50-98UNSAT0
query30_eequery_1133SAT0
random-qcir-1000-50-793UNSAT0
random-qcir-1000-50-846UNSAT0
pg-hkb-5UNSAT0
random-qcir-1000-50-898UNSAT0
query04_query03_1133UNSAT0
k_branch_p-11UNSAT0.01
6s318r_c0to15.unsatUNSAT0.01
6s318r_c0to31.satSAT0.01
stay24n.satSAT0.01
k_branch_p-16UNSAT0.03
pg-hkb-7UNSAT0.04
ev-pr-4x4-13-3-0-0-1-lgSAT0.06
incrementer-enc08-uniform-depth-33SAT0.63
ltl2dpa_C26_comp3_REAL.unsatUNSAT0.65
klieber2017q-108-27-t1UNSAT0.67
incrementer-enc07-uniform-depth-25UNSAT0.68
query21_reachqu_1133SAT0.77
k0206272.s.oeSAT0.9
ltl2dpa_C26_comp3_REAL.satSAT0.99
query44_query57_1133UNSAT1.03
query33_query71_1344UNSAT1.04
query49_query64_1133UNSAT1.37
jctc13-failUNSAT1.41
incrementer-enc02-uniform-depth-58UNSAT1.49
k0201058.c.oeSAT1.49
k_branch_n-12SAT1.49
qshifter_7SAT1.5
klieber2017q-100-25-t1UNSAT1.57
sdlx-fixpoint-3UNSAT1.58
klieber2017q-080-20-t1UNSAT1.61
filesys_smbmrx_cvsndrcv.cUNSAT1.66
nreachq_query02_1344UNSAT1.82
load_3c_comp_comp7_REAL.unsatUNSAT2.33
amba2f9n.unsatUNSAT2.88
query64_query55_1344UNSAT2.91
load_full_3_comp3_REAL.unsatUNSAT2.96
klieber2017q-078-19-t1UNSAT3.09
klieber2017q-084-21-t1UNSAT3.59
klieber2017q-086-21-t1UNSAT3.65
k0206272.v.oeSAT3.81
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.aspSAT3.88
cnt14SAT3.89
oski3ub1i_c0to63.unsatUNSAT3.95
klieber2017q-074-18-t1UNSAT4.07
pg-hkb-8UNSAT4.14
genbuf5b4n.unsatUNSAT4.21
dungeon_i15-m7-u4-v0.pddl_planlen=81UNSAT4.35
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.aspSAT4.91
ev-pr-8x8-7-7-0-1-2-lgUNSAT5.27
jctc4-failUNSAT5.78
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.aspSAT5.99
klieber2017q-096-24-t1UNSAT7.42
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.aspSAT8.09
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.aspSAT9.24
pg-hkb-9UNSAT9.56
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.aspSAT10.13
klieber2017q-104-26-t1UNSAT10.65
k0206272.h.oeSAT10.69
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.aspSAT10.8
ci.e#1.a#3.E#40.A#60.c#304.w#6.s#8.aspSAT11.65
ci.e#1.a#3.E#40.A#60.c#304.w#4.s#7.aspSAT13.05
beemldelec4b1_c0to15.unsatUNSAT15.33
jctc9-passSAT15.68
klieber2017q-092-23-t1UNSAT16
query64_query58_1344UNSAT16.1
gb_s2_r2_comp3_REAL.unsatUNSAT18.97
k0226271.c.oeSAT22.88
k_ph_n-21SAT23.36
k0026150.h.oeSAT25.05
sortnetsort9.v.stepl.005UNSAT25.45
k0225744.s.oeSAT25.98
klieber2017q-116-29-t1UNSAT28.15
pg-hkb-10UNSAT29.07
sortnetsort9.v.stepl.007SAT32.69
genbuf9b4n.unsatUNSAT45.86
k0225418.v.oeSAT53.86
amba2f9n.satSAT61.03
sortnetsort9.AE.stepl.012UNSAT66.45
sortnetsort10.v.stepl.005UNSAT91.84
genbuf10b4y.unsatUNSAT96.85
ci.e#1.a#3.E#40.A#60.c#360.w#2.s#8.aspSAT102.46
ev-pr-6x6-9-5-0-1-2-lgUNSAT153.06
query03_query57_1344SAT257.79
query09_trivial_1344SAT261.92
ev-pr-4x4-11-3-0-0-1-lgSAT265.86
query49_query58_1344UNSAT284.27
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.aspUNSAT327.66
test3_quant_squaring2UNSAT344.99
pg-hkb-11UNSAT472.96
klieber2017q-112-28-t1UNSAT508.05
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.aspUNSAT693.57
cycle_sched_6_2_1.satSAT722.57
dungeon_i25-m12-u3-v0.pddl_planlen=190UNSAT773.7
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#7.aspSAT799.96
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.aspUNSAT831.28
ev-pr-6x6-11-5-0-1-2-lgUNSAT864.69
SR-unsat-03-01-06-2FAIL900
chess_solving_mate_in_5_1996_UKR-CH-10_15FAIL900
JP-unsat-03-08-5FAIL900
k0225744.v.oeFAIL900
DWs-sat-12-28-1FAIL900
CM-sat-04-01-06-4FAIL900
CM-sat-02-01-07-3FAIL900
DW-unsat-11-27-1FAIL900
CM-sat-03-01-06-4FAIL900
klieber2017q-108-27-eqFAIL900
oski3ub1i_c0to63.satFAIL900
nreachq_reachqu_2133FAIL900.01
nreachq_reachqu_2233FAIL900.01
jctc3-vals-0,2-passFAIL900.01
pg-hkb-15FAIL900.01
pg-hkb-17FAIL900.01
CM-sat-03-01-07-3FAIL900.01
pg-hkb-22FAIL900.01
DW-sat-06-20-1FAIL900.01
DW-sat-09-26-1FAIL900.01
pg-hkb-23FAIL900.01
DW-unsat-11-26-1FAIL900.01
mult_bool_matrix_2_3_30.unsatFAIL900.01
JP-unsat-03-08-3FAIL900.01
k0026150.s.oeFAIL900.01
k0206272.connected.oeFAIL900.01
k0225682.c.oeFAIL900.01
genbuf5b4n.satFAIL900.01
ev-pr-6x6-17-5-0-1-2-lgFAIL900.01
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.aspFAIL900.01
klieber2017q-076-19-eqFAIL900.01
chess_composing_6_template_01FAIL900.01
pipesnotankage14_10FAIL900.01
chess_solving_mate_in_7_2016_BEL-CH-23A_03FAIL900.01
SR-sat-03-01-08-2FAIL900.01
JP-unsat-03-07-4FAIL900.01
network_irda_miniport_nscirda_comm.cFAIL900.01
DWs-unsat-12-25-1FAIL900.01
DWs-unsat-11-23-1FAIL900.01
test2_quant_squaring2FAIL900.01
chess_solving_mate_in_6_1998_OST-CH-1_15FAIL900.01
CM-sat-07-01-06-4FAIL900.01
DW-sat-08-22-1FAIL900.01
chess_solving_mate_in_7_2009_POL-CH-33_15FAIL900.01
cycle_sched_6_2_1.unsatFAIL900.02
SR-unsat-02-01-05-2FAIL900.02
klieber2017q-096-24-eqFAIL900.02
SR-sat-03-01-07-2FAIL900.02
k0225744.h.oeFAIL900.02
ci.e#1.a#3.E#40.A#60.c#400.w#4.s#5.aspFAIL900.02
JP-unsat-03-09-4FAIL900.02
chess_solving_mate_in_5_2012_NED-CH-18A_11FAIL900.02
chess_solving_mate_in_4_1999_GER-CH-23-6_14FAIL900.02
chess_solving_mate_in_4_1984_GBR-CH-5_04FAIL900.02
klieber2017q-116-29-eqFAIL900.02
CM-sat-07-01-07-3FAIL900.02
klieber2017q-078-19-eqFAIL900.02
chess_composing_8_template_43FAIL900.02
DWs-sat-10-24-1FAIL900.02
DW-sat-08-24-1FAIL900.02
JP-unsat-02-06-3FAIL900.02
chess_solving_mate_in_3_2009_POLTAVA-OPEN_03FAIL900.02
query42_query64_1344FAIL900.02
JP-sat-03-08-4FAIL900.02
CM-sat-04-01-07-3FAIL900.02
pipesnotankage18_8FAIL900.02
audio_ddksynth_csynth2.cppFAIL900.02
jctc8-passFAIL900.02
DWs-unsat-08-18-1FAIL900.02
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#3.aspFAIL900.02
ken.flash^08.C-d4FAIL900.02
chess_solving_mate_in_7_2005_GER-CH-29-12_15FAIL900.02
DWs-unsat-13-28-1FAIL900.02
jctc2-passFAIL900.02
JP-sat-02-07-3FAIL900.02
SR-sat-02-01-06-2FAIL900.03
pg-hkb-18FAIL900.03
chess_composing_8_template_38FAIL900.03
klieber2017q-082-20-eqFAIL900.03
jctc16-vals-0,2-passFAIL900.03
pg-hkb-21FAIL900.03
ken.oop^2.C-d4FAIL900.03
jctc5-failFAIL900.03
klieber2017q-112-28-eqFAIL900.03
CM-unsat-07-01-06-2FAIL900.03
DWs-sat-10-23-1FAIL900.03
jctc11-passFAIL900.03
chess_solving_mate_in_2_1983_FIN-CH-4_01FAIL900.03
chess_solving_mate_in_6_2016_RUS-CH_15FAIL900.03
DWs-unsat-07-16-1FAIL900.03
query42_query57_1344FAIL900.03
k0300663.v.oeFAIL900.03
chess_solving_mate_in_2_2012_GER-CH-36-19_03FAIL900.03
DW-sat-08-23-1FAIL900.03
beemldelec4b1_c0to15.satFAIL900.03
p20-20.pddl_planlen=23FAIL900.03
chess_solving_mate_in_6_2011_SRB-CH_15FAIL900.03
chess_solving_mate_in_2_2011_ISC-7B_01FAIL900.03
k0300663.s.oeFAIL900.04
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.aspFAIL900.04
chess_solving_mate_in_5_1984_FIN-CH-5_09FAIL900.04
CM-sat-07-01-06-3FAIL900.04
SR-sat-02-01-07-2FAIL900.04
k_ph_p-12FAIL900.04
cnt16rFAIL900.04
klieber2017q-104-26-eqFAIL900.04
query48_query42_1344FAIL900.04
chess_composing_8_template_13FAIL900.04
klieber2017q-080-20-eqFAIL900.04
mult_bool_matrix_4_5_5.unsatFAIL900.04
chess_composing_6_template_04FAIL900.04
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01FAIL900.04
chess_solving_mate_in_9_2003_RUS-CH_15FAIL900.04
klieber2017q-092-23-eqFAIL900.04
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.aspFAIL900.04
pg-hkb-24FAIL900.05
query44_query58_1344FAIL900.05
ev-pr-4x4-15-3-0-0-1-sFAIL900.05
pg-hkb-26FAIL900.05
k0300663.h.oeFAIL900.05
chess_solving_mate_in_2_1996_FIN-CH-17_03FAIL900.05
DWs-unsat-11-24-1FAIL900.05
JP-sat-02-07-4FAIL900.05
ci.e#1.a#3.E#40.A#60.c#368.w#6.s#7.aspFAIL900.05
chess_composing_6_template_06FAIL900.05
chess_composing_8_template_42FAIL900.05
chess_solving_mate_in_3_1999_WCSC-23_05FAIL900.05
jctc1-passFAIL900.05
k0225418.connected.oeFAIL900.06
chess_solving_mate_in_3_2009_FIN-CH-30_04FAIL900.06
chess_solving_mate_in_4_2009_SEROCK-OPEN_09FAIL900.06
SR-sat-02-01-06-3FAIL900.06
jctc6-passFAIL900.06
k0300663.connected.oeFAIL900.06
DWs-unsat-09-19-1FAIL900.06
DWs-unsat-08-17-1FAIL900.06
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.aspFAIL900.06
k0225418.h.oeFAIL900.06
p20-1.pddl_planlen=24FAIL900.06
network_ndis_rtlnwifi_hw_hw_ccmp.cFAIL900.06
k0026150.connected.oeFAIL900.06
pg-hkb-16FAIL900.06
DWs-sat-10-25-1FAIL900.06
klieber2017q-086-21-eqFAIL900.06
klieber2017q-100-25-eqFAIL900.07
JP-sat-02-08-3FAIL900.07
k0302060.c.oeFAIL900.07
CM-sat-04-01-06-3FAIL900.07
load_full_3_comp3_REAL.satFAIL900.07
jctc7-passFAIL900.07
input_pnpi8042_moudep.cFAIL900.07
DW-unsat-09-22-1FAIL900.07
k0225418.s.oeFAIL900.07
k_ph_p-19FAIL900.07
k0225418.c.oeFAIL900.07
k0026150.v.oeFAIL900.07
chess_solving_mate_in_3_2016_BEL-CH-23A_02FAIL900.08
chess_solving_mate_in_7_2011_SVK-CH-19_15FAIL900.08
pg-hkb-14FAIL900.08
chess_solving_mate_in_8_2011_BEL-CH-19A_03FAIL900.08
JP-sat-03-09-4FAIL900.08
pg-hkb-19FAIL900.08
DW-unsat-10-25-1FAIL900.08
query08_query64_1344FAIL900.08
DWs-sat-15-35-1FAIL900.08
pg-hkb-13FAIL900.08
pg-hkb-25FAIL900.08
jctc15-unrolled-failFAIL900.09
test2_quant_squaring3FAIL900.09
jctc17-vals-0,2-passFAIL900.09
k0225744.connected.oeFAIL900.09
jctc18-vals-0,2-passFAIL900.09
p20-5.pddl_planlen=32FAIL900.09
SR-unsat-02-01-06-1FAIL900.09
query08_query26_1344FAIL900.09
pg-hkb-12FAIL900.09
chess_solving_mate_in_6_2013_WCCC-OPEN-56_10FAIL900.09
chess_composing_8_template_02FAIL900.1
test1_quant_squaring3FAIL900.1
klieber2017q-074-18-eqFAIL900.1
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.aspFAIL900.1
jctc14-unrolled-failFAIL900.1
dungeon_i25-m12-u3-v0.pddl_planlen=165FAIL900.1
gb_s2_r2_comp3_REAL.satFAIL900.1
jctc10-failFAIL900.11
pg-hkb-20FAIL900.17