Instances solved by <a href='solver_detail.php?solver=330'>caqe-pre</a> <br> Prenex CNF Track

Instances solved by caqe-pre
Prenex CNF Track

Instance	Result	Time
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-007	UNSAT	0
nxquery_query42_1344n	UNSAT	0
small-swap1-fixpoint-6	SAT	0
stmt44_554_604	SAT	0
stmt16_818_819	SAT	0
k_ph_n-11	SAT	0
ntrivil_query71_1344n	UNSAT	0
stmt9_445_446	SAT	0
falsequ_query71_1344	SAT	0
nxquery_query64_1344n	UNSAT	0
nxquery_query71_1344n	UNSAT	0
trueque_query64_1344n	UNSAT	0
trueque_query60_1344n	UNSAT	0
stmt29_226_376	UNSAT	0
stmt124_966_965	SAT	0
stmt5_731_730	SAT	0
trivial_query64_1344n	UNSAT	0
trivial_query60_1344n	UNSAT	0
nxquery_query71_1344	SAT	0
small-swap1-fixpoint-4	SAT	0
falsequ_query71_1344n	UNSAT	0
small-synabs-fixpoint-3	UNSAT	0
exquery_query42_1344n	UNSAT	0
eequery_query64_1344	UNSAT	0
axquery_query71_1344	SAT	0
axquery_query71_1344n	UNSAT	0
axquery_query64_1344	SAT	0
axquery_query64_1344n	UNSAT	0
axquery_query42_1344n	UNSAT	0
exquery_query64_1344n	UNSAT	0
exquery_query64_1344	SAT	0
irst.dme6.B-d4	SAT	0
falsequ_query64_1344	SAT	0
falsequ_query64_1344n	UNSAT	0
falsequ_query60_1344n	UNSAT	0
small-pipeline-fixpoint-1	UNSAT	0
vis.prodcell^01.E-d4	SAT	0
exquery_query71_1344	SAT	0
exquery_query71_1344n	UNSAT	0
trueque_query64_1344	SAT	0
trueque_query71_1344n	UNSAT	0
eijk.bs3330.S-d3	SAT	0
kenflashp04	SAT	0
test5_quant7	SAT	0
floor128	SAT	0
equalization128	SAT	0
decomposition128	SAT	0
rankfunc30_unsigned_64	SAT	0
mult_bool_matrix_10_9_11.sat	SAT	0
rankfunc30_signed_64	SAT	0
pdtpmsrotate32	SAT	0
rankfunc21_signed_64	SAT	0
mult9.sat	SAT	0
itc-b13-fixpoint-2	UNSAT	0
rankfunc3_signed_64	SAT	0
rankfunc21_unsigned_64	SAT	0
driver_c9y.sat	SAT	0
driver_c9n.sat	SAT	0
rankfunc19_signed_64	SAT	0
rankfunc42_signed_64	SAT	0
driver_d9y.sat	SAT	0
stmt19_83_412	UNSAT	0
stmt21_181_369	UNSAT	0
stmt41_160_235	UNSAT	0
s09234_PR_7_2	SAT	0
s09234_PR_7_20	SAT	0
rankfunc3_unsigned_64	SAT	0
s05378_PR_5_2	SAT	0
s05378_PR_5_20	SAT	0
s01423_PR_4_90	UNSAT	0
s01423_PR_4_75	UNSAT	0
trueque_query71_1344	SAT	0
itc-b13-fixpoint-3	SAT	0
pdtpmsmiim	SAT	0
floor256	SAT	0
rankfunc19_unsigned_64	SAT	0
decomposition256	SAT	0
equalization32	SAT	0
rankfunc18_unsigned_64	SAT	0.13
mult_bool_matrix_12_13_11.sat	SAT	0.47
ntrivil_query64_1344n	UNSAT	0.51
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-006	UNSAT	0.53
eequery_query42_1344	UNSAT	0.61
ntrivil_query42_1344n	UNSAT	0.64
trivial_query71_1344	SAT	0.64
ntrivil_query71_1344	SAT	0.7
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-009	UNSAT	0.78
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	0.83
itc-b13-fixpoint-4	SAT	0.85
small-swap1-fixpoint-8	SAT	0.9
small-swap1-fixpoint-5	SAT	0.91
tlc05-uniform-depth-40	UNSAT	0.91
Adder2-8-s	SAT	0.94
small-swap1-fixpoint-7	SAT	1
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf02.01X-QBF.BB1-01X.BB2-Zi.BB3-01X.with-IOC.unfold-009	UNSAT	1
driver_b8n.sat	SAT	1.07
trivial_query71_1344n	UNSAT	1.11
p20-1.pddl_planlen=48	SAT	1.21
tlc05-uniform-depth-45	UNSAT	1.22
p20-1.pddl_planlen=49	SAT	1.24
itc-b13-fixpoint-5	SAT	1.26
stay24n.sat	SAT	1.29
nusmv.reactor^3.C-d4	SAT	1.3
nusmv.tcas-t^1.B-d2	SAT	1.3
p10-5.pddl_planlen=25	SAT	1.31
p10-5.pddl_planlen=24	SAT	1.32
kmdf_pcidrv_sys_hw_physet.c	SAT	1.33
ltl2dba_C2-6_comp3_REAL.sat	SAT	1.36
incrementer-enc09-nonuniform-depth-15	UNSAT	1.36
stmt39_285_335	UNSAT	1.42
small-swap1-fixpoint-10	SAT	1.48
stmt19_313_412	UNSAT	1.62
small-synabs-fixpoint-10	UNSAT	1.63
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf03.01X-QBF.BB1-Zi.BB2-Zi.BB3-01X.with-IOC.unfold-010	UNSAT	1.64
cycle_sched_12_2_1.sat	SAT	1.66
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	UNSAT	1.67
trivial_query64_1344	SAT	1.68
tlc05-uniform-depth-50	UNSAT	1.68
ntrivil_query64_1344	SAT	1.75
itc-b13-fixpoint-6	SAT	1.79
b21_PR_8_20	SAT	1.8
k_ph_n-15	SAT	1.8
mult_bool_matrix_17_17_17.sat	SAT	1.8
driver_a10y.sat	SAT	1.81
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	UNSAT	1.85
filesys_smbmrx_midatlas.c	UNSAT	1.91
small-pipeline-fixpoint-2	UNSAT	1.97
tlc05-uniform-depth-55	UNSAT	2.07
mult_bool_matrix_18_18_18.sat	SAT	2.2
p10-10.pddl_planlen=20	SAT	2.28
s38584_PR_9_5	SAT	2.28
cache-coherence-3-fixpoint-1	UNSAT	2.29
b20_PR_7_20	SAT	2.33
p10-10.pddl_planlen=19	SAT	2.35
bs128y.sat	SAT	2.39
driver_a9n.sat	SAT	2.4
tlc05-uniform-depth-60	UNSAT	2.42
bs128n.sat	SAT	2.42
small-swap1-fixpoint-9	SAT	2.45
itc-b13-fixpoint-7	SAT	2.65
s38584_PR_9_50	SAT	2.67
tlc05-uniform-depth-65	UNSAT	2.69
fpu-10Xh-correct04-nonuniform-depth-14	UNSAT	2.71
stmt21_310_360	UNSAT	2.73
ethernet-fixpoint-1	UNSAT	2.87
tlc05-uniform-depth-70	UNSAT	3.01
cache-coherence-2-fixpoint-2	UNSAT	3.02
fpu-10Xh-correct04-uniform-depth-18	UNSAT	3.1
tlc05-uniform-depth-75	UNSAT	3.2
driverlog10_6	UNSAT	3.27
incrementer-enc09-uniform-depth-17	SAT	3.32
fpu-01Xh-error02-nonuniform-depth-18	UNSAT	3.45
incrementer-enc08-nonuniform-depth-32	UNSAT	3.53
incrementer-enc07-nonuniform-depth-25	UNSAT	3.67
k_ph_n-18	SAT	3.69
s15850_PR_0_50	SAT	3.74
fpu-10Xh-error01-uniform-depth-20	UNSAT	3.87
stmt21_319_418	SAT	3.93
arbiter-05-comp-error01-qbf-hardness-depth-8	UNSAT	4
stmt32_329_378	UNSAT	4.06
s15850_PR_6_10	SAT	4.07
Adder2-10-s	SAT	4.09
fpu-01Xh-error02-uniform-depth-24	UNSAT	4.6
driverlog11_8	UNSAT	4.6
fpu-10Xh-error01-uniform-depth-25	UNSAT	4.66
sdlx-fixpoint-3	UNSAT	4.84
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-010	UNSAT	4.92
driverlog13_7	UNSAT	5.46
driverlog10_7	SAT	5.52
sortnetsort8.v.stepl.007	SAT	5.58
stmt41_262_275	SAT	5.67
tlc05-uniform-depth-85	UNSAT	6
itc-b13-fixpoint-8	SAT	6.05
driverlog12_8	UNSAT	6.13
nxquery_query50_1344n	SAT	6.18
incrementer-enc06-uniform-depth-24	UNSAT	6.71
k_ph_n-19	SAT	6.89
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	6.96
driverlog13_8	UNSAT	7.25
nusmv.tcas^2.B-f2	SAT	7.38
incrementer-enc08-uniform-depth-33	SAT	7.58
tlc05-uniform-depth-80	UNSAT	7.58
sdlx-fixpoint-4	UNSAT	7.82
k_ph_n-20	SAT	8.02
input_mouser_detect.c	SAT	8.18
load_3c_comp_comp7_REAL.unsat	UNSAT	8.54
freecell01_6	SAT	8.57
cmu.dme2.B-f3	SAT	8.57
incrementer-enc07-uniform-depth-25	UNSAT	8.66
driverlog14_8	UNSAT	9.21
Adder2-8-c	UNSAT	9.46
nusmv.tcas^3.B-f2	SAT	9.58
filesys_smbmrx_cvsndrcv.c	UNSAT	9.93
itc-b13-fixpoint-9	SAT	10.09
texas.PI_main^05.E-f3	SAT	10.55
b18_PR_4_2	SAT	11.19
stmt52_295_394	UNSAT	11.25
cache-coherence-3-fixpoint-2	UNSAT	11.8
filesys_fastfat_cachesup.c	SAT	12.08
amba2c7n.sat	SAT	12.47
network_trans_sys_notify.c	UNSAT	12.77
driverlog11_9	SAT	12.79
sdlx-fixpoint-5	UNSAT	12.88
depots07_8	UNSAT	13.37
nusmv.tcas^4.B-f3	SAT	13.48
itc-b13-fixpoint-10	SAT	13.49
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	13.71
k_branch_n-11	SAT	14.67
small-seq-fixpoint-3	UNSAT	15.17
driverlog12_9	UNSAT	15.2
small-pipeline-fixpoint-3	UNSAT	15.6
arbiter-06-comp-error01-qbf-hardness-depth-11	UNSAT	15.8
depots03_9	UNSAT	15.88
add5_REDUCED	SAT	16.08
ethernet-fixpoint-2	UNSAT	16.29
cmu.dme1.B-f3	SAT	16.42
Core1108_tbm_21.tex.module.000008	SAT	16.57
dungeon_i25-m12-u5-v0.pddl_planlen=59	UNSAT	16.68
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	UNSAT	16.69
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	UNSAT	16.89
Core1108_tbm_21.tex.module.000030	SAT	17.26
dungeon_i25-m12-u5-v0.pddl_planlen=65	UNSAT	17.38
usb-phy-fixpoint-3	UNSAT	17.57
query71_query36_1344n	UNSAT	18.61
texas.PI_main^08.E-f3	SAT	19.02
dungeon_i25-m12-u5-v0.pddl_planlen=81	UNSAT	19.98
dungeon_i25-m12-u5-v0.pddl_planlen=86	UNSAT	20.71
dungeon_i25-m12-u5-v0.pddl_planlen=92	UNSAT	21.59
dungeon_i25-m12-u5-v0.pddl_planlen=98	UNSAT	22.06
incrementer-enc02-uniform-depth-58	UNSAT	22.36
k_branch_n-12	SAT	22.47
c5_BMC_p1_k32	SAT	22.8
Adder2-14-s	SAT	22.94
c6_BMC_p2_k1024	UNSAT	23.32
incrementer-enc02-uniform-depth-63	UNSAT	24.72
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	25.61
Umbrella_tbm_05.tex.module.000039	SAT	25.84
cmu.gigamax.B-d4	SAT	26
depots16_5	UNSAT	27.68
GuidanceService	UNSAT	28.24
GuidanceService2	UNSAT	28.3
kmdf_osrusbfx2_exe_dump.c	UNSAT	30.85
sdlx-fixpoint-6	UNSAT	31.26
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-010	UNSAT	32.02
eequery_query42_1344n	SAT	32.51
sortnetsort9.AE.stepl.009	UNSAT	33.14
amba2f9n.sat	SAT	33.31
pi-bus-fixpoint-1	UNSAT	34.85
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	35.36
depots08_6	UNSAT	36.13
freecell02_4	UNSAT	36.41
freecell02_5	UNSAT	36.59
dungeon_i25-m12-u5-v0.pddl_planlen=197	UNSAT	37.26
k_branch_p-14	UNSAT	37.38
dungeon_i25-m12-u5-v0.pddl_planlen=198	UNSAT	37.59
dungeon_i25-m12-u5-v0.pddl_planlen=199	UNSAT	37.64
ethernet-fixpoint-3	UNSAT	37.66
eequery_query71_1344n	SAT	37.91
dungeon_i25-m12-u5-v0.pddl_planlen=200	UNSAT	38.05
sortnetsort9.v.stepl.007	SAT	39.16
depots13_9	SAT	39.19
c6_BMC_p1_k512	SAT	39.26
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	SAT	39.76
nusmv.tcas^6.B-f4	SAT	43.13
sortnetsort9.AE.stepl.008	UNSAT	43.67
cache-coherence-2-fixpoint-4	UNSAT	46.38
Adder2-16-s	SAT	46.8
usb-phy-fixpoint-4	UNSAT	47.09
pipesnotankage16_10	UNSAT	47.62
pipesnotankage15_10	UNSAT	48.29
k_branch_p-16	UNSAT	48.29
depots10_8	UNSAT	49.17
sortnetsort9.AE.stepl.007	UNSAT	50.07
pipesnotankage14_10	UNSAT	51.41
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	52.68
arbiter-06-comp-error01-qbf-hardness-depth-15	UNSAT	52.9
beemldelec4b1_c0to127.sat	SAT	55.07
cycle_sched_4_7_1.unsat	UNSAT	57.05
c3_BMC_p1_k256	SAT	57.28
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	SAT	59.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf06.01X-QBF.BB1-01X.BB2-Zi.BB3-Zi.with-IOC.unfold-009	UNSAT	59.6
freecell02_6	UNSAT	60.48
depots16_7	UNSAT	60.76
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	UNSAT	60.96
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-008	UNSAT	61.87
b22_PR_9_90	UNSAT	62.4
pipesnotankage17_7	UNSAT	64.02
pipesnotankage17_6	UNSAT	64.19
pipesnotankage17_5	UNSAT	64.25
sortnetsort9.AE.stepl.012	UNSAT	66.35
cache-coherence-3-fixpoint-3	UNSAT	68.43
add5_COMPLETE	SAT	73.09
test5_quant_squaring5	SAT	79.41
szymanski-20-s	UNSAT	81.3
genbuf9b4n.unsat	UNSAT	82.82
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	SAT	83.64
neclaftp4001	UNSAT	83.98
usb-phy-fixpoint-5	UNSAT	86.72
cache-coherence-2-fixpoint-5	UNSAT	88.26
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	UNSAT	88.48
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	SAT	89.23
sortnetsort10.AE.stepl.008	UNSAT	89.37
ConcreteActivityService	UNSAT	102.58
sortnetsort9.v.stepl.005	UNSAT	103.28
freecell03_6	UNSAT	105.12
freecell03_5	UNSAT	105.35
c1_Debug_s3_f2_e1_v2	SAT	112.05
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.conf07.01X-QBF.BB1-Zi.BB2-Zi.BB3-Zi.with-IOC.unfold-009	UNSAT	118.48
arbiter-09-comp-error01-qbf-hardness-depth-15	UNSAT	120.15
c4_Debug_s3_f2_e2_v2	SAT	122.43
adder-10-sat	SAT	133.17
eequery_query64_1344n	SAT	133.37
pipesnotankage18_8	UNSAT	134.62
pipesnotankage18_7	UNSAT	135.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	UNSAT	140.89
cache-coherence-2-fixpoint-6	UNSAT	143.97
freecell03_7	SAT	144.86
c4_Debug_s3_f2_e2_v3	SAT	150.03
k_branch_p-19	UNSAT	150.94
depots09_13	UNSAT	151.65
nreachq_query54_1344	UNSAT	151.77
audio_ddksynth_csynth2.cpp	SAT	153.47
c1_BMC_p2_k1024	UNSAT	154.29
pipesnotankage19_7	UNSAT	163.53
k_branch_n-17	SAT	164.16
depots09_12	UNSAT	173.12
depots09_11	UNSAT	173.86
reachqu_query71_1344	UNSAT	204.06
k_branch_p-18	UNSAT	207.93
Adder2-16-c	UNSAT	211.66
pipesnotankage19_9	UNSAT	218.55
k_branch_n-20	SAT	233.72
eijk.bs4863.S-d4	SAT	244.78
add6_REDUCED	SAT	246.55
arbiter-08-comp-error02-qbf-hardness-depth-9	SAT	267.36
genbuf10b4n.unsat	UNSAT	269.68
incrementer-enc06-nonuniform-depth-33	SAT	273.57
cycle_sched_2_10_1.sat	SAT	275.17
nreachq_query71_1344	SAT	278.84
AR-fixpoint-5	FAIL	302.01
p20-10.pddl_planlen=39	SAT	326.84
k_branch_n-21	SAT	335.94
freecell04_9	UNSAT	339.45
k_branch_p-21	UNSAT	345.24
load_full_4_comp3_REAL.unsat	UNSAT	349.85
c1_Debug_s3_f2_e1_v1	SAT	351.57
p20-10.pddl_planlen=40	SAT	365.84
s820_d11_u	UNSAT	366.86
ethernet-fixpoint-4	UNSAT	372.63
fpu-10Xh-correct04-nonuniform-depth-28	SAT	415.99
szymanski-24-s	UNSAT	428.1
fpu-10Xh-correct04-uniform-depth-28	SAT	429.49
ceiling128	SAT	449.84
kenflashp12	SAT	449.93
add20y.sat	SAT	449.95
stmt25_52_53	SAT	449.95
stmt27_93_98	SAT	449.95
ceiling256	SAT	449.96
eijkbs4863	SAT	449.98
bobtuint31neg	SAT	449.98
eijkbs3330	SAT	450
stmt1_79_80	SAT	450.06
mult_bool_matrix_dyn_9_5.sat	SAT	450.12
ltl2dba_C2-8_comp4_REAL.sat	SAT	450.36
unit9_2_b	SAT	450.38
ltl2dpa_C26_comp2_REAL.sat	SAT	451.13
cycle_sched_4_4_2.sat	SAT	451.25
gttt_2_2_000111_4x4_torus_w_2020	UNSAT	451.6
gttt_2_2_000111_4x4_w_2020	UNSAT	451.63
stmt2_976_999	SAT	452.06
add4_CHOOSE	SAT	452.67
c6_BMC_p1_k1024	SAT	453.24
gttt_2_2_000111_4x4_torus_b_2020	SAT	453.51
b17_PR_2_50	SAT	453.94
gttt_2_1_001020_4x4_torus_w_2020	UNSAT	454.5
gttt_2_2_000111_4x4_b_2020	SAT	455.95
c6_BMC_p1_k2048	SAT	456.64
cycle_sched_4_7_1.sat	SAT	456.99
load_2c_comp_comp7_REAL.sat	SAT	464.57
cycle_sched_6_6_2.sat	SAT	465.36
arbiter-07-comp-error01-qbf-hardness-depth-20	UNSAT	466.18
cycle_sched_6_7_1.sat	SAT	467.35
c1_BMC_p2_k2048	UNSAT	476.95
arbiter-09-comp-error01-qbf-hardness-depth-21	UNSAT	482.75
gttt_2_1_00102030_4x4_torus_b_2020	UNSAT	483.88
arbiter-10-comp-error01-qbf-hardness-depth-22	UNSAT	486.16
c2_BMC_p1_k2048	SAT	488.83
reachqu_query60_1344	SAT	493.57
nreachq_query71_1344n	UNSAT	493.89
fpu-01Xh-error02-nonuniform-depth-27	SAT	497.56
gttt_1_1_000111_4x4_torus_w_2020	UNSAT	498.17
fpu-10Xh-error01-nonuniform-depth-27	SAT	498.65
gttt_2_1_00011020_4x4_b_2020	UNSAT	500.49
reachqu_query60_1344n	UNSAT	505.1
arbiter-10-comp-error01-qbf-hardness-depth-23	UNSAT	518.74
add5_CHOOSE	SAT	531.74
arbiter-10-comp-error01-qbf-hardness-depth-24	UNSAT	533.13
gttt_1_1_000111_4x4_torus_b_2020	SAT	544.17
sortnetsort10.v.stepl.005	UNSAT	570.07
amba4b9y.unsat	UNSAT	585.17
p20-20.pddl_planlen=29	SAT	592.18
p20-20.pddl_planlen=30	SAT	595.12
amba3b5y.sat	SAT	624.01
reachqu_query64_1344	SAT	630.61
unit6_3_b	UNSAT	687.73
c1_BMC_p1_k2048	SAT	693.53
query64_query11_1344n	SAT	748.2
test3_quant_squaring2	UNSAT	750.26
k_ph_p-11	UNSAT	754.83
test3_quant2	UNSAT	811.32
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	900
intermediate256	FAIL	900
sortnetsort10.AE.stepl.006	FAIL	900
b22_C_2_12	FAIL	900
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	900
neclaftp2002	FAIL	900
test2_quant_squaring2	FAIL	900
mult_bool_matrix_10_9_11.unsat	FAIL	900
s1269_d12_u	FAIL	900
add6_COMPLETE	FAIL	900
test2_quant_squaring3	FAIL	900
add7_REDUCED	FAIL	900
nreachq_query11_1344n	FAIL	900
b22_PR_8_20	FAIL	900
add7_COMPLETE	FAIL	900
sdlx-fixpoint-7	FAIL	900
s1269_d13_u	FAIL	900
add6_CHOOSE	FAIL	900
add7_CHOOSE	FAIL	900
nreachq_query54_1344n	FAIL	900
ev-pr-8x8-19-7-0-1-2-lg	FAIL	900
s1269_d10_s	FAIL	900
IssueServiceImpl	FAIL	900
IterationService	FAIL	900
sdlx-fixpoint-10	FAIL	900
small-seq-fixpoint-7	FAIL	900
s820_d10_s	FAIL	900
query71_query34_1344n	FAIL	900
small-seq-fixpoint-8	FAIL	900
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	900
ev-pr-6x6-11-5-0-1-2-s	FAIL	900
small-seq-fixpoint-9	FAIL	900
gttt_1_1_00101121_4x4_torus_w_2020	FAIL	900
driverlog14_9	FAIL	900
freecell04_7	FAIL	900
freecell04_8	FAIL	900
query71_query31_1344n	FAIL	900
beemskbn1f1_c0to7.sat	FAIL	900
sdlx-fixpoint-8	FAIL	900
LoginService	FAIL	900
PhaseService	FAIL	900
NotificationServiceImpl2	FAIL	900
pi-bus-fixpoint-3	FAIL	900
ev-pr-6x6-19-5-0-1-2-lg	FAIL	900
s3330_d14_u	FAIL	900
s1269_d14_u	FAIL	900
ev-pr-6x6-17-5-0-1-2-s	FAIL	900
ev-pr-6x6-13-5-0-1-2-s	FAIL	900
pi-bus-fixpoint-2	FAIL	900
bobsmfpu	FAIL	900
c4_Debug_s3_f1_e2_v3	FAIL	900
c2_Debug_s3_f1_e1_v2	FAIL	900
test1_quant3	FAIL	900
stmt19_64_99	FAIL	900
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	900
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	900
stmt17_62_98	FAIL	900
c1_Debug_s5_f1_e1_v2	FAIL	900
ev-pr-6x6-19-5-0-1-2-s	FAIL	900
stmt17_70_98	FAIL	900
input_pnpi8042_moudep.c	FAIL	900
b14_PR_1_50	FAIL	900
ken.flash^05.C-d3	FAIL	900
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	900
ev-pr-8x8-15-7-0-1-2-lg	FAIL	900
test4_quant_squaring2	FAIL	900
s1269_d15_u	FAIL	900
k_ph_p-15	FAIL	900
k_ph_p-19	FAIL	900
k_ph_p-18	FAIL	900
c4_Debug_s5_f2_e2_v1	FAIL	900
c2_Debug_s3_f2_e1_v3	FAIL	900
query64_query42_1344n	FAIL	900
reachqu_query64_1344n	FAIL	900
ev-pr-8x8-17-7-0-1-2-lg	FAIL	900
ev-pr-6x6-17-5-0-1-2-lg	FAIL	900
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	900
ev-pr-6x6-15-5-0-1-2-s	FAIL	900
adder-12-unsat	FAIL	900
small-seq-fixpoint-5	FAIL	900
stmt23_72_76	FAIL	900
unit11_3_b	FAIL	900
stmt17_70_90	FAIL	900
eijk.bs1512.S-f4	FAIL	900
stmt17_63_82	FAIL	900
eijk.S1196.S-f2	FAIL	900
k_ph_p-20	FAIL	900
test2_quant3	FAIL	900
small-seq-fixpoint-10	FAIL	900
stmt17_86_98	FAIL	900
AR-fixpoint-1	FAIL	900
b20_C_3_2	FAIL	900
b21_C_3_206	FAIL	900
s3330_d10_u	FAIL	900
network_irda_miniport_nscirda_comm.c	FAIL	900
ProjectService3	FAIL	900
ProcessBean	FAIL	900
unit12_2_b	FAIL	900
unit8_2_b	FAIL	900
ken.flash^08.C-d4	FAIL	900
stmt28_68_81	FAIL	900
s3330_d9_s	FAIL	900
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	900
stmt17_82_98	FAIL	900
intermediate128	FAIL	900
ken.flash^09.C-d4	FAIL	900
c1_Debug_s3_f1_e1_v1	FAIL	900
stmt23_66_96	FAIL	900
sdlx-fixpoint-9	FAIL	900
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	900
test4_quant4	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by caqe-pre
Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by caqe-pre Prenex CNF Track

Instances solved by caqe-pre
Prenex CNF Track