Instances solved by nenofex-qbfeval10
QBFEVAL'10 - 2QBF Track.

InstanceResultTime
stmt6_13_14SAT0
stmt24_7_8SAT0
stmt1_30_31SAT0.01
stmt1_145_146SAT0.01
stmt24_148_149SAT0.01
stmt1_20_21SAT0.01
stmt32_122_129SAT0.01
stmt44_107_113SAT0.02
qshifter_3SAT0.02
stmt44_107_108SAT0.02
mutex-2-sSAT0.02
qshifter_4SAT0.04
rankfunc4_unsigned_16SAT0.05
rankfunc34_signed_32SAT0.16
mutex-4-sSAT0.17
rankfunc37_unsigned_32UNSAT0.18
qshifter_5SAT0.46
rankfunc59_unsigned_16SAT0.84
rankfunc28_unsigned_16SAT0.96
rankfunc38_signed_32SAT1.19
stmt1_811_812SAT1.58
rankfunc36_signed_64SAT1.94
rankfunc22_unsigned_32SAT2.15
stmt44_252_301SAT3.04
stmt3_969_973SAT3.45
rankfunc61_signed_32SAT3.68
stmt82_224_225SAT3.88
rankfunc9_signed_64SAT4.38
stmt18_258_260SAT4.48
rankfunc52_unsigned_32SAT4.54
qshifter_6SAT4.64
stmt16_0_1SAT4.95
rankfunc12_unsigned_16SAT5.52
stmt70_191_213SAT5.98
stmt9_350_351SAT6.53
stmt17_143_144SAT9.61
stmt27_296_297SAT9.64
stmt24_292_293SAT10.03
stmt3_639_640SAT11.05
stmt17_18_19SAT18.4
stmt1_392_393SAT39.35
rankfunc31_unsigned_16SAT46.99
qshifter_7SAT47.79
mutex-8-sSAT52.48
rankfunc45_signed_16FAIL54.1
rankfunc56_signed_16FAIL71.34
rankfunc53_signed_16FAIL87.51
stmt2_649_723SAT122.41
rankfunc27_signed_64FAIL135.08
stmt9_445_446SAT136.48
rankfunc44_unsigned_32FAIL136.61
rankfunc33_unsigned_32FAIL147.27
rankfunc30_signed_64FAIL171.08
sortnetsort5.AE.stepl.003FAIL232.79
rankfunc26_unsigned_32FAIL239.36
rankfunc24_unsigned_64FAIL240.23
rankfunc48_unsigned_16FAIL287.39
stmt19_313_318FAIL288.12
rankfunc25_signed_64FAIL293.52
rankfunc50_signed_64FAIL298.33
rankfunc41_signed_32FAIL298.88
rankfunc40_unsigned_64FAIL301.12
stmt21_127_258FAIL304.23
rankfunc7_signed_16FAIL306.46
stmt19_133_257FAIL308.49
rankfunc43_signed_64FAIL310.58
stmt53_208_245FAIL316.28
sortnetsort5.AE.stepl.006FAIL318.41
stmt19_67_83FAIL319.09
rankfunc51_signed_32FAIL320.9
sortnetsort6.AE.stepl.003FAIL324.75
stmt50_167_293FAIL329.65
rankfunc49_signed_32FAIL329.98
rankfunc58_signed_32FAIL330.45
sortnetsort5.AE.stepl.007FAIL331.64
stmt31_100_276FAIL332.29
sortnetsort5.AE.stepl.005FAIL335.82
stmt41_235_286FAIL341.61
stmt21_143_258FAIL356.92
rankfunc8_unsigned_32FAIL360.85
stmt19_137_313FAIL366.59
stmt22_179_182FAIL375.43
stmt19_261_266FAIL376.02
stmt21_71_304FAIL376.09
rankfunc3_signed_64FAIL378.08
stmt32_228_277FAIL380.36
stmt21_310_360FAIL381.27
stmt29_21_275FAIL381.72
stmt52_117_295FAIL391.56
mutex-32-sFAIL391.87
stmt41_336_385FAIL392.16
stmt85_64_122FAIL394.6
rankfunc1_signed_32FAIL397.37
stmt44_40_41FAIL397.81
sortnetsort7.AE.stepl.003FAIL398.04
sortnetsort6.AE.stepl.006FAIL399.9
stmt27_149_224FAIL401.41
stmt17_63_78FAIL404.91
stmt47_239_290FAIL405.34
stmt46_163_289FAIL405.53
stmt19_83_90FAIL406.63
stmt19_214_309FAIL414.01
stmt22_92_259FAIL417.77
stmt19_125_302FAIL419.08
stmt19_3_309FAIL422.59
stmt19_3_177FAIL424.63
stmt17_63_70FAIL424.79
stmt44_40_162FAIL429.08
stmt32_153_277FAIL431.53
rankfunc29_signed_16FAIL431.74
stmt19_177_302FAIL434.68
stmt52_295_394FAIL435.12
stmt19_142_261FAIL436.29
stmt21_79_314FAIL438.08
stmt21_70_258FAIL440.26
stmt41_36_37FAIL442.09
stmt19_66_318FAIL442.38
stmt28_68_81FAIL448.95
stmt19_3_78FAIL449.86
stmt23_66_76FAIL453.89
stmt19_66_90FAIL465.55
rankfunc2_unsigned_64FAIL466.8
stmt17_82_94FAIL467.05
stmt21_252_310FAIL472.22
rankfunc55_unsigned_32FAIL479.24
rankfunc42_unsigned_16FAIL484.22
stmt19_217_250FAIL484.77
rankfunc46_unsigned_32FAIL489.04
stmt21_267_310FAIL491.53
stmt31_22_23FAIL495.09
stmt21_71_70FAIL495.13
stmt19_79_87FAIL495.36
stmt21_79_91FAIL504.15
stmt16_47_48FAIL512.2
stmt19_83_302FAIL515.08
stmt19_313_412FAIL531.19
rankfunc54_signed_32FAIL531.44
rankfunc21_signed_16SAT532.93
rankfunc19_unsigned_16FAIL536.82
rankfunc11_signed_32FAIL541.45
qshifter_8SAT543.07
stmt39_34_107FAIL560.6
rankfunc16_signed_64FAIL578.6
stmt19_3_83FAIL593.07
stmt52_54_55FAIL599.45
mutex-128-sFAIL601.47
stmt41_262_275FAIL619.4
rankfunc14_signed_64FAIL619.55
stmt21_134_418FAIL626.12
rankfunc17_unsigned_16FAIL627.11
rankfunc10_unsigned_64FAIL637.78
rankfunc32_signed_64FAIL655.25
stmt1_919_920FAIL669.52
rankfunc6_unsigned_16FAIL695.52
stmt19_90_133FAIL715.43
stmt25_597_598FAIL730.91
stmt19_2_180FAIL735.14
rankfunc15_unsigned_32FAIL744.34
stmt16_818_819SAT774.72
mutex-64-sFAIL780.17
rankfunc20_unsigned_32FAIL797.47
rankfunc39_unsigned_64FAIL815.86
rankfunc57_unsigned_64FAIL843.94
rankfunc18_signed_64FAIL847.13
rankfunc47_signed_64FAIL847.57
rankfunc5_signed_64FAIL849.21
stmt7_33_34FAIL873.03
stmt22_6_80FAIL875.06
sortnetsort7.AE.stepl.006FAIL877.72
sortnetsort8.AE.stepl.005FAIL975.46
sortnetsort9.AE.stepl.004FAIL997.8
stmt21_4_5FAIL1025.24
rankfunc35_unsigned_32FAIL1050.36
stmt25_52_53FAIL1110.73
mutex-16-sSAT1125.77
sortnetsort7.AE.stepl.009FAIL1129.76
sortnetsort8.AE.stepl.009FAIL1200.13
sortnetsort9.AE.stepl.012FAIL1200.14
stmt11_643_645FAIL1200.14
sortnetsort10.AE.stepl.005FAIL1200.15
sortnetsort10.AE.stepl.012FAIL1200.15
stmt137_903_911FAIL1200.17
stmt124_966_965FAIL1200.17
stmt72_696_721FAIL1200.17
stmt24_765_766FAIL1200.17
stmt70_495_501FAIL1200.18
stmt44_554_604FAIL1200.18
sortnetsort8.AE.stepl.007FAIL1200.19
stmt5_731_730FAIL1200.19
stmt86_889_890FAIL1200.21
stmt19_2_83FAIL1200.21
stmt2_976_999FAIL1200.21
stmt2_649_776FAIL1200.21
stmt1_787_788FAIL1200.21
sortnetsort9.AE.stepl.005FAIL1200.22
rankfunc23_signed_64FAIL1200.23
stmt37_941_942FAIL1200.23
rankfunc60_unsigned_32FAIL1200.23
stmt27_93_98FAIL1200.24
stmt17_99_98FAIL1200.24