Instances solved by <a href='solver_detail.php?solver=283'>Qute

Instances solved by Qute_opt500
Prenex CNF Track

Instance	Result	Time
kenflashp04	FAIL	0
rankfunc30_signed_64	SAT	0
rankfunc19_unsigned_64	SAT	0
rankfunc3_unsigned_64	SAT	0
irst.dme6.B-d4	SAT	0
nusmv.tcas-t^1.B-d2	SAT	0
vis.prodcell^01.E-d4	SAT	0
stmt29_226_376	FAIL	0
stmt124_966_965	FAIL	0
ltl2dba_C2-6_comp3_REAL.sat	FAIL	0
rankfunc18_unsigned_64	SAT	0
rankfunc21_signed_64	SAT	0
floor128	SAT	0
equalization128	SAT	0
decomposition128	SAT	0
falsequ_query71_1344	SAT	0
rankfunc3_signed_64	SAT	0
rankfunc21_unsigned_64	SAT	0
rankfunc19_signed_64	SAT	0
k_ph_n-11	SAT	0
rankfunc42_signed_64	SAT	0
driver_d9y.sat	SAT	0
stmt41_262_275	SAT	0
stmt5_731_730	FAIL	0
decomposition256	SAT	0
rankfunc30_unsigned_64	SAT	0
trueque_query60_1344n	UNSAT	0
trueque_query64_1344n	UNSAT	0
trueque_query64_1344	SAT	0
trueque_query71_1344n	UNSAT	0
trueque_query71_1344	SAT	0
s01423_PR_4_75	UNSAT	0
s01423_PR_4_90	UNSAT	0
equalization32	SAT	0
floor256	SAT	0
stmt44_554_604	FAIL	0
stmt16_818_819	FAIL	0
pdtpmsmiim	SAT	0
stmt9_445_446	FAIL	0
kenflashp12	FAIL	0
nxquery_query42_1344n	FAIL	0
nxquery_query64_1344n	FAIL	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
nxquery_query71_1344n	FAIL	0
s09234_PR_7_2	SAT	0
pdtpmsrotate32	SAT	0
falsequ_query71_1344n	UNSAT	0
itc-b13-fixpoint-2	UNSAT	0
driver_c9n.sat	SAT	0
test3_quant_squaring2	FAIL	0
exquery_query64_1344n	FAIL	0
axquery_query42_1344n	FAIL	0
axquery_query64_1344n	FAIL	0
axquery_query64_1344	SAT	0
axquery_query71_1344n	FAIL	0
test4_quant4	FAIL	0
exquery_query42_1344n	FAIL	0
small-synabs-fixpoint-3	UNSAT	0
eequery_query42_1344n	FAIL	0
test5_quant7	FAIL	0
driver_c9y.sat	SAT	0
exquery_query71_1344n	FAIL	0
add20y.sat	FAIL	0
eijk.bs3330.S-d3	SAT	0
eequery_query64_1344n	FAIL	0
nxquery_query50_1344n	FAIL	0
query64_query11_1344n	FAIL	0
small-pipeline-fixpoint-1	FAIL	0
test4_quant_squaring2	FAIL	0
falsequ_query64_1344	SAT	0
falsequ_query64_1344n	UNSAT	0
test1_quant3	FAIL	0
test5_quant_squaring5	FAIL	0
falsequ_query60_1344n	UNSAT	0
exquery_query71_1344	SAT	0
test3_quant2	FAIL	0
eequery_query71_1344n	FAIL	0
stmt21_181_369	FAIL	0.5
s09234_PR_7_20	SAT	0.53
intermediate128	FAIL	0.54
stmt41_160_235	FAIL	0.56
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.6
s05378_PR_5_2	SAT	0.6
stmt19_83_412	FAIL	0.61
small-swap1-fixpoint-4	SAT	0.64
query64_query42_1344n	FAIL	0.65
s05378_PR_5_20	SAT	0.66
itc-b13-fixpoint-3	SAT	0.7
cycle_sched_12_2_1.sat	FAIL	0.73
mult_bool_matrix_dyn_9_5.sat	FAIL	0.77
bobtuint31neg	FAIL	0.86
amba2c7n.sat	FAIL	0.88
trivial_query71_1344	SAT	0.9
stmt1_79_80	FAIL	0.9
ntrivil_query71_1344	SAT	0.9
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.91
small-swap1-fixpoint-6	SAT	0.95
trivial_query64_1344	SAT	0.95
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.97
Adder2-8-s	FAIL	0.98
tlc05-uniform-depth-40	UNSAT	0.99
cmu.gigamax.B-d4	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.01
stmt25_52_53	FAIL	1.02
ntrivil_query64_1344	SAT	1.07
stmt21_319_418	FAIL	1.11
stmt27_93_98	FAIL	1.16
eequery_query42_1344	FAIL	1.17
eequery_query64_1344	FAIL	1.17
intermediate256	FAIL	1.2
stay24n.sat	SAT	1.21
trivial_query60_1344n	FAIL	1.22
ltl2dba_C2-8_comp4_REAL.sat	FAIL	1.27
tlc05-uniform-depth-45	UNSAT	1.29
p20-1.pddl_planlen=48	SAT	1.3
p20-1.pddl_planlen=49	SAT	1.31
cmu.dme1.B-f3	FAIL	1.33
eijkbs3330	FAIL	1.39
add5_REDUCED	FAIL	1.39
ntrivil_query71_1344n	FAIL	1.4
trivial_query71_1344n	FAIL	1.4
tlc05-uniform-depth-50	UNSAT	1.41
Core1108_tbm_21.tex.module.000030	FAIL	1.45
cycle_sched_2_10_1.sat	FAIL	1.45
amba2f9n.sat	FAIL	1.45
trivial_query64_1344n	FAIL	1.49
p10-5.pddl_planlen=24	SAT	1.49
p10-5.pddl_planlen=25	SAT	1.5
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.51
small-swap1-fixpoint-8	SAT	1.51
Core1108_tbm_21.tex.module.000008	FAIL	1.51
ntrivil_query64_1344n	FAIL	1.51
cmu.dme2.B-f3	FAIL	1.52
add5_COMPLETE	FAIL	1.53
small-swap1-fixpoint-5	SAT	1.55
driver_b8n.sat	SAT	1.6
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.61
ntrivil_query42_1344n	FAIL	1.63
ceiling128	FAIL	1.65
small-swap1-fixpoint-7	SAT	1.67
cycle_sched_4_4_2.sat	FAIL	1.68
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.71
b21_PR_8_20	SAT	1.71
tlc05-uniform-depth-55	UNSAT	1.79
ltl2dpa_C26_comp2_REAL.sat	FAIL	1.81
add6_REDUCED	FAIL	1.86
Adder2-10-s	FAIL	1.87
kmdf_pcidrv_sys_hw_physet.c	FAIL	1.94
itc-b13-fixpoint-5	SAT	2.02
b20_PR_7_20	SAT	2.04
add6_COMPLETE	FAIL	2.07
tlc05-uniform-depth-60	UNSAT	2.09
mult9.sat	FAIL	2.11
s38584_PR_9_5	SAT	2.19
k_ph_n-15	SAT	2.27
nusmv.reactor^3.C-d4	FAIL	2.3
exquery_query64_1344	SAT	2.32
query71_query31_1344n	FAIL	2.34
query71_query34_1344n	FAIL	2.35
small-swap1-fixpoint-10	SAT	2.39
stmt39_285_335	FAIL	2.4
query71_query36_1344n	FAIL	2.44
adder-10-sat	FAIL	2.46
b22_C_2_12	FAIL	2.48
add7_REDUCED	FAIL	2.51
stmt32_329_378	FAIL	2.54
stmt52_295_394	FAIL	2.55
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	2.56
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	2.57
tlc05-uniform-depth-65	UNSAT	2.59
s38584_PR_9_50	SAT	2.68
add7_COMPLETE	FAIL	2.69
stmt21_310_360	FAIL	2.71
amba3b5y.sat	FAIL	2.71
driver_a10y.sat	FAIL	2.74
p10-10.pddl_planlen=19	SAT	2.78
unit9_2_b	FAIL	2.78
tlc05-uniform-depth-70	UNSAT	2.79
eijkbs4863	FAIL	2.79
p10-10.pddl_planlen=20	SAT	2.87
Umbrella_tbm_05.tex.module.000039	FAIL	2.94
tlc05-uniform-depth-75	UNSAT	2.99
stmt19_313_412	FAIL	2.99
GuidanceService	FAIL	3.09
GuidanceService2	FAIL	3.11
incrementer-enc08-nonuniform-depth-32	UNSAT	3.15
itc-b13-fixpoint-6	SAT	3.18
small-swap1-fixpoint-9	SAT	3.22
IssueServiceImpl	FAIL	3.27
cache-coherence-3-fixpoint-1	UNSAT	3.3
small-pipeline-fixpoint-2	FAIL	3.35
fpu-10Xh-correct04-nonuniform-depth-14	UNSAT	3.38
unit8_2_b	FAIL	3.43
tlc05-uniform-depth-85	UNSAT	3.53
incrementer-enc07-uniform-depth-25	UNSAT	3.58
cycle_sched_6_6_2.sat	FAIL	3.63
driverlog10_7	SAT	3.66
s15850_PR_6_10	SAT	3.69
s15850_PR_0_50	SAT	3.81
eijk.S1196.S-f2	FAIL	3.86
nxquery_query71_1344	SAT	3.86
sortnetsort9.v.stepl.005	FAIL	3.87
axquery_query71_1344	SAT	3.87
load_2c_comp_comp7_REAL.sat	FAIL	3.88
driver_a9n.sat	FAIL	3.97
Adder2-8-c	FAIL	4.03
IterationService	FAIL	4.13
bs128n.sat	SAT	4.14
PhaseService	FAIL	4.18
fpu-01Xh-error02-nonuniform-depth-18	UNSAT	4.2
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.2
bs128y.sat	SAT	4.21
cycle_sched_6_7_1.sat	FAIL	4.29
k_ph_n-18	SAT	4.3
fpu-10Xh-correct04-uniform-depth-18	UNSAT	4.42
itc-b13-fixpoint-7	SAT	4.6
Adder2-14-s	FAIL	4.68
ethernet-fixpoint-1	FAIL	4.71
fpu-10Xh-error01-uniform-depth-20	UNSAT	4.91
ConcreteActivityService	FAIL	4.98
cache-coherence-2-fixpoint-2	UNSAT	5.04
mult_bool_matrix_10_9_11.sat	FAIL	5.18
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	5.34
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	5.4
neclaftp4001	FAIL	5.46
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	FAIL	5.49
arbiter-05-comp-error01-qbf-hardness-depth-8	FAIL	5.55
driverlog11_8	UNSAT	5.59
texas.PI_main^08.E-f3	FAIL	5.69
LoginService	FAIL	5.72
fpu-01Xh-error02-uniform-depth-24	UNSAT	5.78
NotificationServiceImpl2	FAIL	5.83
fpu-10Xh-error01-uniform-depth-25	UNSAT	5.94
texas.PI_main^05.E-f3	FAIL	6.21
itc-b13-fixpoint-8	SAT	6.25
small-synabs-fixpoint-10	UNSAT	6.26
audio_ddksynth_csynth2.cpp	FAIL	6.29
incrementer-enc09-uniform-depth-17	FAIL	6.35
beemskbn1f1_c0to7.sat	FAIL	6.53
load_3c_comp_comp7_REAL.unsat	UNSAT	6.69
Adder2-16-s	FAIL	6.74
sortnetsort10.v.stepl.005	FAIL	7.02
stmt2_976_999	FAIL	7.34
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	FAIL	7.38
ProjectService3	FAIL	7.39
small-seq-fixpoint-3	UNSAT	7.39
sdlx-fixpoint-3	FAIL	7.4
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	FAIL	7.53
itc-b13-fixpoint-9	SAT	7.66
adder-12-unsat	FAIL	7.89
stmt17_63_82	FAIL	7.94
ken.flash^08.C-d4	FAIL	8.23
sortnetsort9.v.stepl.007	FAIL	8.57
stmt23_72_76	FAIL	8.58
k_ph_n-19	SAT	8.65
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	8.83
stmt28_68_81	FAIL	8.87
filesys_smbmrx_midatlas.c	FAIL	8.93
b21_C_3_206	FAIL	9.02
ceiling256	FAIL	9.1
incrementer-enc02-uniform-depth-63	UNSAT	9.18
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.39
stmt23_66_96	FAIL	9.42
driverlog10_6	UNSAT	9.51
itc-b13-fixpoint-10	SAT	9.58
driverlog12_8	UNSAT	9.68
b18_PR_4_2	SAT	9.86
mult_bool_matrix_10_9_11.unsat	FAIL	9.95
k_ph_n-20	SAT	10.12
stmt19_64_99	FAIL	10.16
nusmv.tcas^2.B-f2	FAIL	10.28
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	10.29
sdlx-fixpoint-4	FAIL	10.64
incrementer-enc08-uniform-depth-33	FAIL	10.92
stmt17_70_90	FAIL	11.05
stmt17_62_98	FAIL	11.48
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	11.49
driverlog13_7	UNSAT	11.57
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	11.92
driverlog13_8	UNSAT	12.03
driverlog11_9	SAT	12.06
test2_quant3	FAIL	12.24
stmt17_70_98	FAIL	12.27
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	12.74
eijk.bs1512.S-f4	FAIL	12.89
incrementer-enc06-uniform-depth-24	FAIL	12.92
nusmv.tcas^3.B-f2	FAIL	13.05
mult_bool_matrix_12_13_11.sat	FAIL	13.44
ProcessBean	FAIL	13.67
usb-phy-fixpoint-3	FAIL	13.75
stmt17_82_98	FAIL	13.91
test2_quant_squaring2	FAIL	14.05
tlc05-uniform-depth-80	FAIL	14.08
freecell01_6	SAT	14.08
cache-coherence-3-fixpoint-2	FAIL	14.27
stmt17_86_98	FAIL	14.34
reachqu_query60_1344n	FAIL	14.57
incrementer-enc09-nonuniform-depth-15	FAIL	14.59
sdlx-fixpoint-5	FAIL	14.69
dungeon_i25-m12-u5-v0.pddl_planlen=59	UNSAT	15.63
k_branch_n-11	SAT	15.66
reachqu_query64_1344n	FAIL	15.87
ken.flash^05.C-d3	FAIL	16.43
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	16.44
sortnetsort9.AE.stepl.007	FAIL	16.61
dungeon_i25-m12-u5-v0.pddl_planlen=65	UNSAT	16.91
driverlog14_8	UNSAT	17.21
nreachq_query54_1344n	FAIL	17.29
b14_PR_1_50	FAIL	17.43
nreachq_query71_1344n	FAIL	17.63
nreachq_query11_1344n	FAIL	17.85
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	18.1
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	18.67
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.78
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	19.33
neclaftp2002	FAIL	19.36
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.52
p20-10.pddl_planlen=39	SAT	19.66
c6_BMC_p2_k1024	UNSAT	20.03
sortnetsort10.AE.stepl.006	FAIL	20.09
driverlog12_9	UNSAT	20.12
p20-10.pddl_planlen=40	SAT	20.53
dungeon_i25-m12-u5-v0.pddl_planlen=81	UNSAT	20.6
sdlx-fixpoint-6	FAIL	21.16
sortnetsort9.AE.stepl.008	FAIL	21.26
incrementer-enc02-uniform-depth-58	FAIL	21.3
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	21.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-008	FAIL	21.66
dungeon_i25-m12-u5-v0.pddl_planlen=86	UNSAT	21.77
arbiter-06-comp-error01-qbf-hardness-depth-11	FAIL	21.93
nusmv.tcas^4.B-f3	FAIL	21.95
test2_quant_squaring3	FAIL	22.14
dungeon_i25-m12-u5-v0.pddl_planlen=92	UNSAT	23
gttt_1_1_000111_4x4_torus_b_2020	FAIL	23.13
depots07_8	UNSAT	23.14
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	23.16
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	23.33
small-pipeline-fixpoint-3	FAIL	23.44
ethernet-fixpoint-2	FAIL	23.75
bobsmfpu	FAIL	23.85
depots03_9	UNSAT	24.17
dungeon_i25-m12-u5-v0.pddl_planlen=98	UNSAT	24.57
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.68
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	25.74
k_branch_n-12	SAT	26.26
ken.flash^09.C-d4	FAIL	27.05
sortnetsort9.AE.stepl.009	FAIL	27.21
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	28.74
b22_PR_9_90	FAIL	30.68
incrementer-enc07-nonuniform-depth-25	FAIL	31
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	31.41
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.85
filesys_smbmrx_cvsndrcv.c	FAIL	33.16
unit12_2_b	FAIL	33.58
c5_BMC_p1_k32	SAT	34.18
input_mouser_detect.c	FAIL	34.28
nusmv.tcas^6.B-f4	FAIL	34.36
eijk.bs4863.S-d4	FAIL	34.68
sortnetsort10.AE.stepl.008	FAIL	34.88
depots16_5	UNSAT	35.46
usb-phy-fixpoint-4	FAIL	37.94
nreachq_query54_1344	FAIL	38.88
sdlx-fixpoint-7	FAIL	39.33
pi-bus-fixpoint-1	FAIL	39.63
cache-coherence-2-fixpoint-4	FAIL	41.57
b20_C_3_2	FAIL	43.26
k_ph_p-11	FAIL	43.62
dungeon_i25-m12-u5-v0.pddl_planlen=197	UNSAT	45.59
k_ph_p-15	FAIL	45.94
dungeon_i25-m12-u5-v0.pddl_planlen=199	UNSAT	45.99
dungeon_i25-m12-u5-v0.pddl_planlen=198	UNSAT	46.06
incrementer-enc06-nonuniform-depth-33	FAIL	46.41
reachqu_query64_1344	FAIL	47.5
dungeon_i25-m12-u5-v0.pddl_planlen=200	UNSAT	47.58
ethernet-fixpoint-3	FAIL	47.84
k_ph_p-18	FAIL	48.22
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	48.65
depots08_6	UNSAT	49.18
network_trans_sys_notify.c	FAIL	49.77
filesys_fastfat_cachesup.c	FAIL	50.13
arbiter-09-comp-error01-qbf-hardness-depth-21	FAIL	51.18
sdlx-fixpoint-8	FAIL	51.77
depots13_9	SAT	52.28
szymanski-20-s	FAIL	52.48
network_irda_miniport_nscirda_comm.c	FAIL	53.28
sortnetsort9.AE.stepl.012	FAIL	53.34
k_branch_p-14	UNSAT	53.78
k_ph_p-19	FAIL	54.16
s1269_d10_s	FAIL	54.32
input_pnpi8042_moudep.c	FAIL	55.12
s820_d10_s	FAIL	55.6
s820_d11_u	FAIL	56.85
arbiter-10-comp-error01-qbf-hardness-depth-24	FAIL	56.9
s1269_d12_u	FAIL	58.26
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	58.76
s3330_d9_s	FAIL	59.25
freecell02_5	UNSAT	59.7
arbiter-10-comp-error01-qbf-hardness-depth-23	FAIL	59.72
s1269_d13_u	FAIL	60.28
k_ph_p-20	FAIL	60.48
freecell02_4	UNSAT	60.91
s3330_d10_u	FAIL	60.94
s1269_d14_u	FAIL	61.39
gttt_1_1_000111_4x4_torus_w_2020	FAIL	61.41
sdlx-fixpoint-9	FAIL	61.87
s1269_d15_u	FAIL	62.37
pipesnotankage15_10	UNSAT	64.99
pipesnotankage16_10	UNSAT	66.08
s3330_d14_u	FAIL	66.23
cache-coherence-3-fixpoint-3	FAIL	68.79
depots10_8	UNSAT	71.71
depots16_7	UNSAT	73.3
sdlx-fixpoint-10	FAIL	73.82
cycle_sched_4_7_1.sat	FAIL	73.87
k_branch_p-16	UNSAT	74.28
gttt_1_1_00101121_4x4_torus_w_2020	FAIL	75.01
reachqu_query60_1344	FAIL	77.99
pipesnotankage14_10	UNSAT	78.56
kmdf_osrusbfx2_exe_dump.c	FAIL	79.31
pipesnotankage17_6	UNSAT	79.85
pipesnotankage17_5	UNSAT	79.86
b22_PR_8_20	FAIL	86.36
cache-coherence-2-fixpoint-5	FAIL	87.53
mult_bool_matrix_17_17_17.sat	FAIL	89.43
freecell02_6	UNSAT	90.16
pipesnotankage17_7	UNSAT	91.25
c1_BMC_p2_k1024	UNSAT	91.27
usb-phy-fixpoint-5	FAIL	92.51
mult_bool_matrix_18_18_18.sat	FAIL	102.47
unit6_3_b	FAIL	102.66
arbiter-09-comp-error01-qbf-hardness-depth-15	FAIL	117.44
driverlog14_9	FAIL	124.9
c4_Debug_s3_f2_e2_v2	SAT	125.05
c1_Debug_s3_f2_e1_v2	SAT	130.21
p20-20.pddl_planlen=30	SAT	131.33
c1_BMC_p2_k2048	UNSAT	132.8
reachqu_query71_1344	FAIL	133.29
arbiter-06-comp-error01-qbf-hardness-depth-15	FAIL	133.73
genbuf9b4n.unsat	FAIL	133.75
ev-pr-6x6-11-5-0-1-2-s	FAIL	135.19
p20-20.pddl_planlen=29	SAT	135.5
cache-coherence-2-fixpoint-6	FAIL	154.59
c4_Debug_s3_f2_e2_v3	SAT	164.58
szymanski-24-s	FAIL	173.91
freecell03_6	UNSAT	174.68
nreachq_query71_1344	FAIL	180.06
k_branch_n-17	SAT	180.46
ev-pr-6x6-13-5-0-1-2-s	FAIL	185.53
freecell03_5	UNSAT	186.86
ev-pr-6x6-17-5-0-1-2-s	FAIL	187.46
beemldelec4b1_c0to127.sat	FAIL	188.7
genbuf10b4n.unsat	FAIL	191.05
ev-pr-6x6-19-5-0-1-2-s	FAIL	197.51
Adder2-16-c	FAIL	200
ev-pr-6x6-15-5-0-1-2-s	FAIL	203.71
pipesnotankage18_8	UNSAT	204.77
pipesnotankage18_7	UNSAT	205.29
depots09_13	UNSAT	205.41
small-seq-fixpoint-5	UNSAT	210.48
b17_PR_2_50	FAIL	219.71
depots09_12	UNSAT	222.49
depots09_11	UNSAT	223.01
c3_BMC_p1_k256	SAT	227.04
freecell03_7	SAT	229.19
pipesnotankage19_7	UNSAT	239.51
k_branch_p-18	UNSAT	248.85
ethernet-fixpoint-4	FAIL	282.41
pipesnotankage19_9	UNSAT	292.25
small-seq-fixpoint-8	FAIL	318.15
small-seq-fixpoint-7	FAIL	338.86
c1_Debug_s3_f2_e1_v1	SAT	381
k_branch_p-21	UNSAT	397.47
gttt_2_1_00102030_4x4_torus_b_2020	FAIL	407.01
gttt_2_1_001020_4x4_torus_w_2020	FAIL	407.81
gttt_2_2_000111_4x4_w_2020	FAIL	408.87
pi-bus-fixpoint-2	FAIL	408.97
gttt_2_2_000111_4x4_torus_w_2020	FAIL	409.44
gttt_2_2_000111_4x4_torus_b_2020	FAIL	409.47
gttt_2_2_000111_4x4_b_2020	FAIL	409.8
small-seq-fixpoint-9	FAIL	410.44
k_branch_n-20	FAIL	410.59
amba4b9y.unsat	FAIL	411.98
small-seq-fixpoint-10	FAIL	412.43
k_branch_n-21	FAIL	412.51
k_branch_p-19	FAIL	414.91
gttt_2_1_00011020_4x4_b_2020	FAIL	417.49
pi-bus-fixpoint-3	FAIL	418.56
AR-fixpoint-1	FAIL	418.59
cycle_sched_4_7_1.unsat	FAIL	421.35
sortnetsort8.v.stepl.007	FAIL	432.06
ev-pr-6x6-17-5-0-1-2-lg	FAIL	432.08
add5_CHOOSE	FAIL	432.16
ev-pr-6x6-19-5-0-1-2-lg	FAIL	432.17
ev-pr-8x8-17-7-0-1-2-lg	FAIL	432.44
load_full_4_comp3_REAL.unsat	FAIL	432.51
ev-pr-8x8-15-7-0-1-2-lg	FAIL	432.62
ev-pr-8x8-19-7-0-1-2-lg	FAIL	432.79
add4_CHOOSE	FAIL	433.07
c6_BMC_p1_k512	FAIL	433.88
c6_BMC_p1_k1024	FAIL	434.47
AR-fixpoint-5	FAIL	436.39
c1_Debug_s5_f1_e1_v2	FAIL	436.45
c6_BMC_p1_k2048	FAIL	438.14
fpu-10Xh-error01-nonuniform-depth-27	FAIL	438.35
fpu-10Xh-correct04-nonuniform-depth-28	FAIL	438.57
fpu-10Xh-correct04-uniform-depth-28	FAIL	438.74
c2_BMC_p1_k2048	FAIL	439.63
fpu-01Xh-error02-nonuniform-depth-27	FAIL	439.82
add6_CHOOSE	FAIL	454
freecell04_9	FAIL	489.99
freecell04_7	FAIL	523.15
c2_Debug_s3_f1_e1_v2	FAIL	529.98
c4_Debug_s3_f1_e2_v3	FAIL	556.56
c1_BMC_p1_k2048	FAIL	607.42
c2_Debug_s3_f2_e1_v3	FAIL	638.51
freecell04_8	FAIL	660.88
add7_CHOOSE	FAIL	661.11
c4_Debug_s5_f2_e2_v1	FAIL	728.28
c1_Debug_s3_f1_e1_v1	FAIL	900
unit11_3_b	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Qute_opt500
Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Qute_opt500 Prenex CNF Track

Instances solved by Qute_opt500
Prenex CNF Track