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

Instances solved by GhostQ___cegar_pcnf_2019
QBFEVAL'19 - Prenex CNF Track

Instance	Result	Time
stmt41_262_275	SAT	0
small-synabs-fixpoint-3	UNSAT	0
stmt5_731_730	SAT	0
stmt16_818_819	SAT	0
hex_hein_4x4_04	SAT	0.08
s01488_PR_1_10	SAT	0.22
stmt9_445_446	SAT	0.22
stmt124_966_965	SAT	0.25
query64_query01_1344n	SAT	0.27
itc-b13-fixpoint-1	UNSAT	0.28
stmt44_554_604	SAT	0.29
nxquery_query42_1344n	UNSAT	0.36
axquery_query42_1344n	UNSAT	0.36
exquery_query42_1344n	UNSAT	0.36
s00420_PR_1_20	SAT	0.38
cmu.dme1.B-f3	SAT	0.56
small-pipeline-fixpoint-1	UNSAT	0.61
stmt1_79_80	SAT	0.69
stmt25_52_53	SAT	0.7
eequery_query64_1344n	SAT	0.76
eijk.bs3330.S-d3	SAT	0.79
stmt27_93_98	SAT	0.81
stmt41_160_235	UNSAT	0.85
s00838_PR_6_90	UNSAT	0.9
unit9_2_b	SAT	0.91
itc-b13-fixpoint-2	UNSAT	0.95
cache-coherence-3-fixpoint-1	UNSAT	1.12
stmt21_181_369	UNSAT	1.22
small-synabs-fixpoint-10	UNSAT	1.24
stmt19_83_412	UNSAT	1.26
stmt29_226_376	UNSAT	1.35
ethernet-fixpoint-1	UNSAT	1.41
incrementer-enc06-nonuniform-depth-5	UNSAT	1.48
cmu.dme2.B-f3	SAT	1.49
s05378_PR_4_90	UNSAT	1.5
sdlx-fixpoint-3	UNSAT	1.52
ntrivil_query42_1344n	UNSAT	1.52
cache-coherence-2-fixpoint-2	UNSAT	1.67
query03_query25_1344	UNSAT	1.89
small-pipeline-fixpoint-2	UNSAT	1.9
itc-b13-fixpoint-3	SAT	1.9
s09234_PR_9_90	UNSAT	2.03
query31_reachqu_1344n	SAT	2.06
cmu.gigamax.B-d4	SAT	2.17
sdlx-fixpoint-4	UNSAT	2.31
nxquery_query50_1344n	SAT	2.4
cache-coherence-3-fixpoint-2	UNSAT	2.53
texas.PI_main^08.E-f3	SAT	2.62
itc-b13-fixpoint-4	SAT	2.74
ttt_5x5-shape-0-GTTT-1-2-torus-0	SAT	2.77
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	2.93
usb-phy-fixpoint-3	UNSAT	2.94
unit11_3_b	UNSAT	2.97
texas.PI_main^05.E-f3	SAT	3
b21_PR_9_90	UNSAT	3
sdlx-fixpoint-5	UNSAT	3.02
incrementer-enc06-nonuniform-depth-10	UNSAT	3.05
nusmv.tcas^2.B-f2	SAT	3.08
nusmv.tcas^3.B-f2	SAT	3.09
b20_PR_9_90	UNSAT	3.09
stmt19_313_412	UNSAT	3.15
small-pipeline-fixpoint-3	UNSAT	3.29
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	3.3
nusmv.reactor^3.C-d4	SAT	3.35
itc-b13-fixpoint-5	SAT	3.52
cache-coherence-2-fixpoint-4	UNSAT	3.66
query21_query58_1344n	UNSAT	3.78
cache-coherence-3-fixpoint-3	UNSAT	3.91
itc-b13-fixpoint-8	SAT	4.13
stmt21_310_360	UNSAT	4.36
klieber2017q-076-19-eq	SAT	4.66
cache-coherence-2-fixpoint-5	UNSAT	4.68
s38417_PR_4_50	SAT	4.71
incrementer-enc06-nonuniform-depth-15	UNSAT	4.77
usb-phy-fixpoint-4	UNSAT	4.79
b21_PR_8_20	SAT	5.28
sdlx-fixpoint-6	UNSAT	5.58
small-seq-fixpoint-3	UNSAT	5.61
cache-coherence-2-fixpoint-6	UNSAT	5.62
nusmv.tcas^4.B-f3	SAT	5.8
klieber2017q-084-21-eq	SAT	5.99
stmt2_976_999	SAT	6
rankfunc19_unsigned_64	SAT	6.12
rankfunc19_signed_64	SAT	6.17
nusmv.tcas-t^1.B-d2	SAT	6.24
incrementer-enc06-nonuniform-depth-20	UNSAT	6.54
klieber2017q-082-20-t1	UNSAT	6.59
itc-b13-fixpoint-6	SAT	6.84
s15850_PR_8_90	UNSAT	6.91
klieber2017q-084-21-t1	UNSAT	7.09
usb-phy-fixpoint-5	UNSAT	7.11
itc-b13-fixpoint-10	SAT	7.19
pi-bus-fixpoint-1	UNSAT	7.41
s38584_PR_8_50	SAT	7.45
nusmv.tcas^6.B-f4	SAT	7.69
rankfunc42_signed_64	SAT	7.88
rankfunc15_signed_64	SAT	8.07
ethernet-fixpoint-2	UNSAT	8.19
sdlx-fixpoint-7	SAT	8.31
incrementer-enc06-nonuniform-depth-25	UNSAT	8.48
klieber2017q-080-20-t1	UNSAT	9.02
incrementer-enc07-uniform-depth-25	UNSAT	9.11
eijk.bs4863.S-d4	SAT	9.12
b20_PR_7_20	SAT	9.18
rankfunc18_signed_64	SAT	9.58
incrementer-enc08-uniform-depth-33	SAT	9.68
sdlx-fixpoint-8	SAT	9.73
rankfunc18_unsigned_64	SAT	9.88
klieber2017q-078-19-eq	SAT	10.2
arbiter-05-comp-error01-qbf-hardness-depth-8	UNSAT	10.28
rankfunc16_unsigned_64	SAT	10.32
incrementer-enc06-uniform-depth-24	UNSAT	10.33
small-seq-fixpoint-5	UNSAT	10.57
rankfunc21_unsigned_64	SAT	10.8
rankfunc16_signed_64	SAT	11.01
tlc05-uniform-depth-40	UNSAT	11.29
sdlx-fixpoint-9	SAT	11.42
itc-b13-fixpoint-7	SAT	11.61
klieber2017q-096-24-t1	UNSAT	12.24
rankfunc21_signed_64	SAT	12.47
itc-b13-fixpoint-9	SAT	12.53
tlc05-uniform-depth-45	UNSAT	13.8
sdlx-fixpoint-10	SAT	13.9
klieber2017q-092-23-t1	UNSAT	14.02
ttt_5x5-shape-0-GTTT-1-2-torus-1	SAT	14.56
small-seq-fixpoint-7	UNSAT	15.72
ethernet-fixpoint-3	UNSAT	16.01
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	16.55
tlc05-uniform-depth-50	UNSAT	16.6
rankfunc3_unsigned_64	SAT	16.81
rankfunc15_unsigned_64	SAT	16.82
rankfunc30_unsigned_64	SAT	17.05
rankfunc30_signed_64	SAT	17.2
small-seq-fixpoint-8	UNSAT	18.15
klieber2017q-088-22-t1	UNSAT	18.5
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	18.56
rankfunc3_signed_64	SAT	18.67
klieber2017q-074-18-t1	UNSAT	19.4
pi-bus-fixpoint-2	UNSAT	19.62
klieber2017q-078-19-t1	UNSAT	19.77
query64_query11_1344n	SAT	19.89
tlc05-uniform-depth-55	UNSAT	20.2
add4_REDUCED	SAT	20.2
small-seq-fixpoint-9	UNSAT	20.84
stmt52_295_394	UNSAT	20.88
ttt_5x5-shape-0-GTTT-2-2-torus-0	SAT	21.61
small-seq-fixpoint-10	UNSAT	22.81
tlc05-uniform-depth-60	UNSAT	23.1
incrementer-enc02-uniform-depth-58	UNSAT	24.29
s38584_PR_9_90	SAT	24.5
klieber2017q-092-23-eq	SAT	25.36
ttt_5x5-shape-0-GTTT-2-2-torus-1	SAT	26.26
sortnetsort9.AE.stepl.012	UNSAT	26.3
query44_query26_1344n	SAT	26.46
b14_PR_1_50	SAT	26.58
tlc05-uniform-depth-65	UNSAT	26.88
b22_PR_8_20	SAT	27.15
AR-fixpoint-1	FAIL	28.86
pi-bus-fixpoint-3	UNSAT	29.03
incrementer-enc02-uniform-depth-63	UNSAT	30
filesys_smbmrx_midatlas.c	UNSAT	30.61
tlc05-uniform-depth-70	UNSAT	31.14
eequery_query42_1344n	SAT	34.34
tlc05-uniform-depth-75	UNSAT	35.76
klieber2017q-074-18-eq	SAT	36.17
audio_ddksynth_csynth2.cpp	SAT	37.19
unit8_2_b	SAT	37.26
sortnetsort8.v.stepl.007	SAT	38.55
klieber2017q-086-21-t1	UNSAT	38.92
ethernet-fixpoint-4	UNSAT	40.6
tlc05-uniform-depth-80	UNSAT	41.1
unit12_2_b	SAT	42.35
fpu-10Xh-error01-nonuniform-depth-5	UNSAT	43.97
tlc05-uniform-depth-85	UNSAT	45.04
load_3c_comp_comp7_REAL.unsat	UNSAT	47.68
klieber2017q-076-19-t1	UNSAT	51.76
klieber2017q-082-20-eq	SAT	56.23
input_mouser_detect.c	SAT	57.43
klieber2017q-088-22-eq	SAT	57.77
query71_query31_1344n	SAT	57.93
b22_PR_9_90	UNSAT	58.67
fpu-10Xh-error01-uniform-depth-4	UNSAT	63.68
szymanski-20-s	UNSAT	63.8
stmt23_72_76	SAT	72.23
stmt39_285_335	UNSAT	78.14
kmdf_pcidrv_sys_hw_physet.c	SAT	82.47
klieber2017q-080-20-eq	SAT	83.96
klieber2017q-086-21-eq	SAT	87.44
stmt28_68_81	SAT	91.16
stmt17_63_82	SAT	95.19
AR-fixpoint-2	FAIL	102.95
query71_query36_1344n	UNSAT	105.13
c5_BMC_p1_k32	SAT	105.8
stmt23_66_96	SAT	110.08
stmt17_86_98	SAT	110.08
nreachq_query11_1344n	UNSAT	113.85
stmt17_62_98	SAT	115.37
fpu-10Xh-error01-nonuniform-depth-10	UNSAT	116.32
szymanski-24-s	UNSAT	117.66
stmt17_82_98	SAT	119.35
stmt19_64_99	SAT	121.9
network_trans_sys_notify.c	UNSAT	134.71
stmt17_70_90	SAT	143.9
stmt32_329_378	UNSAT	156.46
query42_query06_1344n	UNSAT	162.73
stmt17_70_98	SAT	170.47
query64_query42_1344n	SAT	190.19
k_ph_p-11	UNSAT	214.99
AR-fixpoint-4	FAIL	256.59
fpu-10Xh-error01-uniform-depth-10	UNSAT	260.26
c6_BMC_p1_k512	SAT	265.13
fpu-10Xh-error01-nonuniform-depth-15	UNSAT	267.44
filesys_smbmrx_cvsndrcv.c	UNSAT	307.96
reachqu_query64_1344n	UNSAT	312.35
fpu-10Xh-error01-nonuniform-depth-20	UNSAT	313.78
fpu-10Xh-error01-nonuniform-depth-25	UNSAT	337.98
genbuf9b4n.unsat	UNSAT	346.74
reachqu_query64_1344	SAT	415.07
AR-fixpoint-6	FAIL	416.68
genbuf10b4n.unsat	UNSAT	433.15
fpu-10Xh-error01-uniform-depth-15	UNSAT	465.26
unit6_3_b	UNSAT	508.77
klieber2017q-096-24-eq	SAT	559.8
AR-fixpoint-8	FAIL	589.15
add5_REDUCED	SAT	597.83
fpu-10Xh-error01-uniform-depth-20	FAIL	610.65
arbiter-06-comp-error01-qbf-hardness-depth-11	UNSAT	615.17
nreachq_query54_1344n	SAT	626.32
c2_BMC_p1_k2048	FAIL	639.69
b18_PR_4_2	SAT	668.48
fpu-10Xh-error01-uniform-depth-25	FAIL	678.74
c3_BMC_p1_k256	SAT	708.39
AR-fixpoint-10	FAIL	744.25
Q_2-3_v-80-100_r-13.4	UNSAT	777.19
sortnetsort9.v.stepl.007	SAT	803.92
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp	SAT	821.53
dungeon_i25-m12-u5-v0.pddl_planlen=59	FAIL	900
c6_BMC_p2_k1024	FAIL	900
k_branch_p-19	FAIL	900
small-swap1-fixpoint-4	FAIL	900
small-equiv-fixpoint-4	FAIL	900
depots03_9	FAIL	900
ken.flash^09.C-d4	FAIL	900
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp	FAIL	900.01
add5_COMPLETE	FAIL	900.01
GuidanceService	FAIL	900.01
ceiling128	FAIL	900.01
freecell02_6	FAIL	900.01
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp	FAIL	900.01
driver_c9y.sat	FAIL	900.01
6s289rb05233_c0to63.sat	FAIL	900.01
pipesnotankage19_7	FAIL	900.01
bs128n.sat	FAIL	900.01
pipesnotankage18_7	FAIL	900.01
mult_bool_matrix_17_17_17.sat	FAIL	900.01
dungeon_i15-m7-u4-v0.pddl_planlen=81	FAIL	900.01
amba2f9n.sat	FAIL	900.01
adder-14-sat	FAIL	900.01
b21_C_3_206	FAIL	900.01
dungeon_i25-m12-u3-v0.pddl_planlen=125	FAIL	900.01
dungeon_i25-m12-u5-v0.pddl_planlen=198	FAIL	900.01
driver_a9n.sat	FAIL	900.01
gttt_1_1_000111_4x4_torus_w	FAIL	900.01
ttt_5x5-shape-0-GTTT-1-1-torus-1	FAIL	900.01
s15850_PR_0_50	FAIL	900.01
hex_rand_6x6-20m-6	FAIL	900.01
ttt_5x5-shape-1-GTTT-1-2-torus-1	FAIL	900.01
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#20.asp	FAIL	900.01
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#18.asp	FAIL	900.01
arbiter-06-comp-error01-qbf-hardness-depth-15	FAIL	900.01
k_branch_p-10	FAIL	900.01
c1_Debug_s3_f2_e1_v1	FAIL	900.01
sortnetsort10.AE.stepl.005	FAIL	900.01
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	FAIL	900.01
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	900.01
test4_quant_squaring2	FAIL	900.01
small-equiv-fixpoint-1	FAIL	900.01
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	900.01
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	FAIL	900.01
c1_BMC_p2_k1024	FAIL	900.01
k_branch_p-21	FAIL	900.01
Adder2-16-c	FAIL	900.01
c6_BMC_p1_k2048	FAIL	900.01
k_branch_n-20	FAIL	900.01
ken.oop^2.C-d4	FAIL	900.01
sortnetsort9.AE.stepl.009	FAIL	900.01
ken.oop^2.C-d3	FAIL	900.01
ActivityService	FAIL	900.02
Q_2-3_v-80-100_r-13.9	FAIL	900.02
IterationService	FAIL	900.02
cycle_sched_6_7_1.sat	FAIL	900.02
sortnetsort10.v.stepl.005	FAIL	900.02
freecell02_4	FAIL	900.02
mult_bool_matrix_17_17_17.unsat	FAIL	900.02
Q_2-3_v-80-100_r-11.3	FAIL	900.02
load_full_4_comp3_REAL.unsat	FAIL	900.02
ltl2dba_C2-6_comp3_REAL.sat	FAIL	900.02
Q_2-3_v-80-100_r-11.8	FAIL	900.02
kenflashp12	FAIL	900.02
pipesnotankage17_7	FAIL	900.02
pipesnotankage16_10	FAIL	900.02
arbiter-09-comp-error01-qbf-hardness-depth-21	FAIL	900.02
c1_BMC_p2_k2048	FAIL	900.02
add6_COMPLETE	FAIL	900.02
c4_Debug_s5_f2_e2_v2	FAIL	900.02
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	900.02
depots16_5	FAIL	900.02
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.02
depots09_11	FAIL	900.02
gttt_2_2_000111_4x4_w	FAIL	900.02
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.02
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	900.02
dungeon_i25-m12-u5-v0.pddl_planlen=143	FAIL	900.02
stmt21_319_418	FAIL	900.02
eijk.bs1512.S-f4	FAIL	900.02
ken.flash^05.C-d3	FAIL	900.02
test4_quant_squaring4	FAIL	900.02
kmdf_osrusbfx2_exe_dump.c	FAIL	900.02
adder-12-sat	FAIL	900.02
small-swap1-fixpoint-10	FAIL	900.02
ttt_5x5-shape-1-GTTT-1-2-torus-0	FAIL	900.02
load_2c_comp_comp7_REAL.sat	FAIL	900.02
mult_bool_matrix_12_13_11.sat	FAIL	900.02
dungeon_i25-m12-u3-v0.pddl_planlen=130	FAIL	900.02
mult_bool_matrix_18_18_18.sat	FAIL	900.02
add20y.sat	FAIL	900.02
filesys_fastfat_cachesup.c	FAIL	900.02
Adder2-8-s	FAIL	900.02
k_ph_p-12	FAIL	900.02
NotificationServiceImpl2	FAIL	900.02
dungeon_i25-m12-u5-v0.pddl_planlen=170	FAIL	900.02
ttt_5x5-shape-1-GTTT-1-1-torus-0	FAIL	900.02
Core1108_tbm_21.tex.module.000030	FAIL	900.02
gttt_1_1_00101121_4x4_torus_w	FAIL	900.02
pdtpmsrotate32	FAIL	900.02
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	900.02
driver_a10y.sat	FAIL	900.02
network_ndis_coisdn_TpiParam.c	FAIL	900.02
adder-12-unsat	FAIL	900.02
Adder2-8-c	FAIL	900.02
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	900.03
test3_quant_squaring4	FAIL	900.03
hex_rand_6x6-20m-0	FAIL	900.03
hex_rand_6x6-20m-8	FAIL	900.03
Adder2-14-s	FAIL	900.03
pipesnotankage19_9	FAIL	900.03
cycle_sched_12_2_1.sat	FAIL	900.03
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	900.03
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.03
gttt_2_1_001020_4x4_torus_w	FAIL	900.03
k_ph_p-15	FAIL	900.03
beemldelec4b1_c0to127.sat	FAIL	900.03
GuidanceService2	FAIL	900.03
driver_b8n.sat	FAIL	900.03
ltl2dpa_C26_comp2_REAL.sat	FAIL	900.03
mult_bool_matrix_10_9_11.unsat	FAIL	900.03
eijk.S713.S-f2	FAIL	900.03
amba3b5y.sat	FAIL	900.03
genbuf9b4n.sat	FAIL	900.03
driver_d9y.sat	FAIL	900.03
gttt_2_2_000111_4x4_b	FAIL	900.03
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	900.03
ttt_5x5-shape-1-GTTT-2-1-torus-1	FAIL	900.03
hex_rand_6x6-20m-2	FAIL	900.03
mult9.sat	FAIL	900.03
pdtpmsmiim	FAIL	900.03
amba4b9y.unsat	FAIL	900.03
oski3ub5i_c0to63.sat	FAIL	900.03
ConcreteActivityService	FAIL	900.03
depots09_13	FAIL	900.03
Q_2-3_v-80-100_r-13.1	FAIL	900.03
gttt_2_1_00102030_4x4_torus_b	FAIL	900.03
depots13_9	FAIL	900.03
Q_2-3_v-80-100_r-11.6	FAIL	900.03
Q_2-3_v-80-100_r-13.3	FAIL	900.03
Q_2-3_v-80-100_r-11.5	FAIL	900.03
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	FAIL	900.03
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	900.03
dungeon_i25-m12-u3-v0.pddl_planlen=146	FAIL	900.03
freecell03_5	FAIL	900.03
pipesnotankage17_5	FAIL	900.03
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	900.03
driverlog10_6	FAIL	900.03
Q_2-3_v-80-100_r-13.5	FAIL	900.03
dungeon_i25-m12-u3-v0.pddl_planlen=165	FAIL	900.03
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	900.03
Q_2-3_v-80-100_r-11.2	FAIL	900.03
dungeon_i25-m12-u3-v0.pddl_planlen=72	FAIL	900.03
dungeon_i15-m7-u4-v0.pddl_planlen=168	FAIL	900.04
UserServiceImpl	FAIL	900.04
ActivityService2	FAIL	900.04
hex_hein_4x4_06	FAIL	900.04
decomposition256	FAIL	900.04
hex_hein_4x4_07	FAIL	900.04
hex_hein_4x4_12	FAIL	900.04
dungeon_i25-m12-u3-v0.pddl_planlen=190	FAIL	900.04
Adder2-16-s	FAIL	900.04
Q_2-3_v-80-100_r-13.6	FAIL	900.04
cycle_sched_6_6_2.sat	FAIL	900.04
ken.flash^08.C-d4	FAIL	900.04
small-equiv-fixpoint-8	FAIL	900.04
beemskbn1f1_c0to7.sat	FAIL	900.04
Q_2-3_v-80-100_r-11.0	FAIL	900.04
IssueServiceImpl	FAIL	900.04
eijkbs3330	FAIL	900.04
k_branch_p-11	FAIL	900.04
eijk.S1196.S-f2	FAIL	900.04
ken.flash^11.C-f3	FAIL	900.04
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	900.04
Q_2-3_v-80-100_r-11.7	FAIL	900.04
cycle_sched_4_4_2.sat	FAIL	900.04
k_branch_p-12	FAIL	900.04
pipesnotankage13_5	FAIL	900.04
freecell03_7	FAIL	900.04
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	900.04
filesys_fastfat_write.c	FAIL	900.04
c4_Debug_s3_f2_e2_v2	FAIL	900.04
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#13.asp	FAIL	900.04
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#17.asp	FAIL	900.04
query10_query36_1344	FAIL	900.04
reachqu_query71_1344n	FAIL	900.04
c2_Debug_s3_f2_e1_v3	FAIL	900.04
kernel_agplib_intrface.c	FAIL	900.04
depots07_8	FAIL	900.04
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	900.04
pipesnotankage15_10	FAIL	900.04
c6_BMC_p1_k1024	FAIL	900.04
gttt_2_2_000111_4x4_torus_b	FAIL	900.04
ttt_5x5-shape-0-GTTT-2-1-torus-0	FAIL	900.04
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#19.asp	FAIL	900.05
cycle_sched_2_10_1.sat	FAIL	900.05
arbiter-10-comp-error01-qbf-hardness-depth-24	FAIL	900.05
driver_c9n.sat	FAIL	900.05
decomposition128	FAIL	900.05
c4_Debug_s5_f2_e1_v3	FAIL	900.05
add5_CHOOSE	FAIL	900.05
ceiling256	FAIL	900.05
intermediate256	FAIL	900.05
c4_Debug_s5_f2_e2_v3	FAIL	900.05
arbiter-10-comp-error01-qbf-hardness-depth-23	FAIL	900.05
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#20.asp	FAIL	900.05
small-swap1-fixpoint-6	FAIL	900.05
ltl2dba_C2-8_comp4_REAL.sat	FAIL	900.05
Q_2-3_v-80-100_r-11.1	FAIL	900.05
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp	FAIL	900.05
Q_2-3_v-80-100_r-11.4	FAIL	900.05
neclaftp2002	FAIL	900.05
pipesnotankage18_8	FAIL	900.05
hex_rand_6x6-20m-5	FAIL	900.05
gttt_2_2_000111_4x4_torus_w	FAIL	900.05
Q_2-3_v-80-100_r-13.7	FAIL	900.05
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	900.05
hex_rand_6x6-20m-4	FAIL	900.05
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	FAIL	900.05
neclaftp4001	FAIL	900.05
eijkbs4863	FAIL	900.05
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.05
sortnetsort9.v.stepl.005	FAIL	900.05
dungeon_i25-m12-u5-v0.pddl_planlen=197	FAIL	900.05
dungeon_i25-m12-u5-v0.pddl_planlen=199	FAIL	900.05
c4_Debug_s3_f2_e2_v3	FAIL	900.05
dungeon_i25-m12-u5-v0.pddl_planlen=200	FAIL	900.05
gttt_2_1_00011020_4x4_b	FAIL	900.05
pipesnotankage14_10	FAIL	900.05
c1_Debug_s5_f1_e1_v2	FAIL	900.05
stay24n.sat	FAIL	900.05
ttt_5x5-shape-1-GTTT-2-2-torus-0	FAIL	900.05
small-equiv-fixpoint-5	FAIL	900.06
k_branch_n-17	FAIL	900.06
k_branch_n-21	FAIL	900.06
ttt_5x5-shape-0-GTTT-2-1-torus-1	FAIL	900.06
dungeon_i25-m12-u5-v0.pddl_planlen=65	FAIL	900.06
k_branch_n-12	FAIL	900.06
ttt_5x5-shape-1-GTTT-1-1-torus-1	FAIL	900.06
k_branch_p-16	FAIL	900.06
small-swap1-fixpoint-7	FAIL	900.06
hex_rand_6x6-20m-3	FAIL	900.06
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#10.asp	FAIL	900.06
k_branch_p-14	FAIL	900.06
mult_bool_matrix_dyn_9_5.sat	FAIL	900.06
filesys_fastfat_allocsup.c	FAIL	900.06
k_branch_n-10	FAIL	900.06
pipesnotankage11_8	FAIL	900.06
sortnetsort9.AE.stepl.008	FAIL	900.06
cycle_sched_4_7_1.sat	FAIL	900.06
dungeon_i25-m12-u5-v0.pddl_planlen=128	FAIL	900.06
Q_2-3_v-80-100_r-11.9	FAIL	900.06
dungeon_i25-m12-u5-v0.pddl_planlen=86	FAIL	900.06
dungeon_i25-m12-u5-v0.pddl_planlen=92	FAIL	900.06
depots08_6	FAIL	900.06
depots09_12	FAIL	900.06
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	FAIL	900.06
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp	FAIL	900.06
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	900.06
c2_Debug_s3_f1_e1_v2	FAIL	900.06
Q_2-3_v-80-100_r-13.2	FAIL	900.07
sortnetsort9.AE.stepl.007	FAIL	900.07
c1_Debug_s3_f2_e1_v2	FAIL	900.07
hex_rand_6x6-20m-1	FAIL	900.07
Q_2-3_v-80-100_r-13.8	FAIL	900.07
intermediate128	FAIL	900.07
b20_C_3_2	FAIL	900.07
hex_hein_4x4_09	FAIL	900.07
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#18.asp	FAIL	900.07
ttt_5x5-shape-1-GTTT-2-1-torus-0	FAIL	900.07
oski3ub5i_c0to511.sat	FAIL	900.07
ttt_5x5-shape-0-GTTT-1-1-torus-0	FAIL	900.07
floor128	FAIL	900.07
k_branch_p-18	FAIL	900.07
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	FAIL	900.07
k_ph_p-13	FAIL	900.07
bs128y.sat	FAIL	900.07
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	900.07
Umbrella_tbm_05.tex.module.000039	FAIL	900.07
bobtuint31neg	FAIL	900.07
dungeon_i25-m12-u5-v0.pddl_planlen=81	FAIL	900.08
dungeon_i25-m12-u5-v0.pddl_planlen=98	FAIL	900.08
small-swap1-fixpoint-9	FAIL	900.08
kmdf_osrusbfx2_exe_testapp.c	FAIL	900.08
reachqu_query71_1344	FAIL	900.08
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	900.08
arbiter-09-comp-error01-qbf-hardness-depth-15	FAIL	900.08
adder-10-sat	FAIL	900.08
freecell03_6	FAIL	900.08
small-equiv-fixpoint-2	FAIL	900.08
amba2c7n.sat	FAIL	900.08
cycle_sched_6_7_1.unsat	FAIL	900.08
small-swap1-fixpoint-8	FAIL	900.08
gttt_1_1_000111_4x4_torus_b	FAIL	900.08
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	FAIL	900.08
pipesnotankage17_6	FAIL	900.08
cycle_sched_4_7_1.unsat	FAIL	900.08
Core1108_tbm_21.tex.module.000008	FAIL	900.08
sortnetsort10.AE.stepl.008	FAIL	900.08
add6_CHOOSE	FAIL	900.08
mult_bool_matrix_10_9_11.sat	FAIL	900.08
Adder2-10-s	FAIL	900.08
k_branch_n-11	FAIL	900.08
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#16.asp	FAIL	900.09
oski3ub5i_c0to255.sat	FAIL	900.09
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	900.09
PhaseService	FAIL	900.09
floor256	FAIL	900.09
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	900.09
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	FAIL	900.09
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	900.09
kmdf_usbsamp_sys_queue.c	FAIL	900.09
hex_rand_6x6-20m-9	FAIL	900.09
small-swap1-fixpoint-5	FAIL	900.09
small-equiv-fixpoint-3	FAIL	900.09
test1_quant_squaring2	FAIL	900.1
test1_quant_squaring3	FAIL	900.1
k_ph_p-14	FAIL	900.1
kenflashp04	FAIL	900.1
Q_2-3_v-80-100_r-13.0	FAIL	900.1
test5_quant_squaring5	FAIL	900.1
add6_REDUCED	FAIL	900.1
hex_rand_6x6-20m-7	FAIL	900.11
c1_BMC_p1_k2048	FAIL	900.11

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by GhostQ___cegar_pcnf_2019
QBFEVAL'19 - Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by GhostQ___cegar_pcnf_2019 QBFEVAL'19 - Prenex CNF Track

Instances solved by GhostQ___cegar_pcnf_2019
QBFEVAL'19 - Prenex CNF Track