Instances solved by <a href='solver_detail.php?solver=286'>xb-qsts_bqsts2.0</a> <br> QBFEVAL'17

Instances solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Prenex 2QBF Track

Instance	Result	Time
small-bug1-fixpoint-3	SAT	0
small-bug1-fixpoint-6	SAT	0.01
trueque_query42_1344n	UNSAT	0.01
small-bug1-fixpoint-10	SAT	0.01
small-bug1-fixpoint-5	SAT	0.01
small-dyn-partition-fixpoint-1	UNSAT	0.01
falsequ_query42_1344n	UNSAT	0.01
small-bug1-fixpoint-9	SAT	0.01
small-bug1-fixpoint-8	SAT	0.01
small-bug1-fixpoint-4	SAT	0.01
query24_query42_1344n	UNSAT	0.03
kenflashp04	SAT	0.03
small-dyn-partition-fixpoint-2	UNSAT	0.03
pdtpmsrotate32	SAT	0.03
rankfunc38_signed_64	SAT	0.04
query23_query42_1344n	UNSAT	0.04
rankfunc38_unsigned_64	SAT	0.04
floor128	SAT	0.05
decomposition128	SAT	0.06
small-dyn-partition-fixpoint-3	UNSAT	0.06
add20y.sat	SAT	0.08
small-dyn-partition-fixpoint-4	UNSAT	0.1
small-dyn-partition-fixpoint-5	UNSAT	0.11
query30_query42_1344n	UNSAT	0.12
query15_query42_1344n	UNSAT	0.12
itc-b13-fixpoint-1	UNSAT	0.14
stmt5_731_730	SAT	0.15
small-dyn-partition-fixpoint-6	UNSAT	0.15
small-dyn-partition-fixpoint-7	UNSAT	0.19
stmt25_597_598	SAT	0.19
equalization128	SAT	0.19
rankfunc60_unsigned_32	SAT	0.21
bobtuint31neg	SAT	0.21
small-dyn-partition-fixpoint-9	UNSAT	0.25
sdlx-fixpoint-1	UNSAT	0.25
stmt41_262_275	SAT	0.29
rankfunc56_unsigned_64	SAT	0.3
rankfunc53_unsigned_64	SAT	0.33
rankfunc53_signed_64	SAT	0.33
small-dyn-partition-fixpoint-10	UNSAT	0.34
driver_c9y.sat	SAT	0.42
rankfunc48_unsigned_16	SAT	0.43
exquery_query42_1344n	UNSAT	0.43
ceiling256	SAT	0.47
nxquery_query42_1344n	UNSAT	0.47
rankfunc56_signed_64	SAT	0.5
small-swap1-fixpoint-5	SAT	0.52
query26_query42_1344n	UNSAT	0.52
small-swap2-fixpoint-5	SAT	0.53
rankfunc34_unsigned_64	SAT	0.53
itc-b13-fixpoint-2	UNSAT	0.54
rankfunc61_unsigned_64	SAT	0.55
usb-phy-fixpoint-1	UNSAT	0.57
rankfunc34_signed_64	SAT	0.58
rankfunc51_signed_64	SAT	0.59
rankfunc51_unsigned_64	SAT	0.59
driver_c9n.sat	SAT	0.61
stmt27_93_98	SAT	0.61
small-swap2-fixpoint-6	SAT	0.64
small-swap1-fixpoint-4	SAT	0.64
small-seq-fixpoint-1	UNSAT	0.66
small-swap1-fixpoint-6	SAT	0.67
rankfunc54_unsigned_64	SAT	0.69
rankfunc54_signed_64	SAT	0.72
query02_query42_1344n	UNSAT	0.74
rankfunc55_signed_64	SAT	0.74
cycle_sched_12_2_1.sat	SAT	0.76
small-swap2-fixpoint-7	SAT	0.79
small-pipeline-fixpoint-1	UNSAT	0.8
rankfunc52_unsigned_64	SAT	0.81
small-swap1-fixpoint-7	SAT	0.83
rankfunc58_signed_64	SAT	0.86
rankfunc58_unsigned_64	SAT	0.86
rankfunc61_signed_64	SAT	0.87
ntrivil_query42_1344n	UNSAT	0.88
trivial_query42_1344n	UNSAT	0.91
rankfunc52_signed_64	SAT	0.92
small-swap2-fixpoint-8	SAT	0.94
small-synabs-fixpoint-10	UNSAT	0.95
sdlx-fixpoint-2	UNSAT	1.02
small-swap1-fixpoint-8	SAT	1.04
rankfunc55_unsigned_64	SAT	1.08
rankfunc31_unsigned_64	SAT	1.09
rankfunc31_signed_64	SAT	1.09
rankfunc59_signed_64	SAT	1.09
ethernet-fixpoint-1	UNSAT	1.11
itc-b13-fixpoint-3	SAT	1.11
rankfunc59_unsigned_64	SAT	1.16
rankfunc41_unsigned_64	SAT	1.17
rankfunc41_signed_64	SAT	1.17
rankfunc49_signed_64	SAT	1.22
small-swap2-fixpoint-9	SAT	1.24
rankfunc55_unsigned_32	SAT	1.26
rankfunc35_unsigned_64	SAT	1.27
rankfunc49_unsigned_64	SAT	1.33
small-swap2-fixpoint-10	SAT	1.39
small-swap1-fixpoint-9	SAT	1.43
small-swap1-fixpoint-10	SAT	1.45
axquery_query42_1344n	UNSAT	1.54
mult_bool_matrix_dyn_9_5.sat	SAT	1.59
itc-b13-fixpoint-4	SAT	1.63
rankfunc2_unsigned_64	SAT	1.69
stmt21_84_215	UNSAT	1.69
driver_b8n.sat	SAT	1.71
rankfunc57_unsigned_64	SAT	1.72
driver_a10y.sat	SAT	1.76
query02_query44_1344n	UNSAT	1.79
sortnetsort8.AE.stepl.004	SAT	1.8
sortnetsort7.AE.stepl.006	UNSAT	1.88
query07_query42_1344n	UNSAT	2
query27_query42_1344n	UNSAT	2.08
GuidanceService2	UNSAT	2.3
sortnetsort7.AE.stepl.007	UNSAT	2.32
stmt21_181_218	UNSAT	2.34
GuidanceService	UNSAT	2.34
stmt53_208_245	UNSAT	2.36
bs128y.sat	SAT	2.37
bs128n.sat	SAT	2.39
cache-coherence-3-fixpoint-1	UNSAT	2.43
usb-phy-fixpoint-2	UNSAT	2.49
rankfunc48_unsigned_64	SAT	2.52
sortnetsort7.AE.stepl.008	UNSAT	2.6
rankfunc35_signed_64	SAT	2.72
ltl2dba_C2-8_comp4_REAL.sat	SAT	2.79
nxquery_query50_1344n	SAT	2.82
sortnetsort7.AE.stepl.009	UNSAT	2.88
sortnetsort9.AE.stepl.004	SAT	2.95
small-pipeline-fixpoint-2	UNSAT	2.96
cache-coherence-2-fixpoint-2	UNSAT	2.98
itc-b13-fixpoint-6	SAT	3.44
stmt23_66_67	SAT	3.91
stmt22_320_370	SAT	4.04
query03_query42_1344n	UNSAT	4.16
stmt17_63_70	SAT	4.21
ethernet-fixpoint-2	UNSAT	4.24
itc-b13-fixpoint-7	SAT	4.55
stmt21_354_403	SAT	4.82
sortnetsort8.AE.stepl.005	SAT	4.84
sortnetsort8.AE.stepl.006	UNSAT	4.93
cycle_sched_4_4_2.sat	SAT	4.97
small-pipeline-fixpoint-3	UNSAT	5.56
query21_query42_1344n	UNSAT	5.79
cache-coherence-3-fixpoint-2	UNSAT	5.79
itc-b13-fixpoint-8	SAT	5.96
stmt19_64_87	SAT	6.21
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.asp	SAT	6.35
itc-b13-fixpoint-9	SAT	6.87
cycle_sched_2_10_1.sat	SAT	7.34
sortnetsort10.AE.stepl.004	SAT	8.28
query49_ntrivil_1344n	SAT	8.34
sortnetsort9.AE.stepl.005	SAT	8.72
itc-b13-fixpoint-10	SAT	8.91
sortnetsort8.AE.stepl.008	UNSAT	9.65
cache-coherence-2-fixpoint-5	UNSAT	10.53
query08_query42_1344n	UNSAT	10.56
load_2c_comp_comp7_REAL.sat	SAT	11.98
sortnetsort9.AE.stepl.008	UNSAT	12.87
amba2c7n.sat	SAT	13.02
sortnetsort8.AE.stepl.009	UNSAT	15.23
query31_query50_1344n	SAT	15.24
query33_query45_1344n	SAT	16.71
reachqu_query42_1344n	UNSAT	18.11
sortnetsort9.AE.stepl.011	UNSAT	20.21
mult_bool_matrix_12_13_11.sat	SAT	21.69
sortnetsort10.AE.stepl.009	UNSAT	23.16
query48_exquery_1344n	SAT	27.39
query06_query42_1344n	UNSAT	27.46
sortnetsort9.AE.stepl.010	UNSAT	28.44
mult9.sat	SAT	28.54
sortnetsort10.AE.stepl.011	UNSAT	29.78
query09_query42_1344n	UNSAT	30.22
PhaseService	UNSAT	36.75
IterationService	UNSAT	36.81
ActivityService	UNSAT	36.91
sortnetsort9.AE.stepl.007	UNSAT	40.74
sortnetsort10.AE.stepl.012	UNSAT	41.72
NotificationServiceImpl2	UNSAT	42.92
sortnetsort7.AE.stepl.005	SAT	60.83
sortnetsort10.AE.stepl.010	UNSAT	60.95
query36_query25_1344n	SAT	67.29
query31_eequery_1344n	SAT	67.57
sortnetsort10.AE.stepl.005	SAT	85.12
query04_query42_1344n	UNSAT	95.73
query60_query45_1344n	SAT	103.46
query50_query06_1344n	SAT	107.18
query50_query42_1344n	SAT	109.9
query04_query25_1344n	SAT	119.6
query48_query42_1344n	UNSAT	120.89
cycle_sched_6_6_2.sat	SAT	128.31
amba3b5y.sat	SAT	147.64
query25_query42_1344n	SAT	157.24
query34_query11_1344n	SAT	171.93
query05_query31_1344n	SAT	177.57
query52_query25_1344n	SAT	190.98
nreachq_query11_1344n	UNSAT	269.47
query42_query45_1344n	SAT	286.1
query51_query57_1344n	SAT	297.96
query10_query45_1344n	SAT	311.81
eequery_query42_1344n	SAT	336.81
query33_query51_1344n	SAT	347.66
query33_query57_1344n	SAT	371.39
query64_query11_1344n	SAT	417.58
query71_query36_1344n	UNSAT	493.94
query45_query42_1344n	SAT	562.79
query52_query42_1344n	SAT	633.31
query51_query42_1344n	SAT	670.82
query55_query42_1344n	SAT	733.38
query31_query42_1344n	SAT	849.51
stmt19_180_352	UNSAT	875.24
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.asp	FAIL	900
stmt28_73_97	FAIL	900
stmt17_78_94	FAIL	900
LoginService	FAIL	900
stmt17_82_94	FAIL	900
stmt28_68_69	FAIL	900
stmt19_65_87	FAIL	900
stmt17_74_90	FAIL	900
IssueServiceImpl	FAIL	900
stmt19_87_95	FAIL	900
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#1.asp	FAIL	900
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.asp	FAIL	900
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.asp	FAIL	900
stmt17_82_86	FAIL	900
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.asp	FAIL	900
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.asp	FAIL	900
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.asp	FAIL	900
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.asp	FAIL	900
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.asp	FAIL	900
ConcreteActivityService	FAIL	900
stmt19_75_95	FAIL	900
stmt19_64_91	FAIL	900
query71_query42_1344n	FAIL	900
query64_query42_1344n	FAIL	900
query60_query42_1344n	FAIL	900
query58_query42_1344n	FAIL	900
query57_query42_1344n	FAIL	900
stmt23_67_92	FAIL	900
query54_query42_1344n	FAIL	900
stmt47_290_340	FAIL	900
stmt17_94_98	FAIL	900
stmt23_92_96	FAIL	900
neclaftp2002	FAIL	900
stmt17_62_78	FAIL	900
eijkbs3330	FAIL	900
stmt17_70_78	FAIL	900
intermediate256	FAIL	900
stmt17_74_78	FAIL	900
stmt19_71_95	FAIL	900
stmt17_70_82	FAIL	900
stmt19_83_91	FAIL	900
stmt31_190_227	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.asp	FAIL	900
load_full_3_comp5_REAL.sat	FAIL	900
load_4c_comp_comp4_REAL.sat	FAIL	900
load_3c_comp_comp6_REAL.sat	FAIL	900
stmt23_66_76	FAIL	900
oski3ub5i_c0to63.sat	FAIL	900
oski3ub5i_c0to511.sat	FAIL	900
beemskbn1f1_c0to7.sat	FAIL	900
6s289rb05233_c0to63.sat	FAIL	900
genbuf8b4n.sat	FAIL	900
stmt28_73_85	FAIL	900
ltl2dba_E6_comp2_REAL.sat	FAIL	900
sortnetsort10.AE.stepl.006	FAIL	900
sortnetsort10.AE.stepl.007	FAIL	900
sortnetsort10.AE.stepl.008	FAIL	900
sortnetsort9.AE.stepl.006	FAIL	900
mult_bool_matrix_dyn_7_7.sat	FAIL	900
mult_bool_matrix_18_18_18.sat	FAIL	900
stmt19_79_83	FAIL	900
ltl2dba_U1-4_comp4_REAL.sat	FAIL	900
ltl2dba_Q4_comp4_REAL.sat	FAIL	900
genbuf7b4n.sat	FAIL	900
genbuf14b4y.sat	FAIL	900
stmt17_78_90	FAIL	900
stmt19_65_95	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#60.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#1.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#60.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#1.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#60.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#1.asp	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#60.asp	FAIL	900
amba4c7n.sat	FAIL	900
amba5b5n.sat	FAIL	900
genbuf12b4y.sat	FAIL	900
stmt28_68_73	FAIL	900
stmt17_78_98	FAIL	900
stmt28_89_97	FAIL	900
stmt23_88_92	FAIL	900
stmt17_70_86	FAIL	900
stmt19_79_87	FAIL	900
stmt17_63_78	FAIL	900
stmt19_75_83	FAIL	900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#26.asp	FAIL	900
stmt41_286_385	FAIL	900
stmt21_143_403	FAIL	900
AR-fixpoint-2	FAIL	900
sdlx-fixpoint-4	FAIL	900
pi-bus-fixpoint-2	FAIL	900
query10_query34_1344n	FAIL	900
query10_query06_1344n	FAIL	900
AR-fixpoint-4	FAIL	900
small-pipeline-fixpoint-4	FAIL	900
sdlx-fixpoint-6	FAIL	900
small-equiv-fixpoint-8	FAIL	900
small-equiv-fixpoint-7	FAIL	900
small-seq-fixpoint-4	FAIL	900
stmt21_84_364	FAIL	900
stmt19_133_217	FAIL	900
stmt29_275_376	FAIL	900
rankfunc48_signed_64	FAIL	900
query42_query60_1344n	FAIL	900
small-equiv-fixpoint-5	FAIL	900
small-equiv-fixpoint-2	FAIL	900
usb-phy-fixpoint-4	FAIL	900
small-equiv-fixpoint-4	FAIL	900
nreachq_query54_1344n	FAIL	900
small-pipeline-fixpoint-10	FAIL	900
ethernet-fixpoint-3	FAIL	900
small-equiv-fixpoint-3	FAIL	900
usb-phy-fixpoint-5	FAIL	900
small-pipeline-fixpoint-9	FAIL	900
AR-fixpoint-10	FAIL	900
small-seq-fixpoint-10	FAIL	900
sdlx-fixpoint-9	FAIL	900
small-pipeline-fixpoint-8	FAIL	900
sdlx-fixpoint-7	FAIL	900
AR-fixpoint-8	FAIL	900
small-pipeline-fixpoint-5	FAIL	900
eequery_query64_1344n	FAIL	900
AR-fixpoint-6	FAIL	900
sdlx-fixpoint-5	FAIL	900
small-seq-fixpoint-2	FAIL	900
sdlx-fixpoint-8	FAIL	900
sdlx-fixpoint-10	FAIL	900
small-equiv-fixpoint-1	FAIL	900
small-seq-fixpoint-6	FAIL	900
ethernet-fixpoint-4	FAIL	900
query54_query58_1344n	FAIL	900
query49_query42_1344n	FAIL	900
stmt19_3_401	FAIL	900
stmt27_149_224	FAIL	900
stmt21_70_369	FAIL	900
stmt47_340_389	FAIL	900
stmt19_352_359	FAIL	900
query11_query42_1344n	FAIL	900
query10_query42_1344n	FAIL	900
stmt21_71_354	FAIL	900
stmt52_295_394	FAIL	900
stmt19_302_352	FAIL	900
stmt21_71_413	FAIL	900
stmt22_311_370	FAIL	900
stmt19_66_214	FAIL	900
query44_query42_1344n	FAIL	900
query42_query42_1344n	FAIL	900
query36_query42_1344n	FAIL	900
query34_query42_1344n	FAIL	900
query33_query42_1344n	FAIL	900
stmt44_40_387	FAIL	900
stmt27_16_224	FAIL	900
stmt19_137_408	FAIL	900
stmt19_368_417	FAIL	900
stmt50_343_392	FAIL	900
query71_query34_1344n	FAIL	900
query71_query31_1344n	FAIL	900
stmt46_289_388	FAIL	900
query64_query01_1344n	FAIL	900
stmt46_111_238	FAIL	900
query60_query44_1344n	FAIL	900
query60_query33_1344n	FAIL	900
stmt22_6_414	FAIL	900
stmt21_178_258	FAIL	900
stmt53_296_346	FAIL	900
query05_query42_1344n	FAIL	900
stmt19_90_408	FAIL	900
stmt31_276_328	FAIL	900
stmt41_336_385	FAIL	900
query01_query42_1344n	FAIL	900
stmt31_22_328	FAIL	900
stmt85_300_399	FAIL	900
nreachq_query42_1344n	FAIL	900
query60_query10_1344n	FAIL	900

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Prenex 2QBF Track

QBF Solver Evaluation Portal

QBFEVALs

QBF GALLERIES

DOWNLOADS

qbflib.org

Instances solved by xb-qsts_bqsts2.0 QBFEVAL'17 - Prenex 2QBF Track

Instances solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Prenex 2QBF Track