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

Instances solved by caqe-pre
QBFEVAL'19 - Prenex CNF Track

Instance	Result	Time
small-pipeline-fixpoint-1	UNSAT	0
floor256	SAT	0
decomposition256	SAT	0
rankfunc18_unsigned_64	SAT	0
rankfunc30_unsigned_64	SAT	0
rankfunc30_signed_64	SAT	0
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
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-005	UNSAT	0
rankfunc19_unsigned_64	SAT	0
rankfunc3_unsigned_64	SAT	0
pdtpmsmiim	SAT	0
rankfunc16_signed_64	SAT	0
mult_bool_matrix_10_9_11.sat	SAT	0
rankfunc3_signed_64	SAT	0
rankfunc21_unsigned_64	SAT	0
rankfunc19_signed_64	SAT	0
rankfunc42_signed_64	SAT	0
rankfunc15_signed_64	SAT	0
rankfunc16_unsigned_64	SAT	0
driver_d9y.sat	SAT	0
rankfunc21_signed_64	SAT	0
rankfunc15_unsigned_64	SAT	0
stmt19_83_412	UNSAT	0
stmt29_226_376	UNSAT	0
stmt124_966_965	SAT	0
stmt5_731_730	SAT	0
stmt44_554_604	SAT	0
stmt16_818_819	SAT	0
stmt9_445_446	SAT	0
Q_2-3_v-80-100_r-13.3	UNSAT	0
Q_2-3_v-80-100_r-13.4	UNSAT	0
Q_2-3_v-80-100_r-13.6	UNSAT	0
axquery_query42_1344n	UNSAT	0
exquery_query42_1344n	UNSAT	0
stmt21_181_369	UNSAT	0
s09234_PR_9_90	UNSAT	0
s05378_PR_4_90	UNSAT	0
s01488_PR_1_10	SAT	0
rankfunc18_signed_64	SAT	0
s00838_PR_6_90	UNSAT	0
s00420_PR_1_20	SAT	0
stmt41_160_235	UNSAT	0
nxquery_query42_1344n	UNSAT	0
Q_2-3_v-80-100_r-13.7	UNSAT	0
itc-b13-fixpoint-2	UNSAT	0
eijk.bs3330.S-d3	SAT	0
itc-b13-fixpoint-3	SAT	0
small-swap1-fixpoint-4	SAT	0
incrementer-enc06-nonuniform-depth-5	UNSAT	0
small-swap1-fixpoint-6	SAT	0
mult9.sat	SAT	0
itc-b13-fixpoint-1	UNSAT	0
driver_c9n.sat	SAT	0
driver_c9y.sat	SAT	0
ttt_5x5-shape-0-GTTT-1-2-torus-0	SAT	0
incrementer-enc06-nonuniform-depth-10	UNSAT	0
pdtpmsrotate32	SAT	0
small-synabs-fixpoint-3	UNSAT	0
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp	SAT	0
ttt_5x5-shape-0-GTTT-2-2-torus-1	SAT	0
ttt_5x5-shape-0-GTTT-2-2-torus-0	SAT	0
decomposition128	SAT	0
ttt_5x5-shape-0-GTTT-1-2-torus-1	SAT	0
hex_hein_4x4_04	SAT	0
floor128	SAT	0
kenflashp04	SAT	0
mult_bool_matrix_12_13_11.sat	SAT	0
ntrivil_query42_1344n	UNSAT	0.65
fpu-10Xh-error01-uniform-depth-4	UNSAT	0.69
b21_PR_9_90	UNSAT	0.77
itc-b13-fixpoint-4	SAT	0.8
fpu-10Xh-error01-nonuniform-depth-5	UNSAT	0.85
Q_2-3_v-80-100_r-13.8	UNSAT	0.87
small-swap1-fixpoint-8	SAT	0.9
incrementer-enc06-nonuniform-depth-15	UNSAT	0.91
small-swap1-fixpoint-5	SAT	0.91
tlc05-uniform-depth-40	UNSAT	0.92
b20_PR_9_90	UNSAT	0.95
Adder2-8-s	SAT	0.95
Q_2-3_v-80-100_r-13.1	UNSAT	0.97
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	0.98
driver_b8n.sat	SAT	1.06
small-swap1-fixpoint-7	SAT	1.07
tlc05-uniform-depth-45	UNSAT	1.2
itc-b13-fixpoint-5	SAT	1.21
stay24n.sat	SAT	1.28
nusmv.reactor^3.C-d4	SAT	1.29
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp	SAT	1.3
nusmv.tcas-t^1.B-d2	SAT	1.3
kmdf_pcidrv_sys_hw_physet.c	SAT	1.31
s38417_PR_4_50	SAT	1.36
ltl2dba_C2-6_comp3_REAL.sat	SAT	1.36
stmt39_285_335	UNSAT	1.43
small-swap1-fixpoint-10	SAT	1.51
s15850_PR_8_90	UNSAT	1.54
stmt19_313_412	UNSAT	1.65
small-synabs-fixpoint-10	UNSAT	1.65
cycle_sched_12_2_1.sat	SAT	1.66
klieber2017q-074-18-t1	UNSAT	1.67
incrementer-enc06-nonuniform-depth-20	UNSAT	1.68
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.asp	SAT	1.68
s38584_PR_9_90	SAT	1.7
tlc05-uniform-depth-50	UNSAT	1.7
mult_bool_matrix_17_17_17.sat	SAT	1.74
driver_a10y.sat	SAT	1.77
b21_PR_8_20	SAT	1.8
itc-b13-fixpoint-6	SAT	1.81
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf04.01X-QBF.BB1-01X.BB2-01X.BB3-Zi.with-IOC.unfold-010	UNSAT	1.83
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.89
fpu-10Xh-error01-nonuniform-depth-10	UNSAT	1.94
small-pipeline-fixpoint-2	UNSAT	1.97
fpu-10Xh-error01-uniform-depth-10	UNSAT	2.01
klieber2017q-084-21-t1	UNSAT	2.03
tlc05-uniform-depth-55	UNSAT	2.05
klieber2017q-088-22-t1	UNSAT	2.08
mult_bool_matrix_18_18_18.sat	SAT	2.18
cache-coherence-3-fixpoint-1	UNSAT	2.28
driver_a9n.sat	SAT	2.37
b20_PR_7_20	SAT	2.39
bs128y.sat	SAT	2.4
bs128n.sat	SAT	2.43
tlc05-uniform-depth-60	UNSAT	2.48
small-swap1-fixpoint-9	SAT	2.55
itc-b13-fixpoint-7	SAT	2.58
s38584_PR_8_50	SAT	2.69
stmt21_310_360	UNSAT	2.69
klieber2017q-076-19-t1	UNSAT	2.69
tlc05-uniform-depth-65	UNSAT	2.73
fpu-10Xh-error01-uniform-depth-15	UNSAT	2.78
tlc05-uniform-depth-70	UNSAT	2.89
ethernet-fixpoint-1	UNSAT	2.92
cache-coherence-2-fixpoint-2	UNSAT	3.06
fpu-10Xh-error01-nonuniform-depth-15	UNSAT	3.08
tlc05-uniform-depth-75	UNSAT	3.23
driverlog10_6	UNSAT	3.24
incrementer-enc06-nonuniform-depth-25	UNSAT	3.42
fpu-10Xh-error01-nonuniform-depth-20	UNSAT	3.65
s15850_PR_0_50	SAT	3.67
fpu-10Xh-error01-uniform-depth-20	UNSAT	3.89
Q_2-3_v-80-100_r-13.0	UNSAT	3.9
stmt21_319_418	SAT	3.92
arbiter-05-comp-error01-qbf-hardness-depth-8	UNSAT	3.99
stmt32_329_378	UNSAT	4.05
Adder2-10-s	SAT	4.07
klieber2017q-080-20-t1	UNSAT	4.4
fpu-10Xh-error01-nonuniform-depth-25	UNSAT	4.52
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	SAT	4.84
fpu-10Xh-error01-uniform-depth-25	UNSAT	4.88
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
sdlx-fixpoint-3	UNSAT	4.93
klieber2017q-096-24-t1	UNSAT	5.39
query03_query25_1344	UNSAT	5.47
sortnetsort8.v.stepl.007	SAT	5.61
stmt41_262_275	SAT	5.61
Q_2-3_v-80-100_r-13.9	UNSAT	5.8
klieber2017q-092-23-t1	UNSAT	5.87
Q_2-3_v-80-100_r-13.2	UNSAT	5.89
itc-b13-fixpoint-8	SAT	5.99
klieber2017q-082-20-t1	UNSAT	5.99
tlc05-uniform-depth-85	UNSAT	6.08
nxquery_query50_1344n	SAT	6.19
incrementer-enc06-uniform-depth-24	UNSAT	6.78
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	6.89
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp	SAT	7.26
incrementer-enc08-uniform-depth-33	SAT	7.27
k_branch_p-10	UNSAT	7.28
nusmv.tcas^2.B-f2	SAT	7.31
tlc05-uniform-depth-80	UNSAT	7.61
k_branch_n-10	SAT	7.76
sdlx-fixpoint-4	UNSAT	7.88
input_mouser_detect.c	SAT	8.17
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp	SAT	8.25
cmu.dme2.B-f3	SAT	8.58
load_3c_comp_comp7_REAL.unsat	UNSAT	8.6
incrementer-enc07-uniform-depth-25	UNSAT	8.75
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf01.01X-QBF.BB1-Zi.BB2-01X.BB3-01X.with-IOC.unfold-010	UNSAT	8.91
add4_REDUCED	SAT	9.38
Adder2-8-c	UNSAT	9.47
nusmv.tcas^3.B-f2	SAT	9.61
hex_hein_4x4_09	SAT	9.72
filesys_smbmrx_cvsndrcv.c	UNSAT	9.91
itc-b13-fixpoint-9	SAT	9.98
texas.PI_main^05.E-f3	SAT	10.59
dungeon_i25-m12-u3-v0.pddl_planlen=72	UNSAT	10.68
query31_reachqu_1344n	SAT	11.05
Q_2-3_v-80-100_r-13.5	UNSAT	11.09
stmt52_295_394	UNSAT	11.12
b18_PR_4_2	SAT	11.38
cache-coherence-3-fixpoint-2	UNSAT	11.67
hex_hein_4x4_12	SAT	11.75
filesys_fastfat_cachesup.c	SAT	11.91
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	UNSAT	11.98
amba2c7n.sat	SAT	12.44
network_trans_sys_notify.c	UNSAT	12.63
sdlx-fixpoint-5	UNSAT	12.88
dungeon_i15-m7-u4-v0.pddl_planlen=81	UNSAT	12.88
depots07_8	UNSAT	13.4
itc-b13-fixpoint-10	SAT	13.5
nusmv.tcas^4.B-f3	SAT	13.53
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	13.69
k_branch_n-11	SAT	14.51
dungeon_i25-m12-u3-v0.pddl_planlen=130	UNSAT	14.97
small-seq-fixpoint-3	UNSAT	15.12
dungeon_i25-m12-u3-v0.pddl_planlen=165	UNSAT	15.68
dungeon_i25-m12-u3-v0.pddl_planlen=146	UNSAT	15.73
depots03_9	UNSAT	15.73
small-pipeline-fixpoint-3	UNSAT	15.77
arbiter-06-comp-error01-qbf-hardness-depth-11	UNSAT	15.82
add5_REDUCED	SAT	16.02
ethernet-fixpoint-2	UNSAT	16.4
cmu.dme1.B-f3	SAT	16.49
Core1108_tbm_21.tex.module.000008	SAT	16.57
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	UNSAT	16.66
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.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-007	UNSAT	16.81
biu.mv.xl_ao.bb-b003-p020-IPF01-c05.blif-biu.inv.prop.bb-bmc.conf05.01X-QBF.BB1-Zi.BB2-01X.BB3-Zi.with-IOC.unfold-008	UNSAT	16.89
dungeon_i25-m12-u3-v0.pddl_planlen=125	UNSAT	16.89
k_branch_p-11	UNSAT	16.97
dungeon_i15-m7-u4-v0.pddl_planlen=168	UNSAT	17.18
Core1108_tbm_21.tex.module.000030	SAT	17.19
dungeon_i25-m12-u5-v0.pddl_planlen=65	UNSAT	17.41
usb-phy-fixpoint-3	UNSAT	17.65
query21_query58_1344n	UNSAT	18.13
query71_query36_1344n	UNSAT	18.56
texas.PI_main^08.E-f3	SAT	19.06
dungeon_i25-m12-u5-v0.pddl_planlen=81	UNSAT	19.91
pipesnotankage11_8	UNSAT	20.29
dungeon_i25-m12-u5-v0.pddl_planlen=86	UNSAT	20.45
dungeon_i25-m12-u5-v0.pddl_planlen=92	UNSAT	21.22
pipesnotankage13_5	UNSAT	21.47
dungeon_i25-m12-u5-v0.pddl_planlen=98	UNSAT	22.07
klieber2017q-078-19-t1	UNSAT	22.18
incrementer-enc02-uniform-depth-58	UNSAT	22.41
c5_BMC_p1_k32	SAT	22.78
Adder2-14-s	SAT	22.86
c6_BMC_p2_k1024	UNSAT	23.07
k_branch_n-12	SAT	23.2
k_branch_p-12	UNSAT	23.38
incrementer-enc02-uniform-depth-63	UNSAT	24.96
dungeon_i25-m12-u3-v0.pddl_planlen=190	UNSAT	25.47
Umbrella_tbm_05.tex.module.000039	SAT	25.7
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	25.72
cmu.gigamax.B-d4	SAT	25.8
dungeon_i25-m12-u5-v0.pddl_planlen=128	UNSAT	26.66
depots16_5	UNSAT	27.62
GuidanceService	UNSAT	28.15
GuidanceService2	UNSAT	28.18
dungeon_i25-m12-u5-v0.pddl_planlen=143	UNSAT	28.98
sdlx-fixpoint-6	UNSAT	30.52
kmdf_osrusbfx2_exe_dump.c	UNSAT	30.97
sortnetsort10.AE.stepl.005	SAT	31.99
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.03
eequery_query42_1344n	SAT	32.28
amba2f9n.sat	SAT	32.92
sortnetsort9.AE.stepl.009	UNSAT	33.37
dungeon_i25-m12-u5-v0.pddl_planlen=170	UNSAT	33.78
pi-bus-fixpoint-1	UNSAT	34.47
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp	SAT	34.88
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	35.27
depots08_6	UNSAT	35.97
freecell02_4	UNSAT	36.31
dungeon_i25-m12-u5-v0.pddl_planlen=197	UNSAT	36.97
dungeon_i25-m12-u5-v0.pddl_planlen=198	UNSAT	37.38
dungeon_i25-m12-u5-v0.pddl_planlen=199	UNSAT	37.6
dungeon_i25-m12-u5-v0.pddl_planlen=200	UNSAT	37.88
ethernet-fixpoint-3	UNSAT	38.05
c6_BMC_p1_k512	SAT	38.96
sortnetsort9.v.stepl.007	SAT	39.1
depots13_9	SAT	39.31
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	SAT	39.86
nusmv.tcas^6.B-f4	SAT	43.2
sortnetsort9.AE.stepl.008	UNSAT	43.37
k_branch_p-14	UNSAT	44.91
cache-coherence-2-fixpoint-4	UNSAT	46.45
k_branch_p-16	UNSAT	46.5
Adder2-16-s	SAT	46.67
usb-phy-fixpoint-4	UNSAT	46.89
pipesnotankage16_10	UNSAT	47.17
klieber2017q-086-21-t1	UNSAT	47.92
pipesnotankage15_10	UNSAT	48.09
sortnetsort9.AE.stepl.007	UNSAT	50
pipesnotankage14_10	UNSAT	51.27
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	52.78
arbiter-06-comp-error01-qbf-hardness-depth-15	UNSAT	53.18
beemldelec4b1_c0to127.sat	SAT	55.17
cycle_sched_4_7_1.unsat	UNSAT	56.46
c3_BMC_p1_k256	SAT	57.29
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	SAT	59.03
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.64
freecell02_6	UNSAT	60.38
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	61.27
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.98
b22_PR_9_90	UNSAT	62.26
pipesnotankage17_7	UNSAT	63.83
pipesnotankage17_5	UNSAT	64.33
pipesnotankage17_6	UNSAT	64.4
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp	SAT	64.82
cache-coherence-3-fixpoint-3	UNSAT	66.04
sortnetsort9.AE.stepl.012	UNSAT	68.06
ttt_5x5-shape-0-GTTT-2-1-torus-1	UNSAT	72.47
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.asp	SAT	72.67
add5_COMPLETE	SAT	72.77
test5_quant_squaring5	SAT	78.39
szymanski-20-s	UNSAT	80.88
cache-coherence-2-fixpoint-5	UNSAT	82.32
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	SAT	83.37
neclaftp4001	UNSAT	83.67
genbuf9b4n.unsat	UNSAT	88.86
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	SAT	88.98
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.99
sortnetsort10.AE.stepl.008	UNSAT	89.24
usb-phy-fixpoint-5	UNSAT	93.6
query10_query36_1344	SAT	98.49
ConcreteActivityService	UNSAT	102.42
sortnetsort9.v.stepl.005	UNSAT	104.17
freecell03_6	UNSAT	105.43
freecell03_5	UNSAT	105.76
c1_Debug_s3_f2_e1_v2	SAT	111.92
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.17
arbiter-09-comp-error01-qbf-hardness-depth-15	UNSAT	120.6
c4_Debug_s3_f2_e2_v2	SAT	122.82
klieber2017q-074-18-eq	SAT	123.18
cache-coherence-2-fixpoint-6	UNSAT	130.95
adder-10-sat	SAT	131.94
eequery_query64_1344n	SAT	133.19
pipesnotankage18_7	UNSAT	134.36
pipesnotankage18_8	UNSAT	135.26
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	UNSAT	140.1
freecell03_7	SAT	147.19
c4_Debug_s3_f2_e2_v3	SAT	151.07
depots09_13	UNSAT	151.65
audio_ddksynth_csynth2.cpp	SAT	152.21
k_branch_n-17	SAT	154.26
c1_BMC_p2_k1024	UNSAT	155.76
pipesnotankage19_7	UNSAT	160.8
depots09_11	UNSAT	170.63
depots09_12	UNSAT	173.39
k_branch_p-18	UNSAT	178.39
k_branch_p-19	UNSAT	180.44
reachqu_query71_1344	UNSAT	199.01
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp	SAT	216.76
pipesnotankage19_9	UNSAT	218.81
Adder2-16-c	UNSAT	219.43
k_branch_n-20	SAT	239.85
eijk.bs4863.S-d4	SAT	241.75
add6_REDUCED	SAT	250.78
arbiter-08-comp-error02-qbf-hardness-depth-9	SAT	268.28
cycle_sched_2_10_1.sat	SAT	277.49
genbuf10b4n.unsat	UNSAT	278.46
k_branch_n-21	SAT	310.03
AR-fixpoint-4	FAIL	310.44
klieber2017q-078-19-eq	SAT	314.86
hex_hein_4x4_06	SAT	329.37
k_branch_p-21	UNSAT	351.45
c1_Debug_s3_f2_e1_v1	SAT	353.26
load_full_4_comp3_REAL.unsat	UNSAT	361.79
ethernet-fixpoint-4	UNSAT	367.36
hex_rand_6x6-20m-4	UNSAT	404.85
szymanski-24-s	UNSAT	427.01
bobtuint31neg	SAT	449.92
mult_bool_matrix_dyn_9_5.sat	SAT	449.93
stmt27_93_98	SAT	449.93
stmt25_52_53	SAT	449.93
eijkbs3330	SAT	449.96
ceiling128	SAT	449.96
kenflashp12	SAT	449.97
add20y.sat	SAT	449.97
stmt1_79_80	SAT	449.97
unit9_2_b	SAT	449.98
ceiling256	SAT	449.98
eijkbs4863	SAT	450.06
ltl2dba_C2-8_comp4_REAL.sat	SAT	450.35
query64_query01_1344n	SAT	450.83
ltl2dpa_C26_comp2_REAL.sat	SAT	451.08
cycle_sched_4_4_2.sat	SAT	451.26
gttt_2_2_000111_4x4_w	UNSAT	451.63
gttt_2_2_000111_4x4_torus_w	UNSAT	451.67
stmt2_976_999	SAT	452.03
c6_BMC_p1_k1024	SAT	453.29
gttt_2_2_000111_4x4_torus_b	SAT	453.51
gttt_2_1_001020_4x4_torus_w	UNSAT	454.48
gttt_2_2_000111_4x4_b	SAT	455.94
c6_BMC_p1_k2048	SAT	456.75
cycle_sched_4_7_1.sat	SAT	457.03
load_2c_comp_comp7_REAL.sat	SAT	464.49
cycle_sched_6_6_2.sat	SAT	465.42
arbiter-07-comp-error01-qbf-hardness-depth-20	UNSAT	466.16
cycle_sched_6_7_1.sat	SAT	467.23
c1_BMC_p2_k2048	UNSAT	477.22
arbiter-09-comp-error01-qbf-hardness-depth-21	UNSAT	482.98
gttt_2_1_00102030_4x4_torus_b	UNSAT	483.76
arbiter-10-comp-error01-qbf-hardness-depth-22	UNSAT	486.12
c2_BMC_p1_k2048	SAT	489.53
gttt_1_1_000111_4x4_torus_w	UNSAT	497.81
gttt_2_1_00011020_4x4_b	UNSAT	500.47
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp	SAT	518.38
arbiter-10-comp-error01-qbf-hardness-depth-23	UNSAT	519.04
AR-fixpoint-6	FAIL	520.28
add5_CHOOSE	SAT	531.54
arbiter-10-comp-error01-qbf-hardness-depth-24	UNSAT	533.11
gttt_1_1_000111_4x4_torus_b	SAT	542.85
AR-fixpoint-8	FAIL	547.67
query42_query06_1344n	UNSAT	557.13
AR-fixpoint-10	FAIL	557.88
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.asp	SAT	561.45
sortnetsort10.v.stepl.005	UNSAT	565.83
amba4b9y.unsat	UNSAT	582.19
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.asp	SAT	584.21
amba3b5y.sat	SAT	624.04
reachqu_query64_1344	SAT	630.42
hex_rand_6x6-20m-5	SAT	650.36
unit6_3_b	UNSAT	681.16
c1_BMC_p1_k2048	SAT	694.08
query64_query11_1344n	SAT	742.93
k_ph_p-11	UNSAT	748.77
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.asp	SAT	768.83
gttt_1_1_00101121_4x4_torus_w	UNSAT	896.81
hex_rand_6x6-20m-7	FAIL	900
eijk.bs1512.S-f4	FAIL	900.01
ttt_5x5-shape-1-GTTT-2-2-torus-0	FAIL	900.01
sdlx-fixpoint-9	FAIL	900.01
small-equiv-fixpoint-3	FAIL	900.01
genbuf9b4n.sat	FAIL	900.01
small-equiv-fixpoint-4	FAIL	900.01
k_ph_p-15	FAIL	900.01
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	900.01
hex_rand_6x6-20m-0	FAIL	900.01
Q_2-3_v-80-100_r-11.3	FAIL	900.01
adder-12-unsat	FAIL	900.01
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	900.01
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp	FAIL	900.01
k_ph_p-12	FAIL	900.01
PhaseService	FAIL	900.01
intermediate128	FAIL	900.01
stmt19_64_99	FAIL	900.01
ttt_5x5-shape-0-GTTT-1-1-torus-0	FAIL	900.01
small-seq-fixpoint-7	FAIL	900.01
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	FAIL	900.01
add6_COMPLETE	FAIL	900.02
ken.flash^09.C-d4	FAIL	900.02
ActivityService	FAIL	900.02
hex_rand_6x6-20m-8	FAIL	900.02
ttt_5x5-shape-1-GTTT-2-1-torus-1	FAIL	900.02
ttt_5x5-shape-1-GTTT-1-2-torus-0	FAIL	900.02
ttt_5x5-shape-0-GTTT-2-1-torus-0	FAIL	900.02
test3_quant_squaring4	FAIL	900.02
pi-bus-fixpoint-2	FAIL	900.02
stmt28_68_81	FAIL	900.02
Q_2-3_v-80-100_r-11.8	FAIL	900.02
stmt17_62_98	FAIL	900.02
c4_Debug_s5_f2_e2_v3	FAIL	900.02
c4_Debug_s5_f2_e2_v2	FAIL	900.02
b20_C_3_2	FAIL	900.02
b14_PR_1_50	FAIL	900.02
oski3ub5i_c0to511.sat	FAIL	900.02
sdlx-fixpoint-10	FAIL	900.02
small-equiv-fixpoint-1	FAIL	900.02
AR-fixpoint-1	FAIL	900.02
small-seq-fixpoint-5	FAIL	900.02
6s289rb05233_c0to63.sat	FAIL	900.03
hex_rand_6x6-20m-1	FAIL	900.03
k_ph_p-13	FAIL	900.03
c2_Debug_s3_f2_e1_v3	FAIL	900.03
nreachq_query54_1344n	FAIL	900.03
test1_quant_squaring2	FAIL	900.03
test4_quant_squaring4	FAIL	900.03
k_ph_p-14	FAIL	900.03
klieber2017q-082-20-eq	FAIL	900.03
beemskbn1f1_c0to7.sat	FAIL	900.03
stmt17_70_98	FAIL	900.03
c1_Debug_s5_f1_e1_v2	FAIL	900.03
adder-14-sat	FAIL	900.03
ken.flash^11.C-f3	FAIL	900.03
c2_Debug_s3_f1_e1_v2	FAIL	900.03
unit8_2_b	FAIL	900.03
ttt_5x5-shape-1-GTTT-1-1-torus-1	FAIL	900.03
neclaftp2002	FAIL	900.03
ken.flash^05.C-d3	FAIL	900.03
AR-fixpoint-2	FAIL	900.03
kmdf_usbsamp_sys_queue.c	FAIL	900.03
test1_quant_squaring3	FAIL	900.03
b22_PR_8_20	FAIL	900.03
NotificationServiceImpl2	FAIL	900.03
eijk.S1196.S-f2	FAIL	900.04
Q_2-3_v-80-100_r-11.4	FAIL	900.04
Q_2-3_v-80-100_r-11.5	FAIL	900.04
kmdf_osrusbfx2_exe_testapp.c	FAIL	900.04
hex_rand_6x6-20m-3	FAIL	900.04
filesys_fastfat_allocsup.c	FAIL	900.04
ttt_5x5-shape-1-GTTT-1-1-torus-0	FAIL	900.04
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	900.04
pi-bus-fixpoint-3	FAIL	900.04
klieber2017q-088-22-eq	FAIL	900.04
small-equiv-fixpoint-5	FAIL	900.04
klieber2017q-096-24-eq	FAIL	900.04
IssueServiceImpl	FAIL	900.04
IterationService	FAIL	900.04
query64_query42_1344n	FAIL	900.04
sdlx-fixpoint-7	FAIL	900.05
klieber2017q-086-21-eq	FAIL	900.05
small-equiv-fixpoint-2	FAIL	900.05
small-seq-fixpoint-9	FAIL	900.05
ken.flash^08.C-d4	FAIL	900.05
hex_rand_6x6-20m-2	FAIL	900.05
query44_query26_1344n	FAIL	900.05
add6_CHOOSE	FAIL	900.05
ttt_5x5-shape-0-GTTT-1-1-torus-1	FAIL	900.05
sdlx-fixpoint-8	FAIL	900.05
adder-12-sat	FAIL	900.05
stmt17_82_98	FAIL	900.05
Q_2-3_v-80-100_r-11.2	FAIL	900.05
klieber2017q-084-21-eq	FAIL	900.05
stmt17_70_90	FAIL	900.05
Q_2-3_v-80-100_r-11.0	FAIL	900.05
stmt23_66_96	FAIL	900.05
Q_2-3_v-80-100_r-11.7	FAIL	900.05
small-seq-fixpoint-8	FAIL	900.06
ken.oop^2.C-d4	FAIL	900.06
hex_rand_6x6-20m-9	FAIL	900.06
ttt_5x5-shape-1-GTTT-2-1-torus-0	FAIL	900.06
hex_hein_4x4_07	FAIL	900.06
intermediate256	FAIL	900.06
stmt17_63_82	FAIL	900.06
small-seq-fixpoint-10	FAIL	900.06
mult_bool_matrix_10_9_11.unsat	FAIL	900.06
hex_rand_6x6-20m-6	FAIL	900.06
network_ndis_coisdn_TpiParam.c	FAIL	900.06
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	900.06
stmt23_72_76	FAIL	900.06
stmt17_86_98	FAIL	900.06
mult_bool_matrix_17_17_17.unsat	FAIL	900.06
cycle_sched_6_7_1.unsat	FAIL	900.06
c4_Debug_s5_f2_e1_v3	FAIL	900.06
nreachq_query11_1344n	FAIL	900.07
kernel_agplib_intrface.c	FAIL	900.07
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	FAIL	900.07
oski3ub5i_c0to63.sat	FAIL	900.07
query71_query31_1344n	FAIL	900.07
unit12_2_b	FAIL	900.07
Q_2-3_v-80-100_r-11.1	FAIL	900.07
oski3ub5i_c0to255.sat	FAIL	900.07
eijk.S713.S-f2	FAIL	900.07
filesys_fastfat_write.c	FAIL	900.08
reachqu_query71_1344n	FAIL	900.08
klieber2017q-092-23-eq	FAIL	900.08
Q_2-3_v-80-100_r-11.9	FAIL	900.08
small-equiv-fixpoint-8	FAIL	900.08
unit11_3_b	FAIL	900.08
klieber2017q-080-20-eq	FAIL	900.09
reachqu_query64_1344n	FAIL	900.09
b21_C_3_206	FAIL	900.09
Q_2-3_v-80-100_r-11.6	FAIL	900.09
ActivityService2	FAIL	900.09
test4_quant_squaring2	FAIL	900.09
ken.oop^2.C-d3	FAIL	900.09
ttt_5x5-shape-1-GTTT-1-2-torus-1	FAIL	900.09
klieber2017q-076-19-eq	FAIL	900.1
UserServiceImpl	FAIL	900.1

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by caqe-pre
QBFEVAL'19 - Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by caqe-pre QBFEVAL'19 - Prenex CNF Track

Instances solved by caqe-pre
QBFEVAL'19 - Prenex CNF Track