Instances solved by <a href='solver_detail.php?solver=327'>quabs___caqe-hqspre</a> <br> QBFEVAL'19

Instances solved by quabs___caqe-hqspre
QBFEVAL'19 - Prenex non-CNF Track

Instance	Result	Time
query49_query23_1344	UNSAT	0
k0325624.s.oe	SAT	0
k0325715.c.oe	SAT	0
k0325715.s.oe	SAT	0
k0327178.c.oe	SAT	0
k0327620.h.oe	SAT	0
k0327694.v.oe	SAT	0
axquery_axquery_1133	SAT	0
axquery_eequery_1133	UNSAT	0
k0325261.s.oe	SAT	0
k0325261.h.oe	SAT	0
k0302060.s.oe	SAT	0
k0248814.c.oe	SAT	0
k0248814.h.oe	SAT	0
cnt2n.unsat	UNSAT	0
k0248814.v.oe	SAT	0
k0300663.c.oe	SAT	0
k0300663.s.oe	SAT	0
k0300663.v.oe	SAT	0
k0302060.h.oe	SAT	0
axquery_exquery_1133	UNSAT	0
eequery_query04_1133	UNSAT	0
cnt4y.sat	SAT	0
mvs2y.sat	SAT	0
query08_axquery_1133	SAT	0
cnt8n.sat	SAT	0
bs128y.unsat	UNSAT	0
query50_query06_1133	UNSAT	0
bs8y.unsat	UNSAT	0
stay6y.unsat	UNSAT	0
cnt25n.unsat	UNSAT	0
mult2.unsat	UNSAT	0
falsequ_query11_1133	SAT	0
cnt10y.sat	SAT	0
mvs8y.unsat	UNSAT	0
mvs8n.unsat	UNSAT	0
add6n.sat	SAT	0
eequery_query36_1133	UNSAT	0
exquery_query42_1133	UNSAT	0
exquery_query60_1133	UNSAT	0
mvs2y.unsat	UNSAT	0
query55_query10_1133	UNSAT	0
k0226271.s.oe	SAT	0
axquery_query31_1344	SAT	0
DW-sat-01-10-1	SAT	0
mult_bool_matrix_8_10_6.sat	SAT	0
mult_bool_matrix_dyn_3_2.sat	SAT	0
bs16y.unsat	UNSAT	0
stay16n.unsat	UNSAT	0
cnt3y.unsat	UNSAT	0
cnt2n.sat	SAT	0
k0201058.h.oe	SAT	0
k0201058.v.oe	SAT	0
k0201058.c.oe	SAT	0
k0026150.h.oe	SAT	0
driver_a8y.unsat	UNSAT	0
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp	SAT	0
DWs-unsat-01-04-1	UNSAT	0
DWs-unsat-01-03-1	UNSAT	0
DWs-sat-02-07-1	SAT	0
DWs-sat-01-06-1	SAT	0
DWs-sat-01-05-1	SAT	0
driver_a9y.unsat	UNSAT	0
query04_query03_1133	UNSAT	0
k0026150.c.oe	SAT	0
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp	UNSAT	0
axquery_query02_1344	SAT	0
k0206272.v.oe	SAT	0
query07_falsequ_1344	UNSAT	0
query55_query30_1344	UNSAT	0
k0225418.v.oe	SAT	0
k0225682.v.oe	SAT	0
k0225744.s.oe	SAT	0
query23_query06_1344	SAT	0
query27_query03_1344	SAT	0
k0206272.h.oe	SAT	0
k0206272.s.oe	SAT	0
k0206272.c.oe	SAT	0
axquery_query58_1344	SAT	0
eequery_query23_1344	UNSAT	0
k0325624.v.oe	SAT	0
mult_bool_matrix_2_3_2.sat	SAT	0
exquery_query07_1344	UNSAT	0
k0225418.connected.oe	SAT	0.01
k0326191.connected.oe	SAT	0.01
k0325624.connected.oe	SAT	0.01
k0325715.connected.oe	SAT	0.01
k0325261.connected.oe	SAT	0.01
6s318r_c0to15.unsat	UNSAT	0.01
k0327178.connected.oe	SAT	0.02
k0226271.connected.oe	SAT	0.02
k0302060.connected.oe	SAT	0.02
k0201058.connected.oe	SAT	0.02
k0326578.connected.oe	SAT	0.18
klieber2017q-048-12-t1	UNSAT	0.6
query08_query26_1344	SAT	0.64
genbuf1b4y.unsat	UNSAT	0.65
query04_query03_1344	UNSAT	0.73
klieber2017q-052-13-t1	UNSAT	0.82
query51_query31_1344	UNSAT	0.83
query11_query64_1344	UNSAT	0.89
trivial_query09_1344	SAT	0.95
eequery_reachqu_1344	UNSAT	0.97
query52_query36_1344	UNSAT	0.98
mult4.unsat	UNSAT	1.05
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp	SAT	1.06
klieber2017q-048-12-eq	SAT	1.09
klieber2017q-066-16-t1	UNSAT	1.49
klieber2017q-064-16-t1	UNSAT	1.5
klieber2017q-060-15-t1	UNSAT	1.54
klieber2017q-062-15-t1	UNSAT	1.59
klieber2017q-056-14-t1	UNSAT	1.61
DW-sat-02-11-1	SAT	1.63
klieber2017q-072-18-t1	UNSAT	1.65
klieber2017q-086-21-t1	UNSAT	1.68
klieber2017q-052-13-eq	SAT	1.76
klieber2017q-088-22-t1	UNSAT	1.82
klieber2017q-076-19-t1	UNSAT	2.03
klieber2017q-068-17-t1	UNSAT	2.16
trivial_query31_1344	SAT	2.22
klieber2017q-074-18-t1	UNSAT	2.32
bs128n.sat	SAT	2.35
klieber2017q-104-26-t1	UNSAT	2.52
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	SAT	2.65
CM-sat-02-01-06-4	SAT	2.97
CM-sat-02-01-06-3	SAT	2.98
load_full_2_comp6_REAL.unsat	UNSAT	2.99
klieber2017q-084-21-t1	UNSAT	3.29
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp	SAT	3.38
query25_query54_1133	SAT	3.49
JP-unsat-02-07-2	UNSAT	3.76
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp	SAT	3.88
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp	SAT	4.19
query33_query71_1344	UNSAT	4.36
query26_query60_1133	UNSAT	4.59
klieber2017q-056-14-eq	SAT	4.59
6s216rb0_c0to7.unsat	UNSAT	4.72
klieber2017q-100-25-t1	UNSAT	4.76
klieber2017q-070-17-t1	UNSAT	4.83
klieber2017q-080-20-t1	UNSAT	5.36
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	SAT	5.8
DWs-sat-03-11-1	SAT	6.29
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp	SAT	6.55
klieber2017q-082-20-t1	UNSAT	8.98
klieber2017q-062-15-eq	SAT	9.09
jctc6-pass	SAT	9.17
query09_trivial_1344	SAT	10.17
genbuf5b4n.unsat	UNSAT	10.47
query03_query57_1344	SAT	10.56
klieber2017q-108-27-t1	UNSAT	11.69
klieber2017q-060-15-eq	SAT	12.09
JP-sat-02-07-3	SAT	12.15
beemldelec4b1_c0to15.unsat	UNSAT	12.25
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp	SAT	13.05
query64_query55_1344	UNSAT	14.77
klieber2017q-078-19-t1	UNSAT	14.92
oski3ub5i_c0to15.unsat	UNSAT	15.09
oski3ub1i_c0to63.unsat	UNSAT	15.12
amba2b9y.unsat	UNSAT	17.64
DWs-sat-04-11-1	SAT	19.35
klieber2017q-112-28-t1	UNSAT	20.15
amba2f9n.unsat	UNSAT	20.98
klieber2017q-068-17-eq	SAT	23.53
JP-sat-02-08-3	SAT	25.22
DWs-sat-04-12-1	SAT	25.3
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp	UNSAT	25.4
jctc1-pass	SAT	25.51
JP-sat-02-07-4	SAT	30.85
DWs-unsat-05-11-1	UNSAT	33.09
amba2f9n.sat	SAT	33.78
SR-unsat-02-01-05-2	UNSAT	37.23
klieber2017q-064-16-eq	SAT	38.4
nreachq_query02_1344	UNSAT	41.17
klieber2017q-066-16-eq	SAT	50.97
jctc16-vals-0,2-pass	SAT	52.21
gb_s2_r2_comp3_REAL.unsat	UNSAT	57.76
klieber2017q-070-17-eq	SAT	59.56
klieber2017q-074-18-eq	SAT	62.49
SR-sat-02-01-07-2	SAT	66.56
DWs-unsat-05-12-1	UNSAT	68.63
klieber2017q-072-18-eq	SAT	76.98
SR-sat-02-01-06-2	SAT	78.87
genbuf10b4y.unsat	UNSAT	79.87
genbuf9b4n.unsat	UNSAT	85.16
CM-sat-03-01-06-4	SAT	90.15
CM-sat-03-01-07-3	SAT	99.74
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp	UNSAT	143.92
jctc11-pass	FAIL	200.45
DW-unsat-06-16-1	UNSAT	285.08
jctc4-fail	UNSAT	346.58
CM-sat-04-01-06-4	SAT	395.39
klieber2017q-084-21-eq	SAT	460.56
klieber2017q-088-22-eq	SAT	461.07
klieber2017q-078-19-eq	SAT	461.3
klieber2017q-076-19-eq	SAT	462.36
query08_query64_1344	SAT	466.36
DW-sat-04-16-1	SAT	469.73
query49_query64_1133	UNSAT	470.25
DW-sat-08-22-1	SAT	491.38
DWs-unsat-08-17-1	UNSAT	492.94
DWs-unsat-08-18-1	UNSAT	501.79
DW-sat-08-23-1	SAT	508.81
CM-sat-04-01-06-3	SAT	510.12
DW-sat-08-24-1	SAT	512.41
jctc3-vals-0,2-pass	FAIL	513.81
SR-unsat-04-01-08-1	UNSAT	520.94
DW-sat-09-26-1	SAT	521.29
DWs-unsat-23-48-1	FAIL	526.52
CM-sat-04-01-07-3	SAT	529.46
jctc18-vals-0,2-pass	FAIL	530.04
jctc17-vals-0,2-pass	FAIL	535.74
DWs-unsat-07-16-1	UNSAT	542.09
DW-unsat-09-23-1	UNSAT	551.27
DWs-unsat-10-22-1	UNSAT	561.01
CM-sat-07-01-07-3	SAT	563.35
DWs-unsat-09-19-1	UNSAT	574.44
DW-unsat-09-22-1	UNSAT	576.48
JP-unsat-03-08-3	UNSAT	587.14
DW-unsat-10-25-1	UNSAT	595.43
DWs-sat-10-24-1	SAT	603.48
CM-sat-07-01-06-3	SAT	603.83
DWs-unsat-11-23-1	UNSAT	607.65
DW-sat-06-20-1	SAT	610.67
DWs-sat-05-15-1	SAT	617.7
DWs-sat-10-23-1	SAT	618.69
DW-sat-07-20-1	SAT	619.07
DWs-sat-10-25-1	SAT	632.79
SR-sat-02-01-06-3	SAT	679.44
DWs-unsat-11-24-1	UNSAT	698.82
SR-sat-03-01-07-2	SAT	700.4
DWs-sat-06-17-1	SAT	728.95
SR-sat-03-01-08-2	SAT	764.87
CM-unsat-07-01-06-2	UNSAT	776.93
JP-unsat-03-07-4	UNSAT	862.66
DW-unsat-11-26-1	UNSAT	879.08
jctc15-unrolled-fail	FAIL	899.52
chess_composing_8_template_12	FAIL	900
chess_solving_mate_in_2_1991_GER-CH-15_01	FAIL	900
jctc13-fail	FAIL	900
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp	FAIL	900.01
chess_composing_6_template_02	FAIL	900.01
chess_composing_8_template_16	FAIL	900.01
chess_composing_8_template_01	FAIL	900.01
chess_solving_mate_in_2_2011_ROM-CH-W_02	FAIL	900.01
chess_solving_mate_in_2_2009_POL-CH-33_01	FAIL	900.01
chess_solving_mate_in_2_1982_WCSC-6_02	FAIL	900.01
chess_solving_mate_in_2_1996_FIN-CH-17_03	FAIL	900.01
chess_composing_8_template_24	FAIL	900.01
chess_composing_8_template_27	FAIL	900.01
chess_composing_8_template_47	FAIL	900.01
6s389b02_c0to15.sat	FAIL	900.01
DW-unsat-21-47-1	FAIL	900.01
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	900.01
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp	FAIL	900.01
amba7c5y.unsat	FAIL	900.01
chess_solving_mate_in_3_2012_NED-CH-18B_04	FAIL	900.01
chess_solving_mate_in_4_2008_ISR-CH_03	FAIL	900.02
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp	FAIL	900.02
chess_solving_mate_in_3_2003_UKR-CH_04	FAIL	900.02
chess_solving_mate_in_2_2014_NED-CH-20B_09	FAIL	900.02
chess_solving_mate_in_2_1983_FIN-CH-4_01	FAIL	900.02
chess_composing_8_template_28	FAIL	900.02
chess_composing_8_template_14	FAIL	900.02
DWs-unsat-17-35-1	FAIL	900.02
chess_composing_6_template_07	FAIL	900.02
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp	FAIL	900.03
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp	FAIL	900.03
chess_composing_8_template_05	FAIL	900.03
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp	FAIL	900.03
chess_composing_8_template_37	FAIL	900.03
amba3f9n.sat	FAIL	900.03
chess_composing_6_template_05	FAIL	900.03
chess_composing_8_template_17	FAIL	900.03
chess_composing_8_template_15	FAIL	900.03
chess_solving_mate_in_2_2011_ISC-7B_01	FAIL	900.03
chess_solving_mate_in_3_2012_GRE-CH-11_02	FAIL	900.03
chess_solving_mate_in_4_1985_WCSC-9_13	FAIL	900.03
DW-unsat-14-33-1	FAIL	900.03
chess_solving_mate_in_2_2009_BEL-CH-17B_01	FAIL	900.03
chess_solving_mate_in_3_1978_WCSC-2_05	FAIL	900.03
jctc10-fail	FAIL	900.03
chess_solving_mate_in_3_2001_UKR-CH_06	FAIL	900.03
chess_composing_8_template_21	FAIL	900.04
chess_composing_8_template_20	FAIL	900.04
chess_solving_mate_in_2_2002_WCCC-OPEN-45_01	FAIL	900.04
chess_solving_mate_in_2_2015_GBR-CH-36_02	FAIL	900.04
chess_solving_mate_in_2_2011_GBR-CH-32_03	FAIL	900.04
chess_solving_mate_in_2_2012_GER-CH-36-19_03	FAIL	900.04
chess_composing_8_template_23	FAIL	900.04
chess_composing_8_template_49	FAIL	900.04
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	900.04
chess_composing_8_template_32	FAIL	900.04
jctc5-fail	FAIL	900.04
cycle_sched_4_7_2.sat	FAIL	900.04
DWs-sat-12-28-1	FAIL	900.04
chess_composing_8_template_50	FAIL	900.04
chess_solving_mate_in_2_2011_WCCC-OPEN-54_01	FAIL	900.05
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp	FAIL	900.05
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp	FAIL	900.05
jctc7-pass	FAIL	900.05
jctc14-unrolled-fail	FAIL	900.05
chess_solving_mate_in_3_2008_ISC-4B_07	FAIL	900.05
chess_composing_8_template_44	FAIL	900.05
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01	FAIL	900.05
CM-sat-07-01-06-4	FAIL	900.06
chess_solving_mate_in_3_2010_UKR-CH_04	FAIL	900.06
chess_solving_mate_in_2_1997_WCCC-OPEN-40_03	FAIL	900.06
chess_composing_8_template_33	FAIL	900.06
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	FAIL	900.06
chess_solving_mate_in_2_1987_FIN-CH-8_01	FAIL	900.06
chess_composing_8_template_11	FAIL	900.06
chess_composing_8_template_39	FAIL	900.06
chess_composing_8_template_07	FAIL	900.06
chess_solving_mate_in_4_2012_URAL-PROBLEMIST-6_05	FAIL	900.07
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp	FAIL	900.07
chess_solving_mate_in_4_2008_UKR-CH-22_13	FAIL	900.07
chess_composing_8_template_30	FAIL	900.07
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp	FAIL	900.07
jctc9-pass	FAIL	900.07
chess_composing_8_template_36	FAIL	900.07
chess_composing_8_template_04	FAIL	900.07
chess_composing_8_template_25	FAIL	900.07
chess_solving_mate_in_3_2011_UKR-OPEN-25_04	FAIL	900.08
chess_solving_mate_in_3_1991_WCSC-15_05	FAIL	900.08
query42_query64_1344	FAIL	900.08
chess_composing_6_template_03	FAIL	900.08
chess_composing_6_template_08	FAIL	900.08
jctc2-pass	FAIL	900.08
chess_solving_mate_in_3_2000_CZE-CH_04	FAIL	900.09
chess_composing_8_template_08	FAIL	900.09
chess_solving_mate_in_2_2008_BEL-CH-16B_08	FAIL	900.09
chess_solving_mate_in_4_2001_UKR-CH_13	FAIL	900.09
chess_composing_8_template_40	FAIL	900.09
chess_solving_mate_in_2_2002_MAC-CH-6_03	FAIL	900.09
jctc8-pass	FAIL	900.09
chess_solving_mate_in_2_1998_GBR-CH-19_01	FAIL	900.09
chess_solving_mate_in_3_2014_FRA-CH_03	FAIL	900.09
chess_composing_8_template_26	FAIL	900.09
add20y.unsat	FAIL	900.1
6s389b02_c0to0.sat	FAIL	900.1
chess_composing_8_template_35	FAIL	900.1

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by quabs___caqe-hqspre
QBFEVAL'19 - Prenex non-CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by quabs___caqe-hqspre QBFEVAL'19 - Prenex non-CNF Track

Instances solved by quabs___caqe-hqspre
QBFEVAL'19 - Prenex non-CNF Track