Instances solved by <a href='solver_detail.php?solver=316'>Heretiq-cube</a> <br> QBFEVAL'18

Instances solved by Heretiq-cube
QBFEVAL'18 - Prenex CNF Track

Instance	Result	Time
rankfunc21_unsigned_64	SAT	0
small-synabs-fixpoint-3	UNSAT	0
rankfunc16_signed_64	SAT	0
rankfunc18_signed_64	SAT	0
pdtpmsmiim	SAT	0
filesys_smbmrx_midatlas.c	UNSAT	0
rankfunc18_unsigned_64	SAT	0
rankfunc30_unsigned_64	SAT	0
mult_bool_matrix_10_9_11.sat	SAT	0
eijkbs4863	SAT	0
rankfunc30_signed_64	SAT	0
stmt9_445_446	SAT	0
rankfunc19_unsigned_64	SAT	0
rankfunc21_signed_64	SAT	0
rankfunc16_unsigned_64	SAT	0
rankfunc15_signed_64	SAT	0
rankfunc3_signed_64	SAT	0
driver_a9n.sat	SAT	0
itc-b13-fixpoint-5	SAT	0
rankfunc19_signed_64	SAT	0
rankfunc42_signed_64	SAT	0
unit9_2_b	SAT	0
ceiling128	SAT	0
s09234_PR_9_90	UNSAT	0
decomposition256	SAT	0
s01488_PR_1_10	SAT	0
s00838_PR_6_90	UNSAT	0
s00420_PR_1_20	SAT	0
s38417_PR_4_50	SAT	0
ltl2dba_C2-6_comp3_REAL.sat	SAT	0
s05378_PR_4_90	UNSAT	0
stmt27_93_98	SAT	0
Adder2-8-c	UNSAT	0
stmt41_262_275	SAT	0
stmt5_731_730	SAT	0
stmt44_554_604	SAT	0
stmt1_79_80	SAT	0
stmt16_818_819	SAT	0
b20_PR_9_90	UNSAT	0
fpu-10Xh-error01-nonuniform-depth-5	UNSAT	0
b21_PR_9_90	UNSAT	0
stmt25_52_53	SAT	0
stmt124_966_965	SAT	0
incrementer-enc06-nonuniform-depth-5	UNSAT	0
rankfunc3_unsigned_64	SAT	0
rankfunc15_unsigned_64	SAT	0
stmt21_181_369	UNSAT	0
fpu-10Xh-error01-uniform-depth-4	UNSAT	0
floor256	SAT	0
driver_d9y.sat	SAT	0
hex_hein_4x4_04	SAT	0
kenflashp12	SAT	0.01
Q_2-3_v-80-100_r-13.7	UNSAT	0.02
Q_2-3_v-80-100_r-13.4	UNSAT	0.02
sortnetsort8.v.stepl.007	SAT	0.08
ttt_5x5-shape-0-GTTT-1-2-torus-1	SAT	0.18
ttt_5x5-shape-0-GTTT-1-2-torus-0	SAT	0.19
ttt_5x5-shape-0-GTTT-2-1-torus-1	UNSAT	0.19
driverlog10_6	UNSAT	0.33
query03_query25_1344	UNSAT	0.34
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.4
stmt29_226_376	UNSAT	0.53
Q_2-3_v-80-100_r-13.5	UNSAT	0.53
k_branch_p-16	UNSAT	0.57
incrementer-enc06-nonuniform-depth-10	UNSAT	0.58
klieber2017q-088-22-t1	UNSAT	0.59
network_trans_sys_notify.c	UNSAT	0.6
k_branch_p-10	UNSAT	0.61
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	0.67
filesys_smbmrx_cvsndrcv.c	UNSAT	0.69
s38584_PR_9_90	SAT	0.69
stmt39_285_335	UNSAT	0.7
tlc05-uniform-depth-40	UNSAT	0.79
s15850_PR_8_90	UNSAT	0.84
tlc05-uniform-depth-45	UNSAT	0.89
fpu-10Xh-error01-nonuniform-depth-10	UNSAT	0.95
fpu-10Xh-error01-uniform-depth-10	UNSAT	1
arbiter-05-comp-error01-qbf-hardness-depth-8	UNSAT	1.06
stmt19_83_412	UNSAT	1.07
incrementer-enc06-nonuniform-depth-15	UNSAT	1.07
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	1.07
tlc05-uniform-depth-55	UNSAT	1.1
s38584_PR_8_50	SAT	1.13
ltl2dpa_C26_comp2_REAL.sat	SAT	1.15
tlc05-uniform-depth-50	UNSAT	1.17
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	UNSAT	1.17
klieber2017q-074-18-t1	UNSAT	1.19
k_branch_p-14	UNSAT	1.19
k_branch_p-12	UNSAT	1.22
tlc05-uniform-depth-60	UNSAT	1.23
klieber2017q-096-24-t1	UNSAT	1.25
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.26
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.29
tlc05-uniform-depth-65	UNSAT	1.35
k_branch_p-11	UNSAT	1.35
incrementer-enc08-uniform-depth-33	SAT	1.37
fpu-10Xh-error01-nonuniform-depth-15	UNSAT	1.38
incrementer-enc07-uniform-depth-25	UNSAT	1.42
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	1.43
fpu-10Xh-error01-uniform-depth-15	UNSAT	1.47
tlc05-uniform-depth-70	UNSAT	1.51
stmt19_313_412	UNSAT	1.57
incrementer-enc06-uniform-depth-24	UNSAT	1.61
incrementer-enc06-nonuniform-depth-20	UNSAT	1.61
gttt_2_2_000111_4x4_torus_w	UNSAT	1.64
stmt21_310_360	UNSAT	1.66
tlc05-uniform-depth-80	UNSAT	1.71
Adder2-16-c	UNSAT	1.76
klieber2017q-080-20-t1	UNSAT	1.77
tlc05-uniform-depth-75	UNSAT	1.78
add4_REDUCED	SAT	1.79
k_branch_p-18	UNSAT	1.8
fpu-10Xh-error01-uniform-depth-20	UNSAT	1.81
ttt_5x5-shape-0-GTTT-2-2-torus-0	SAT	1.82
fpu-10Xh-error01-nonuniform-depth-20	UNSAT	1.84
tlc05-uniform-depth-85	UNSAT	1.85
c5_BMC_p1_k32	SAT	1.87
stmt52_295_394	UNSAT	1.97
c6_BMC_p1_k512	SAT	1.97
load_3c_comp_comp7_REAL.unsat	UNSAT	2.09
fpu-10Xh-error01-uniform-depth-25	UNSAT	2.2
klieber2017q-082-20-t1	UNSAT	2.27
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	2.28
fpu-10Xh-error01-nonuniform-depth-25	UNSAT	2.37
s15850_PR_0_50	SAT	2.39
incrementer-enc06-nonuniform-depth-25	UNSAT	2.67
Q_2-3_v-80-100_r-13.6	UNSAT	2.8
c6_BMC_p2_k1024	UNSAT	2.84
depots03_9	UNSAT	2.95
b22_PR_9_90	UNSAT	2.99
incrementer-enc02-uniform-depth-58	UNSAT	3.1
incrementer-enc02-uniform-depth-63	UNSAT	3.24
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	3.47
stmt32_329_378	UNSAT	3.81
klieber2017q-092-23-t1	UNSAT	4.47
depots07_8	UNSAT	4.52
stmt41_160_235	UNSAT	4.57
c3_BMC_p1_k256	SAT	4.8
klieber2017q-076-19-t1	UNSAT	4.86
k_branch_n-10	SAT	5.09
gttt_2_2_000111_4x4_w	UNSAT	5.24
stmt2_976_999	SAT	5.58
c6_BMC_p1_k1024	SAT	5.77
klieber2017q-078-19-t1	UNSAT	6.81
klieber2017q-086-21-t1	UNSAT	7
klieber2017q-084-21-t1	UNSAT	9.94
usb-phy-fixpoint-3	UNSAT	10.26
ttt_5x5-shape-0-GTTT-2-2-torus-1	SAT	10.89
c1_BMC_p2_k1024	UNSAT	15.13
c6_BMC_p1_k2048	SAT	16.68
k_branch_n-11	SAT	17.71
Q_2-3_v-80-100_r-13.1	UNSAT	20.99
szymanski-20-s	UNSAT	22.8
Q_2-3_v-80-100_r-13.3	UNSAT	25.18
gttt_2_1_001020_4x4_torus_w	UNSAT	25.3
c1_BMC_p2_k2048	UNSAT	27.39
sortnetsort9.v.stepl.007	SAT	28.89
Q_2-3_v-80-100_r-13.2	UNSAT	30.08
Q_2-3_v-80-100_r-13.9	UNSAT	30.11
Q_2-3_v-80-100_r-13.8	UNSAT	30.13
Q_2-3_v-80-100_r-13.0	UNSAT	30.13
Q_2-3_v-80-100_r-11.3	UNSAT	30.16
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	30.43
depots08_6	UNSAT	30.54
arbiter-06-comp-error01-qbf-hardness-depth-11	UNSAT	31.27
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp	SAT	31.28
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	UNSAT	31.97
pipesnotankage11_8	UNSAT	31.97
sortnetsort9.v.stepl.005	UNSAT	32.31
hex_hein_4x4_09	SAT	32.32
load_full_4_comp3_REAL.unsat	UNSAT	32.49
gttt_2_2_000111_4x4_b	SAT	34.88
gttt_2_2_000111_4x4_torus_b	SAT	35.57
gttt_2_1_00102030_4x4_torus_b	UNSAT	37.48
sortnetsort9.AE.stepl.007	UNSAT	37.51
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	37.6
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	37.78
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	38.06
hex_hein_4x4_12	SAT	38.12
Q_2-3_v-80-100_r-11.4	UNSAT	38.21
dungeon_i15-m7-u4-v0.pddl_planlen=81	UNSAT	40.41
pipesnotankage13_5	UNSAT	40.87
depots13_9	SAT	41.76
test5_quant_squaring5	SAT	43.44
sortnetsort9.AE.stepl.012	UNSAT	43.64
gttt_1_1_000111_4x4_torus_w	UNSAT	43.66
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	44.47
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	UNSAT	45.27
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	UNSAT	45.58
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	45.6
Q_2-3_v-80-100_r-11.6	UNSAT	47.5
hex_rand_6x6-20m-4	UNSAT	47.56
hex_hein_4x4_06	SAT	57.54
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	UNSAT	59.7
arbiter-06-comp-error01-qbf-hardness-depth-15	UNSAT	60.17
dungeon_i15-m7-u4-v0.pddl_planlen=168	UNSAT	61.12
szymanski-24-s	UNSAT	63.79
depots16_5	UNSAT	64.17
ttt_5x5-shape-0-GTTT-2-1-torus-0	UNSAT	72.07
k_branch_n-12	SAT	91.44
pipesnotankage15_10	UNSAT	92.61
pipesnotankage16_10	UNSAT	93.26
sortnetsort9.AE.stepl.009	UNSAT	95.11
sortnetsort9.AE.stepl.008	UNSAT	95.68
sortnetsort10.AE.stepl.008	UNSAT	97.59
c1_BMC_p1_k2048	SAT	97.85
hex_rand_6x6-20m-7	UNSAT	107.07
query21_query58_1344n	UNSAT	107.37
pipesnotankage14_10	UNSAT	109.53
amba2f9n.sat	SAT	110.38
arbiter-09-comp-error01-qbf-hardness-depth-15	UNSAT	116.18
gttt_2_1_00011020_4x4_b	UNSAT	116.25
add5_CHOOSE	SAT	152.44
kmdf_pcidrv_sys_hw_physet.c	SAT	152.83
freecell02_4	UNSAT	182.94
stay24n.sat	SAT	191.05
b21_PR_8_20	SAT	191.16
pipesnotankage17_7	UNSAT	205.33
pipesnotankage17_6	UNSAT	206.31
pipesnotankage17_5	UNSAT	206.64
freecell02_6	UNSAT	210.92
gttt_1_1_000111_4x4_torus_b	SAT	247.48
freecell03_5	UNSAT	251.55
hex_hein_4x4_07	SAT	287.94
hex_rand_6x6-20m-8	UNSAT	298.68
sortnetsort10.v.stepl.005	UNSAT	314.14
freecell03_7	SAT	318.65
b18_PR_4_2	SAT	323.68
freecell03_6	UNSAT	342.69
pipesnotankage18_7	UNSAT	347.7
unit6_3_b	UNSAT	353.33
pipesnotankage18_8	UNSAT	356.8
cycle_sched_4_7_1.sat	SAT	371.33
ken.flash^08.C-d4	FAIL	373.06
Q_2-3_v-80-100_r-11.7	UNSAT	398.62
depots09_11	UNSAT	399.81
depots09_12	UNSAT	402.26
small-seq-fixpoint-5	FAIL	428.26
small-seq-fixpoint-3	FAIL	435.21
small-seq-fixpoint-7	FAIL	436.83
small-seq-fixpoint-8	FAIL	447.69
stmt17_86_98	FAIL	454.5
cache-coherence-2-fixpoint-6	FAIL	454.82
small-seq-fixpoint-9	FAIL	457.39
nusmv.reactor^3.C-d4	FAIL	464.18
stmt28_68_81	FAIL	464.34
cache-coherence-3-fixpoint-3	FAIL	466.11
stmt17_63_82	FAIL	468.31
stmt23_66_96	FAIL	472.18
intermediate128	FAIL	473.01
pipesnotankage19_7	UNSAT	478.98
cache-coherence-2-fixpoint-4	FAIL	482.76
stmt19_64_99	FAIL	484.13
UserServiceImpl	FAIL	485.24
stmt17_70_98	FAIL	486.56
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	SAT	495.52
oski3ub5i_c0to255.sat	FAIL	504.06
Core1108_tbm_21.tex.module.000008	SAT	504.17
ConcreteActivityService	FAIL	517.13
neclaftp4001	FAIL	520.58
sdlx-fixpoint-3	FAIL	523.56
stmt21_319_418	FAIL	525.55
stmt17_82_98	FAIL	526.19
unit8_2_b	FAIL	531.57
depots09_13	UNSAT	533.09
stmt17_70_90	FAIL	537.53
beemldelec4b1_c0to127.sat	FAIL	542.54
pi-bus-fixpoint-3	FAIL	547.34
Umbrella_tbm_05.tex.module.000039	SAT	552.4
PhaseService	FAIL	563.1
stmt23_72_76	FAIL	583.74
IssueServiceImpl	FAIL	586.81
IterationService	FAIL	587.9
pi-bus-fixpoint-1	FAIL	596.65
query44_query26_1344n	FAIL	599.2
GuidanceService2	FAIL	602.53
GuidanceService	FAIL	606.56
c1_Debug_s3_f2_e1_v2	SAT	630.44
NotificationServiceImpl2	FAIL	645.87
ActivityService2	FAIL	647.63
ActivityService	FAIL	653.14
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	SAT	655.23
stmt17_62_98	FAIL	661.73
pipesnotankage19_9	UNSAT	711.68
reachqu_query64_1344n	FAIL	722.21
c2_BMC_p1_k2048	SAT	756.62
reachqu_query71_1344n	FAIL	758.77
Q_2-3_v-80-100_r-11.8	FAIL	782.55
adder-14-sat	FAIL	808.27
Q_2-3_v-80-100_r-11.9	FAIL	833.43
Q_2-3_v-80-100_r-11.2	FAIL	847.35
c1_Debug_s5_f1_e1_v2	SAT	896.47
audio_ddksynth_csynth2.cpp	FAIL	900
filesys_fastfat_allocsup.c	FAIL	900
c2_Debug_s3_f2_e1_v3	FAIL	900
texas.PI_main^05.E-f3	FAIL	900
dungeon_i25-m12-u3-v0.pddl_planlen=130	FAIL	900
dungeon_i25-m12-u3-v0.pddl_planlen=146	FAIL	900
network_ndis_coisdn_TpiParam.c	FAIL	900
kmdf_osrusbfx2_exe_testapp.c	FAIL	900
hex_rand_6x6-20m-5	FAIL	900.01
hex_rand_6x6-20m-6	FAIL	900.01
hex_rand_6x6-20m-3	FAIL	900.01
add5_COMPLETE	FAIL	900.01
mult_bool_matrix_17_17_17.unsat	FAIL	900.01
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp	FAIL	900.01
klieber2017q-074-18-eq	FAIL	900.01
klieber2017q-082-20-eq	FAIL	900.01
klieber2017q-086-21-eq	FAIL	900.01
klieber2017q-092-23-eq	FAIL	900.01
add6_REDUCED	FAIL	900.01
hex_rand_6x6-20m-2	FAIL	900.01
ttt_5x5-shape-0-GTTT-1-1-torus-0	FAIL	900.01
dungeon_i25-m12-u5-v0.pddl_planlen=198	FAIL	900.01
nusmv.tcas^4.B-f3	FAIL	900.01
eijk.S1196.S-f2	FAIL	900.01
Q_2-3_v-80-100_r-11.0	FAIL	900.01
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	900.01
Adder2-14-s	FAIL	900.01
c4_Debug_s5_f2_e1_v3	FAIL	900.01
AR-fixpoint-1	FAIL	900.01
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	900.01
cmu.gigamax.B-d4	FAIL	900.01
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	900.01
b22_PR_8_20	FAIL	900.01
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	900.01
test4_quant_squaring2	FAIL	900.01
dungeon_i25-m12-u3-v0.pddl_planlen=165	FAIL	900.02
dungeon_i25-m12-u3-v0.pddl_planlen=190	FAIL	900.02
dungeon_i25-m12-u5-v0.pddl_planlen=81	FAIL	900.02
texas.PI_main^08.E-f3	FAIL	900.02
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	900.02
add5_REDUCED	FAIL	900.02
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	FAIL	900.02
cycle_sched_4_7_1.unsat	FAIL	900.02
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	900.02
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	900.02
c2_Debug_s3_f1_e1_v2	FAIL	900.02
kernel_agplib_intrface.c	FAIL	900.02
cmu.dme1.B-f3	FAIL	900.02
ttt_5x5-shape-1-GTTT-2-2-torus-0	FAIL	900.02
Q_2-3_v-80-100_r-11.5	FAIL	900.02
dungeon_i25-m12-u5-v0.pddl_planlen=199	FAIL	900.02
arbiter-09-comp-error01-qbf-hardness-depth-21	FAIL	900.02
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp	FAIL	900.02
ttt_5x5-shape-1-GTTT-1-2-torus-1	FAIL	900.02
kmdf_usbsamp_sys_queue.c	FAIL	900.03
filesys_fastfat_cachesup.c	FAIL	900.03
test1_quant_squaring3	FAIL	900.03
kmdf_osrusbfx2_exe_dump.c	FAIL	900.03
mult_bool_matrix_17_17_17.sat	FAIL	900.03
c4_Debug_s5_f2_e2_v3	FAIL	900.03
genbuf9b4n.unsat	FAIL	900.03
test4_quant_squaring4	FAIL	900.03
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	900.03
dungeon_i25-m12-u5-v0.pddl_planlen=65	FAIL	900.03
cmu.dme2.B-f3	FAIL	900.03
ken.flash^09.C-d4	FAIL	900.03
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	900.03
eijk.bs1512.S-f4	FAIL	900.03
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp	FAIL	900.03
test1_quant_squaring2	FAIL	900.03
genbuf10b4n.unsat	FAIL	900.03
ttt_5x5-shape-0-GTTT-1-1-torus-1	FAIL	900.04
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.asp	FAIL	900.04
klieber2017q-076-19-eq	FAIL	900.04
ken.flash^05.C-d3	FAIL	900.04
k_branch_n-20	FAIL	900.04
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	900.04
adder-10-sat	FAIL	900.04
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp	FAIL	900.04
k_branch_p-19	FAIL	900.04
dungeon_i25-m12-u5-v0.pddl_planlen=98	FAIL	900.04
ttt_5x5-shape-1-GTTT-1-2-torus-0	FAIL	900.04
ken.oop^2.C-d4	FAIL	900.04
genbuf9b4n.sat	FAIL	900.04
dungeon_i25-m12-u5-v0.pddl_planlen=86	FAIL	900.04
dungeon_i25-m12-u5-v0.pddl_planlen=92	FAIL	900.05
filesys_fastfat_write.c	FAIL	900.05
arbiter-10-comp-error01-qbf-hardness-depth-24	FAIL	900.05
query10_query36_1344	FAIL	900.05
b21_C_3_206	FAIL	900.05
reachqu_query64_1344	FAIL	900.05
Q_2-3_v-80-100_r-11.1	FAIL	900.05
klieber2017q-084-21-eq	FAIL	900.05
ken.oop^2.C-d3	FAIL	900.05
dungeon_i25-m12-u5-v0.pddl_planlen=59	FAIL	900.05
k_ph_p-12	FAIL	900.05
test3_quant_squaring4	FAIL	900.05
dungeon_i25-m12-u3-v0.pddl_planlen=72	FAIL	900.05
sortnetsort10.AE.stepl.005	FAIL	900.05
klieber2017q-080-20-eq	FAIL	900.05
k_ph_p-14	FAIL	900.05
dungeon_i25-m12-u3-v0.pddl_planlen=125	FAIL	900.05
cycle_sched_6_7_1.unsat	FAIL	900.05
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	900.05
cycle_sched_6_7_1.sat	FAIL	900.05
add6_CHOOSE	FAIL	900.05
dungeon_i25-m12-u5-v0.pddl_planlen=128	FAIL	900.05
Adder2-10-s	FAIL	900.05
klieber2017q-096-24-eq	FAIL	900.05
dungeon_i25-m12-u5-v0.pddl_planlen=143	FAIL	900.05
nusmv.tcas-t^1.B-d2	FAIL	900.06
query42_query06_1344n	FAIL	900.06
k_branch_n-17	FAIL	900.06
k_branch_n-21	FAIL	900.06
adder-12-unsat	FAIL	900.06
adder-12-sat	FAIL	900.06
klieber2017q-088-22-eq	FAIL	900.06
input_mouser_detect.c	FAIL	900.06
eijk.bs3330.S-d3	FAIL	900.06
c4_Debug_s3_f2_e2_v3	FAIL	900.06
arbiter-10-comp-error01-qbf-hardness-depth-23	FAIL	900.06
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	900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.asp	FAIL	900.06
nusmv.tcas^2.B-f2	FAIL	900.06
eijk.S713.S-f2	FAIL	900.06
b20_PR_7_20	FAIL	900.06
ttt_5x5-shape-1-GTTT-2-1-torus-1	FAIL	900.06
c1_Debug_s3_f2_e1_v1	FAIL	900.06
unit12_2_b	FAIL	900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.asp	FAIL	900.06
klieber2017q-078-19-eq	FAIL	900.06
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	900.06
dungeon_i25-m12-u5-v0.pddl_planlen=197	FAIL	900.07
ttt_5x5-shape-1-GTTT-1-1-torus-0	FAIL	900.07
k_branch_p-21	FAIL	900.07
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.asp	FAIL	900.07
k_ph_p-13	FAIL	900.07
b20_C_3_2	FAIL	900.07
nusmv.tcas^3.B-f2	FAIL	900.07
nusmv.tcas^6.B-f4	FAIL	900.07
Core1108_tbm_21.tex.module.000030	FAIL	900.07
query31_reachqu_1344n	FAIL	900.07
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	900.07
add6_COMPLETE	FAIL	900.07
ken.flash^11.C-f3	FAIL	900.07
ttt_5x5-shape-1-GTTT-1-1-torus-1	FAIL	900.08
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp	FAIL	900.08
Adder2-8-s	FAIL	900.08
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	900.08
unit11_3_b	FAIL	900.08
dungeon_i25-m12-u5-v0.pddl_planlen=200	FAIL	900.08
c4_Debug_s5_f2_e2_v2	FAIL	900.08
Adder2-16-s	FAIL	900.08
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.asp	FAIL	900.08
k_ph_p-11	FAIL	900.08
eijk.bs4863.S-d4	FAIL	900.08
b14_PR_1_50	FAIL	900.08
amba4b9y.unsat	FAIL	900.09
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp	FAIL	900.09
k_ph_p-15	FAIL	900.09
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp	FAIL	900.09
reachqu_query71_1344	FAIL	900.09
dungeon_i25-m12-u5-v0.pddl_planlen=170	FAIL	900.09
gttt_1_1_00101121_4x4_torus_w	FAIL	900.09
hex_rand_6x6-20m-9	FAIL	900.09
hex_rand_6x6-20m-1	FAIL	900.09
hex_rand_6x6-20m-0	FAIL	900.09
c4_Debug_s3_f2_e2_v2	FAIL	900.1
mult_bool_matrix_10_9_11.unsat	FAIL	900.1
ttt_5x5-shape-1-GTTT-2-1-torus-0	FAIL	900.1
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp	FAIL	900.11

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Heretiq-cube
QBFEVAL'18 - Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by Heretiq-cube QBFEVAL'18 - Prenex CNF Track

Instances solved by Heretiq-cube
QBFEVAL'18 - Prenex CNF Track