Instances solved by <a href='solver_detail.php?solver=283'>Qute_opt500</a> <br> QBFEVAL'19

Instances solved by Qute_opt500
QBFEVAL'19 - Prenex CNF Track

Instance	Result	Time
Q_2-3_v-80-100_r-13.8	FAIL	0
rankfunc16_unsigned_64	SAT	0
decomposition256	SAT	0
nxquery_query42_1344n	FAIL	0
s00420_PR_1_20	SAT	0
rankfunc21_signed_64	SAT	0
s00838_PR_6_90	UNSAT	0
rankfunc16_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
rankfunc18_signed_64	SAT	0
rankfunc15_signed_64	SAT	0
rankfunc42_signed_64	SAT	0
rankfunc19_signed_64	SAT	0
itc-b13-fixpoint-1	UNSAT	0
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp	FAIL	0
ltl2dba_C2-6_comp3_REAL.sat	FAIL	0
hex_hein_4x4_04	SAT	0
rankfunc3_signed_64	SAT	0
Q_2-3_v-80-100_r-13.9	FAIL	0
axquery_query42_1344n	FAIL	0
eequery_query42_1344n	FAIL	0
exquery_query42_1344n	FAIL	0
rankfunc21_unsigned_64	SAT	0
rankfunc18_unsigned_64	SAT	0
rankfunc30_unsigned_64	SAT	0
incrementer-enc06-nonuniform-depth-5	UNSAT	0
stmt16_818_819	FAIL	0
stmt9_445_446	FAIL	0
add20y.sat	FAIL	0
small-synabs-fixpoint-3	UNSAT	0
pdtpmsmiim	SAT	0
Q_2-3_v-80-100_r-11.6	FAIL	0
driver_c9y.sat	SAT	0
driver_c9n.sat	SAT	0
kenflashp12	FAIL	0
stmt44_554_604	FAIL	0
stmt5_731_730	FAIL	0
stmt41_262_275	SAT	0
rankfunc30_signed_64	SAT	0
rankfunc19_unsigned_64	SAT	0
rankfunc3_unsigned_64	SAT	0
rankfunc15_unsigned_64	SAT	0
floor256	SAT	0
s05378_PR_4_90	UNSAT	0
s09234_PR_9_90	UNSAT	0
driver_d9y.sat	SAT	0
stmt41_160_235	FAIL	0
pdtpmsrotate32	SAT	0
intermediate128	FAIL	0
Q_2-3_v-80-100_r-13.6	FAIL	0
test5_quant_squaring5	FAIL	0
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	FAIL	0
test4_quant_squaring4	FAIL	0
test4_quant_squaring2	FAIL	0
query64_query11_1344n	FAIL	0
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	FAIL	0
query64_query01_1344n	FAIL	0
test1_quant_squaring2	FAIL	0
itc-b13-fixpoint-2	UNSAT	0
nxquery_query50_1344n	FAIL	0
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	0
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	0
Q_2-3_v-80-100_r-11.5	FAIL	0
Q_2-3_v-80-100_r-11.4	FAIL	0
kenflashp04	FAIL	0
Q_2-3_v-80-100_r-11.3	FAIL	0
Q_2-3_v-80-100_r-11.1	FAIL	0
test1_quant_squaring3	FAIL	0
Q_2-3_v-80-100_r-11.2	FAIL	0
Q_2-3_v-80-100_r-11.0	FAIL	0
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp	SAT	0
test3_quant_squaring4	FAIL	0
Q_2-3_v-80-100_r-11.7	FAIL	0
Q_2-3_v-80-100_r-11.8	FAIL	0
eequery_query64_1344n	FAIL	0
Q_2-3_v-80-100_r-13.3	FAIL	0
Q_2-3_v-80-100_r-13.5	FAIL	0
floor128	SAT	0
ttt_5x5-shape-0-GTTT-1-2-torus-0	SAT	0
eijk.bs3330.S-d3	SAT	0
Q_2-3_v-80-100_r-13.7	FAIL	0
nusmv.tcas-t^1.B-d2	SAT	0
decomposition128	SAT	0
Q_2-3_v-80-100_r-13.2	FAIL	0
small-pipeline-fixpoint-1	FAIL	0
Q_2-3_v-80-100_r-13.0	FAIL	0
query31_reachqu_1344n	FAIL	0
ttt_5x5-shape-0-GTTT-2-2-torus-1	SAT	0
ttt_5x5-shape-0-GTTT-1-2-torus-1	SAT	0
ttt_5x5-shape-0-GTTT-2-2-torus-0	SAT	0
Q_2-3_v-80-100_r-13.1	FAIL	0
Q_2-3_v-80-100_r-13.4	UNSAT	0
s01488_PR_1_10	SAT	0.02
Q_2-3_v-80-100_r-11.9	FAIL	0.29
stmt124_966_965	FAIL	0.31
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp	FAIL	0.5
amba2c7n.sat	FAIL	0.53
stmt29_226_376	FAIL	0.56
incrementer-enc06-nonuniform-depth-10	UNSAT	0.56
stmt21_181_369	FAIL	0.56
stmt19_83_412	FAIL	0.6
hex_hein_4x4_09	FAIL	0.61
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.asp	FAIL	0.63
klieber2017q-084-21-t1	FAIL	0.64
hex_hein_4x4_12	FAIL	0.65
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.asp	FAIL	0.65
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp	FAIL	0.66
cycle_sched_12_2_1.sat	FAIL	0.67
query64_query42_1344n	FAIL	0.67
itc-b13-fixpoint-3	SAT	0.68
small-swap1-fixpoint-4	SAT	0.68
mult_bool_matrix_dyn_9_5.sat	FAIL	0.69
klieber2017q-084-21-eq	FAIL	0.71
klieber2017q-088-22-t1	FAIL	0.72
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp	FAIL	0.74
klieber2017q-088-22-eq	FAIL	0.8
klieber2017q-086-21-eq	FAIL	0.83
bobtuint31neg	FAIL	0.83
klieber2017q-086-21-t1	FAIL	0.86
fpu-10Xh-error01-uniform-depth-4	UNSAT	0.89
klieber2017q-096-24-eq	FAIL	0.9
hex_hein_4x4_06	FAIL	0.92
small-swap1-fixpoint-6	SAT	0.92
klieber2017q-096-24-t1	FAIL	0.92
b21_PR_9_90	UNSAT	0.93
klieber2017q-092-23-eq	FAIL	0.94
stmt25_52_53	FAIL	0.96
tlc05-uniform-depth-40	UNSAT	0.96
cmu.gigamax.B-d4	SAT	0.97
Adder2-8-s	FAIL	0.98
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.99
klieber2017q-092-23-t1	FAIL	1
stmt1_79_80	FAIL	1
incrementer-enc06-nonuniform-depth-15	UNSAT	1
b20_PR_9_90	UNSAT	1.07
intermediate256	FAIL	1.08
stmt27_93_98	FAIL	1.09
fpu-10Xh-error01-nonuniform-depth-5	UNSAT	1.1
eijk.S713.S-f2	FAIL	1.12
hex_hein_4x4_07	FAIL	1.15
hex_rand_6x6-20m-3	FAIL	1.16
stmt21_319_418	FAIL	1.18
stay24n.sat	SAT	1.21
ltl2dba_C2-8_comp4_REAL.sat	FAIL	1.25
tlc05-uniform-depth-45	UNSAT	1.26
cmu.dme1.B-f3	FAIL	1.32
hex_rand_6x6-20m-5	FAIL	1.33
s38417_PR_4_50	SAT	1.33
eijkbs3330	FAIL	1.34
tlc05-uniform-depth-50	UNSAT	1.36
amba2f9n.sat	FAIL	1.38
hex_rand_6x6-20m-0	FAIL	1.4
hex_rand_6x6-20m-6	FAIL	1.4
cycle_sched_2_10_1.sat	FAIL	1.42
s38584_PR_9_90	SAT	1.42
add5_REDUCED	FAIL	1.43
hex_rand_6x6-20m-4	FAIL	1.44
Core1108_tbm_21.tex.module.000030	FAIL	1.46
add5_COMPLETE	FAIL	1.46
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp	FAIL	1.48
itc-b13-fixpoint-4	SAT	1.5
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	UNSAT	1.5
small-swap1-fixpoint-5	SAT	1.52
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp	SAT	1.53
small-swap1-fixpoint-8	SAT	1.53
Core1108_tbm_21.tex.module.000008	FAIL	1.53
ntrivil_query42_1344n	FAIL	1.54
cmu.dme2.B-f3	FAIL	1.59
s15850_PR_8_90	UNSAT	1.59
hex_rand_6x6-20m-9	FAIL	1.59
driver_b8n.sat	SAT	1.6
ceiling128	FAIL	1.61
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.61
small-swap1-fixpoint-7	SAT	1.64
ltl2dpa_C26_comp2_REAL.sat	FAIL	1.66
hex_rand_6x6-20m-2	FAIL	1.66
b21_PR_8_20	SAT	1.67
cycle_sched_4_4_2.sat	FAIL	1.7
hex_rand_6x6-20m-7	FAIL	1.73
tlc05-uniform-depth-55	UNSAT	1.77
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.asp	FAIL	1.82
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.asp	FAIL	1.82
Adder2-10-s	FAIL	1.83
incrementer-enc06-nonuniform-depth-20	UNSAT	1.84
add6_REDUCED	FAIL	1.85
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	1.89
kmdf_pcidrv_sys_hw_physet.c	FAIL	1.89
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp	FAIL	1.91
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.asp	FAIL	1.91
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp	FAIL	1.93
itc-b13-fixpoint-5	SAT	1.97
small-equiv-fixpoint-1	FAIL	1.98
ken.oop^2.C-d3	FAIL	2
hex_rand_6x6-20m-8	FAIL	2.01
klieber2017q-074-18-t1	FAIL	2.02
b20_PR_7_20	SAT	2.02
add6_COMPLETE	FAIL	2.05
mult9.sat	FAIL	2.07
query21_query58_1344n	FAIL	2.14
tlc05-uniform-depth-60	UNSAT	2.18
klieber2017q-076-19-t1	FAIL	2.23
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	2.26
klieber2017q-080-20-t1	FAIL	2.29
nusmv.reactor^3.C-d4	FAIL	2.3
query71_query31_1344n	FAIL	2.34
query71_query36_1344n	FAIL	2.35
small-swap1-fixpoint-10	SAT	2.38
stmt39_285_335	FAIL	2.39
adder-10-sat	FAIL	2.42
klieber2017q-078-19-t1	FAIL	2.43
klieber2017q-078-19-eq	FAIL	2.45
stmt32_329_378	FAIL	2.47
fpu-10Xh-error01-nonuniform-depth-10	UNSAT	2.5
tlc05-uniform-depth-65	UNSAT	2.51
stmt52_295_394	FAIL	2.53
fpu-10Xh-error01-uniform-depth-10	UNSAT	2.58
eijkbs4863	FAIL	2.63
klieber2017q-082-20-eq	FAIL	2.64
klieber2017q-074-18-eq	FAIL	2.65
klieber2017q-076-19-eq	FAIL	2.67
s38584_PR_8_50	SAT	2.69
stmt21_310_360	FAIL	2.7
driver_a10y.sat	FAIL	2.7
tlc05-uniform-depth-70	UNSAT	2.72
amba3b5y.sat	FAIL	2.75
unit9_2_b	FAIL	2.76
klieber2017q-080-20-eq	FAIL	2.82
klieber2017q-082-20-t1	FAIL	2.88
tlc05-uniform-depth-75	UNSAT	2.93
Umbrella_tbm_05.tex.module.000039	FAIL	2.94
GuidanceService2	FAIL	2.96
stmt19_313_412	FAIL	3.01
GuidanceService	FAIL	3.04
itc-b13-fixpoint-6	SAT	3.09
small-swap1-fixpoint-9	SAT	3.18
ken.oop^2.C-d4	FAIL	3.2
cycle_sched_6_7_1.unsat	FAIL	3.23
IssueServiceImpl	FAIL	3.27
unit8_2_b	FAIL	3.29
small-pipeline-fixpoint-2	FAIL	3.31
cache-coherence-3-fixpoint-1	UNSAT	3.32
tlc05-uniform-depth-85	UNSAT	3.49
incrementer-enc07-uniform-depth-25	UNSAT	3.5
cycle_sched_6_6_2.sat	FAIL	3.51
fpu-10Xh-error01-nonuniform-depth-15	UNSAT	3.56
small-equiv-fixpoint-2	FAIL	3.56
incrementer-enc06-nonuniform-depth-25	UNSAT	3.58
fpu-10Xh-error01-uniform-depth-15	UNSAT	3.59
s15850_PR_0_50	SAT	3.69
eijk.S1196.S-f2	FAIL	3.7
hex_rand_6x6-20m-1	FAIL	3.79
sortnetsort9.v.stepl.005	FAIL	3.83
load_2c_comp_comp7_REAL.sat	FAIL	3.88
Adder2-8-c	FAIL	4
PhaseService	FAIL	4.03
bs128n.sat	SAT	4.06
ActivityService	FAIL	4.06
UserServiceImpl	FAIL	4.06
driver_a9n.sat	FAIL	4.07
IterationService	FAIL	4.08
ActivityService2	FAIL	4.11
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.14
bs128y.sat	SAT	4.14
ttt_5x5-shape-1-GTTT-1-2-torus-0	FAIL	4.16
ttt_5x5-shape-1-GTTT-2-2-torus-0	FAIL	4.17
ttt_5x5-shape-1-GTTT-1-2-torus-1	FAIL	4.2
ttt_5x5-shape-0-GTTT-1-1-torus-0	FAIL	4.3
ttt_5x5-shape-1-GTTT-2-1-torus-1	FAIL	4.3
cycle_sched_6_7_1.sat	FAIL	4.33
ttt_5x5-shape-1-GTTT-1-1-torus-0	FAIL	4.35
ttt_5x5-shape-1-GTTT-2-1-torus-0	FAIL	4.38
ttt_5x5-shape-1-GTTT-1-1-torus-1	FAIL	4.41
ttt_5x5-shape-0-GTTT-2-1-torus-0	FAIL	4.43
ttt_5x5-shape-0-GTTT-2-1-torus-1	FAIL	4.43
ttt_5x5-shape-0-GTTT-1-1-torus-1	FAIL	4.51
itc-b13-fixpoint-7	SAT	4.6
ethernet-fixpoint-1	FAIL	4.6
fpu-10Xh-error01-nonuniform-depth-20	UNSAT	4.63
Adder2-14-s	FAIL	4.67
fpu-10Xh-error01-uniform-depth-20	UNSAT	4.8
ConcreteActivityService	FAIL	4.84
adder-12-sat	FAIL	4.96
cache-coherence-2-fixpoint-2	UNSAT	4.97
mult_bool_matrix_10_9_11.sat	FAIL	5.2
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	FAIL	5.43
neclaftp4001	FAIL	5.48
arbiter-05-comp-error01-qbf-hardness-depth-8	FAIL	5.51
small-equiv-fixpoint-3	FAIL	5.53
texas.PI_main^08.E-f3	FAIL	5.59
NotificationServiceImpl2	FAIL	5.65
fpu-10Xh-error01-nonuniform-depth-25	UNSAT	5.69
fpu-10Xh-error01-uniform-depth-25	UNSAT	5.88
small-synabs-fixpoint-10	UNSAT	6.17
audio_ddksynth_csynth2.cpp	FAIL	6.17
texas.PI_main^05.E-f3	FAIL	6.18
itc-b13-fixpoint-8	SAT	6.18
beemskbn1f1_c0to7.sat	FAIL	6.57
load_3c_comp_comp7_REAL.unsat	UNSAT	6.58
Adder2-16-s	FAIL	6.7
sortnetsort10.v.stepl.005	FAIL	6.77
stmt2_976_999	FAIL	7.26
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	FAIL	7.35
sdlx-fixpoint-3	FAIL	7.39
small-seq-fixpoint-3	UNSAT	7.4
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	FAIL	7.47
itc-b13-fixpoint-9	SAT	7.67
small-equiv-fixpoint-4	FAIL	7.87
adder-12-unsat	FAIL	7.89
stmt17_63_82	FAIL	7.9
k_branch_n-10	SAT	7.91
genbuf9b4n.sat	FAIL	7.93
query03_query25_1344	FAIL	7.96
k_branch_p-10	UNSAT	8.01
ken.flash^08.C-d4	FAIL	8.23
stmt23_72_76	FAIL	8.45
sortnetsort9.v.stepl.007	FAIL	8.47
filesys_smbmrx_midatlas.c	FAIL	8.62
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	8.67
ceiling256	FAIL	8.85
stmt28_68_81	FAIL	8.91
b21_C_3_206	FAIL	8.93
adder-14-sat	FAIL	9.17
incrementer-enc02-uniform-depth-63	UNSAT	9.18
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	FAIL	9.35
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	FAIL	9.41
stmt23_66_96	FAIL	9.43
driverlog10_6	UNSAT	9.49
itc-b13-fixpoint-10	SAT	9.49
b18_PR_4_2	SAT	9.79
mult_bool_matrix_10_9_11.unsat	FAIL	9.96
stmt19_64_99	FAIL	10.05
small-equiv-fixpoint-5	FAIL	10.14
nusmv.tcas^2.B-f2	FAIL	10.21
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	10.29
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	FAIL	10.3
sdlx-fixpoint-4	FAIL	10.56
incrementer-enc08-uniform-depth-33	FAIL	10.72
stmt17_70_90	FAIL	10.85
stmt17_62_98	FAIL	11.22
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	11.49
stmt17_70_98	FAIL	12.15
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	FAIL	12.49
eijk.bs1512.S-f4	FAIL	12.66
nusmv.tcas^3.B-f2	FAIL	12.99
mult_bool_matrix_12_13_11.sat	FAIL	13.07
usb-phy-fixpoint-3	FAIL	13.5
incrementer-enc06-uniform-depth-24	FAIL	13.64
query44_query26_1344n	FAIL	13.76
tlc05-uniform-depth-80	FAIL	13.91
sortnetsort10.AE.stepl.005	FAIL	14.08
stmt17_82_98	FAIL	14.08
cache-coherence-3-fixpoint-2	FAIL	14.12
stmt17_86_98	FAIL	14.26
sdlx-fixpoint-5	FAIL	14.63
dungeon_i15-m7-u4-v0.pddl_planlen=81	UNSAT	15
dungeon_i25-m12-u3-v0.pddl_planlen=72	UNSAT	15.1
dungeon_i25-m12-u5-v0.pddl_planlen=59	UNSAT	15.5
reachqu_query64_1344n	FAIL	15.66
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	16.19
ken.flash^05.C-d3	FAIL	16.28
sortnetsort9.AE.stepl.007	FAIL	16.42
k_branch_n-11	SAT	16.43
dungeon_i25-m12-u5-v0.pddl_planlen=65	UNSAT	16.8
reachqu_query71_1344n	FAIL	17.04
k_branch_p-11	UNSAT	17.09
nreachq_query54_1344n	FAIL	17.09
b14_PR_1_50	FAIL	17.26
ken.flash^11.C-f3	FAIL	17.53
nreachq_query11_1344n	FAIL	17.58
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	FAIL	17.92
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	18.59
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	FAIL	18.6
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	19.2
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	FAIL	19.24
neclaftp2002	FAIL	19.39
c6_BMC_p2_k1024	UNSAT	19.69
small-equiv-fixpoint-8	FAIL	19.78
dungeon_i25-m12-u5-v0.pddl_planlen=81	UNSAT	20.53
sdlx-fixpoint-6	FAIL	20.81
incrementer-enc02-uniform-depth-58	FAIL	21.01
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	21.25
sortnetsort9.AE.stepl.008	FAIL	21.28
dungeon_i25-m12-u5-v0.pddl_planlen=86	UNSAT	21.51
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	FAIL	21.52
arbiter-06-comp-error01-qbf-hardness-depth-11	FAIL	21.72
nusmv.tcas^4.B-f3	FAIL	21.81
depots07_8	UNSAT	22.48
dungeon_i25-m12-u5-v0.pddl_planlen=92	UNSAT	22.68
gttt_1_1_000111_4x4_torus_b	FAIL	22.86
query42_query06_1344n	FAIL	22.9
small-pipeline-fixpoint-3	FAIL	23.23
ethernet-fixpoint-2	FAIL	23.75
dungeon_i25-m12-u5-v0.pddl_planlen=98	UNSAT	23.8
dungeon_i25-m12-u3-v0.pddl_planlen=125	UNSAT	23.89
depots03_9	UNSAT	24.2
dungeon_i25-m12-u3-v0.pddl_planlen=130	UNSAT	24.42
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	FAIL	24.44
k_branch_p-12	UNSAT	24.79
dungeon_i15-m7-u4-v0.pddl_planlen=168	UNSAT	25.05
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	25.8
ken.flash^09.C-d4	FAIL	26.55
sortnetsort9.AE.stepl.009	FAIL	26.9
dungeon_i25-m12-u3-v0.pddl_planlen=146	UNSAT	27.19
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	27.69
pipesnotankage13_5	UNSAT	27.76
k_branch_n-12	SAT	28.2
pipesnotankage11_8	UNSAT	29.41
b22_PR_9_90	FAIL	30
dungeon_i25-m12-u3-v0.pddl_planlen=165	UNSAT	30.22
kmdf_usbsamp_sys_queue.c	FAIL	30.9
dungeon_i25-m12-u5-v0.pddl_planlen=128	UNSAT	31.43
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	31.46
filesys_smbmrx_cvsndrcv.c	FAIL	31.97
unit12_2_b	FAIL	32.1
c5_BMC_p1_k32	SAT	32.37
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	FAIL	32.73
input_mouser_detect.c	FAIL	33.11
dungeon_i25-m12-u3-v0.pddl_planlen=190	UNSAT	33.89
eijk.bs4863.S-d4	FAIL	33.97
nusmv.tcas^6.B-f4	FAIL	34.07
kmdf_osrusbfx2_exe_testapp.c	FAIL	34.83
dungeon_i25-m12-u5-v0.pddl_planlen=143	UNSAT	34.87
sortnetsort10.AE.stepl.008	FAIL	35.03
depots16_5	UNSAT	35.31
usb-phy-fixpoint-4	FAIL	38.1
sdlx-fixpoint-7	FAIL	38.19
pi-bus-fixpoint-1	FAIL	39.71
dungeon_i25-m12-u5-v0.pddl_planlen=170	UNSAT	41.46
cache-coherence-2-fixpoint-4	FAIL	41.56
b20_C_3_2	FAIL	43.09
k_ph_p-11	FAIL	43.76
k_ph_p-12	FAIL	44.3
k_ph_p-13	FAIL	44.62
dungeon_i25-m12-u5-v0.pddl_planlen=197	UNSAT	44.9
dungeon_i25-m12-u5-v0.pddl_planlen=198	UNSAT	45.23
dungeon_i25-m12-u5-v0.pddl_planlen=199	UNSAT	45.31
k_ph_p-15	FAIL	45.74
k_ph_p-14	FAIL	45.91
dungeon_i25-m12-u5-v0.pddl_planlen=200	UNSAT	46.78
filesys_fastfat_cachesup.c	FAIL	47.21
reachqu_query64_1344	FAIL	47.25
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	47.81
depots08_6	UNSAT	48.7
network_trans_sys_notify.c	FAIL	48.73
kernel_agplib_intrface.c	FAIL	48.83
filesys_fastfat_write.c	FAIL	49.12
filesys_fastfat_allocsup.c	FAIL	49.16
ethernet-fixpoint-3	FAIL	49.26
network_ndis_coisdn_TpiParam.c	FAIL	49.86
depots13_9	SAT	51.05
arbiter-09-comp-error01-qbf-hardness-depth-21	FAIL	51.21
k_branch_p-14	UNSAT	52.19
szymanski-20-s	FAIL	52.7
sdlx-fixpoint-8	FAIL	52.73
sortnetsort9.AE.stepl.012	FAIL	52.95
arbiter-10-comp-error01-qbf-hardness-depth-24	FAIL	56.67
sdlx-fixpoint-9	FAIL	57.2
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	58.55
arbiter-10-comp-error01-qbf-hardness-depth-23	FAIL	59.7
freecell02_4	UNSAT	60.59
gttt_1_1_000111_4x4_torus_w	FAIL	60.8
k_branch_p-16	UNSAT	64.27
pipesnotankage15_10	UNSAT	64.87
pipesnotankage16_10	UNSAT	66.29
cache-coherence-3-fixpoint-3	FAIL	68.99
sdlx-fixpoint-10	FAIL	70.89
cycle_sched_4_7_1.sat	FAIL	72.88
gttt_1_1_00101121_4x4_torus_w	FAIL	73.42
kmdf_osrusbfx2_exe_dump.c	FAIL	77.28
pipesnotankage14_10	UNSAT	77.79
pipesnotankage17_6	UNSAT	78.69
pipesnotankage17_5	UNSAT	79.74
b22_PR_8_20	FAIL	86.59
mult_bool_matrix_17_17_17.sat	FAIL	87.21
freecell02_6	UNSAT	89.87
c1_BMC_p2_k1024	UNSAT	90.08
pipesnotankage17_7	UNSAT	90.21
cache-coherence-2-fixpoint-5	FAIL	91.74
usb-phy-fixpoint-5	FAIL	93.62
query10_query36_1344	FAIL	95.24
mult_bool_matrix_18_18_18.sat	FAIL	100.35
unit6_3_b	FAIL	102.59
arbiter-09-comp-error01-qbf-hardness-depth-15	FAIL	117.05
c4_Debug_s3_f2_e2_v2	SAT	121.31
genbuf9b4n.unsat	FAIL	122.98
c1_BMC_p2_k2048	UNSAT	130.54
c1_Debug_s3_f2_e1_v2	SAT	131.77
reachqu_query71_1344	FAIL	132.7
arbiter-06-comp-error01-qbf-hardness-depth-15	FAIL	133.5
cache-coherence-2-fixpoint-6	FAIL	152.27
add4_REDUCED	SAT	162.38
c4_Debug_s3_f2_e2_v3	SAT	162.47
freecell03_6	UNSAT	169.87
szymanski-24-s	FAIL	173.21
freecell03_5	UNSAT	186.35
beemldelec4b1_c0to127.sat	FAIL	190.49
genbuf10b4n.unsat	FAIL	197.91
Adder2-16-c	FAIL	198.26
k_branch_n-17	SAT	201.26
depots09_13	UNSAT	202.47
pipesnotankage18_8	UNSAT	202.98
pipesnotankage18_7	UNSAT	204.88
small-seq-fixpoint-5	UNSAT	213.72
c3_BMC_p1_k256	SAT	218.79
depots09_11	UNSAT	220.23
depots09_12	UNSAT	221.19
k_branch_p-18	UNSAT	225.96
freecell03_7	SAT	227.83
mult_bool_matrix_17_17_17.unsat	FAIL	246.09
pipesnotankage19_7	UNSAT	248.03
ethernet-fixpoint-4	FAIL	272.93
pipesnotankage19_9	UNSAT	300.11
small-seq-fixpoint-8	FAIL	303.89
oski3ub5i_c0to511.sat	FAIL	336.81
small-seq-fixpoint-7	FAIL	338.54
k_branch_p-19	UNSAT	362.13
oski3ub5i_c0to255.sat	FAIL	368.11
oski3ub5i_c0to63.sat	FAIL	376.01
c1_Debug_s3_f2_e1_v1	SAT	378.42
k_branch_p-21	UNSAT	397.76
gttt_2_1_00102030_4x4_torus_b	FAIL	407.02
gttt_2_1_001020_4x4_torus_w	FAIL	407.64
gttt_2_2_000111_4x4_w	FAIL	408.71
pi-bus-fixpoint-2	FAIL	408.75
k_branch_n-20	FAIL	408.84
gttt_2_2_000111_4x4_torus_w	FAIL	409.27
gttt_2_2_000111_4x4_torus_b	FAIL	409.28
gttt_2_2_000111_4x4_b	FAIL	409.68
small-seq-fixpoint-9	FAIL	410.42
k_branch_n-21	FAIL	410.48
amba4b9y.unsat	FAIL	411.8
small-seq-fixpoint-10	FAIL	412.21
gttt_2_1_00011020_4x4_b	FAIL	417.19
pi-bus-fixpoint-3	FAIL	418.17
AR-fixpoint-1	FAIL	418.62
cycle_sched_4_7_1.unsat	FAIL	421.06
sortnetsort8.v.stepl.007	FAIL	432.08
add5_CHOOSE	FAIL	432.15
load_full_4_comp3_REAL.unsat	FAIL	432.37
AR-fixpoint-2	FAIL	433.09
c6_BMC_p1_k512	FAIL	433.59
6s289rb05233_c0to63.sat	FAIL	433.73
c6_BMC_p1_k1024	FAIL	434.35
AR-fixpoint-4	FAIL	434.83
c1_Debug_s5_f1_e1_v2	FAIL	436.59
AR-fixpoint-6	FAIL	437.32
AR-fixpoint-8	FAIL	438.47
c2_BMC_p1_k2048	FAIL	439.21
c6_BMC_p1_k2048	FAIL	440.99
add6_CHOOSE	FAIL	454.58
c2_Debug_s3_f1_e1_v2	FAIL	527.51
c1_BMC_p1_k2048	FAIL	587.16
c4_Debug_s5_f2_e2_v2	FAIL	605.73
c2_Debug_s3_f2_e1_v3	FAIL	638.78
c4_Debug_s5_f2_e1_v3	FAIL	695.83
c4_Debug_s5_f2_e2_v3	FAIL	714.17
AR-fixpoint-10	FAIL	900.01
unit11_3_b	FAIL	900.02

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Qute_opt500
QBFEVAL'19 - Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Qute_opt500 QBFEVAL'19 - Prenex CNF Track

Instances solved by Qute_opt500
QBFEVAL'19 - Prenex CNF Track