Instances solved by <a href='solver_detail.php?solver=332'>GhostQ___cegar_pcnf

Instances solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track

Instance	Result	Time
stmt124_966_965	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
falsequ_query71_1344	SAT	0
falsequ_query71_1344n	UNSAT	0
falsequ_query64_1344	SAT	0
falsequ_query64_1344n	UNSAT	0
stmt41_262_275	SAT	0
axquery_query64_1344n	UNSAT	0
exquery_query64_1344n	UNSAT	0
axquery_query71_1344n	UNSAT	0
exquery_query64_1344	SAT	0
falsequ_query60_1344n	UNSAT	0
stmt16_818_819	SAT	0
stmt9_445_446	SAT	0.22
test5_quant7	SAT	0.23
stmt5_731_730	SAT	0.24
stmt44_554_604	SAT	0.29
exquery_query71_1344	SAT	0.3
nxquery_query71_1344	SAT	0.3
exquery_query71_1344n	UNSAT	0.31
nxquery_query71_1344n	UNSAT	0.31
axquery_query71_1344	SAT	0.31
axquery_query64_1344	SAT	0.35
exquery_query42_1344n	UNSAT	0.37
nxquery_query42_1344n	UNSAT	0.37
axquery_query42_1344n	UNSAT	0.37
small-synabs-fixpoint-3	UNSAT	0.37
nxquery_query64_1344n	UNSAT	0.38
irst.dme6.B-d4	SAT	0.47
cmu.dme1.B-f3	SAT	0.52
small-pipeline-fixpoint-1	UNSAT	0.61
stmt1_79_80	SAT	0.71
stmt25_52_53	SAT	0.72
eequery_query64_1344n	SAT	0.75
stmt27_93_98	SAT	0.81
s01423_PR_4_90	UNSAT	0.81
eijk.bs3330.S-d3	SAT	0.85
stmt41_160_235	UNSAT	0.86
s01423_PR_4_75	UNSAT	0.86
itc-b13-fixpoint-2	UNSAT	0.89
eequery_query71_1344n	SAT	0.94
unit9_2_b	SAT	0.96
cache-coherence-3-fixpoint-1	UNSAT	1.13
trivial_query60_1344n	UNSAT	1.17
trivial_query71_1344	SAT	1.2
stmt19_83_412	UNSAT	1.2
ntrivil_query71_1344	SAT	1.21
eequery_query64_1344	UNSAT	1.21
trivial_query71_1344n	UNSAT	1.21
ntrivil_query71_1344n	UNSAT	1.22
stmt21_181_369	UNSAT	1.23
trivial_query64_1344	SAT	1.27
small-synabs-fixpoint-10	UNSAT	1.27
ntrivil_query64_1344	SAT	1.32
stmt29_226_376	UNSAT	1.36
ntrivil_query64_1344n	UNSAT	1.42
trivial_query64_1344n	UNSAT	1.45
ethernet-fixpoint-1	UNSAT	1.48
cmu.dme2.B-f3	SAT	1.5
sdlx-fixpoint-3	UNSAT	1.51
ntrivil_query42_1344n	UNSAT	1.54
vis.prodcell^01.E-d4	SAT	1.65
cache-coherence-2-fixpoint-2	UNSAT	1.75
itc-b13-fixpoint-3	SAT	1.8
small-pipeline-fixpoint-2	UNSAT	1.98
cmu.gigamax.B-d4	SAT	2.16
sdlx-fixpoint-4	UNSAT	2.32
nxquery_query50_1344n	SAT	2.4
s05378_PR_5_2	SAT	2.48
cache-coherence-3-fixpoint-2	UNSAT	2.58
texas.PI_main^08.E-f3	SAT	2.7
itc-b13-fixpoint-4	SAT	2.83
stmt19_313_412	UNSAT	2.92
usb-phy-fixpoint-3	UNSAT	2.92
unit11_3_b	UNSAT	2.98
texas.PI_main^05.E-f3	SAT	3.04
sdlx-fixpoint-5	UNSAT	3.05
nusmv.tcas^2.B-f2	SAT	3.08
nusmv.tcas^3.B-f2	SAT	3.18
small-pipeline-fixpoint-3	UNSAT	3.37
W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003	UNSAT	3.38
nusmv.reactor^3.C-d4	SAT	3.43
s05378_PR_5_20	SAT	3.47
itc-b13-fixpoint-5	SAT	3.55
cache-coherence-2-fixpoint-4	UNSAT	3.71
cache-coherence-3-fixpoint-3	UNSAT	3.99
p20-1.pddl_planlen=48	SAT	4.19
itc-b13-fixpoint-8	SAT	4.2
stmt21_310_360	UNSAT	4.27
k_ph_n-11	SAT	4.46
incrementer-enc09-nonuniform-depth-15	UNSAT	4.76
p20-1.pddl_planlen=49	SAT	4.76
cache-coherence-2-fixpoint-5	UNSAT	4.77
usb-phy-fixpoint-4	UNSAT	4.9
b21_PR_8_20	SAT	5.4
small-seq-fixpoint-3	UNSAT	5.59
sdlx-fixpoint-6	UNSAT	5.62
cache-coherence-2-fixpoint-6	UNSAT	5.74
nusmv.tcas^4.B-f3	SAT	5.9
stmt2_976_999	SAT	5.99
rankfunc19_signed_64	SAT	6.19
rankfunc19_unsigned_64	SAT	6.27
nusmv.tcas-t^1.B-d2	SAT	6.3
incrementer-enc09-uniform-depth-17	SAT	6.59
itc-b13-fixpoint-6	SAT	6.89
incrementer-enc07-nonuniform-depth-25	UNSAT	6.9
s820_d10_s	SAT	6.95
itc-b13-fixpoint-10	SAT	7.16
usb-phy-fixpoint-5	UNSAT	7.19
s38584_PR_9_50	SAT	7.21
incrementer-enc08-nonuniform-depth-32	UNSAT	7.34
pi-bus-fixpoint-1	UNSAT	7.51
nusmv.tcas^6.B-f4	SAT	7.8
rankfunc42_signed_64	SAT	7.9
ethernet-fixpoint-2	UNSAT	8.21
s38584_PR_9_5	SAT	8.25
sdlx-fixpoint-7	SAT	8.39
s820_d11_u	UNSAT	8.56
p10-5.pddl_planlen=24	SAT	8.72
p10-5.pddl_planlen=25	SAT	9.02
incrementer-enc07-uniform-depth-25	UNSAT	9.2
b20_PR_7_20	SAT	9.21
eijk.bs4863.S-d4	SAT	9.3
incrementer-enc08-uniform-depth-33	SAT	9.79
rankfunc18_unsigned_64	SAT	10
sdlx-fixpoint-8	SAT	10.06
incrementer-enc06-uniform-depth-24	UNSAT	10.58
small-seq-fixpoint-5	UNSAT	10.65
arbiter-05-comp-error01-qbf-hardness-depth-8	UNSAT	10.69
rankfunc21_unsigned_64	SAT	10.86
incrementer-enc06-nonuniform-depth-33	SAT	11.38
tlc05-uniform-depth-40	UNSAT	11.44
sdlx-fixpoint-9	SAT	11.57
itc-b13-fixpoint-7	SAT	11.83
rankfunc21_signed_64	SAT	12.6
itc-b13-fixpoint-9	SAT	12.77
s09234_PR_7_20	SAT	13.45
tlc05-uniform-depth-45	UNSAT	13.9
sdlx-fixpoint-10	SAT	13.93
small-seq-fixpoint-7	UNSAT	15.95
ethernet-fixpoint-3	UNSAT	16.01
W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003	UNSAT	16.51
tlc05-uniform-depth-50	UNSAT	16.6
rankfunc3_unsigned_64	SAT	16.97
rankfunc30_signed_64	SAT	17.29
rankfunc30_unsigned_64	SAT	17.46
small-seq-fixpoint-8	UNSAT	18.33
W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001	UNSAT	18.64
rankfunc3_signed_64	SAT	18.69
s09234_PR_7_2	SAT	19.39
pi-bus-fixpoint-2	UNSAT	19.83
query64_query11_1344n	SAT	19.96
tlc05-uniform-depth-55	UNSAT	20.31
stmt52_295_394	UNSAT	20.96
small-seq-fixpoint-9	UNSAT	21.04
small-seq-fixpoint-10	UNSAT	23.15
tlc05-uniform-depth-60	UNSAT	23.33
p10-10.pddl_planlen=19	SAT	24.06
p10-10.pddl_planlen=20	SAT	24.57
incrementer-enc02-uniform-depth-58	UNSAT	24.61
sortnetsort9.AE.stepl.012	UNSAT	26.29
b14_PR_1_50	SAT	26.7
tlc05-uniform-depth-65	UNSAT	27.29
b22_PR_8_20	SAT	27.68
AR-fixpoint-1	FAIL	28.78
pi-bus-fixpoint-3	UNSAT	29.56
incrementer-enc02-uniform-depth-63	UNSAT	29.83
eequery_query42_1344	UNSAT	29.91
filesys_smbmrx_midatlas.c	UNSAT	30.88
tlc05-uniform-depth-70	UNSAT	31.57
eequery_query42_1344n	SAT	34.2
tlc05-uniform-depth-75	UNSAT	36.11
audio_ddksynth_csynth2.cpp	SAT	37.11
unit8_2_b	SAT	37.17
sortnetsort8.v.stepl.007	SAT	38.65
ethernet-fixpoint-4	UNSAT	40.86
tlc05-uniform-depth-80	UNSAT	41.19
unit12_2_b	SAT	42.91
tlc05-uniform-depth-85	UNSAT	46.29
load_3c_comp_comp7_REAL.unsat	UNSAT	47.9
k_ph_n-15	SAT	56.3
input_mouser_detect.c	SAT	58.04
query71_query31_1344n	SAT	58.09
b22_PR_9_90	UNSAT	59.72
szymanski-20-s	UNSAT	64.27
stmt23_72_76	SAT	72.22
b17_PR_2_50	SAT	80.71
stmt39_285_335	UNSAT	81.04
kmdf_pcidrv_sys_hw_physet.c	SAT	82.63
stmt28_68_81	SAT	90.17
stmt17_63_82	SAT	92.57
c5_BMC_p1_k32	SAT	105.11
stmt23_66_96	SAT	110.1
query71_query36_1344n	UNSAT	110.15
stmt17_86_98	SAT	110.18
nreachq_query11_1344n	UNSAT	113.5
stmt17_62_98	SAT	115.15
szymanski-24-s	UNSAT	118.57
stmt17_82_98	SAT	119.67
stmt19_64_99	SAT	120.43
nreachq_query71_1344n	UNSAT	129.88
network_trans_sys_notify.c	UNSAT	135.37
reachqu_query60_1344n	UNSAT	142.04
stmt17_70_90	SAT	142.51
reachqu_query60_1344	SAT	143.48
stmt32_329_378	UNSAT	159.41
s15850_PR_6_10	SAT	167.15
stmt17_70_98	SAT	170.99
query64_query42_1344n	SAT	184.29
nreachq_query71_1344	SAT	193.8
p20-10.pddl_planlen=40	SAT	205.06
k_ph_p-11	UNSAT	205.2
fpu-10Xh-correct04-nonuniform-depth-14	UNSAT	237.69
p20-10.pddl_planlen=39	SAT	259.29
c6_BMC_p1_k512	SAT	267.26
test3_quant_squaring2	UNSAT	295.3
test3_quant2	UNSAT	307.35
fpu-01Xh-error02-nonuniform-depth-18	UNSAT	308.3
filesys_smbmrx_cvsndrcv.c	UNSAT	308.52
reachqu_query64_1344n	UNSAT	320.25
AR-fixpoint-5	FAIL	325.14
genbuf9b4n.unsat	UNSAT	340
reachqu_query64_1344	SAT	395.19
fpu-10Xh-error01-nonuniform-depth-27	SAT	397.5
fpu-01Xh-error02-nonuniform-depth-27	SAT	401.24
fpu-10Xh-correct04-nonuniform-depth-28	SAT	419.4
genbuf10b4n.unsat	UNSAT	419.92
add4_CHOOSE	SAT	534.88
unit6_3_b	UNSAT	538.61
add5_REDUCED	SAT	581.26
nreachq_query54_1344n	SAT	594.82
arbiter-06-comp-error01-qbf-hardness-depth-11	UNSAT	603.79
fpu-10Xh-correct04-uniform-depth-18	UNSAT	604.43
fpu-10Xh-error01-uniform-depth-20	FAIL	624.61
fpu-01Xh-error02-uniform-depth-24	FAIL	642.04
k_ph_n-19	SAT	642.93
c2_BMC_p1_k2048	FAIL	644.66
b18_PR_4_2	SAT	681.4
fpu-10Xh-error01-uniform-depth-25	FAIL	690.71
fpu-10Xh-correct04-uniform-depth-28	FAIL	694.26
c3_BMC_p1_k256	SAT	703.01
sortnetsort9.v.stepl.007	SAT	804.3
k_ph_n-18	SAT	811.61
decomposition256	FAIL	900
eijkbs4863	FAIL	900
intermediate128	FAIL	900
equalization32	FAIL	900
ev-pr-6x6-11-5-0-1-2-s	FAIL	900
C6288.blif_0.10_0.20_0_0_out_exact	FAIL	900
floor256	FAIL	900
adder-10-sat	FAIL	900
ceiling128	FAIL	900
k_branch_p-16	FAIL	900
k_ph_n-20	FAIL	900
bobsmfpu	FAIL	900
k_branch_n-12	FAIL	900
ev-pr-6x6-13-5-0-1-2-s	FAIL	900
s3330_d9_s	FAIL	900
k_branch_p-21	FAIL	900
Adder2-16-s	FAIL	900
ev-pr-6x6-19-5-0-1-2-s	FAIL	900
Adder2-8-c	FAIL	900
k_branch_n-21	FAIL	900
nreachq_query54_1344	FAIL	900
C6288.blif_0.10_1.00_0_0_inp_exact	FAIL	900
C5315.blif_0.10_0.20_0_1_out_exact	FAIL	900
test5_quant_squaring5	FAIL	900
test1_quant3	FAIL	900
ev-pr-8x8-15-7-0-1-2-lg	FAIL	900
test4_quant_squaring2	FAIL	900
adder-12-unsat	FAIL	900
Adder2-10-s	FAIL	900
ev-pr-6x6-15-5-0-1-2-s	FAIL	900
reachqu_query71_1344	FAIL	900
C5315.blif_0.10_0.20_0_0_out_exact	FAIL	900
Adder2-14-s	FAIL	900
ev-pr-6x6-17-5-0-1-2-s	FAIL	900
s15850_PR_0_50	FAIL	900
Adder2-16-c	FAIL	900
ev-pr-6x6-19-5-0-1-2-lg	FAIL	900
test2_quant_squaring2	FAIL	900
C6288.blif_0.10_0.20_0_0_inp_exact	FAIL	900
test2_quant_squaring3	FAIL	900
s1269_d10_s	FAIL	900
ev-pr-8x8-19-7-0-1-2-lg	FAIL	900
C6288.blif_0.10_0.20_0_1_out_exact	FAIL	900
k_branch_n-20	FAIL	900
test4_quant4	FAIL	900
s3330_d10_u	FAIL	900
test2_quant3	FAIL	900
k_ph_p-20	FAIL	900
C6288.blif_0.10_0.20_0_1_inp_exact	FAIL	900
C5315.blif_0.10_0.20_0_0_inp_exact	FAIL	900
gttt_2_2_000111_4x4_w_2020	FAIL	900
driver_c9y.sat	FAIL	900
driver_c9n.sat	FAIL	900
driver_b8n.sat	FAIL	900
driver_a10y.sat	FAIL	900
cycle_sched_6_6_2.sat	FAIL	900
cycle_sched_4_4_2.sat	FAIL	900
cycle_sched_2_10_1.sat	FAIL	900
cycle_sched_12_2_1.sat	FAIL	900
amba3b5y.sat	FAIL	900
amba2c7n.sat	FAIL	900
NotificationServiceImpl2	FAIL	900
PhaseService	FAIL	900
LoginService	FAIL	900
GuidanceService2	FAIL	900
GuidanceService	FAIL	900
IterationService	FAIL	900
IssueServiceImpl	FAIL	900
beemskbn1f1_c0to7.sat	FAIL	900
load_2c_comp_comp7_REAL.sat	FAIL	900
gttt_2_2_000111_4x4_torus_w_2020	FAIL	900
gttt_2_2_000111_4x4_torus_b_2020	FAIL	900
gttt_2_2_000111_4x4_b_2020	FAIL	900
gttt_2_1_001020_4x4_torus_w_2020	FAIL	900
gttt_2_1_00102030_4x4_torus_b_2020	FAIL	900
gttt_2_1_00011020_4x4_b_2020	FAIL	900
gttt_1_1_00101121_4x4_torus_w_2020	FAIL	900
gttt_1_1_000111_4x4_torus_w_2020	FAIL	900
gttt_1_1_000111_4x4_torus_b_2020	FAIL	900
mult9.sat	FAIL	900
bs128y.sat	FAIL	900
bs128n.sat	FAIL	900
add20y.sat	FAIL	900
mult_bool_matrix_dyn_9_5.sat	FAIL	900
mult_bool_matrix_18_18_18.sat	FAIL	900
mult_bool_matrix_12_13_11.sat	FAIL	900
ltl2dba_C2-8_comp4_REAL.sat	FAIL	900
ConcreteActivityService	FAIL	900
pdtpmsrotate32	FAIL	900
neclaftp2002	FAIL	900
mult_bool_matrix_10_9_11.sat	FAIL	900
ltl2dpa_C26_comp2_REAL.sat	FAIL	900
ltl2dba_C2-6_comp3_REAL.sat	FAIL	900
load_full_4_comp3_REAL.unsat	FAIL	900
ev-pr-6x6-17-5-0-1-2-lg	FAIL	900
beemldelec4b1_c0to127.sat	FAIL	900
driver_d9y.sat	FAIL	900
driver_a9n.sat	FAIL	900
cycle_sched_6_7_1.sat	FAIL	900
cycle_sched_4_7_1.unsat	FAIL	900
cycle_sched_4_7_1.sat	FAIL	900
amba4b9y.unsat	FAIL	900
amba2f9n.sat	FAIL	900
ProjectService3	FAIL	900
ProcessBean	FAIL	900
pdtpmsmiim	FAIL	900
neclaftp4001	FAIL	900
mult_bool_matrix_10_9_11.unsat	FAIL	900
mult_bool_matrix_17_17_17.sat	FAIL	900
kenflashp04	FAIL	900
eijkbs3330	FAIL	900
bobtuint31neg	FAIL	900
intermediate256	FAIL	900
floor128	FAIL	900
equalization128	FAIL	900
decomposition128	FAIL	900
ceiling256	FAIL	900
add6_REDUCED	FAIL	900
add5_COMPLETE	FAIL	900
add7_COMPLETE	FAIL	900
add7_CHOOSE	FAIL	900
add7_REDUCED	FAIL	900
add5_CHOOSE	FAIL	900
add6_COMPLETE	FAIL	900
add6_CHOOSE	FAIL	900
stay24n.sat	FAIL	900
kenflashp12	FAIL	900
eijk.S1196.S-f2	FAIL	900
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-010	FAIL	900
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
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
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
biu.mv.xl_ao.bb-b003-p020-IPF03-c03.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	900
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
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
biu.mv.xl_ao.bb-b003-p020-MIF02-c01.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-009	FAIL	900
network_irda_miniport_nscirda_comm.c	FAIL	900
filesys_fastfat_cachesup.c	FAIL	900
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	FAIL	900
input_pnpi8042_moudep.c	FAIL	900
network_ndis_rtlnwifi_hw_hw_ccmp.c	FAIL	900
kmdf_osrusbfx2_exe_dump.c	FAIL	900
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	FAIL	900
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	FAIL	900
biu.mv.xl_ao.bb-b003-p020-IPF02-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-007	FAIL	900
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
b20_C_3_2	FAIL	900
arbiter-10-comp-error01-qbf-hardness-depth-22	FAIL	900
arbiter-08-comp-error02-qbf-hardness-depth-9	FAIL	900
arbiter-07-comp-error01-qbf-hardness-depth-20	FAIL	900
arbiter-06-comp-error01-qbf-hardness-depth-15	FAIL	900
sortnetsort10.AE.stepl.006	FAIL	900
sortnetsort10.AE.stepl.008	FAIL	900
sortnetsort10.v.stepl.005	FAIL	900
sortnetsort9.AE.stepl.007	FAIL	900
sortnetsort9.AE.stepl.008	FAIL	900
sortnetsort9.AE.stepl.009	FAIL	900
sortnetsort9.v.stepl.005	FAIL	900
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
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
Core1108_tbm_21.tex.module.000030	FAIL	900
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
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	FAIL	900
small-swap1-fixpoint-10	FAIL	900
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	FAIL	900
c1_BMC_p1_k2048	FAIL	900
c1_BMC_p2_k1024	FAIL	900
c1_BMC_p2_k2048	FAIL	900
c6_BMC_p1_k1024	FAIL	900
c6_BMC_p1_k2048	FAIL	900
c6_BMC_p2_k1024	FAIL	900
stmt21_319_418	FAIL	900
s1269_d13_u	FAIL	900
s1269_d12_u	FAIL	900
s3330_d14_u	FAIL	900
s1269_d14_u	FAIL	900
W4-Umbrella_tbm_21.tex.moduleQ3.6S.000001	FAIL	900
W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003	FAIL	900
W5-Umbrella_tbm_26.tex.moduleQ3.7S.000003	FAIL	900
W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001	FAIL	900
Umbrella_tbm_05.tex.module.000039	FAIL	900
c4_Debug_s5_f2_e2_v1	FAIL	900
c4_Debug_s3_f2_e2_v3	FAIL	900
small-swap1-fixpoint-9	FAIL	900
small-swap1-fixpoint-5	FAIL	900
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
small-swap1-fixpoint-4	FAIL	900
biu.mv.xl_ao.bb-b003-p020-MIF04-c05.blif-biu.inv.prop.bb-bmc.with-IOC.unfold-008	FAIL	900
c1_Debug_s3_f1_e1_v1	FAIL	900
c1_Debug_s3_f2_e1_v1	FAIL	900
small-swap1-fixpoint-7	FAIL	900
c1_Debug_s3_f2_e1_v2	FAIL	900
c1_Debug_s5_f1_e1_v2	FAIL	900
c2_Debug_s3_f1_e1_v2	FAIL	900
small-swap1-fixpoint-6	FAIL	900
small-swap1-fixpoint-8	FAIL	900
c2_Debug_s3_f2_e1_v3	FAIL	900
c4_Debug_s3_f1_e2_v3	FAIL	900
c4_Debug_s3_f2_e2_v2	FAIL	900
Core1108_tbm_21.tex.module.000008	FAIL	900
b21_C_3_206	FAIL	900
Adder2-8-s	FAIL	900
freecell04_8	FAIL	900
freecell04_7	FAIL	900
freecell03_7	FAIL	900
freecell03_6	FAIL	900
freecell03_5	FAIL	900
freecell02_6	FAIL	900
freecell02_5	FAIL	900
freecell02_4	FAIL	900
freecell01_6	FAIL	900
driverlog14_9	FAIL	900
driverlog14_8	FAIL	900
driverlog13_8	FAIL	900
driverlog13_7	FAIL	900
driverlog12_9	FAIL	900
driverlog12_8	FAIL	900
driverlog11_9	FAIL	900
freecell04_9	FAIL	900
pipesnotankage15_10	FAIL	900
ev-pr-8x8-17-7-0-1-2-lg	FAIL	900
k_branch_n-11	FAIL	900
k_branch_n-17	FAIL	900
k_branch_p-14	FAIL	900
k_branch_p-18	FAIL	900
k_branch_p-19	FAIL	900
arbiter-10-comp-error01-qbf-hardness-depth-24	FAIL	900
arbiter-10-comp-error01-qbf-hardness-depth-23	FAIL	900
arbiter-09-comp-error01-qbf-hardness-depth-21	FAIL	900
arbiter-09-comp-error01-qbf-hardness-depth-15	FAIL	900
pipesnotankage19_9	FAIL	900
pipesnotankage19_7	FAIL	900
pipesnotankage17_7	FAIL	900
pipesnotankage17_6	FAIL	900
pipesnotankage17_5	FAIL	900
pipesnotankage16_10	FAIL	900
driverlog11_8	FAIL	900
driverlog10_7	FAIL	900
depots16_7	FAIL	900
p20-20.pddl_planlen=29	FAIL	900
k_ph_p-18	FAIL	900
k_ph_p-19	FAIL	900
k_ph_p-15	FAIL	900
s1269_d15_u	FAIL	900
query71_query34_1344n	FAIL	900
ken.flash^05.C-d3	FAIL	900
ken.flash^08.C-d4	FAIL	900
ken.flash^09.C-d4	FAIL	900
pipesnotankage18_8	FAIL	900
pipesnotankage18_7	FAIL	900
pipesnotankage14_10	FAIL	900
dungeon_i25-m12-u5-v0.pddl_planlen=65	FAIL	900
driverlog10_6	FAIL	900
depots03_9	FAIL	900
eijk.bs1512.S-f4	FAIL	900
p20-20.pddl_planlen=30	FAIL	900
dungeon_i25-m12-u5-v0.pddl_planlen=197	FAIL	900
depots16_5	FAIL	900
depots13_9	FAIL	900
depots10_8	FAIL	900
depots09_13	FAIL	900
depots09_12	FAIL	900
depots09_11	FAIL	900
depots08_6	FAIL	900
depots07_8	FAIL	900
dungeon_i25-m12-u5-v0.pddl_planlen=98	FAIL	900
dungeon_i25-m12-u5-v0.pddl_planlen=92	FAIL	900
dungeon_i25-m12-u5-v0.pddl_planlen=86	FAIL	900
dungeon_i25-m12-u5-v0.pddl_planlen=81	FAIL	900
dungeon_i25-m12-u5-v0.pddl_planlen=59	FAIL	900
dungeon_i25-m12-u5-v0.pddl_planlen=200	FAIL	900
dungeon_i25-m12-u5-v0.pddl_planlen=199	FAIL	900
dungeon_i25-m12-u5-v0.pddl_planlen=198	FAIL	900
b22_C_2_12	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by GhostQ___cegar_pcnf_2019 Prenex CNF Track

Instances solved by GhostQ___cegar_pcnf_2019
Prenex CNF Track