Instances solved by iprover-QBF
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
k_ph_n-1SAT0.04
tree-exa10-10SAT0.04
stmt44_107_108SAT0.05
stmt24_7_8SAT0.05
qshifter_3SAT0.05
tree-exa10-25SAT0.05
tree-exa10-15SAT0.05
tree-exa10-30SAT0.05
tree-exa10-20SAT0.05
stmt1_20_21SAT0.07
mutex-2-sSAT0.08
stmt1_145_146SAT0.1
qshifter_4SAT0.1
stmt24_148_149SAT0.1
rankfunc37_signed_16UNSAT0.26
mutex-4-sSAT0.3
qshifter_5SAT0.71
mutex-8-sSAT2.04
qshifter_6SAT6.07
mutex-16-sSAT9.25
qshifter_8FAIL28.13
mutex-32-sSAT39.84
mutex-64-sSAT80.63
rankfunc43_signed_16SAT81.22
rankfunc28_signed_16SAT91.17
sortnetsort10.AE.stepl.012FAIL95.74
rankfunc5_unsigned_16SAT98.11
sortnetsort10.AE.stepl.011FAIL103.93
rankfunc27_signed_16SAT105.47
exquery_query04_1344nUNSAT107.09
rankfunc45_unsigned_16SAT114.77
rankfunc34_unsigned_32SAT122.19
rankfunc25_unsigned_16SAT122.83
rankfunc46_unsigned_16SAT128.3
rankfunc17_unsigned_16SAT138.85
sortnetsort10.AE.stepl.010FAIL142.53
sortnetsort8.AE.stepl.004FAIL182.43
qshifter_7FAIL190.24
sortnetsort9.AE.stepl.012FAIL196.83
rankfunc60_signed_64FAIL200.54
stmt27_296_297FAIL203.94
sortnetsort7.AE.stepl.006FAIL219.84
query60_query33_1344nFAIL226.53
stmt18_258_260FAIL227.85
sortnetsort10.AE.stepl.009FAIL230.83
rankfunc33_unsigned_64FAIL231.74
stmt24_292_293FAIL233.64
query60_query45_1344nFAIL236.83
stmt70_191_213FAIL238.65
query07_query60_1344nFAIL243.53
query07_query64_1344nFAIL244.84
stmt17_99_98FAIL247.44
stmt21_71_413FAIL262.04
stmt19_83_412FAIL267.45
rankfunc22_signed_32FAIL269.54
query44_query26_1344nFAIL270.24
stmt19_90_408FAIL270.75
stmt82_224_225FAIL275.64
stmt21_143_403FAIL276.93
mutex-128-sFAIL277.83
stmt19_137_408FAIL280.34
query60_query44_1344nFAIL282.53
rankfunc22_unsigned_64FAIL282.85
rankfunc44_unsigned_64FAIL284.14
rankfunc21_signed_32FAIL284.23
rankfunc18_signed_32FAIL287.33
sortnetsort9.AE.stepl.011FAIL288.73
rankfunc8_unsigned_64FAIL289.03
stmt16_0_1FAIL294.44
sortnetsort8.AE.stepl.005FAIL294.64
stmt31_22_328FAIL297.33
sortnetsort7.AE.stepl.007FAIL302.55
stmt19_180_352FAIL303.43
rankfunc52_unsigned_32FAIL307.64
stmt19_67_318FAIL313.23
rankfunc43_signed_64FAIL314.84
stmt22_73_311FAIL315.53
stmt22_311_370FAIL317.54
stmt21_79_304FAIL323.84
rankfunc25_signed_64FAIL324.44
stmt21_138_304FAIL325.75
stmt7_33_34FAIL326.34
rankfunc58_unsigned_32FAIL326.85
stmt19_352_359FAIL327.44
stmt17_63_70FAIL330.05
stmt11_643_645FAIL330.15
sortnetsort9.AE.stepl.004FAIL333.15
stmt2_649_776FAIL334.34
rankfunc58_signed_32FAIL336.14
stmt19_177_309FAIL336.53
rankfunc36_signed_32FAIL338.95
stmt16_285_286FAIL344.14
stmt19_217_309FAIL344.93
stmt28_68_69FAIL345.24
stmt27_946_955FAIL347.55
stmt44_916_917FAIL348.35
stmt1_919_920FAIL348.44
stmt124_966_965FAIL350.35
rankfunc1_signed_32FAIL351.64
stmt44_554_555FAIL354.94
rankfunc45_unsigned_64FAIL358.63
rankfunc43_unsigned_32FAIL360.53
stmt2_649_647FAIL362.85
stmt72_696_721FAIL365.25
stmt21_319_418FAIL366.45
stmt86_889_890FAIL368.24
rankfunc45_signed_64FAIL369.23
stmt44_435_436FAIL370.34
stmt41_118_131FAIL370.74
stmt2_480_551FAIL373.34
stmt41_738_737FAIL373.64
stmt23_66_76FAIL376.44
stmt137_903_911FAIL376.74
stmt32_570_572FAIL381.94
stmt44_554_604FAIL382.04
rankfunc27_signed_32FAIL382.44
stmt2_649_723FAIL384.06
stmt24_765_766FAIL384.24
stmt21_354_403FAIL388.84
rankfunc3_unsigned_32FAIL389.83
sortnetsort7.AE.stepl.008FAIL391.93
stmt28_68_73FAIL394.53
stmt70_495_501FAIL399.35
stmt2_976_999FAIL402.65
stmt70_854_859FAIL403.54
stmt16_950_951FAIL403.94
rankfunc1_unsigned_64FAIL404.63
stmt23_72_76FAIL412.44
rankfunc46_unsigned_64FAIL413.43
sortnetsort8.AE.stepl.006FAIL414.34
stmt41_738_749FAIL419.54
stmt21_326_327FAIL424.44
stmt41_566_580FAIL426.54
stmt17_63_78FAIL427.43
stmt38_943_942FAIL430.64
sortnetsort6.AE.stepl.007FAIL434.23
stmt9_350_351FAIL435.25
sortnetsort7.AE.stepl.004FAIL439.44
rankfunc45_signed_32FAIL440.74
sortnetsort7.AE.stepl.003FAIL442.63
sortnetsort10.AE.stepl.008FAIL442.93
rankfunc26_unsigned_64FAIL445.03
stmt16_47_48FAIL446.14
stmt17_62_78FAIL448.24
sortnetsort8.AE.stepl.003FAIL449.83
sortnetsort7.AE.stepl.005FAIL450.44
stmt37_941_942FAIL450.53
sortnetsort9.AE.stepl.010FAIL458.53
stmt17_70_78FAIL467.65
sortnetsort7.AE.stepl.009FAIL478.74
stmt16_818_819FAIL479.44
stmt17_63_82FAIL480.03
rankfunc61_signed_32FAIL481.24
stmt23_66_67FAIL481.83
stmt23_66_96FAIL482.33
sortnetsort5.AE.stepl.006FAIL486.94
stmt1_60_61FAIL487.03
stmt17_74_78FAIL490.43
sortnetsort5.AE.stepl.005FAIL491.24
sortnetsort9.AE.stepl.005FAIL497.73
rankfunc60_signed_16FAIL502.64
stmt27_584_603FAIL504.24
stmt28_68_81FAIL505.53
axquery_query44_1344nFAIL506.84
rankfunc16_signed_32FAIL507.15
stmt19_65_95FAIL508.37
stmt19_64_99FAIL509.23
sortnetsort10.AE.stepl.004FAIL515.13
sortnetsort5.AE.stepl.004FAIL515.64
stmt1_629_630FAIL517.54
stmt17_62_98FAIL519.24
sortnetsort6.AE.stepl.006FAIL519.93
stmt3_639_640FAIL520.84
stmt17_70_82FAIL523.24
stmt19_64_87FAIL528.17
sortnetsort6.AE.stepl.003FAIL528.83
stmt1_787_788FAIL529.73
stmt17_70_98FAIL530.03
sortnetsort6.AE.stepl.004FAIL530.83
sortnetsort5.AE.stepl.007FAIL534.24
rankfunc57_signed_32FAIL535.33
stmt28_73_97FAIL537.33
stmt19_71_95FAIL537.44
stmt19_75_83FAIL544.24
stmt17_78_98FAIL547.13
sortnetsort8.AE.stepl.007FAIL548.23
stmt19_75_95FAIL556.33
stmt17_82_98FAIL558.84
stmt17_70_86FAIL559.07
sortnetsort6.AE.stepl.005FAIL561.43
stmt19_79_83FAIL561.53
stmt19_65_87FAIL562.03
stmt17_86_98FAIL568.13
stmt1_811_812FAIL578.44
stmt17_78_94FAIL580.83
stmt28_89_97FAIL583.63
nxquery_query50_1344nFAIL585.14
stmt17_94_98FAIL587.03
query10_query34_1344nFAIL599.11
query64_query01_1344nFAIL599.12
query26_query34_1344nFAIL599.12
rankfunc19_unsigned_64FAIL599.12
stmt21_181_218FAIL599.12
axquery_query06_1344nFAIL599.12
stmt19_133_217FAIL599.12
query31_query26_1344nFAIL599.12
rankfunc15_unsigned_16FAIL599.12
query71_query34_1344nFAIL599.12
rankfunc55_signed_16FAIL599.12
query21_query55_1344nFAIL599.21
stmt46_111_238FAIL599.21
rankfunc16_signed_64FAIL599.21
rankfunc19_signed_16FAIL599.22
nreachq_query54_1344nFAIL599.22
sortnetsort9.AE.stepl.006FAIL599.22
nreachq_query11_1344nFAIL599.22
sortnetsort8.AE.stepl.009FAIL599.22
sortnetsort8.AE.stepl.008FAIL599.22
query31_reachqu_1344nFAIL599.22
eequery_query64_1344nFAIL599.22
eequery_query04_1344nFAIL599.22
query42_query06_1344nFAIL599.22
query02_query44_1344nFAIL599.22
query02_query58_1344nFAIL599.22
query48_exquery_1344nFAIL599.22
query49_ntrivil_1344nFAIL599.22
query50_query06_1344nFAIL599.22
query51_query57_1344nFAIL599.22
query52_query25_1344nFAIL599.22
query54_query58_1344nFAIL599.22
query60_query10_1344nFAIL599.22
sortnetsort10.AE.stepl.007FAIL599.22
sortnetsort10.AE.stepl.006FAIL599.22
sortnetsort10.AE.stepl.005FAIL599.22
query64_query11_1344nFAIL599.22
query71_query31_1344nFAIL599.22
query42_query60_1344nFAIL599.22
query42_query45_1344nFAIL599.22
query36_query25_1344nFAIL599.22
query04_query25_1344nFAIL599.22
query05_query31_1344nFAIL599.22
query26_query57_1344nFAIL599.22
sortnetsort5.AE.stepl.003FAIL599.22
query10_query06_1344nFAIL599.22
query10_query45_1344nFAIL599.22
query31_eequery_1344nFAIL599.22
query31_query50_1344nFAIL599.22
query33_query45_1344nFAIL599.22
query33_query51_1344nFAIL599.22
query33_query57_1344nFAIL599.22
query34_query11_1344nFAIL599.22
query71_query36_1344nFAIL599.22
stmt21_71_354FAIL599.22
stmt19_66_214FAIL599.22
stmt50_205_293FAIL599.22
stmt27_16_149FAIL599.22
stmt21_84_364FAIL599.22
stmt21_5_134FAIL599.22
stmt27_16_97FAIL599.22
stmt52_244_394FAIL599.22
stmt52_55_117FAIL599.22
stmt44_41_288FAIL599.22
stmt22_73_182FAIL599.22
stmt29_226_376FAIL599.22
stmt41_37_108FAIL599.22
stmt21_84_215FAIL599.22
stmt27_16_224FAIL599.22
stmt39_107_197FAIL599.22
stmt19_3_214FAIL599.22
stmt21_70_369FAIL599.22
stmt22_92_263FAIL599.22
stmt22_6_72FAIL599.22
stmt19_3_401FAIL599.22
stmt41_160_235FAIL599.22
stmt21_262_319FAIL599.22
stmt19_217_302FAIL599.22
stmt22_6_414FAIL599.22
stmt19_90_266FAIL599.22
stmt31_190_227FAIL599.22
stmt17_82_94FAIL599.22
rankfunc15_signed_16FAIL599.22
stmt19_87_95FAIL599.22
stmt17_78_90FAIL599.22
stmt44_40_387FAIL599.22
stmt19_79_87FAIL599.22
rankfunc42_signed_64FAIL599.22
stmt23_88_92FAIL599.22
stmt28_73_85FAIL599.22
sortnetsort9.AE.stepl.009FAIL599.22
sortnetsort9.AE.stepl.008FAIL599.22
rankfunc16_unsigned_64FAIL599.22
stmt17_74_90FAIL599.22
stmt19_83_142FAIL599.22
rankfunc2_signed_16FAIL599.22
stmt23_67_92FAIL599.22
rankfunc3_unsigned_64FAIL599.22
stmt19_64_91FAIL599.22
rankfunc57_signed_16FAIL599.22
stmt23_92_96FAIL599.22
stmt19_83_91FAIL599.22
stmt17_82_86FAIL599.22
stmt17_70_90FAIL599.22
sortnetsort9.AE.stepl.007FAIL599.22
rankfunc56_unsigned_16FAIL599.32
stmt21_178_258FAIL599.32