Instances solved by xb-qsts
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
stmt24_148_149SAT0
k_ph_n-1SAT0
tree-exa10-20SAT0
stmt44_107_108SAT0
tree-exa10-10SAT0
mutex-2-sSAT0
qshifter_3SAT0
tree-exa10-25SAT0
tree-exa10-15SAT0
stmt24_7_8SAT0
tree-exa10-30SAT0
rankfunc37_signed_16UNSAT0.01
stmt1_20_21SAT0.01
stmt1_145_146SAT0.01
qshifter_4SAT0.01
mutex-4-sSAT0.03
qshifter_5SAT0.03
stmt16_0_1SAT0.04
stmt1_811_812SAT0.04
rankfunc5_unsigned_16SAT0.06
stmt3_639_640SAT0.06
rankfunc27_signed_16SAT0.06
rankfunc56_unsigned_16SAT0.06
rankfunc28_signed_16SAT0.06
stmt9_350_351SAT0.07
mutex-8-sSAT0.08
rankfunc60_signed_16SAT0.08
rankfunc25_unsigned_16SAT0.08
stmt44_435_436SAT0.09
stmt16_818_819SAT0.09
stmt70_191_213SAT0.1
stmt82_224_225SAT0.1
rankfunc45_unsigned_16SAT0.1
stmt18_258_260SAT0.1
stmt24_292_293SAT0.11
stmt11_643_645SAT0.11
stmt2_649_723SAT0.11
stmt27_296_297SAT0.11
stmt2_649_647SAT0.11
rankfunc43_signed_16SAT0.11
rankfunc17_unsigned_16SAT0.12
stmt2_480_551SAT0.13
rankfunc36_signed_32SAT0.13
stmt21_326_327SAT0.13
rankfunc55_signed_16SAT0.14
stmt2_649_776SAT0.14
rankfunc27_signed_32SAT0.14
rankfunc46_unsigned_16SAT0.14
stmt1_919_920SAT0.15
stmt70_854_859SAT0.15
stmt137_903_911SAT0.15
stmt41_738_737SAT0.15
stmt44_916_917SAT0.15
qshifter_6SAT0.15
stmt124_966_965SAT0.15
stmt72_696_721SAT0.15
stmt16_285_286SAT0.16
stmt24_765_766SAT0.16
stmt41_118_131SAT0.17
rankfunc15_unsigned_16SAT0.17
stmt27_946_955SAT0.17
rankfunc15_signed_16SAT0.17
stmt44_554_555SAT0.18
stmt70_495_501SAT0.18
stmt44_554_604SAT0.18
stmt27_584_603SAT0.18
exquery_query04_1344nUNSAT0.18
stmt32_570_572SAT0.18
rankfunc57_signed_16SAT0.19
stmt86_889_890SAT0.19
stmt16_950_951SAT0.19
rankfunc2_signed_16SAT0.2
rankfunc34_unsigned_32SAT0.21
mutex-16-sSAT0.22
stmt7_33_34SAT0.25
rankfunc22_signed_32SAT0.25
rankfunc19_signed_16SAT0.26
rankfunc43_unsigned_32SAT0.27
rankfunc52_unsigned_32SAT0.3
rankfunc58_unsigned_32SAT0.3
rankfunc58_signed_32SAT0.3
rankfunc61_signed_32SAT0.31
rankfunc44_unsigned_64SAT0.33
stmt1_629_630SAT0.33
rankfunc1_signed_32SAT0.36
stmt41_738_749SAT0.36
rankfunc45_signed_32SAT0.38
stmt41_566_580SAT0.41
stmt1_787_788SAT0.42
axquery_query06_1344nUNSAT0.42
rankfunc25_signed_64SAT0.44
rankfunc57_signed_32SAT0.44
rankfunc18_signed_32SAT0.45
query26_query57_1344nUNSAT0.5
axquery_query44_1344nUNSAT0.52
query26_query34_1344nUNSAT0.55
rankfunc21_signed_32SAT0.57
stmt38_943_942SAT0.59
stmt1_60_61SAT0.6
stmt22_6_72UNSAT0.61
rankfunc16_signed_32SAT0.61
stmt37_941_942SAT0.61
rankfunc33_unsigned_64SAT0.62
stmt16_47_48SAT0.63
rankfunc22_unsigned_64SAT0.68
stmt17_99_98SAT0.68
rankfunc60_signed_64SAT0.69
stmt27_16_97UNSAT0.73
rankfunc43_signed_64SAT0.74
eequery_query04_1344nSAT0.77
mutex-32-sSAT0.77
query02_query58_1344nUNSAT0.8
rankfunc45_unsigned_64SAT0.8
rankfunc8_unsigned_64SAT0.82
rankfunc3_unsigned_32SAT0.85
qshifter_7SAT0.86
stmt41_37_108UNSAT0.94
rankfunc1_unsigned_64SAT0.97
rankfunc46_unsigned_64SAT0.99
rankfunc45_signed_64SAT1.02
rankfunc42_signed_64SAT1.02
stmt52_55_117UNSAT1.33
rankfunc26_unsigned_64SAT1.37
stmt21_84_215UNSAT1.66
rankfunc16_signed_64SAT1.7
rankfunc16_unsigned_64SAT1.7
rankfunc19_unsigned_64SAT1.85
mutex-64-sSAT1.99
query21_query55_1344nUNSAT2.03
stmt21_181_218UNSAT2.19
stmt39_107_197UNSAT2.31
query07_query60_1344nUNSAT2.56
rankfunc3_unsigned_64SAT2.65
stmt19_3_214UNSAT2.93
nxquery_query50_1344nSAT2.94
query07_query64_1344nUNSAT3.15
sortnetsort8.AE.stepl.004SAT3.36
sortnetsort7.AE.stepl.006UNSAT3.48
stmt19_217_309UNSAT3.72
stmt19_83_142UNSAT3.81
stmt23_66_67SAT3.81
query31_query26_1344nSAT3.89
stmt17_63_70SAT4.14
stmt19_90_266UNSAT4.36
sortnetsort7.AE.stepl.007UNSAT4.81
stmt21_354_403SAT4.88
query49_ntrivil_1344nSAT5.15
mutex-128-sSAT5.22
sortnetsort9.AE.stepl.004SAT5.9
sortnetsort7.AE.stepl.008UNSAT5.95
stmt19_64_87SAT5.98
sortnetsort8.AE.stepl.005SAT6.51
sortnetsort8.AE.stepl.006UNSAT6.95
sortnetsort7.AE.stepl.009UNSAT6.97
stmt21_5_134UNSAT7.7
query02_query44_1344nUNSAT9.42
stmt22_73_182UNSAT10.18
qshifter_8SAT10.83
sortnetsort9.AE.stepl.005SAT12.21
query31_query50_1344nSAT13.05
sortnetsort5.AE.stepl.003SAT15.5
query33_query45_1344nSAT17.66
sortnetsort5.AE.stepl.006UNSAT19.92
stmt27_16_149UNSAT21.67
sortnetsort8.AE.stepl.003SAT23.43
stmt2_976_999SAT25.8
sortnetsort8.AE.stepl.007UNSAT26.55
sortnetsort8.AE.stepl.008UNSAT26.82
query48_exquery_1344nSAT27.72
sortnetsort9.AE.stepl.009UNSAT28.04
sortnetsort10.AE.stepl.004SAT29.06
sortnetsort5.AE.stepl.004SAT34.05
sortnetsort7.AE.stepl.004SAT36.77
sortnetsort9.AE.stepl.008UNSAT37.46
sortnetsort5.AE.stepl.005UNSAT39.18
sortnetsort6.AE.stepl.003SAT40.56
sortnetsort6.AE.stepl.007UNSAT42.97
sortnetsort6.AE.stepl.004SAT45.3
sortnetsort5.AE.stepl.007UNSAT46.45
sortnetsort7.AE.stepl.003SAT50.06
sortnetsort9.AE.stepl.007UNSAT51.43
sortnetsort6.AE.stepl.005UNSAT54.24
sortnetsort7.AE.stepl.005SAT56.55
query04_query25_1344nSAT65.77
sortnetsort6.AE.stepl.006UNSAT66.12
sortnetsort9.AE.stepl.011UNSAT68.34
sortnetsort8.AE.stepl.009UNSAT77.33
sortnetsort10.AE.stepl.011UNSAT86.81
query60_query45_1344nSAT92.4
sortnetsort10.AE.stepl.009UNSAT99.67
sortnetsort9.AE.stepl.012UNSAT103.97
sortnetsort9.AE.stepl.010UNSAT108.49
sortnetsort10.AE.stepl.008UNSAT109.95
query36_query25_1344nSAT151.59
query31_eequery_1344nSAT151.8
query50_query06_1344nSAT174.1
sortnetsort10.AE.stepl.010UNSAT185.27
sortnetsort10.AE.stepl.012UNSAT193.08
sortnetsort10.AE.stepl.005SAT211.85
query52_query25_1344nSAT255.42
stmt21_262_319UNSAT289.91
query10_query45_1344nSAT336.18
query05_query31_1344nSAT344.35
stmt19_133_217UNSAT352.57
query42_query45_1344nSAT478.89
sortnetsort9.AE.stepl.006SAT561.03
query42_query06_1344nFAIL599.61
nreachq_query11_1344nFAIL599.61
query10_query06_1344nFAIL599.61
query10_query34_1344nFAIL599.61
query42_query60_1344nFAIL599.61
stmt17_94_98FAIL599.61
nreachq_query54_1344nFAIL599.62
stmt17_82_86FAIL599.63
stmt19_65_95FAIL599.71
stmt19_64_99FAIL599.71
stmt23_66_76FAIL599.71
stmt17_78_90FAIL599.71
stmt17_78_98FAIL599.71
stmt28_89_97FAIL599.71
stmt17_70_98FAIL599.71
stmt19_75_83FAIL599.71
stmt17_63_78FAIL599.71
stmt23_88_92FAIL599.71
stmt19_87_95FAIL599.71
stmt19_79_87FAIL599.71
stmt17_70_86FAIL599.71
stmt28_73_85FAIL599.71
query71_query31_1344nFAIL599.71
query60_query10_1344nFAIL599.71
query54_query58_1344nFAIL599.71
sortnetsort10.AE.stepl.006FAIL599.71
stmt50_205_293FAIL599.71
query33_query57_1344nFAIL599.71
sortnetsort10.AE.stepl.007FAIL599.71
query51_query57_1344nFAIL599.71
eequery_query64_1344nFAIL599.71
query44_query26_1344nFAIL599.71
stmt19_79_83FAIL599.71
query71_query36_1344nFAIL599.71
stmt19_90_408FAIL599.71
stmt19_3_401FAIL599.71
stmt44_41_288FAIL599.71
stmt21_138_304FAIL599.71
stmt19_217_302FAIL599.71
stmt19_67_318FAIL599.71
stmt21_319_418FAIL599.71
stmt44_40_387FAIL599.71
stmt19_66_214FAIL599.71
stmt22_311_370FAIL599.71
stmt29_226_376FAIL599.71
stmt52_244_394FAIL599.71
stmt22_73_311FAIL599.71
stmt21_84_364FAIL599.71
stmt31_22_328FAIL599.71
stmt19_180_352FAIL599.71
stmt41_160_235FAIL599.71
stmt21_178_258FAIL599.71
stmt22_6_414FAIL599.71
stmt46_111_238FAIL599.71
stmt19_352_359FAIL599.71
stmt21_70_369FAIL599.71
stmt21_143_403FAIL599.71
stmt21_79_304FAIL599.71
stmt31_190_227FAIL599.71
stmt23_67_92FAIL599.71
stmt19_64_91FAIL599.71
stmt17_82_98FAIL599.71
stmt28_68_69FAIL599.71
stmt19_75_95FAIL599.71
stmt17_62_78FAIL599.71
stmt23_66_96FAIL599.71
stmt17_82_94FAIL599.71
stmt17_70_90FAIL599.71
stmt17_78_94FAIL599.71
stmt19_137_408FAIL599.71
stmt17_86_98FAIL599.71
stmt23_92_96FAIL599.71
stmt19_83_91FAIL599.71
stmt19_65_87FAIL599.71
stmt19_71_95FAIL599.71
stmt17_63_82FAIL599.71
stmt28_73_97FAIL599.71
stmt21_71_354FAIL599.72
query64_query01_1344nFAIL599.72
stmt28_68_81FAIL599.72
stmt17_62_98FAIL599.72
stmt23_72_76FAIL599.72
query60_query33_1344nFAIL599.72
query34_query11_1344nFAIL599.72
stmt19_83_412FAIL599.72
stmt17_70_82FAIL599.72
stmt19_177_309FAIL599.72
stmt17_74_90FAIL599.81
query71_query34_1344nFAIL599.81
stmt21_71_413FAIL599.81
query31_reachqu_1344nFAIL599.81
stmt17_74_78FAIL599.81
stmt28_68_73FAIL599.81
stmt22_92_263FAIL599.81
stmt27_16_224FAIL599.81
stmt17_70_78FAIL599.82
query64_query11_1344nFAIL599.82
query33_query51_1344nFAIL599.82
query60_query44_1344nFAIL600