Instances solved by depqbf-v2
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
tree-exa10-10SAT0.02
stmt1_20_21SAT0.02
stmt1_145_146SAT0.02
rankfunc37_signed_16UNSAT0.02
tree-exa10-25SAT0.02
tree-exa10-15SAT0.02
tree-exa10-30SAT0.02
stmt44_107_108SAT0.02
stmt24_148_149SAT0.02
tree-exa10-20SAT0.02
mutex-2-sSAT0.03
stmt24_7_8SAT0.03
qshifter_3SAT0.03
k_ph_n-1SAT0.03
qshifter_4SAT0.03
stmt1_811_812SAT0.05
stmt16_0_1SAT0.08
mutex-4-sSAT0.08
stmt27_296_297SAT0.09
stmt9_350_351SAT0.09
stmt18_258_260SAT0.1
rankfunc27_signed_16SAT0.11
stmt82_224_225SAT0.11
qshifter_5SAT0.11
stmt24_292_293SAT0.11
stmt16_818_819SAT0.11
rankfunc5_unsigned_16SAT0.11
stmt3_639_640SAT0.11
stmt70_191_213SAT0.11
rankfunc56_unsigned_16SAT0.11
stmt2_649_647SAT0.12
stmt44_435_436SAT0.12
exquery_query04_1344nUNSAT0.21
stmt44_916_917SAT0.21
stmt11_643_645SAT0.21
stmt2_649_776SAT0.21
rankfunc2_signed_16SAT0.21
rankfunc55_signed_16SAT0.21
rankfunc25_unsigned_16SAT0.21
rankfunc28_signed_16SAT0.21
stmt70_854_859SAT0.21
stmt137_903_911SAT0.21
stmt21_326_327SAT0.21
stmt1_919_920SAT0.21
rankfunc45_unsigned_16SAT0.21
stmt24_765_766SAT0.21
stmt72_696_721SAT0.21
rankfunc60_signed_16SAT0.21
stmt41_738_737SAT0.21
stmt2_649_723SAT0.21
stmt27_946_955SAT0.21
qshifter_6SAT0.21
stmt124_966_965SAT0.21
stmt2_480_551SAT0.21
stmt16_285_286SAT0.21
stmt41_118_131SAT0.21
stmt44_554_555SAT0.31
stmt70_495_501SAT0.31
stmt32_570_572SAT0.31
stmt44_554_604SAT0.31
stmt16_950_951SAT0.31
rankfunc36_signed_32SAT0.31
rankfunc27_signed_32SAT0.31
mutex-8-sSAT0.31
rankfunc46_unsigned_16SAT0.31
stmt27_584_603SAT0.31
stmt86_889_890SAT0.31
rankfunc34_unsigned_32SAT0.41
rankfunc43_signed_16SAT0.41
stmt7_33_34SAT0.41
rankfunc17_unsigned_16SAT0.41
rankfunc57_signed_16SAT0.41
rankfunc15_unsigned_16SAT0.51
stmt1_629_630SAT0.51
rankfunc22_signed_32SAT0.51
stmt41_738_749SAT0.51
rankfunc58_unsigned_32SAT0.61
rankfunc57_signed_32SAT0.61
rankfunc15_signed_16SAT0.61
rankfunc58_signed_32SAT0.61
query02_query58_1344nUNSAT0.61
stmt41_566_580SAT0.61
rankfunc52_unsigned_32SAT0.61
rankfunc61_signed_32SAT0.61
stmt1_787_788SAT0.61
rankfunc19_signed_16SAT0.71
stmt22_6_72UNSAT0.71
eequery_query04_1344nSAT0.81
rankfunc45_signed_32SAT0.81
mutex-16-sSAT0.81
stmt27_16_97UNSAT0.91
stmt38_943_942SAT0.91
stmt16_47_48SAT0.91
stmt37_941_942SAT0.91
stmt1_60_61SAT0.91
rankfunc1_signed_32SAT1.02
stmt17_99_98SAT1.02
qshifter_7SAT1.12
rankfunc60_signed_64SAT1.12
rankfunc43_unsigned_32SAT1.21
rankfunc25_signed_64SAT1.31
stmt41_37_108UNSAT1.31
stmt52_55_117UNSAT1.41
stmt21_5_134UNSAT1.41
rankfunc22_unsigned_64SAT1.51
rankfunc44_unsigned_64SAT1.71
rankfunc33_unsigned_64SAT1.71
stmt22_73_182UNSAT1.91
rankfunc18_signed_32SAT1.91
stmt44_41_288UNSAT1.91
stmt27_16_149UNSAT1.91
rankfunc8_unsigned_64SAT2.12
stmt19_83_142UNSAT2.12
stmt19_3_214UNSAT2.12
stmt39_107_197UNSAT2.22
rankfunc45_unsigned_64SAT2.22
stmt19_66_214UNSAT2.31
stmt19_67_318UNSAT2.31
stmt27_16_224UNSAT2.31
rankfunc16_signed_32SAT2.32
rankfunc21_signed_32SAT2.51
stmt22_92_263UNSAT2.51
stmt19_133_217UNSAT2.61
stmt19_90_266UNSAT2.61
stmt21_79_304UNSAT2.71
stmt44_40_387UNSAT2.71
stmt21_84_215UNSAT2.71
rankfunc45_signed_64SAT2.71
stmt21_138_304UNSAT2.81
axquery_query44_1344nUNSAT2.81
stmt22_73_311UNSAT2.91
stmt46_111_238UNSAT3.01
rankfunc46_unsigned_64SAT3.01
stmt19_217_309UNSAT3.11
mutex-32-sSAT3.11
stmt50_205_293UNSAT3.41
stmt19_217_302UNSAT3.41
query02_query44_1344nUNSAT3.41
rankfunc1_unsigned_64SAT3.42
stmt31_22_328UNSAT3.51
stmt29_226_376UNSAT3.51
stmt22_6_414UNSAT3.61
stmt19_177_309UNSAT3.61
stmt19_3_401UNSAT3.61
stmt41_160_235UNSAT3.61
query07_query60_1344nUNSAT3.61
stmt21_262_319UNSAT3.81
stmt21_178_258UNSAT3.81
stmt21_143_403UNSAT3.91
stmt21_84_364UNSAT4.01
stmt19_137_408UNSAT4.11
rankfunc3_unsigned_32SAT4.21
rankfunc26_unsigned_64SAT4.21
stmt21_71_413UNSAT4.32
rankfunc43_signed_64SAT4.42
stmt19_180_352UNSAT4.51
stmt22_311_370UNSAT4.52
query31_query26_1344nSAT4.81
stmt23_66_67SAT4.91
query07_query64_1344nUNSAT5.01
stmt21_71_354UNSAT5.11
stmt17_63_70SAT5.42
rankfunc42_signed_64SAT5.52
stmt19_352_359UNSAT5.52
stmt23_66_76SAT5.91
sortnetsort5.AE.stepl.006UNSAT6.01
stmt21_70_369UNSAT6.11
stmt17_63_78SAT6.51
stmt17_63_82SAT6.91
stmt52_244_394UNSAT6.91
rankfunc19_unsigned_64SAT7.72
stmt19_64_91SAT8.41
rankfunc16_unsigned_64SAT8.41
axquery_query06_1344nUNSAT9.01
rankfunc16_signed_64SAT9.51
stmt19_90_408UNSAT9.51
sortnetsort5.AE.stepl.007UNSAT9.92
mutex-64-sSAT10.31
qshifter_8SAT11.91
sortnetsort6.AE.stepl.003SAT12.02
query26_query57_1344nUNSAT12.61
stmt2_976_999SAT13.91
sortnetsort5.AE.stepl.003SAT15.61
rankfunc3_unsigned_64SAT16.01
stmt31_190_227UNSAT16.11
sortnetsort8.AE.stepl.004SAT18.81
sortnetsort6.AE.stepl.005UNSAT18.91
sortnetsort7.AE.stepl.003SAT22.41
stmt19_83_412UNSAT22.81
sortnetsort8.AE.stepl.003SAT23.91
sortnetsort8.AE.stepl.007UNSAT28.11
mutex-128-sSAT28.71
sortnetsort9.AE.stepl.004SAT30.52
sortnetsort8.AE.stepl.006UNSAT33.02
query26_query34_1344nUNSAT37.32
sortnetsort5.AE.stepl.004SAT41.31
sortnetsort10.AE.stepl.004SAT42.61
sortnetsort8.AE.stepl.008UNSAT48.11
sortnetsort8.AE.stepl.009UNSAT48.71
nxquery_query50_1344nSAT60.71
sortnetsort7.AE.stepl.004SAT61.51
sortnetsort9.AE.stepl.010UNSAT65.31
sortnetsort5.AE.stepl.005UNSAT68.91
sortnetsort9.AE.stepl.011UNSAT70.91
sortnetsort6.AE.stepl.007UNSAT74.72
sortnetsort10.AE.stepl.010UNSAT78.61
sortnetsort9.AE.stepl.012UNSAT86.21
sortnetsort10.AE.stepl.012UNSAT99.61
sortnetsort8.AE.stepl.005SAT102.61
sortnetsort6.AE.stepl.004SAT105.11
sortnetsort9.AE.stepl.009UNSAT127.71
sortnetsort7.AE.stepl.006UNSAT133.51
sortnetsort10.AE.stepl.011UNSAT134.61
sortnetsort7.AE.stepl.005SAT136.71
sortnetsort10.AE.stepl.008UNSAT153.61
stmt21_181_218UNSAT195.21
sortnetsort9.AE.stepl.005SAT218.82
sortnetsort10.AE.stepl.009UNSAT274.31
sortnetsort6.AE.stepl.006UNSAT291.31
sortnetsort7.AE.stepl.008UNSAT382.31
sortnetsort7.AE.stepl.009UNSAT418.51
query52_query25_1344nSAT431.71
sortnetsort7.AE.stepl.007UNSAT473.31
query10_query06_1344nFAIL591.92
query10_query45_1344nFAIL592.12
nreachq_query54_1344nFAIL592.12
query42_query45_1344nFAIL592.12
query10_query34_1344nFAIL592.42
nreachq_query11_1344nFAIL592.42
stmt19_71_95FAIL592.52
query21_query55_1344nFAIL592.52
query42_query60_1344nFAIL592.52
stmt17_70_98FAIL592.62
query31_reachqu_1344nFAIL592.72
query42_query06_1344nFAIL592.72
stmt17_62_78FAIL592.72
stmt28_89_97FAIL592.72
stmt19_83_91FAIL592.83
stmt17_70_82FAIL592.93
query31_query50_1344nFAIL592.93
query60_query45_1344nFAIL592.93
stmt17_62_98FAIL592.94
query60_query10_1344nFAIL592.94
query36_query25_1344nFAIL592.94
stmt17_82_86FAIL592.94
sortnetsort10.AE.stepl.005FAIL592.94
sortnetsort10.AE.stepl.006FAIL592.95
eequery_query64_1344nFAIL593.02
query71_query34_1344nFAIL593.02
stmt28_68_69FAIL593.02
stmt17_74_78FAIL593.02
query33_query57_1344nFAIL593.02
sortnetsort9.AE.stepl.008FAIL593.02
query31_eequery_1344nFAIL593.03
query48_exquery_1344nFAIL593.03
sortnetsort9.AE.stepl.007FAIL593.03
stmt19_87_95FAIL593.12
stmt19_65_87FAIL593.12
stmt28_73_97FAIL593.12
query60_query44_1344nFAIL593.12
query54_query58_1344nFAIL593.12
stmt17_78_98FAIL593.12
stmt19_64_99FAIL593.12
stmt19_75_83FAIL593.12
stmt17_86_98FAIL593.12
query64_query11_1344nFAIL593.12
query71_query31_1344nFAIL593.12
query60_query33_1344nFAIL593.22
query05_query31_1344nFAIL593.22
query71_query36_1344nFAIL593.23
query04_query25_1344nFAIL593.23
query44_query26_1344nFAIL593.23
stmt23_92_96FAIL593.32
stmt23_72_76FAIL593.32
query49_ntrivil_1344nFAIL593.32
query51_query57_1344nFAIL593.32
stmt17_94_98FAIL593.32
sortnetsort10.AE.stepl.007FAIL593.32
stmt17_82_98FAIL593.32
stmt28_73_85FAIL593.32
stmt17_82_94FAIL593.32
stmt19_79_83FAIL593.32
stmt17_70_86FAIL593.42
query64_query01_1344nFAIL593.42
query33_query51_1344nFAIL593.42
stmt17_78_90FAIL593.42
stmt17_70_90FAIL593.52
query50_query06_1344nFAIL593.52
stmt19_75_95FAIL593.52
stmt28_68_81FAIL593.52
stmt19_64_87FAIL593.62
stmt21_319_418FAIL593.62
stmt19_65_95FAIL593.62
stmt28_68_73FAIL593.62
stmt23_67_92FAIL593.62
stmt17_74_90FAIL593.62
stmt23_88_92FAIL593.62
stmt17_70_78FAIL593.63
stmt17_78_94FAIL593.72
sortnetsort9.AE.stepl.006FAIL593.72
stmt19_79_87FAIL593.72
query33_query45_1344nFAIL593.82
stmt23_66_96FAIL593.94
stmt21_354_403FAIL593.94
query34_query11_1344nFAIL593.94