Instances solved by <a href='solver_detail.php?solver=324'>predyndep</a> <br> QBFEVAL'18

Instances solved by predyndep
QBFEVAL'18 - Prenex 2QBF Track

Instance	Result	Time
ceiling128	SAT	0
pdtpmsrotate32	SAT	0
kenflashp04	SAT	0
pdtpmsmiim	SAT	0
bobtuint31neg	SAT	0
floor128	SAT	0
decomposition128	SAT	0
rankfunc53_unsigned_64	SAT	0
decomposition256	SAT	0
floor256	SAT	0
rankfunc60_unsigned_32	SAT	0
kenflashp12	SAT	0
small-synabs-fixpoint-3	UNSAT	0
stmt25_597_598	SAT	0
stmt124_966_965	SAT	0
add20y.sat	SAT	0
stmt5_731_730	SAT	0
stmt44_554_604	SAT	0
stmt16_818_819	SAT	0
Q_2-3_v-80-100_r-13.2	UNSAT	0
stmt9_445_446	SAT	0
itc-b13-fixpoint-1	UNSAT	0
stmt41_262_275	SAT	0.4
rankfunc56_unsigned_64	SAT	0.42
rankfunc53_signed_64	SAT	0.48
Q_2-3_v-80-100_r-13.4	UNSAT	0.49
rankfunc48_unsigned_16	SAT	0.5
driver_d9y.sat	SAT	0.5
driver_c9y.sat	SAT	0.54
rankfunc56_signed_64	SAT	0.55
small-swap1-fixpoint-5	SAT	0.6
ceiling256	SAT	0.62
small-swap1-fixpoint-4	SAT	0.64
itc-b13-fixpoint-2	UNSAT	0.66
stmt1_79_80	SAT	0.71
stmt25_52_53	SAT	0.72
usb-phy-fixpoint-1	UNSAT	0.73
driver_c9n.sat	SAT	0.75
stmt27_93_98	SAT	0.77
rankfunc61_unsigned_64	SAT	0.78
eijkbs4863	SAT	0.78
rankfunc51_signed_64	SAT	0.79
rankfunc51_unsigned_64	SAT	0.8
small-swap1-fixpoint-6	SAT	0.83
small-seq-fixpoint-1	UNSAT	0.89
small-swap1-fixpoint-7	SAT	0.9
rankfunc54_signed_64	SAT	0.94
rankfunc54_unsigned_64	SAT	0.95
cycle_sched_12_2_1.sat	SAT	0.96
rankfunc52_unsigned_64	SAT	1.06
rankfunc58_unsigned_64	SAT	1.09
rankfunc61_signed_64	SAT	1.09
rankfunc58_signed_64	SAT	1.09
rankfunc52_signed_64	SAT	1.1
rankfunc55_unsigned_64	SAT	1.11
itc-b13-fixpoint-3	SAT	1.22
small-swap1-fixpoint-8	SAT	1.23
small-synabs-fixpoint-10	UNSAT	1.34
small-swap1-fixpoint-9	SAT	1.38
rankfunc59_unsigned_64	SAT	1.4
rankfunc31_signed_64	SAT	1.4
rankfunc59_signed_64	SAT	1.41
ltl2dba_C2-6_comp3_REAL.sat	SAT	1.45
rankfunc49_signed_64	SAT	1.45
rankfunc31_unsigned_64	SAT	1.46
rankfunc41_signed_64	SAT	1.47
rankfunc41_unsigned_64	SAT	1.47
rankfunc49_unsigned_64	SAT	1.53
rankfunc35_unsigned_64	SAT	1.59
mult_bool_matrix_dyn_9_5.sat	SAT	1.93
itc-b13-fixpoint-4	SAT	1.95
rankfunc2_unsigned_64	SAT	2.01
ethernet-fixpoint-1	UNSAT	2.02
driver_a10y.sat	SAT	2.05
driver_b8n.sat	SAT	2.05
rankfunc57_unsigned_64	SAT	2.05
stmt21_181_218	UNSAT	2.07
eijkbs3330	SAT	2.13
cache-coherence-3-fixpoint-1	UNSAT	2.64
usb-phy-fixpoint-2	UNSAT	2.67
driver_a9n.sat	SAT	2.74
bs128y.sat	SAT	2.74
bs128n.sat	SAT	2.77
rankfunc35_signed_64	SAT	2.89
itc-b13-fixpoint-5	SAT	2.93
ltl2dba_C2-8_comp4_REAL.sat	SAT	2.93
Q_2-3_v-80-100_r-13.0	UNSAT	2.98
rankfunc48_unsigned_64	SAT	3
Q_2-3_v-80-100_r-13.6	UNSAT	3.04
cache-coherence-2-fixpoint-2	UNSAT	3.04
Q_2-3_v-80-100_r-13.8	UNSAT	3.04
Q_2-3_v-80-100_r-13.1	UNSAT	3.05
Q_2-3_v-80-100_r-13.7	UNSAT	3.07
rankfunc48_signed_64	SAT	3.09
Q_2-3_v-80-100_r-13.3	UNSAT	3.1
Q_2-3_v-80-100_r-13.5	UNSAT	3.1
Q_2-3_v-80-100_r-13.9	UNSAT	3.13
stmt46_111_238	UNSAT	3.34
Q_2-3_v-80-100_r-11.3	UNSAT	3.35
itc-b13-fixpoint-6	SAT	3.83
stmt21_71_354	UNSAT	4.04
stmt21_70_369	UNSAT	4.17
stmt21_181_369	UNSAT	4.27
ltl2dpa_C26_comp2_REAL.sat	SAT	4.43
stmt17_63_70	SAT	4.77
stmt21_143_403	UNSAT	4.82
usb-phy-fixpoint-3	UNSAT	4.84
stmt19_66_214	UNSAT	4.86
stmt19_302_352	SAT	4.96
stmt22_320_370	SAT	5.15
ethernet-fixpoint-2	UNSAT	5.29
itc-b13-fixpoint-7	SAT	5.31
stay24n.sat	SAT	5.54
stmt21_178_258	UNSAT	5.78
stmt23_66_76	SAT	5.82
stmt85_300_399	SAT	6.27
stmt17_63_78	SAT	6.31
cycle_sched_4_4_2.sat	SAT	6.36
stmt53_208_245	UNSAT	6.37
stmt19_133_217	UNSAT	6.39
itc-b13-fixpoint-8	SAT	6.64
stmt17_63_82	SAT	6.81
stmt41_160_235	UNSAT	6.82
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp	SAT	7.28
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#1.asp	SAT	7.49
stmt19_3_401	UNSAT	7.74
stmt21_71_413	UNSAT	7.8
itc-b13-fixpoint-9	SAT	8
stmt2_976_999	SAT	8.23
cache-coherence-2-fixpoint-4	UNSAT	8.35
small-swap1-fixpoint-10	SAT	8.35
stmt21_84_364	UNSAT	8.38
stmt31_22_328	UNSAT	8.48
stmt17_74_78	SAT	8.84
cache-coherence-3-fixpoint-2	UNSAT	8.9
mult_bool_matrix_10_9_11.sat	SAT	8.96
stmt19_137_408	UNSAT	9.41
itc-b13-fixpoint-10	SAT	9.56
stmt28_68_69	SAT	9.78
stmt19_64_99	SAT	9.88
stmt28_73_85	SAT	10.07
stmt19_79_83	SAT	10.45
stmt27_149_224	UNSAT	10.54
stmt17_62_98	SAT	10.84
stmt19_83_412	UNSAT	10.89
stmt31_190_227	UNSAT	10.91
stmt19_79_87	SAT	11.01
stmt29_226_376	UNSAT	11.09
stmt28_68_81	SAT	11.18
stmt22_311_370	UNSAT	11.25
cache-coherence-2-fixpoint-5	UNSAT	11.27
cache-coherence-3-fixpoint-3	UNSAT	11.59
ethernet-fixpoint-3	UNSAT	12.08
stmt19_64_91	SAT	12.12
stmt17_70_82	SAT	12.18
stmt27_16_224	UNSAT	12.22
stmt23_66_96	SAT	12.35
stmt19_83_91	SAT	12.37
stmt23_67_92	SAT	12.4
stmt17_70_78	SAT	12.63
intermediate128	SAT	12.67
stmt28_73_97	SAT	12.85
stmt19_352_359	UNSAT	12.88
stmt17_74_90	SAT	13.2
stmt17_70_90	SAT	13.32
stmt19_90_408	UNSAT	13.52
stmt19_368_417	SAT	13.68
stmt17_82_94	SAT	14.21
stmt19_65_87	SAT	14.36
small-pipeline-fixpoint-1	UNSAT	14.4
stmt19_75_83	SAT	14.7
load_2c_comp_comp7_REAL.sat	SAT	14.73
cache-coherence-2-fixpoint-6	UNSAT	14.81
stmt17_86_98	SAT	15.36
stmt28_68_73	SAT	15.61
stmt19_71_95	SAT	15.61
stmt17_78_90	SAT	16.37
stmt17_78_94	SAT	16.68
stmt17_94_98	SAT	16.86
trivial_query42_1344n	UNSAT	16.9
stmt23_66_67	SAT	16.93
stmt21_319_418	SAT	17.16
stmt22_6_414	UNSAT	17.21
nxquery_query50_1344n	SAT	17.23
stmt17_82_98	SAT	18.38
pi-bus-fixpoint-1	UNSAT	18.92
stmt21_354_403	SAT	19.65
stmt28_89_97	SAT	21.06
stmt44_40_387	UNSAT	22.63
Q_2-3_v-80-100_r-11.4	UNSAT	23.34
mult_bool_matrix_12_13_11.sat	SAT	25.11
stmt17_82_86	SAT	25.58
Q_2-3_v-80-100_r-11.6	UNSAT	33.69
query07_query42_1344n	UNSAT	34.95
small-seq-fixpoint-2	UNSAT	37.41
small-equiv-fixpoint-1	SAT	40.51
ethernet-fixpoint-4	UNSAT	41.79
query26_query42_1344n	UNSAT	43.31
stmt17_62_78	SAT	43.35
stmt17_70_86	SAT	45.81
stmt23_72_76	SAT	45.87
ntrivil_query42_1344n	UNSAT	45.95
cycle_sched_6_6_2.sat	SAT	47.06
stmt19_65_95	SAT	47.28
intermediate256	SAT	48.22
stmt17_70_98	SAT	51.06
stmt17_78_98	SAT	61.96
amba2c7n.sat	SAT	62.87
stmt19_87_95	SAT	64.66
mult_bool_matrix_17_17_17.sat	SAT	75.75
mult_bool_matrix_18_18_18.sat	SAT	79.78
stmt46_289_388	UNSAT	93.84
usb-phy-fixpoint-4	UNSAT	98.8
amba2f9n.sat	SAT	100.1
small-seq-fixpoint-3	UNSAT	109.32
stmt19_75_95	SAT	111.78
query03_query42_1344n	UNSAT	120.03
small-seq-fixpoint-4	UNSAT	123.47
stmt23_88_92	SAT	126.82
Q_2-3_v-80-100_r-11.2	UNSAT	129.47
sdlx-fixpoint-3	UNSAT	130.36
small-seq-fixpoint-5	UNSAT	130.95
stmt23_92_96	SAT	131.54
mult9.sat	SAT	134.66
usb-phy-fixpoint-5	UNSAT	136.51
query31_query50_1344n	SAT	147.97
small-seq-fixpoint-6	UNSAT	151.83
stmt53_296_346	UNSAT	154.63
sortnetsort8.AE.stepl.006	UNSAT	164.21
sortnetsort10.AE.stepl.004	SAT	166.16
beemskbn1f1_c0to7.sat	SAT	170.01
nxquery_query42_1344n	UNSAT	170.13
small-equiv-fixpoint-2	SAT	171.5
query04_query25_1344n	SAT	178.59
sdlx-fixpoint-4	UNSAT	197.11
small-seq-fixpoint-7	UNSAT	207.85
cycle_sched_2_10_1.sat	SAT	209.45
small-seq-fixpoint-8	UNSAT	219.38
sortnetsort7.AE.stepl.005	SAT	244.79
stmt19_313_412	UNSAT	245.58
sortnetsort9.AE.stepl.011	UNSAT	252.13
sortnetsort10.AE.stepl.009	UNSAT	263.65
sortnetsort9.AE.stepl.008	UNSAT	264.08
sortnetsort9.AE.stepl.012	UNSAT	265.13
sdlx-fixpoint-5	UNSAT	281.92
sortnetsort8.AE.stepl.009	UNSAT	283.52
sortnetsort9.AE.stepl.007	UNSAT	296.34
sortnetsort8.AE.stepl.008	UNSAT	296.86
stmt47_340_389	UNSAT	315
small-equiv-fixpoint-4	SAT	319.74
query27_query42_1344n	UNSAT	338.98
stmt41_286_385	UNSAT	370.58
amba3b5y.sat	SAT	403.31
query21_query42_1344n	UNSAT	444.94
sortnetsort10.AE.stepl.010	UNSAT	471.63
stmt52_295_394	UNSAT	472.13
Q_2-3_v-80-100_r-11.0	UNSAT	521.3
sdlx-fixpoint-6	UNSAT	572.74
sortnetsort10.AE.stepl.005	SAT	574.71
sortnetsort10.AE.stepl.012	UNSAT	677.08
stmt50_343_392	UNSAT	722.55
query51_query42_1344n	FAIL	900
query48_query42_1344n	FAIL	900
query54_query42_1344n	FAIL	900
query45_query42_1344n	FAIL	900
sortnetsort9.AE.stepl.009	FAIL	900
query33_query42_1344n	FAIL	900
small-pipeline-fixpoint-3	FAIL	900
query33_query45_1344n	FAIL	900
Q_2-3_v-80-100_r-11.8	FAIL	900.01
sortnetsort7.AE.stepl.006	FAIL	900.01
query51_query57_1344n	FAIL	900.01
sortnetsort9.AE.stepl.004	FAIL	900.01
stmt31_276_328	FAIL	900.01
sdlx-fixpoint-10	FAIL	900.01
query33_query51_1344n	FAIL	900.01
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#26.asp	FAIL	900.01
GuidanceService	FAIL	900.01
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp	FAIL	900.01
query06_query42_1344n	FAIL	900.01
GuidanceService2	FAIL	900.01
sdlx-fixpoint-7	FAIL	900.01
query60_query44_1344n	FAIL	900.01
sortnetsort10.AE.stepl.008	FAIL	900.01
Q_2-3_v-80-100_r-11.5	FAIL	900.01
eequery_query64_1344n	FAIL	900.01
query58_query42_1344n	FAIL	900.01
UserServiceImpl	FAIL	900.01
oski3ub5i_c0to511.sat	FAIL	900.01
ci.e#1.a#3.E#40.A#60.c#416.w#2.s#3.asp	FAIL	900.01
query71_query31_1344n	FAIL	900.01
stmt29_275_376	FAIL	900.01
query34_query11_1344n	FAIL	900.02
reachqu_query42_1344n	FAIL	900.02
query02_query44_1344n	FAIL	900.02
IterationService	FAIL	900.02
cycle_sched_4_7_1.sat	FAIL	900.02
query31_query42_1344n	FAIL	900.02
AR-fixpoint-8	FAIL	900.02
query10_query42_1344n	FAIL	900.02
sortnetsort8.AE.stepl.005	FAIL	900.02
sortnetsort9.AE.stepl.005	FAIL	900.02
query60_query45_1344n	FAIL	900.02
query64_query01_1344n	FAIL	900.02
query71_query36_1344n	FAIL	900.02
sortnetsort10.AE.stepl.011	FAIL	900.02
query54_query58_1344n	FAIL	900.02
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#1.asp	FAIL	900.02
small-seq-fixpoint-9	FAIL	900.02
AR-fixpoint-6	FAIL	900.02
query42_query45_1344n	FAIL	900.02
query50_query06_1344n	FAIL	900.02
stmt21_310_360	FAIL	900.02
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp	FAIL	900.02
stmt41_336_385	FAIL	900.02
query04_query42_1344n	FAIL	900.02
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#60.asp	FAIL	900.02
sortnetsort7.AE.stepl.007	FAIL	900.03
small-equiv-fixpoint-5	FAIL	900.03
sortnetsort7.AE.stepl.009	FAIL	900.03
neclaftp4001	FAIL	900.03
stmt19_64_87	FAIL	900.03
sdlx-fixpoint-9	FAIL	900.03
AR-fixpoint-2	FAIL	900.03
cycle_sched_6_7_1.sat	FAIL	900.03
ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#1.asp	FAIL	900.03
small-equiv-fixpoint-3	FAIL	900.03
small-seq-fixpoint-10	FAIL	900.03
query31_reachqu_1344n	FAIL	900.03
query02_query42_1344n	FAIL	900.03
query36_query25_1344n	FAIL	900.03
AR-fixpoint-1	FAIL	900.04
ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#60.asp	FAIL	900.04
sortnetsort9.AE.stepl.010	FAIL	900.04
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#60.asp	FAIL	900.04
AR-fixpoint-10	FAIL	900.04
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.asp	FAIL	900.04
stmt47_290_340	FAIL	900.04
query33_query57_1344n	FAIL	900.04
pi-bus-fixpoint-3	FAIL	900.04
pi-bus-fixpoint-2	FAIL	900.04
ci.e#1.a#3.E#40.A#60.c#288.w#6.s#2.asp	FAIL	900.04
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.asp	FAIL	900.04
ConcreteActivityService	FAIL	900.04
stmt32_329_378	FAIL	900.04
query55_query42_1344n	FAIL	900.04
query05_query42_1344n	FAIL	900.05
query42_query42_1344n	FAIL	900.05
query21_query58_1344n	FAIL	900.05
neclaftp2002	FAIL	900.05
stmt39_285_335	FAIL	900.05
ci.e#1.a#3.E#40.A#60.c#384.w#6.s#8.asp	FAIL	900.05
reachqu_query64_1344n	FAIL	900.05
query11_query42_1344n	FAIL	900.05
beemldelec4b1_c0to127.sat	FAIL	900.05
oski3ub5i_c0to255.sat	FAIL	900.05
query50_query42_1344n	FAIL	900.05
query42_query06_1344n	FAIL	900.05
PhaseService	FAIL	900.05
axquery_query42_1344n	FAIL	900.06
6s289rb05233_c0to63.sat	FAIL	900.06
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp	FAIL	900.06
oski3ub5i_c0to63.sat	FAIL	900.06
Q_2-3_v-80-100_r-11.7	FAIL	900.06
reachqu_query71_1344n	FAIL	900.06
sortnetsort7.AE.stepl.008	FAIL	900.07
exquery_query42_1344n	FAIL	900.07
genbuf9b4n.sat	FAIL	900.07
query10_query45_1344n	FAIL	900.07
query05_query31_1344n	FAIL	900.07
query64_query11_1344n	FAIL	900.07
ActivityService2	FAIL	900.07
query31_eequery_1344n	FAIL	900.07
nreachq_query54_1344n	FAIL	900.07
Q_2-3_v-80-100_r-11.9	FAIL	900.07
ci.e#1.a#3.E#40.A#60.c#408.w#2.s#2.asp	FAIL	900.07
query01_query42_1344n	FAIL	900.07
small-pipeline-fixpoint-2	FAIL	900.07
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp	FAIL	900.07
query34_query42_1344n	FAIL	900.07
NotificationServiceImpl2	FAIL	900.08
AR-fixpoint-4	FAIL	900.08
query25_query42_1344n	FAIL	900.08
query08_query42_1344n	FAIL	900.08
query44_query26_1344n	FAIL	900.08
small-equiv-fixpoint-8	FAIL	900.08
ci.e#1.a#3.E#40.A#60.c#400.w#2.s#1.asp	FAIL	900.08
query36_query42_1344n	FAIL	900.08
query64_query42_1344n	FAIL	900.08
query09_query42_1344n	FAIL	900.08
query48_exquery_1344n	FAIL	900.08
sdlx-fixpoint-8	FAIL	900.08
sortnetsort8.AE.stepl.004	FAIL	900.08
query52_query25_1344n	FAIL	900.09
query52_query42_1344n	FAIL	900.09
query49_ntrivil_1344n	FAIL	900.09
nreachq_query11_1344n	FAIL	900.09
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.asp	FAIL	900.09
eequery_query42_1344n	FAIL	900.1
Q_2-3_v-80-100_r-11.1	FAIL	900.1
IssueServiceImpl	FAIL	900.1
ActivityService	FAIL	900.1

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by predyndep
QBFEVAL'18 - Prenex 2QBF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by predyndep QBFEVAL'18 - Prenex 2QBF Track

Instances solved by predyndep
QBFEVAL'18 - Prenex 2QBF Track