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

InstanceResultTime
tree-exa10-10SAT0
qshifter_4SAT0
tree-exa10-20SAT0
k_ph_n-1SAT0
rankfunc37_signed_16UNSAT0
rankfunc27_signed_16SAT0
rankfunc5_unsigned_16SAT0
stmt1_20_21SAT0
stmt24_7_8SAT0
stmt1_145_146SAT0
mutex-8-sSAT0
stmt16_0_1SAT0
tree-exa10-15SAT0
tree-exa10-25SAT0
qshifter_3SAT0
mutex-4-sSAT0
rankfunc28_signed_16SAT0
stmt44_107_108SAT0
mutex-2-sSAT0
stmt24_148_149SAT0
tree-exa10-30SAT0
rankfunc15_unsigned_16SAT0.01
stmt2_649_647SAT0.01
stmt1_811_812SAT0.01
rankfunc36_signed_32SAT0.01
stmt27_296_297SAT0.01
stmt70_191_213SAT0.01
stmt3_639_640SAT0.01
stmt9_350_351SAT0.01
rankfunc60_signed_16SAT0.01
stmt44_435_436SAT0.01
rankfunc46_unsigned_16SAT0.01
rankfunc17_unsigned_16SAT0.01
rankfunc27_signed_32SAT0.01
stmt82_224_225SAT0.01
rankfunc15_signed_16SAT0.01
stmt16_818_819SAT0.01
rankfunc25_unsigned_16SAT0.01
stmt24_292_293SAT0.01
stmt18_258_260SAT0.01
stmt2_480_551SAT0.01
stmt2_649_723SAT0.01
rankfunc56_unsigned_16SAT0.01
rankfunc34_unsigned_32SAT0.01
qshifter_5SAT0.01
mutex-16-sSAT0.01
rankfunc43_signed_16SAT0.01
stmt21_326_327SAT0.01
stmt11_643_645SAT0.01
rankfunc45_unsigned_16SAT0.01
rankfunc22_signed_32SAT0.02
stmt16_285_286SAT0.02
stmt124_966_965SAT0.02
stmt41_738_737SAT0.02
rankfunc43_unsigned_32SAT0.02
rankfunc55_signed_16SAT0.02
stmt72_696_721SAT0.02
stmt27_584_603SAT0.02
stmt16_950_951SAT0.02
stmt27_946_955SAT0.02
stmt7_33_34SAT0.02
stmt2_649_776SAT0.02
stmt86_889_890SAT0.02
stmt41_118_131SAT0.02
stmt32_570_572SAT0.02
stmt24_765_766SAT0.02
stmt44_554_604SAT0.02
stmt44_916_917SAT0.02
stmt70_495_501SAT0.02
stmt1_919_920SAT0.02
stmt44_554_555SAT0.02
stmt137_903_911SAT0.02
rankfunc19_signed_16SAT0.02
rankfunc44_unsigned_64SAT0.02
stmt70_854_859SAT0.02
rankfunc25_signed_64SAT0.03
rankfunc58_unsigned_32SAT0.03
rankfunc1_signed_32SAT0.03
rankfunc45_signed_32SAT0.03
rankfunc16_signed_32SAT0.03
rankfunc57_signed_16SAT0.03
rankfunc61_signed_32SAT0.03
rankfunc18_signed_32SAT0.03
rankfunc21_signed_32SAT0.03
rankfunc52_unsigned_32SAT0.03
rankfunc58_signed_32SAT0.03
rankfunc2_signed_16SAT0.04
mutex-32-sSAT0.04
qshifter_6SAT0.04
rankfunc3_unsigned_32SAT0.04
stmt1_629_630SAT0.04
rankfunc33_unsigned_64SAT0.04
rankfunc43_signed_64SAT0.04
stmt41_738_749SAT0.05
rankfunc45_unsigned_64SAT0.05
stmt1_787_788SAT0.05
rankfunc46_unsigned_64SAT0.05
exquery_query04_1344nUNSAT0.05
rankfunc42_signed_64SAT0.05
stmt41_566_580SAT0.05
rankfunc1_unsigned_64SAT0.06
rankfunc45_signed_64SAT0.06
stmt38_943_942SAT0.07
stmt16_47_48SAT0.07
stmt1_60_61SAT0.07
rankfunc22_unsigned_64SAT0.07
eequery_query04_1344nSAT0.07
stmt37_941_942SAT0.07
rankfunc26_unsigned_64SAT0.07
stmt17_99_98SAT0.08
rankfunc16_signed_64SAT0.08
rankfunc16_unsigned_64SAT0.08
rankfunc60_signed_64SAT0.09
stmt22_6_72UNSAT0.09
rankfunc57_signed_32SAT0.09
rankfunc8_unsigned_64SAT0.09
rankfunc19_unsigned_64SAT0.09
rankfunc3_unsigned_64SAT0.1
mutex-64-sSAT0.11
axquery_query44_1344nUNSAT0.11
query26_query34_1344nUNSAT0.12
query02_query44_1344nUNSAT0.13
stmt27_16_97UNSAT0.14
query02_query58_1344nUNSAT0.17
axquery_query06_1344nUNSAT0.19
mutex-128-sSAT0.2
stmt27_16_149UNSAT0.2
stmt22_73_182UNSAT0.23
query26_query57_1344nUNSAT0.23
stmt52_55_117UNSAT0.25
query31_query26_1344nSAT0.26
stmt19_66_214UNSAT0.27
stmt39_107_197UNSAT0.28
query07_query60_1344nUNSAT0.32
query04_query25_1344nSAT0.32
stmt19_90_266UNSAT0.35
qshifter_7SAT0.36
query07_query64_1344nUNSAT0.37
query21_query55_1344nUNSAT0.38
stmt41_37_108UNSAT0.41
stmt21_262_319UNSAT0.45
stmt21_79_304UNSAT0.48
stmt19_177_309UNSAT0.53
query31_eequery_1344nSAT0.57
query36_query25_1344nSAT0.57
stmt19_217_302UNSAT0.63
stmt21_138_304UNSAT0.66
stmt19_180_352UNSAT0.69
query49_ntrivil_1344nSAT0.73
stmt19_217_309UNSAT0.74
stmt44_41_288UNSAT0.79
stmt22_311_370UNSAT0.84
sortnetsort7.AE.stepl.007UNSAT1.07
stmt19_137_408UNSAT1.15
sortnetsort7.AE.stepl.006UNSAT1.25
query52_query25_1344nSAT1.28
sortnetsort7.AE.stepl.008UNSAT1.39
sortnetsort7.AE.stepl.009UNSAT1.62
sortnetsort8.AE.stepl.004SAT1.74
stmt2_976_999SAT1.74
sortnetsort5.AE.stepl.007UNSAT2.33
nxquery_query50_1344nSAT2.39
sortnetsort5.AE.stepl.006UNSAT2.44
stmt19_352_359UNSAT2.84
sortnetsort5.AE.stepl.005UNSAT2.94
sortnetsort9.AE.stepl.004SAT2.96
sortnetsort8.AE.stepl.006UNSAT3.24
sortnetsort6.AE.stepl.004SAT3.3
stmt19_90_408UNSAT3.41
sortnetsort6.AE.stepl.007UNSAT3.69
stmt50_205_293UNSAT4.25
eequery_query64_1344nSAT4.49
sortnetsort5.AE.stepl.003SAT4.53
sortnetsort8.AE.stepl.003SAT5.11
stmt21_5_134UNSAT5.28
query31_query50_1344nSAT5.63
qshifter_8SAT5.68
sortnetsort7.AE.stepl.004SAT6.1
sortnetsort8.AE.stepl.005SAT6.29
sortnetsort7.AE.stepl.003SAT7.41
stmt21_71_354UNSAT7.44
stmt22_92_263UNSAT7.66
sortnetsort6.AE.stepl.006UNSAT8.33
sortnetsort5.AE.stepl.004SAT8.88
stmt19_83_142UNSAT9.09
sortnetsort6.AE.stepl.005UNSAT9.23
sortnetsort6.AE.stepl.003SAT10.64
sortnetsort10.AE.stepl.004SAT10.92
sortnetsort8.AE.stepl.008UNSAT11.34
sortnetsort8.AE.stepl.009UNSAT12.38
query31_reachqu_1344nSAT13.79
sortnetsort9.AE.stepl.005SAT13.96
query48_exquery_1344nSAT17.09
query33_query45_1344nSAT18.92
stmt19_133_217UNSAT25.14
sortnetsort9.AE.stepl.007UNSAT25.89
query50_query06_1344nSAT26.15
sortnetsort7.AE.stepl.005SAT26.25
query42_query06_1344nUNSAT34.17
sortnetsort8.AE.stepl.007UNSAT34.77
query60_query45_1344nSAT37.81
sortnetsort9.AE.stepl.009UNSAT39.69
stmt46_111_238UNSAT46.29
stmt31_22_328UNSAT46.75
query05_query31_1344nSAT47.62
sortnetsort9.AE.stepl.012UNSAT54.12
stmt19_83_412UNSAT59.15
stmt19_3_214UNSAT64.29
nreachq_query11_1344nUNSAT69.31
stmt21_84_364UNSAT70.32
stmt21_178_258UNSAT71.13
stmt19_67_318UNSAT81.05
query33_query57_1344nSAT95.4
stmt21_84_215UNSAT96.65
query51_query57_1344nSAT98.76
stmt41_160_235UNSAT104.97
query10_query45_1344nSAT111.48
sortnetsort9.AE.stepl.008UNSAT120.59
stmt52_244_394UNSAT127.77
sortnetsort9.AE.stepl.010UNSAT131.07
sortnetsort9.AE.stepl.011UNSAT151.81
stmt27_16_224UNSAT164.37
query42_query45_1344nSAT176.26
query54_query58_1344nSAT194.01
query71_query36_1344nUNSAT197.59
stmt21_143_403UNSAT217.39
query71_query31_1344nSAT244.07
stmt21_71_413UNSAT269.39
query64_query11_1344nSAT299
stmt22_73_311UNSAT304.83
sortnetsort10.AE.stepl.009UNSAT481.67
query33_query51_1344nSAT569.15
nreachq_query54_1344nFAIL599.71
query44_query26_1344nFAIL599.71
sortnetsort9.AE.stepl.006FAIL599.71
query60_query44_1344nFAIL599.71
sortnetsort10.AE.stepl.006FAIL599.71
query34_query11_1344nFAIL599.71
query42_query60_1344nFAIL599.71
sortnetsort10.AE.stepl.005FAIL599.71
sortnetsort10.AE.stepl.007FAIL599.71
sortnetsort10.AE.stepl.008FAIL599.71
sortnetsort10.AE.stepl.010FAIL599.71
sortnetsort10.AE.stepl.011FAIL599.71
sortnetsort10.AE.stepl.012FAIL599.71
query10_query34_1344nFAIL599.71
query10_query06_1344nFAIL599.71
query60_query10_1344nFAIL599.71
stmt19_79_83FAIL599.71
stmt23_66_76FAIL599.71
stmt21_70_369FAIL599.71
stmt23_66_67FAIL599.71
stmt19_64_87FAIL599.71
stmt19_71_95FAIL599.71
stmt17_63_82FAIL599.71
stmt17_70_78FAIL599.71
stmt17_82_86FAIL599.71
stmt17_70_90FAIL599.71
stmt23_66_96FAIL599.71
stmt19_75_95FAIL599.71
stmt19_83_91FAIL599.71
stmt17_63_70FAIL599.71
stmt23_92_96FAIL599.71
stmt21_354_403FAIL599.71
stmt22_6_414FAIL599.71
stmt19_3_401FAIL599.71
stmt44_40_387FAIL599.71
stmt29_226_376FAIL599.71
stmt31_190_227FAIL599.71
stmt21_181_218FAIL599.71
stmt23_67_92FAIL599.71
stmt17_94_98FAIL599.71
stmt17_74_90FAIL599.71
stmt17_82_98FAIL599.71
stmt19_75_83FAIL599.71
stmt17_62_98FAIL599.71
stmt17_63_78FAIL599.71
stmt19_79_87FAIL599.71
stmt21_319_418FAIL599.71
stmt23_88_92FAIL599.71
stmt28_89_97FAIL599.71
stmt17_78_98FAIL599.71
stmt19_64_99FAIL599.71
stmt28_68_73FAIL599.71
stmt17_78_90FAIL599.71
stmt19_65_95FAIL599.71
stmt28_68_69FAIL599.71
stmt28_68_81FAIL599.71
stmt17_82_94FAIL599.71
stmt17_78_94FAIL599.71
stmt28_73_97FAIL599.71
stmt17_70_98FAIL599.71
stmt19_87_95FAIL599.71
query71_query34_1344nFAIL599.72
stmt17_70_82FAIL599.72
stmt28_73_85FAIL599.81
stmt17_62_78FAIL599.81
query64_query01_1344nFAIL599.81
stmt17_70_86FAIL599.81
query60_query33_1344nFAIL599.81
stmt23_72_76FAIL599.81
stmt17_86_98FAIL599.81
stmt19_65_87FAIL599.81
stmt17_74_78FAIL599.81
stmt19_64_91FAIL599.81