Instances solved by depqbf
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
stmt6_13_14SAT0
stmt24_7_8SAT0
stmt44_107_113SAT0
stmt1_145_146SAT0.01
stmt1_30_31SAT0.01
mutex-2-sSAT0.01
stmt1_20_21SAT0.01
stmt32_122_129SAT0.01
stmt44_107_108SAT0.01
stmt24_148_149SAT0.02
mutex-4-sSAT0.03
qshifter_3SAT0.03
sortnetsort5.AE.stepl.003SAT0.06
sortnetsort5.AE.stepl.005UNSAT0.1
sortnetsort5.AE.stepl.006UNSAT0.15
sortnetsort5.AE.stepl.007UNSAT0.17
sortnetsort6.AE.stepl.003SAT0.26
sortnetsort7.AE.stepl.003SAT1.3
sortnetsort6.AE.stepl.006UNSAT5.42
mutex-8-sSAT46.7
stmt16_0_1SAT72.32
stmt1_811_812SAT102.2
qshifter_4SAT200.77
sortnetsort7.AE.stepl.006UNSAT260.81
stmt44_40_41FAIL1199.82
stmt19_3_177FAIL1199.93
stmt16_47_48FAIL1199.94
rankfunc31_unsigned_16FAIL1200.09
rankfunc6_unsigned_16FAIL1200.1
stmt11_643_645FAIL1200.12
stmt2_649_723FAIL1200.13
stmt52_54_55FAIL1200.14
stmt1_392_393FAIL1200.14
stmt82_224_225FAIL1200.14
stmt3_969_973FAIL1200.14
stmt7_33_34FAIL1200.15
stmt41_235_286FAIL1200.15
rankfunc3_signed_64FAIL1200.15
stmt37_941_942FAIL1200.15
stmt3_639_640FAIL1200.15
stmt72_696_721FAIL1200.15
sortnetsort8.AE.stepl.009FAIL1200.15
stmt86_889_890FAIL1200.15
rankfunc29_signed_16FAIL1200.15
rankfunc47_signed_64FAIL1200.15
stmt19_2_83FAIL1200.15
stmt41_36_37FAIL1200.15
rankfunc34_signed_32FAIL1200.15
stmt19_66_90FAIL1200.15
rankfunc56_signed_16FAIL1200.15
rankfunc61_signed_32FAIL1200.15
stmt28_68_81FAIL1200.15
stmt31_100_276FAIL1200.16
rankfunc50_signed_64FAIL1200.16
stmt19_3_78FAIL1200.16
rankfunc19_unsigned_16FAIL1200.16
stmt21_252_310FAIL1200.16
rankfunc35_unsigned_32FAIL1200.16
stmt21_143_258FAIL1200.16
rankfunc37_unsigned_32FAIL1200.16
stmt21_134_418FAIL1200.16
stmt41_336_385FAIL1200.16
stmt21_127_258FAIL1200.16
stmt19_133_257FAIL1200.16
stmt22_179_182FAIL1200.16
rankfunc32_signed_64FAIL1200.16
stmt29_21_275FAIL1200.16
stmt21_70_258FAIL1200.16
stmt19_177_302FAIL1200.16
rankfunc10_unsigned_64FAIL1200.16
stmt19_90_133FAIL1200.16
stmt46_163_289FAIL1200.16
rankfunc25_signed_64FAIL1200.16
stmt19_137_313FAIL1200.16
rankfunc51_signed_32FAIL1200.16
stmt50_167_293FAIL1200.16
stmt85_64_122FAIL1200.16
stmt44_40_162FAIL1200.16
stmt19_214_309FAIL1200.16
stmt31_22_23FAIL1200.16
rankfunc42_unsigned_16FAIL1200.16
rankfunc53_signed_16FAIL1200.16
rankfunc36_signed_64FAIL1200.16
stmt47_239_290FAIL1200.16
rankfunc33_unsigned_32FAIL1200.16
stmt21_79_91FAIL1200.16
stmt32_228_277FAIL1200.16
stmt39_34_107FAIL1200.16
stmt32_153_277FAIL1200.16
stmt21_310_360FAIL1200.16
rankfunc52_unsigned_32FAIL1200.16
stmt19_261_266FAIL1200.16
rankfunc26_unsigned_32FAIL1200.16
stmt22_92_259FAIL1200.16
rankfunc17_unsigned_16FAIL1200.16
stmt19_83_302FAIL1200.16
rankfunc27_signed_64FAIL1200.16
stmt19_83_90FAIL1200.16
qshifter_8FAIL1200.16
stmt17_143_144FAIL1200.16
stmt44_252_301FAIL1200.16
stmt16_818_819FAIL1200.16
stmt70_495_501FAIL1200.16
stmt9_350_351FAIL1200.16
stmt25_597_598FAIL1200.16
stmt2_976_999FAIL1200.16
stmt27_296_297FAIL1200.16
stmt1_919_920FAIL1200.16
stmt137_903_911FAIL1200.16
stmt25_52_53FAIL1200.16
stmt17_82_94FAIL1200.16
stmt17_63_70FAIL1200.16
mutex-64-sFAIL1200.16
mutex-16-sFAIL1200.16
qshifter_5FAIL1200.16
sortnetsort10.AE.stepl.005FAIL1200.16
sortnetsort7.AE.stepl.009FAIL1200.16
sortnetsort8.AE.stepl.007FAIL1200.16
sortnetsort9.AE.stepl.004FAIL1200.16
stmt23_66_76FAIL1200.16
stmt19_79_87FAIL1200.16
stmt17_63_78FAIL1200.16
stmt5_731_730FAIL1200.16
stmt24_292_293FAIL1200.16
stmt18_258_260FAIL1200.16
stmt17_18_19FAIL1200.16
stmt19_66_318FAIL1200.16
stmt21_71_304FAIL1200.16
stmt52_295_394FAIL1200.16
stmt21_4_5FAIL1200.16
stmt19_67_83FAIL1200.16
stmt53_208_245FAIL1200.16
stmt21_71_70FAIL1200.16
stmt70_191_213FAIL1200.16
stmt124_966_965FAIL1200.16
stmt24_765_766FAIL1200.16
stmt27_149_224FAIL1200.16
stmt41_262_275FAIL1200.16
stmt2_649_776FAIL1200.16
rankfunc8_unsigned_32FAIL1200.17
rankfunc60_unsigned_32FAIL1200.17
stmt19_217_250FAIL1200.17
rankfunc28_unsigned_16FAIL1200.17
rankfunc24_unsigned_64FAIL1200.17
rankfunc7_signed_16FAIL1200.17
rankfunc22_unsigned_32FAIL1200.17
rankfunc40_unsigned_64FAIL1200.17
stmt21_79_314FAIL1200.17
sortnetsort9.AE.stepl.005FAIL1200.17
sortnetsort8.AE.stepl.005FAIL1200.17
rankfunc21_signed_16FAIL1200.17
rankfunc59_unsigned_16FAIL1200.17
rankfunc20_unsigned_32FAIL1200.17
qshifter_6FAIL1200.17
stmt19_3_309FAIL1200.17
rankfunc44_unsigned_32FAIL1200.17
rankfunc4_unsigned_16FAIL1200.17
qshifter_7FAIL1200.17
stmt21_267_310FAIL1200.17
sortnetsort10.AE.stepl.012FAIL1200.17
stmt19_2_180FAIL1200.17
rankfunc12_unsigned_16FAIL1200.17
mutex-128-sFAIL1200.17
rankfunc55_unsigned_32FAIL1200.17
rankfunc2_unsigned_64FAIL1200.17
rankfunc46_unsigned_32FAIL1200.17
rankfunc11_signed_32FAIL1200.17
rankfunc9_signed_64FAIL1200.17
stmt19_313_318FAIL1200.17
stmt52_117_295FAIL1200.17
stmt1_787_788FAIL1200.17
stmt19_313_412FAIL1200.17
stmt44_554_604FAIL1200.17
stmt19_125_302FAIL1200.17
stmt19_3_83FAIL1200.17
stmt22_6_80FAIL1200.17
stmt19_142_261FAIL1200.17
stmt27_93_98FAIL1200.17
stmt9_445_446FAIL1200.17
rankfunc48_unsigned_16FAIL1200.17
rankfunc14_signed_64FAIL1200.17
rankfunc38_signed_32FAIL1200.17
rankfunc1_signed_32FAIL1200.17
rankfunc43_signed_64FAIL1200.17
rankfunc45_signed_16FAIL1200.17
rankfunc54_signed_32FAIL1200.17
rankfunc5_signed_64FAIL1200.17
sortnetsort9.AE.stepl.012FAIL1200.18
mutex-32-sFAIL1200.18
rankfunc57_unsigned_64FAIL1200.18
rankfunc16_signed_64FAIL1200.18
rankfunc41_signed_32FAIL1200.18
rankfunc39_unsigned_64FAIL1200.18
rankfunc15_unsigned_32FAIL1200.18
stmt17_99_98FAIL1200.18
rankfunc49_signed_32FAIL1200.18
rankfunc23_signed_64FAIL1200.18
rankfunc58_signed_32FAIL1200.18
rankfunc30_signed_64FAIL1200.18
rankfunc18_signed_64FAIL1200.18