Instances solved by DynQBF-bloqqer-variant
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
small-dyn-partition-fixpoint-1UNSAT0.01
small-bug1-fixpoint-4SAT0.01
small-bug1-fixpoint-6SAT0.01
small-bug1-fixpoint-5SAT0.01
trueque_query42_1344nUNSAT0.01
small-bug1-fixpoint-9SAT0.01
falsequ_query42_1344nUNSAT0.01
small-bug1-fixpoint-3SAT0.01
small-bug1-fixpoint-8SAT0.01
small-bug1-fixpoint-10SAT0.02
small-dyn-partition-fixpoint-2UNSAT0.03
kenflashp04SAT0.03
pdtpmsrotate32SAT0.03
query24_query42_1344nUNSAT0.04
query23_query42_1344nUNSAT0.04
rankfunc38_unsigned_64SAT0.04
floor128SAT0.05
rankfunc38_signed_64SAT0.05
small-dyn-partition-fixpoint-3UNSAT0.06
decomposition128SAT0.06
add20y.satSAT0.09
small-dyn-partition-fixpoint-4UNSAT0.1
small-dyn-partition-fixpoint-5UNSAT0.11
query15_query42_1344nUNSAT0.12
query30_query42_1344nUNSAT0.13
itc-b13-fixpoint-1UNSAT0.14
small-dyn-partition-fixpoint-6UNSAT0.16
stmt5_731_730SAT0.17
equalization128SAT0.18
small-dyn-partition-fixpoint-7UNSAT0.19
stmt25_597_598SAT0.2
rankfunc60_unsigned_32SAT0.22
bobtuint31negSAT0.22
sdlx-fixpoint-1UNSAT0.23
small-dyn-partition-fixpoint-9UNSAT0.24
stmt41_262_275SAT0.3
rankfunc53_signed_64SAT0.33
rankfunc53_unsigned_64SAT0.33
rankfunc56_unsigned_64SAT0.33
small-dyn-partition-fixpoint-10UNSAT0.34
driver_c9y.satSAT0.42
rankfunc48_unsigned_16SAT0.44
ceiling256SAT0.47
rankfunc56_signed_64SAT0.48
itc-b13-fixpoint-2UNSAT0.51
rankfunc34_unsigned_64SAT0.52
small-swap2-fixpoint-5SAT0.53
small-swap1-fixpoint-5SAT0.53
rankfunc61_unsigned_64SAT0.54
rankfunc34_signed_64SAT0.57
usb-phy-fixpoint-1UNSAT0.58
driver_c9n.satSAT0.59
rankfunc51_signed_64SAT0.6
stmt27_93_98SAT0.62
small-swap2-fixpoint-6SAT0.64
small-swap1-fixpoint-4SAT0.64
rankfunc51_unsigned_64SAT0.66
small-swap1-fixpoint-6SAT0.66
rankfunc54_signed_64SAT0.7
small-seq-fixpoint-1UNSAT0.71
rankfunc54_unsigned_64SAT0.71
cycle_sched_12_2_1.satSAT0.75
rankfunc55_signed_64SAT0.77
small-swap2-fixpoint-7SAT0.8
small-swap1-fixpoint-7SAT0.82
rankfunc52_unsigned_64SAT0.84
rankfunc52_signed_64SAT0.84
rankfunc58_signed_64SAT0.87
small-synabs-fixpoint-10UNSAT0.88
rankfunc58_unsigned_64SAT0.89
rankfunc61_signed_64SAT0.89
small-swap2-fixpoint-8SAT0.94
sdlx-fixpoint-2UNSAT0.96
small-swap1-fixpoint-8SAT1.03
rankfunc31_unsigned_64SAT1.07
rankfunc55_unsigned_64SAT1.08
rankfunc31_signed_64SAT1.08
rankfunc59_unsigned_64SAT1.1
rankfunc59_signed_64SAT1.1
itc-b13-fixpoint-3SAT1.11
rankfunc41_unsigned_64SAT1.13
ethernet-fixpoint-1UNSAT1.16
rankfunc41_signed_64SAT1.19
rankfunc49_signed_64SAT1.22
rankfunc55_unsigned_32SAT1.24
small-swap2-fixpoint-9SAT1.26
rankfunc35_unsigned_64SAT1.26
rankfunc49_unsigned_64SAT1.28
small-swap2-fixpoint-10SAT1.34
small-swap1-fixpoint-9SAT1.45
small-swap1-fixpoint-10SAT1.47
itc-b13-fixpoint-4SAT1.64
stmt21_84_215UNSAT1.65
rankfunc2_unsigned_64SAT1.71
driver_b8n.satSAT1.72
driver_a10y.satSAT1.86
stmt21_181_218UNSAT2.23
stmt53_208_245UNSAT2.39
cache-coherence-3-fixpoint-1UNSAT2.39
bs128y.satSAT2.4
bs128n.satSAT2.4
usb-phy-fixpoint-2UNSAT2.49
rankfunc48_unsigned_64SAT2.57
ltl2dba_C2-8_comp4_REAL.satSAT2.59
rankfunc35_signed_64SAT2.68
cache-coherence-2-fixpoint-2UNSAT3
itc-b13-fixpoint-6SAT3.56
stmt23_66_67SAT3.82
nxquery_query50_1344nSAT3.91
stmt22_320_370SAT4.03
stmt17_63_70SAT4.15
ethernet-fixpoint-2UNSAT4.4
itc-b13-fixpoint-7SAT4.58
stmt21_354_403SAT4.85
stmt28_68_69SAT5.68
cache-coherence-3-fixpoint-2UNSAT5.8
itc-b13-fixpoint-8SAT5.97
stmt21_71_354UNSAT5.98
stmt19_64_87SAT6.06
stmt19_180_352UNSAT6.27
stmt19_352_359UNSAT6.69
itc-b13-fixpoint-9SAT6.94
stmt31_190_227UNSAT7.68
stmt28_68_73SAT8.14
stmt46_111_238UNSAT8.4
stmt17_63_78SAT8.71
stmt17_62_78SAT8.81
stmt17_70_78SAT8.84
stmt27_16_224UNSAT8.94
itc-b13-fixpoint-10SAT8.95
stmt23_67_92SAT9.95
stmt19_65_95SAT10.1
cache-coherence-2-fixpoint-5UNSAT10.53
stmt19_65_87SAT10.56
stmt17_70_82SAT10.85
stmt19_79_83SAT10.99
stmt17_74_90SAT11.27
stmt23_66_76SAT11.39
stmt28_73_85SAT11.44
stmt17_78_90SAT11.63
stmt17_70_86SAT12.27
stmt17_74_78SAT12.48
stmt19_75_83SAT13.85
stmt19_79_87SAT13.98
stmt19_75_95SAT14.27
stmt19_71_95SAT14.84
stmt19_87_95SAT14.85
stmt19_137_408UNSAT14.91
stmt23_92_96SAT15.71
stmt21_84_364UNSAT15.89
stmt17_78_94SAT16.56
stmt17_82_86SAT16.68
small-equiv-fixpoint-1SAT17.11
stmt19_133_217UNSAT17.84
stmt28_89_97SAT18.5
stmt19_64_91SAT18.9
stmt23_88_92SAT19
stmt19_83_91SAT19.17
stmt19_302_352SAT20.02
mult_bool_matrix_12_13_11.satSAT21.92
stmt17_82_94SAT21.96
stmt22_311_370UNSAT22.11
stmt17_78_98SAT23.52
stmt19_368_417SAT24.78
stmt17_94_98SAT25.73
stmt27_149_224UNSAT26.29
stmt31_22_328UNSAT26.81
sdlx-fixpoint-4UNSAT27.44
stmt28_73_97SAT27.93
stmt19_66_214UNSAT35.61
stmt53_296_346UNSAT38.32
stmt85_300_399SAT40.86
stmt21_143_403UNSAT43.88
stmt47_340_389UNSAT47.6
stmt19_90_408UNSAT56.35
stmt47_290_340UNSAT58.4
stmt21_71_413UNSAT61.4
sdlx-fixpoint-5UNSAT62.81
stmt21_178_258UNSAT66.14
stmt41_286_385UNSAT68.87
intermediate256SAT75.1
stmt44_40_387UNSAT98.63
stmt21_70_369UNSAT101.84
stmt46_289_388UNSAT105.69
stmt31_276_328UNSAT108.13
small-equiv-fixpoint-2SAT112.02
small-equiv-fixpoint-3SAT115.86
load_2c_comp_comp7_REAL.satSAT117.34
stmt22_6_414UNSAT133.78
query31_query50_1344nSAT150.96
stmt19_3_401UNSAT157.67
small-equiv-fixpoint-4SAT161.57
small-equiv-fixpoint-5SAT186.77
stmt41_336_385UNSAT217.18
usb-phy-fixpoint-4UNSAT267.59
stmt50_343_392UNSAT282.97
small-equiv-fixpoint-8SAT297.59
sdlx-fixpoint-8SAT300.8
nxquery_query42_1344nUNSAT321.93
stmt52_295_394UNSAT375.61
small-seq-fixpoint-10FAIL832.63
query64_query42_1344nFAIL900
query60_query42_1344nFAIL900
query71_query42_1344nFAIL900
reachqu_query42_1344nFAIL900
query58_query42_1344nFAIL900
query57_query42_1344nFAIL900
trivial_query42_1344nFAIL900
amba5b5n.satFAIL900
mult_bool_matrix_dyn_7_7.satFAIL900
neclaftp2002FAIL900
ltl2dba_E6_comp2_REAL.satFAIL900
eijkbs3330FAIL900
ltl2dba_Q4_comp4_REAL.satFAIL900
mult_bool_matrix_dyn_9_5.satFAIL900
ltl2dba_U1-4_comp4_REAL.satFAIL900
cycle_sched_2_10_1.satFAIL900
mult_bool_matrix_18_18_18.satFAIL900
query55_query42_1344nFAIL900
query54_query42_1344nFAIL900
query52_query42_1344nFAIL900
mult9.satFAIL900
query25_query42_1344nFAIL900
query26_query42_1344nFAIL900
query27_query42_1344nFAIL900
cycle_sched_6_6_2.satFAIL900
query31_query42_1344nFAIL900
query33_query42_1344nFAIL900
query34_query42_1344nFAIL900
query36_query42_1344nFAIL900
query42_query42_1344nFAIL900
query44_query42_1344nFAIL900
query45_query42_1344nFAIL900
query48_query42_1344nFAIL900
cycle_sched_4_4_2.satFAIL900
query49_query42_1344nFAIL900
query50_query42_1344nFAIL900
query51_query42_1344nFAIL900
GuidanceServiceFAIL900
ConcreteActivityServiceFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#26.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#7.aspFAIL900
genbuf14b4y.satFAIL900
ctrl.e#1.a#3.E#124.A#48.c#.w#7.s#50.aspFAIL900
genbuf7b4n.satFAIL900
genbuf8b4n.satFAIL900
6s289rb05233_c0to63.satFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#1.aspFAIL900
ctrl.e#1.a#3.E#122.A#48.c#.w#3.s#51.aspFAIL900
ctrl.e#1.a#3.E#130.A#48.c#.w#7.s#11.aspFAIL900
genbuf12b4y.satFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#60.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#17.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#3.s#1.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#1.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#5.s#60.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#1.aspFAIL900
ctrl.e#1.a#3.E#134.A#48.c#.w#9.s#40.aspFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#7.s#60.aspFAIL900
beemskbn1f1_c0to7.satFAIL900
ctrl.e#1.a#3.E#120.A#48.c#.w#3.s#3.aspFAIL900
oski3ub5i_c0to511.satFAIL900
amba2c7n.satFAIL900
PhaseServiceFAIL900
LoginServiceFAIL900
GuidanceService2FAIL900
amba3b5y.satFAIL900
ActivityServiceFAIL900
IterationServiceFAIL900
IssueServiceImplFAIL900
NotificationServiceImpl2FAIL900
ctrl.e#1.a#3.E#110.A#48.c#.w#9.s#13.aspFAIL900
oski3ub5i_c0to63.satFAIL900
ctrl.e#1.a#3.E#128.A#48.c#.w#9.s#60.aspFAIL900
load_3c_comp_comp6_REAL.satFAIL900
ctrl.e#1.a#3.E#118.A#48.c#.w#5.s#7.aspFAIL900
ctrl.e#1.a#3.E#116.A#48.c#.w#7.s#56.aspFAIL900
load_4c_comp_comp4_REAL.satFAIL900
load_full_3_comp5_REAL.satFAIL900
ctrl.e#1.a#3.E#112.A#48.c#.w#5.s#27.aspFAIL900
amba4c7n.satFAIL900
ethernet-fixpoint-3FAIL900
small-pipeline-fixpoint-10FAIL900
sdlx-fixpoint-6FAIL900
small-pipeline-fixpoint-4FAIL900
AR-fixpoint-4FAIL900
pi-bus-fixpoint-2FAIL900
AR-fixpoint-2FAIL900
small-seq-fixpoint-4FAIL900
small-pipeline-fixpoint-1FAIL900
rankfunc57_unsigned_64FAIL900
rankfunc48_signed_64FAIL900
AR-fixpoint-6FAIL900
sdlx-fixpoint-10FAIL900
small-seq-fixpoint-6FAIL900
AR-fixpoint-10FAIL900
sdlx-fixpoint-9FAIL900
small-pipeline-fixpoint-8FAIL900
ethernet-fixpoint-4FAIL900
small-pipeline-fixpoint-9FAIL900
usb-phy-fixpoint-5FAIL900
small-equiv-fixpoint-7FAIL900
sdlx-fixpoint-7FAIL900
small-pipeline-fixpoint-5FAIL900
small-pipeline-fixpoint-2FAIL900
stmt29_275_376FAIL900
sortnetsort10.AE.stepl.004FAIL900
sortnetsort9.AE.stepl.011FAIL900
sortnetsort7.AE.stepl.007FAIL900
sortnetsort7.AE.stepl.006FAIL900
sortnetsort7.AE.stepl.005FAIL900
sortnetsort10.AE.stepl.012FAIL900
sortnetsort10.AE.stepl.011FAIL900
sortnetsort10.AE.stepl.010FAIL900
sortnetsort10.AE.stepl.009FAIL900
sortnetsort10.AE.stepl.008FAIL900
sortnetsort10.AE.stepl.007FAIL900
sortnetsort10.AE.stepl.006FAIL900
sortnetsort7.AE.stepl.008FAIL900
sortnetsort7.AE.stepl.009FAIL900
sortnetsort8.AE.stepl.004FAIL900
sortnetsort9.AE.stepl.010FAIL900
sortnetsort9.AE.stepl.008FAIL900
sortnetsort9.AE.stepl.007FAIL900
sortnetsort9.AE.stepl.006FAIL900
sortnetsort9.AE.stepl.005FAIL900
sortnetsort9.AE.stepl.004FAIL900
sortnetsort8.AE.stepl.009FAIL900
sortnetsort8.AE.stepl.008FAIL900
sortnetsort8.AE.stepl.006FAIL900
sortnetsort8.AE.stepl.005FAIL900
sortnetsort10.AE.stepl.005FAIL900
AR-fixpoint-8FAIL900
query21_query42_1344nFAIL900
exquery_query42_1344nFAIL900
eequery_query42_1344nFAIL900
axquery_query42_1344nFAIL900
query71_query36_1344nFAIL900
query71_query34_1344nFAIL900
query71_query31_1344nFAIL900
query64_query11_1344nFAIL900
query64_query01_1344nFAIL900
query60_query45_1344nFAIL900
query60_query44_1344nFAIL900
nreachq_query42_1344nFAIL900
ntrivil_query42_1344nFAIL900
query01_query42_1344nFAIL900
query11_query42_1344nFAIL900
query10_query42_1344nFAIL900
query09_query42_1344nFAIL900
query08_query42_1344nFAIL900
query07_query42_1344nFAIL900
query06_query42_1344nFAIL900
query05_query42_1344nFAIL900
query04_query42_1344nFAIL900
query03_query42_1344nFAIL900
query02_query42_1344nFAIL900
query60_query33_1344nFAIL900
query60_query10_1344nFAIL900
query54_query58_1344nFAIL900
query10_query45_1344nFAIL900
query10_query34_1344nFAIL900
query10_query06_1344nFAIL900
query05_query31_1344nFAIL900
query04_query25_1344nFAIL900
query02_query44_1344nFAIL900
nreachq_query54_1344nFAIL900
nreachq_query11_1344nFAIL900
eequery_query64_1344nFAIL900
small-seq-fixpoint-2FAIL900
query31_eequery_1344nFAIL900
query33_query45_1344nFAIL900
query33_query51_1344nFAIL900
query52_query25_1344nFAIL900
query51_query57_1344nFAIL900
query50_query06_1344nFAIL900
query49_ntrivil_1344nFAIL900
query48_exquery_1344nFAIL900
query42_query60_1344nFAIL900
query42_query45_1344nFAIL900
query36_query25_1344nFAIL900
query34_query11_1344nFAIL900
query33_query57_1344nFAIL900
small-pipeline-fixpoint-3FAIL900