Instances solved by <a href='solver_detail.php?solver=345'>QuAbS___quabs-caqe_2019</a> <br> QBFEVAL'19

Instances solved by QuAbS___quabs-caqe_2019
QBFEVAL'19 - Prenex non-CNF Track

Instance	Result	Time
klieber2017q-056-14-t1	UNSAT	0
axquery_axquery_1133	SAT	0
k0327694.v.oe	SAT	0
k0327620.h.oe	SAT	0
k0325715.s.oe	SAT	0
k0325715.c.oe	SAT	0
k0325624.v.oe	SAT	0
k0325624.s.oe	SAT	0
k0302060.s.oe	SAT	0
k0300663.v.oe	SAT	0
k0300663.s.oe	SAT	0
k0300663.c.oe	SAT	0
axquery_eequery_1133	UNSAT	0
axquery_exquery_1133	UNSAT	0
query55_query10_1133	UNSAT	0
query50_query06_1133	UNSAT	0
query26_query60_1133	UNSAT	0
klieber2017q-088-22-t1	UNSAT	0
query25_query54_1133	SAT	0
query08_axquery_1133	SAT	0
falsequ_query11_1133	SAT	0
exquery_query60_1133	UNSAT	0
exquery_query42_1133	UNSAT	0
eequery_query36_1133	UNSAT	0
eequery_query04_1133	UNSAT	0
k0226271.s.oe	SAT	0
k0225744.s.oe	SAT	0
k0225682.v.oe	SAT	0
DWs-unsat-01-04-1	UNSAT	0
DWs-unsat-01-03-1	UNSAT	0
DWs-sat-04-12-1	SAT	0
DWs-sat-04-11-1	SAT	0
DWs-sat-03-11-1	SAT	0
DWs-sat-02-07-1	SAT	0
DWs-sat-01-06-1	SAT	0
DWs-sat-01-05-1	SAT	0
DW-sat-04-16-1	SAT	0
CM-sat-02-01-06-3	SAT	0
CM-sat-02-01-06-4	SAT	0
DWs-unsat-05-11-1	UNSAT	0
6s318r_c0to15.unsat	UNSAT	0
k0225418.v.oe	SAT	0
k0206272.v.oe	SAT	0
k0206272.s.oe	SAT	0
k0206272.h.oe	SAT	0
k0206272.c.oe	SAT	0
k0201058.v.oe	SAT	0
k0201058.h.oe	SAT	0
k0026150.h.oe	SAT	0
k0026150.c.oe	SAT	0
query04_query03_1133	UNSAT	0
DW-sat-01-10-1	SAT	0
DW-sat-02-11-1	SAT	0
mvs2y.sat	SAT	0
query09_trivial_1344	SAT	0
cnt8n.sat	SAT	0
query23_query06_1344	SAT	0
query27_query03_1344	SAT	0
bs128y.unsat	UNSAT	0
mvs8y.unsat	UNSAT	0
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#1.asp	UNSAT	0
query49_query23_1344	UNSAT	0
query08_query64_1344	SAT	0
exquery_query07_1344	UNSAT	0
eequery_query23_1344	UNSAT	0
query03_query57_1344	SAT	0
query07_falsequ_1344	UNSAT	0
axquery_query58_1344	SAT	0
query08_query26_1344	SAT	0
bs16y.unsat	UNSAT	0
axquery_query31_1344	SAT	0
axquery_query02_1344	SAT	0
bs8y.unsat	UNSAT	0
cnt10y.sat	SAT	0
mult_bool_matrix_dyn_3_2.sat	SAT	0
mult_bool_matrix_2_3_2.sat	SAT	0
mult2.unsat	UNSAT	0
mvs2y.unsat	UNSAT	0
mvs8n.unsat	UNSAT	0
add6n.sat	SAT	0
query55_query30_1344	UNSAT	0
cnt3y.unsat	UNSAT	0
stay16n.unsat	UNSAT	0
mult4.unsat	UNSAT	0
cnt25n.unsat	UNSAT	0
stay6y.unsat	UNSAT	0
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#7.asp	UNSAT	0
cnt2n.unsat	UNSAT	0
trivial_query31_1344	SAT	0
trivial_query09_1344	SAT	0
cnt4y.sat	SAT	0
cnt2n.sat	SAT	0
k0248814.v.oe	SAT	0.01
k0248814.h.oe	SAT	0.01
k0302060.h.oe	SAT	0.01
k0325261.h.oe	SAT	0.01
k0325261.s.oe	SAT	0.01
k0248814.c.oe	SAT	0.01
k0201058.c.oe	SAT	0.01
k0327178.c.oe	SAT	0.02
k0225418.connected.oe	SAT	0.03
k0326578.connected.oe	SAT	0.03
k0302060.connected.oe	SAT	0.03
k0325261.connected.oe	SAT	0.03
k0327178.connected.oe	SAT	0.03
k0325715.connected.oe	SAT	0.03
k0226271.connected.oe	SAT	0.04
k0325624.connected.oe	SAT	0.04
k0326191.connected.oe	SAT	0.04
k0201058.connected.oe	SAT	0.06
beemldelec4b1_c0to15.unsat	UNSAT	0.52
DWs-unsat-05-12-1	UNSAT	0.52
DWs-sat-05-15-1	SAT	0.53
ci.e#1.a#3.E#40.A#60.c#200.w#6.s#6.asp	SAT	0.57
query04_query03_1344	UNSAT	0.7
DWs-sat-06-17-1	SAT	0.77
JP-unsat-02-07-2	UNSAT	0.89
chess_solving_mate_in_2_2014_NED-CH-20B_09	SAT	1.12
genbuf1b4y.unsat	UNSAT	1.51
JP-sat-02-08-3	SAT	1.53
jctc1-pass	SAT	1.68
jctc13-fail	UNSAT	1.98
SR-unsat-02-01-05-2	UNSAT	2.06
klieber2017q-048-12-t1	UNSAT	2.11
SR-sat-02-01-06-2	SAT	2.11
chess_solving_mate_in_2_2002_WCCC-OPEN-45_01	SAT	2.32
ci.e#1.a#3.E#40.A#60.c#264.w#4.s#2.asp	SAT	2.4
query49_query64_1133	UNSAT	2.4
JP-sat-02-07-4	SAT	2.83
klieber2017q-052-13-t1	UNSAT	2.89
SR-sat-02-01-07-2	SAT	3.04
chess_solving_mate_in_2_1996_FIN-CH-17_03	SAT	3.09
klieber2017q-108-27-t1	UNSAT	3.22
DW-sat-06-20-1	SAT	3.25
JP-sat-02-07-3	SAT	3.5
CM-sat-03-01-07-3	SAT	3.8
klieber2017q-048-12-eq	SAT	3.91
chess_solving_mate_in_2_2009_POL-CH-33_01	SAT	4.06
klieber2017q-056-14-eq	SAT	4.22
DWs-unsat-07-16-1	UNSAT	4.48
DW-unsat-06-16-1	UNSAT	4.56
klieber2017q-052-13-eq	SAT	4.56
query52_query36_1344	UNSAT	5.03
ci.e#1.a#3.E#40.A#60.c#432.w#2.s#8.asp	UNSAT	5.29
chess_solving_mate_in_2_1983_FIN-CH-4_01	SAT	5.42
CM-sat-04-01-06-3	SAT	6.02
driver_a9y.unsat	UNSAT	6.56
chess_solving_mate_in_2_1998_GBR-CH-19_01	SAT	6.68
oski3ub5i_c0to15.unsat	UNSAT	7.07
DW-sat-08-22-1	SAT	7.12
oski3ub1i_c0to63.unsat	UNSAT	7.14
klieber2017q-060-15-t1	UNSAT	7.36
DWs-unsat-08-17-1	UNSAT	7.77
ci.e#1.a#3.E#40.A#60.c#424.w#2.s#1.asp	UNSAT	7.95
SR-unsat-04-01-08-1	UNSAT	8.09
chess_solving_mate_in_2_2009_BEL-CH-17B_01	SAT	8.79
chess_solving_mate_in_2_2008_BEL-CH-16B_08	SAT	9.02
jctc4-fail	UNSAT	9.3
CM-sat-03-01-06-4	SAT	9.48
klieber2017q-066-16-t1	UNSAT	10.72
DW-sat-07-20-1	SAT	11.06
jctc9-pass	SAT	11.39
eequery_reachqu_1344	UNSAT	11.7
chess_solving_mate_in_2_2005_POLTAVA-OPEN_01	SAT	11.9
driver_a8y.unsat	UNSAT	12.53
klieber2017q-062-15-eq	SAT	12.65
DWs-unsat-08-18-1	UNSAT	13.55
chess_solving_mate_in_2_2011_ROM-CH-W_02	SAT	13.72
chess_solving_mate_in_2_2011_GBR-CH-32_03	SAT	14.19
chess_solving_mate_in_2_2015_GBR-CH-36_02	SAT	14.87
klieber2017q-060-15-eq	SAT	15.04
klieber2017q-062-15-t1	UNSAT	16.52
DWs-unsat-09-19-1	UNSAT	16.7
chess_solving_mate_in_2_2002_MAC-CH-6_03	SAT	18.16
chess_solving_mate_in_2_1987_FIN-CH-8_01	SAT	19.92
chess_solving_mate_in_2_2011_ISC-7B_01	SAT	21.77
chess_solving_mate_in_2_1982_WCSC-6_02	SAT	22.74
chess_solving_mate_in_2_2011_WCCC-OPEN-54_01	SAT	22.93
klieber2017q-072-18-t1	UNSAT	24.94
chess_solving_mate_in_2_2012_GER-CH-36-19_03	SAT	25.34
CM-sat-04-01-06-4	SAT	26.4
klieber2017q-064-16-t1	UNSAT	27.48
klieber2017q-104-26-t1	UNSAT	28.7
klieber2017q-100-25-t1	UNSAT	32.36
klieber2017q-080-20-t1	UNSAT	33.12
chess_solving_mate_in_2_1991_GER-CH-15_01	SAT	34.25
jctc2-pass	SAT	34.79
DW-sat-08-23-1	SAT	34.99
chess_solving_mate_in_2_1997_WCCC-OPEN-40_03	SAT	37.65
klieber2017q-086-21-t1	UNSAT	39.45
DW-sat-09-26-1	SAT	41.62
klieber2017q-070-17-eq	SAT	42.87
klieber2017q-068-17-t1	UNSAT	46.45
CM-sat-04-01-07-3	SAT	46.62
klieber2017q-064-16-eq	SAT	50.09
klieber2017q-074-18-t1	UNSAT	53
chess_solving_mate_in_3_2008_ISC-4B_07	SAT	56.46
klieber2017q-070-17-t1	UNSAT	58.08
DW-sat-08-24-1	SAT	58.17
klieber2017q-084-21-eq	SAT	58.39
klieber2017q-072-18-eq	SAT	59.96
klieber2017q-078-19-t1	UNSAT	62.76
ci.e#1.a#3.E#40.A#60.c#280.w#6.s#7.asp	SAT	63.19
DWs-sat-10-24-1	SAT	66.86
DWs-unsat-10-22-1	UNSAT	69.98
DWs-sat-10-25-1	SAT	73.5
klieber2017q-076-19-eq	SAT	76.09
DWs-sat-10-23-1	SAT	77
klieber2017q-082-20-t1	UNSAT	78.13
klieber2017q-112-28-t1	UNSAT	79.92
klieber2017q-088-22-eq	SAT	86.6
klieber2017q-078-19-eq	SAT	89.84
DW-unsat-09-22-1	UNSAT	91.78
DWs-unsat-11-23-1	UNSAT	91.82
SR-sat-02-01-06-3	SAT	92.09
chess_solving_mate_in_3_1991_WCSC-15_05	SAT	109.25
klieber2017q-074-18-eq	SAT	114.94
DW-unsat-09-23-1	UNSAT	120.66
klieber2017q-084-21-t1	UNSAT	122.92
klieber2017q-066-16-eq	SAT	128.31
chess_solving_mate_in_3_2010_UKR-CH_04	SAT	135.82
klieber2017q-068-17-eq	SAT	139.01
klieber2017q-076-19-t1	UNSAT	144.48
query51_query31_1344	UNSAT	146.47
JP-unsat-03-08-3	UNSAT	150.17
chess_solving_mate_in_3_2014_FRA-CH_03	SAT	169.02
ci.e#1.a#3.E#40.A#60.c#312.w#2.s#3.asp	SAT	171.6
jctc10-fail	UNSAT	176.55
DWs-unsat-11-24-1	UNSAT	182.08
ci.e#1.a#3.E#40.A#60.c#320.w#4.s#8.asp	SAT	186.22
ci.e#1.a#3.E#40.A#60.c#296.w#6.s#7.asp	SAT	193.38
jctc14-unrolled-fail	UNSAT	204.87
chess_solving_mate_in_3_2012_GRE-CH-11_02	SAT	212.17
ci.e#1.a#3.E#40.A#60.c#288.w#4.s#8.asp	SAT	226.89
ci.e#1.a#3.E#40.A#60.c#312.w#4.s#3.asp	SAT	233.87
chess_solving_mate_in_3_2012_NED-CH-18B_04	SAT	261.46
CM-unsat-07-01-06-2	UNSAT	262.36
ci.e#1.a#3.E#40.A#60.c#296.w#4.s#7.asp	SAT	272.13
amba2b9y.unsat	UNSAT	282.8
mult_bool_matrix_8_10_6.sat	SAT	300
query11_query64_1344	UNSAT	300.84
bs128n.sat	SAT	302.38
load_full_2_comp6_REAL.unsat	UNSAT	302.92
query33_query71_1344	UNSAT	304.32
6s216rb0_c0to7.unsat	UNSAT	304.75
jctc6-pass	SAT	309.2
genbuf5b4n.unsat	UNSAT	310.56
query64_query55_1344	UNSAT	314.66
amba2f9n.unsat	UNSAT	320.45
amba2f9n.sat	SAT	333.73
nreachq_query02_1344	UNSAT	344.65
jctc16-vals-0,2-pass	SAT	352.35
gb_s2_r2_comp3_REAL.unsat	UNSAT	356.92
genbuf10b4y.unsat	UNSAT	381.36
genbuf9b4n.unsat	UNSAT	384.94
jctc11-pass	FAIL	499.59
jctc3-vals-0,2-pass	FAIL	664.21
DWs-unsat-23-48-1	FAIL	676.17
jctc18-vals-0,2-pass	FAIL	679.71
jctc17-vals-0,2-pass	FAIL	686.46
CM-sat-07-01-07-3	SAT	713.52
DW-unsat-10-25-1	UNSAT	745.96
SR-sat-03-01-07-2	SAT	849.37
chess_composing_8_template_21	FAIL	899.61
chess_composing_8_template_11	FAIL	900
chess_composing_8_template_28	FAIL	900
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	FAIL	900
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	900.01
6s389b02_c0to15.sat	FAIL	900.01
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#3.asp	FAIL	900.01
CM-sat-07-01-06-4	FAIL	900.01
DW-unsat-11-26-1	FAIL	900.01
DW-unsat-21-47-1	FAIL	900.01
chess_composing_8_template_44	FAIL	900.01
chess_composing_6_template_08	FAIL	900.01
chess_composing_8_template_37	FAIL	900.01
chess_composing_8_template_01	FAIL	900.02
chess_composing_8_template_50	FAIL	900.02
chess_composing_8_template_14	FAIL	900.02
chess_composing_8_template_40	FAIL	900.02
DWs-sat-12-28-1	FAIL	900.02
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#6.asp	FAIL	900.02
jctc15-unrolled-fail	FAIL	900.02
chess_composing_6_template_07	FAIL	900.02
add20y.unsat	FAIL	900.02
chess_composing_8_template_36	FAIL	900.03
chess_composing_8_template_24	FAIL	900.03
DWs-unsat-17-35-1	FAIL	900.03
chess_composing_8_template_27	FAIL	900.03
chess_solving_mate_in_4_2008_ISR-CH_03	FAIL	900.03
chess_composing_8_template_47	FAIL	900.03
chess_solving_mate_in_4_2001_UKR-CH_13	FAIL	900.03
chess_composing_6_template_03	FAIL	900.03
chess_solving_mate_in_4_2012_URAL-PROBLEMIST-6_05	FAIL	900.04
chess_solving_mate_in_3_2001_UKR-CH_06	FAIL	900.04
chess_solving_mate_in_3_2003_UKR-CH_04	FAIL	900.04
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#6.asp	FAIL	900.04
chess_composing_8_template_35	FAIL	900.04
chess_composing_8_template_16	FAIL	900.04
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#4.asp	FAIL	900.04
chess_solving_mate_in_4_1985_WCSC-9_13	FAIL	900.04
6s389b02_c0to0.sat	FAIL	900.04
chess_composing_8_template_12	FAIL	900.04
chess_solving_mate_in_4_2008_UKR-CH-22_13	FAIL	900.04
jctc8-pass	FAIL	900.05
chess_composing_8_template_25	FAIL	900.05
SR-sat-03-01-08-2	FAIL	900.05
ci.e#1.a#3.E#40.A#60.c#400.w#6.s#4.asp	FAIL	900.05
chess_composing_6_template_05	FAIL	900.05
chess_composing_8_template_05	FAIL	900.05
cycle_sched_4_7_2.sat	FAIL	900.05
chess_composing_8_template_08	FAIL	900.05
chess_composing_8_template_17	FAIL	900.05
JP-unsat-03-07-4	FAIL	900.05
DW-unsat-14-33-1	FAIL	900.06
chess_composing_8_template_23	FAIL	900.06
query42_query64_1344	FAIL	900.06
chess_composing_6_template_02	FAIL	900.07
chess_composing_8_template_20	FAIL	900.07
chess_composing_8_template_15	FAIL	900.07
ci.e#1.a#3.E#40.A#60.c#376.w#2.s#4.asp	FAIL	900.07
chess_composing_8_template_07	FAIL	900.07
chess_solving_mate_in_3_2011_UKR-OPEN-25_04	FAIL	900.07
chess_composing_8_template_33	FAIL	900.07
chess_solving_mate_in_3_2000_CZE-CH_04	FAIL	900.07
amba3f9n.sat	FAIL	900.07
jctc5-fail	FAIL	900.07
chess_composing_8_template_26	FAIL	900.08
chess_composing_8_template_04	FAIL	900.08
chess_composing_8_template_32	FAIL	900.08
ci.e#1.a#3.E#40.A#60.c#376.w#4.s#1.asp	FAIL	900.08
chess_solving_mate_in_3_1978_WCSC-2_05	FAIL	900.08
ci.e#1.a#3.E#40.A#60.c#376.w#6.s#7.asp	FAIL	900.09
amba7c5y.unsat	FAIL	900.09
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	900.09
chess_composing_8_template_39	FAIL	900.1
chess_composing_8_template_30	FAIL	900.1
chess_composing_8_template_49	FAIL	900.14
ci.e#1.a#3.E#40.A#60.c#368.w#2.s#2.asp	FAIL	900.28
CM-sat-07-01-06-3	FAIL	900.65
jctc7-pass	FAIL	900.95

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QuAbS___quabs-caqe_2019
QBFEVAL'19 - Prenex non-CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by QuAbS___quabs-caqe_2019 QBFEVAL'19 - Prenex non-CNF Track

Instances solved by QuAbS___quabs-caqe_2019
QBFEVAL'19 - Prenex non-CNF Track