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

InstanceResultTime
k_ph_n-1SAT0.02
stmt16_0_1SAT0.02
mutex-8-sSAT0.02
qshifter_4SAT0.02
tree-exa10-20SAT0.02
rankfunc37_signed_16UNSAT0.02
stmt44_107_108SAT0.02
stmt1_145_146SAT0.02
stmt24_7_8SAT0.02
stmt24_148_149SAT0.02
tree-exa10-10SAT0.02
mutex-2-sSAT0.02
stmt1_20_21SAT0.02
tree-exa10-30SAT0.02
mutex-4-sSAT0.02
qshifter_3SAT0.02
rankfunc56_unsigned_16SAT0.02
tree-exa10-25SAT0.02
stmt1_811_812SAT0.02
tree-exa10-15SAT0.02
rankfunc45_unsigned_16SAT0.03
rankfunc27_signed_16SAT0.03
rankfunc5_unsigned_16SAT0.03
stmt82_224_225SAT0.03
stmt44_435_436SAT0.03
rankfunc46_unsigned_16SAT0.03
rankfunc17_unsigned_16SAT0.03
rankfunc25_unsigned_16SAT0.03
rankfunc43_signed_16SAT0.03
rankfunc28_signed_16SAT0.03
stmt18_258_260SAT0.03
rankfunc36_signed_32SAT0.03
stmt70_191_213SAT0.03
rankfunc27_signed_32SAT0.03
stmt2_649_723SAT0.03
stmt9_350_351SAT0.03
qshifter_5SAT0.03
stmt27_296_297SAT0.03
stmt2_649_647SAT0.03
stmt24_292_293SAT0.03
stmt2_480_551SAT0.03
rankfunc43_unsigned_32SAT0.04
stmt86_889_890SAT0.04
stmt11_643_645SAT0.04
stmt27_584_603SAT0.04
stmt2_649_776SAT0.04
stmt24_765_766SAT0.04
stmt41_118_131SAT0.04
stmt72_696_721SAT0.04
rankfunc15_unsigned_16SAT0.04
stmt27_946_955SAT0.04
stmt41_738_737SAT0.04
stmt16_285_286SAT0.04
rankfunc34_unsigned_32SAT0.04
stmt137_903_911SAT0.04
rankfunc15_signed_16SAT0.04
stmt70_495_501SAT0.04
stmt70_854_859SAT0.04
rankfunc19_signed_16SAT0.04
stmt16_818_819SAT0.04
stmt44_554_604SAT0.04
rankfunc60_signed_16SAT0.04
stmt32_570_572SAT0.04
stmt1_919_920SAT0.04
stmt124_966_965SAT0.04
stmt21_326_327SAT0.04
stmt44_916_917SAT0.04
rankfunc58_unsigned_32SAT0.05
rankfunc22_signed_32SAT0.05
rankfunc1_signed_32SAT0.05
rankfunc45_signed_32SAT0.05
rankfunc44_unsigned_64SAT0.05
stmt7_33_34SAT0.05
stmt16_950_951SAT0.05
exquery_query04_1344nUNSAT0.05
rankfunc61_signed_32SAT0.05
stmt3_639_640SAT0.05
stmt44_554_555SAT0.05
rankfunc52_unsigned_32SAT0.05
rankfunc25_signed_64SAT0.06
rankfunc18_signed_32SAT0.06
stmt1_629_630SAT0.06
rankfunc58_signed_32SAT0.06
rankfunc2_signed_16SAT0.06
stmt41_738_749SAT0.07
rankfunc33_unsigned_64SAT0.07
stmt1_787_788SAT0.07
rankfunc21_signed_32SAT0.07
rankfunc16_signed_32SAT0.07
stmt41_566_580SAT0.07
rankfunc43_signed_64SAT0.07
rankfunc45_unsigned_64SAT0.08
eequery_query04_1344nSAT0.08
qshifter_6SAT0.08
rankfunc3_unsigned_32SAT0.08
mutex-32-sSAT0.08
rankfunc46_unsigned_64SAT0.09
rankfunc42_signed_64SAT0.09
stmt16_47_48SAT0.1
stmt1_60_61SAT0.1
rankfunc45_signed_64SAT0.1
rankfunc1_unsigned_64SAT0.1
stmt38_943_942SAT0.1
rankfunc22_unsigned_64SAT0.1
stmt37_941_942SAT0.1
rankfunc26_unsigned_64SAT0.11
stmt17_99_98SAT0.11
rankfunc60_signed_64SAT0.12
rankfunc8_unsigned_64SAT0.12
query31_query26_1344nSAT0.12
rankfunc16_unsigned_64SAT0.12
rankfunc55_signed_16SAT0.12
rankfunc16_signed_64SAT0.13
mutex-64-sSAT0.14
rankfunc19_unsigned_64SAT0.14
rankfunc3_unsigned_64SAT0.14
mutex-16-sSAT0.18
query07_query60_1344nUNSAT0.25
mutex-128-sSAT0.26
qshifter_7SAT0.44
axquery_query44_1344nUNSAT0.47
stmt27_16_97UNSAT0.64
axquery_query06_1344nUNSAT0.7
query26_query57_1344nUNSAT0.79
query02_query58_1344nUNSAT0.94
stmt23_66_67SAT1.05
stmt28_68_73SAT1.09
sortnetsort8.AE.stepl.004SAT2.28
sortnetsort5.AE.stepl.007UNSAT2.38
sortnetsort7.AE.stepl.007UNSAT2.9
sortnetsort5.AE.stepl.004SAT3.29
sortnetsort5.AE.stepl.005UNSAT3.32
sortnetsort7.AE.stepl.008UNSAT3.44
sortnetsort7.AE.stepl.006UNSAT3.57
query26_query34_1344nUNSAT3.61
query21_query55_1344nUNSAT3.72
sortnetsort5.AE.stepl.006UNSAT3.88
sortnetsort6.AE.stepl.003SAT4
sortnetsort7.AE.stepl.009UNSAT4.01
sortnetsort8.AE.stepl.006UNSAT4.08
query07_query64_1344nUNSAT4.28
sortnetsort9.AE.stepl.004SAT4.65
qshifter_8SAT5.73
sortnetsort6.AE.stepl.006UNSAT6.21
stmt17_63_70SAT6.42
query31_query50_1344nSAT6.47
sortnetsort7.AE.stepl.003SAT6.6
sortnetsort5.AE.stepl.003SAT7.15
sortnetsort6.AE.stepl.007UNSAT8.42
sortnetsort6.AE.stepl.004SAT8.78
sortnetsort7.AE.stepl.004SAT9.17
sortnetsort8.AE.stepl.007UNSAT9.19
nxquery_query50_1344nSAT9.28
stmt2_976_999SAT9.52
sortnetsort8.AE.stepl.008UNSAT10.34
sortnetsort10.AE.stepl.004SAT10.47
sortnetsort8.AE.stepl.003SAT10.54
query02_query44_1344nUNSAT11.52
sortnetsort9.AE.stepl.008UNSAT13.32
sortnetsort8.AE.stepl.009UNSAT13.75
sortnetsort6.AE.stepl.005UNSAT14.41
sortnetsort8.AE.stepl.005SAT16.54
sortnetsort9.AE.stepl.005SAT28.02
sortnetsort9.AE.stepl.011UNSAT28.39
sortnetsort10.AE.stepl.009UNSAT28.4
sortnetsort9.AE.stepl.009UNSAT29.78
sortnetsort9.AE.stepl.010UNSAT30.19
sortnetsort9.AE.stepl.012UNSAT31.88
sortnetsort10.AE.stepl.008UNSAT39.26
sortnetsort10.AE.stepl.011UNSAT44.28
sortnetsort10.AE.stepl.012UNSAT51.08
sortnetsort10.AE.stepl.010UNSAT54.69
sortnetsort7.AE.stepl.005SAT63.67
query33_query45_1344nSAT81.04
stmt28_68_81SAT86.56
query52_query25_1344nSAT97.93
query31_eequery_1344nSAT103
query36_query25_1344nSAT103.2
query50_query06_1344nSAT230.17
query05_query31_1344nSAT280.81
query04_query25_1344nSAT284.19
query49_ntrivil_1344nSAT319.82
sortnetsort10.AE.stepl.005SAT387.22
stmt28_68_69FAIL599.71
stmt17_62_98FAIL599.71
stmt19_75_83FAIL599.71
stmt17_70_98FAIL599.71
stmt17_78_90FAIL599.71
stmt19_65_95FAIL599.71
stmt23_72_76FAIL599.71
stmt28_73_97FAIL599.71
rankfunc57_signed_16FAIL599.71
stmt17_82_94FAIL599.71
stmt17_74_90FAIL599.71
stmt19_65_87FAIL599.71
stmt17_82_98FAIL599.71
stmt17_63_78FAIL599.71
stmt17_70_86FAIL599.71
stmt23_88_92FAIL599.71
query42_query45_1344nFAIL599.71
query10_query34_1344nFAIL599.71
rankfunc57_signed_32FAIL599.71
query60_query33_1344nFAIL599.71
query64_query11_1344nFAIL599.71
eequery_query64_1344nFAIL599.71
query71_query31_1344nFAIL599.71
query54_query58_1344nFAIL599.71
stmt19_79_83FAIL599.71
stmt28_73_85FAIL599.71
stmt23_66_76FAIL599.71
stmt19_64_99FAIL599.71
stmt17_78_98FAIL599.71
query33_query57_1344nFAIL599.71
stmt19_75_95FAIL599.71
stmt44_40_387FAIL599.71
stmt19_90_408FAIL599.71
stmt22_6_72FAIL599.71
stmt19_180_352FAIL599.71
stmt41_160_235FAIL599.71
stmt19_71_95FAIL599.71
stmt17_70_82FAIL599.71
stmt21_178_258FAIL599.71
stmt22_6_414FAIL599.71
stmt21_84_215FAIL599.71
stmt19_3_214FAIL599.71
stmt27_16_224FAIL599.71
stmt21_71_354FAIL599.71
stmt21_319_418FAIL599.71
stmt21_71_413FAIL599.71
stmt22_311_370FAIL599.71
stmt19_3_401FAIL599.71
stmt22_92_263FAIL599.71
stmt22_73_182FAIL599.71
stmt39_107_197FAIL599.71
stmt19_90_266FAIL599.71
stmt31_190_227FAIL599.71
stmt21_143_403FAIL599.71
stmt19_64_87FAIL599.71
stmt19_83_91FAIL599.71
stmt19_133_217FAIL599.71
stmt21_262_319FAIL599.71
stmt19_217_309FAIL599.71
stmt19_66_214FAIL599.71
stmt19_64_91FAIL599.71
sortnetsort9.AE.stepl.007FAIL599.71
stmt17_70_78FAIL599.71
stmt23_67_92FAIL599.71
stmt17_70_90FAIL599.71
stmt17_86_98FAIL599.71
stmt44_41_288FAIL599.71
stmt22_73_311FAIL599.71
stmt21_84_364FAIL599.71
stmt17_63_82FAIL599.71
stmt23_92_96FAIL599.71
query71_query36_1344nFAIL599.81
query64_query01_1344nFAIL599.81
query42_query60_1344nFAIL599.81
query51_query57_1344nFAIL599.81
query71_query34_1344nFAIL599.81
query10_query06_1344nFAIL599.81
query48_exquery_1344nFAIL599.81
sortnetsort10.AE.stepl.007FAIL599.81
stmt17_94_98FAIL599.81
query33_query51_1344nFAIL599.81
query60_query10_1344nFAIL599.81
stmt19_83_142FAIL599.81
nreachq_query54_1344nFAIL599.81
query60_query44_1344nFAIL599.81
query60_query45_1344nFAIL599.81
query34_query11_1344nFAIL599.81
stmt29_226_376FAIL599.81
sortnetsort10.AE.stepl.006FAIL599.81
query10_query45_1344nFAIL599.81
stmt21_5_134FAIL599.81
query44_query26_1344nFAIL599.81
stmt41_37_108FAIL599.81
stmt19_83_412FAIL599.81
stmt50_205_293FAIL599.81
stmt27_16_149FAIL599.81
stmt28_89_97FAIL599.81
stmt19_79_87FAIL599.81
stmt52_55_117FAIL599.81
stmt19_87_95FAIL599.81
stmt21_181_218FAIL599.81
stmt17_78_94FAIL599.81
stmt19_67_318FAIL599.81
stmt17_82_86FAIL599.81
stmt23_66_96FAIL599.81
stmt46_111_238FAIL599.81
stmt21_354_403FAIL599.81
stmt19_217_302FAIL599.81
nreachq_query11_1344nFAIL599.81
stmt21_79_304FAIL599.81
stmt21_70_369FAIL599.81
stmt19_352_359FAIL599.81
stmt21_138_304FAIL599.81
query42_query06_1344nFAIL599.81
query31_reachqu_1344nFAIL599.81
stmt19_137_408FAIL599.81
stmt31_22_328FAIL599.81
stmt19_177_309FAIL599.81
sortnetsort9.AE.stepl.006FAIL599.81
stmt17_74_78FAIL599.81
stmt17_62_78FAIL599.81
stmt52_244_394FAIL599.91