Instances solved by quantor-3.1
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
stmt1_20_21SAT0
stmt24_7_8SAT0
stmt1_30_31SAT0
stmt44_107_113SAT0
stmt24_148_149SAT0
stmt1_145_146SAT0
stmt6_13_14SAT0
qshifter_4SAT0
stmt44_107_108SAT0.01
mutex-4-sSAT0.01
stmt32_122_129SAT0.01
mutex-2-sSAT0.01
qshifter_3SAT0.01
qshifter_5SAT0.04
stmt16_0_1SAT0.04
qshifter_6SAT0.15
stmt17_18_19SAT0.15
stmt17_143_144SAT0.3
stmt7_33_34SAT0.46
mutex-8-sSAT0.61
qshifter_7SAT1.76
rankfunc4_unsigned_16SAT2.11
stmt1_811_812SAT2.28
stmt21_4_5UNSAT2.28
rankfunc37_unsigned_32UNSAT3.39
stmt41_36_37UNSAT6.78
stmt3_969_973SAT10.97
qshifter_8SAT15.73
rankfunc14_signed_64FAIL20.69
rankfunc15_unsigned_32FAIL20.75
rankfunc40_unsigned_64FAIL20.82
rankfunc59_unsigned_16FAIL20.82
rankfunc8_unsigned_32FAIL21.12
rankfunc48_unsigned_16FAIL21.54
rankfunc49_signed_32FAIL21.57
rankfunc57_unsigned_64FAIL21.81
rankfunc55_unsigned_32FAIL22.01
rankfunc52_unsigned_32FAIL22.01
rankfunc16_signed_64FAIL22.24
rankfunc36_signed_64FAIL22.49
rankfunc29_signed_16FAIL22.65
rankfunc11_signed_32FAIL22.97
rankfunc24_unsigned_64FAIL23.06
rankfunc19_unsigned_16FAIL23.52
rankfunc50_signed_64FAIL23.55
rankfunc22_unsigned_32FAIL23.75
rankfunc2_unsigned_64FAIL23.83
rankfunc25_signed_64FAIL23.93
rankfunc10_unsigned_64FAIL24.29
rankfunc33_unsigned_32FAIL24.39
rankfunc9_signed_64FAIL24.43
rankfunc6_unsigned_16FAIL24.59
rankfunc26_unsigned_32FAIL24.59
rankfunc35_unsigned_32FAIL24.99
rankfunc61_signed_32FAIL25.15
rankfunc47_signed_64FAIL25.3
rankfunc58_signed_32FAIL25.34
rankfunc20_unsigned_32FAIL25.47
rankfunc56_signed_16FAIL25.5
rankfunc41_signed_32FAIL25.59
stmt70_191_213SAT25.69
rankfunc46_unsigned_32FAIL25.83
rankfunc23_signed_64FAIL25.88
rankfunc39_unsigned_64FAIL26.16
rankfunc21_signed_16FAIL26.21
rankfunc30_signed_64FAIL26.6
rankfunc3_signed_64FAIL26.67
rankfunc5_signed_64FAIL27.32
rankfunc27_signed_64FAIL27.34
rankfunc28_unsigned_16FAIL27.38
mutex-32-sFAIL27.53
rankfunc34_signed_32FAIL28.25
rankfunc53_signed_16FAIL28.29
mutex-64-sFAIL30.31
stmt52_54_55UNSAT30.55
rankfunc7_signed_16FAIL30.94
rankfunc1_signed_32FAIL30.95
rankfunc44_unsigned_32FAIL31.25
rankfunc17_unsigned_16FAIL31.29
mutex-128-sFAIL31.79
rankfunc32_signed_64FAIL32.79
rankfunc12_unsigned_16FAIL34
mutex-16-sFAIL35.45
rankfunc31_unsigned_16FAIL35.92
stmt70_495_501FAIL36.43
stmt2_976_999FAIL36.47
stmt3_639_640SAT36.77
stmt17_82_94FAIL38.36
stmt21_134_418FAIL38.4
stmt1_787_788FAIL40.94
rankfunc42_unsigned_16FAIL41.17
rankfunc54_signed_32FAIL45.8
stmt41_336_385FAIL46.41
stmt19_313_318FAIL46.66
rankfunc51_signed_32FAIL47.49
stmt24_765_766FAIL48.27
stmt50_167_293FAIL48.28
rankfunc45_signed_16FAIL51.74
stmt27_93_98FAIL52.4
rankfunc38_signed_32FAIL55.14
stmt37_941_942FAIL55.19
stmt44_554_604FAIL56.8
rankfunc18_signed_64FAIL56.9
rankfunc43_signed_64FAIL57.36
stmt17_99_98FAIL57.9
stmt19_79_87FAIL57.99
rankfunc60_unsigned_32FAIL59.89
sortnetsort9.AE.stepl.012FAIL61.64
stmt21_79_91UNSAT63.73
sortnetsort9.AE.stepl.004FAIL63.98
sortnetsort8.AE.stepl.009FAIL64.4
sortnetsort8.AE.stepl.005FAIL64.44
sortnetsort6.AE.stepl.006FAIL66.34
stmt9_445_446FAIL66.66
sortnetsort7.AE.stepl.006FAIL66.98
sortnetsort8.AE.stepl.007FAIL67.25
sortnetsort10.AE.stepl.005FAIL69.22
stmt21_310_360FAIL70.6
stmt18_258_260SAT71.52
stmt44_252_301SAT71.79
sortnetsort5.AE.stepl.006FAIL75.79
sortnetsort6.AE.stepl.003FAIL79.14
stmt11_643_645FAIL79.73
stmt52_295_394FAIL80.27
sortnetsort5.AE.stepl.003FAIL81.07
sortnetsort10.AE.stepl.012FAIL81.27
sortnetsort7.AE.stepl.009FAIL81.47
sortnetsort7.AE.stepl.003FAIL83.71
sortnetsort5.AE.stepl.005FAIL83.91
stmt137_903_911FAIL87.88
sortnetsort9.AE.stepl.005FAIL90.77
stmt72_696_721FAIL91.83
stmt19_83_302FAIL92.75
sortnetsort5.AE.stepl.007FAIL96.15
stmt21_267_310FAIL96.8
stmt19_133_257FAIL96.92
stmt19_214_309FAIL98.26
stmt19_125_302FAIL98.67
stmt19_177_302FAIL99.05
stmt21_252_310FAIL99.05
stmt17_63_70FAIL100.37
stmt19_3_309FAIL100.68
stmt19_313_412FAIL101.66
stmt53_208_245FAIL102.2
stmt23_66_76FAIL102.41
stmt17_63_78FAIL102.83
stmt24_292_293SAT104.77
stmt41_262_275FAIL105.21
stmt82_224_225SAT105.97
stmt19_137_313FAIL107.87
stmt21_71_304FAIL109.65
stmt28_68_81FAIL111.72
stmt21_79_314FAIL112.73
stmt2_649_776FAIL116.86
stmt27_296_297SAT120.78
stmt1_919_920FAIL122.04
stmt5_731_730FAIL122.05
stmt29_21_275FAIL122.63
stmt32_228_277FAIL122.84
stmt124_966_965FAIL123.81
stmt27_149_224FAIL127.33
stmt31_100_276FAIL128.45
stmt32_153_277FAIL129.9
stmt19_66_90UNSAT145
stmt19_67_83UNSAT145.78
stmt19_3_78UNSAT146
stmt19_2_83UNSAT147.04
stmt25_52_53FAIL149.34
stmt19_3_83UNSAT156.1
stmt31_22_23UNSAT161
stmt22_6_80UNSAT162.91
stmt16_47_48FAIL163.26
stmt25_597_598FAIL168.18
stmt44_40_41UNSAT183.23
stmt39_34_107FAIL185.86
stmt2_649_723FAIL187.16
stmt19_66_318FAIL214.73
stmt19_90_133FAIL224.84
stmt19_261_266FAIL229.39
stmt19_217_250FAIL239.51
stmt22_92_259FAIL279.93
stmt21_70_258FAIL280.78
stmt21_143_258FAIL293.28
stmt19_142_261FAIL315.32
stmt21_127_258FAIL340.88
stmt46_163_289FAIL374.4
stmt1_392_393FAIL374.92
stmt47_239_290FAIL380.96
stmt44_40_162FAIL389.07
stmt21_71_70UNSAT416.11
stmt86_889_890FAIL425.52
stmt52_117_295FAIL481.9
stmt9_350_351SAT530.32
stmt41_235_286FAIL548.49
stmt85_64_122FAIL597.73
stmt19_83_90UNSAT817.13
stmt16_818_819FAIL912.91
stmt19_3_177FAIL1200.12
stmt19_2_180FAIL1200.16
stmt22_179_182FAIL1200.25