Instances solved by ghostq-plain
QBFEVAL'16 - 2QBF Track.

InstanceResultTime
tree-exa10-10SAT0.06
k_ph_n-1SAT0.06
stmt24_7_8SAT0.06
stmt44_107_108SAT0.07
stmt1_20_21SAT0.07
stmt1_145_146SAT0.08
stmt24_148_149SAT0.08
qshifter_3SAT0.09
stmt16_0_1SAT0.09
rankfunc37_signed_16UNSAT0.1
mutex-2-sSAT0.11
qshifter_4SAT0.17
stmt1_811_812SAT0.2
tree-exa10-15SAT0.25
stmt22_6_72UNSAT0.26
stmt70_191_213SAT0.32
stmt27_16_149UNSAT0.37
stmt27_16_97UNSAT0.37
stmt41_37_108UNSAT0.37
stmt19_83_142UNSAT0.42
stmt27_16_224UNSAT0.43
stmt19_3_214UNSAT0.46
stmt22_73_182UNSAT0.59
stmt19_90_266UNSAT0.7
stmt22_92_263UNSAT0.71
stmt82_224_225SAT0.73
stmt19_67_318UNSAT0.74
stmt22_73_311UNSAT0.77
stmt52_55_117UNSAT0.87
stmt44_41_288UNSAT0.91
stmt21_178_258UNSAT0.93
stmt21_70_369UNSAT0.94
qshifter_5SAT0.98
stmt21_71_413UNSAT1.04
stmt21_71_354UNSAT1.05
exquery_query04_1344nUNSAT1.07
stmt31_22_328UNSAT1.17
stmt21_143_403UNSAT1.19
stmt19_180_352UNSAT1.39
stmt18_258_260SAT1.52
stmt19_217_302UNSAT1.53
stmt16_818_819SAT1.76
stmt19_90_408UNSAT1.82
stmt19_66_214UNSAT1.9
stmt19_3_401UNSAT2
stmt52_244_394UNSAT2.02
stmt21_79_304UNSAT2.43
stmt29_226_376UNSAT2.58
stmt21_262_319UNSAT2.66
stmt11_643_645SAT3.63
stmt24_292_293SAT3.81
stmt50_205_293UNSAT4.79
stmt27_296_297SAT4.86
stmt21_138_304UNSAT6.27
stmt39_107_197UNSAT7.9
qshifter_6SAT9.65
stmt44_40_387UNSAT10.05
tree-exa10-20SAT12.89
stmt3_639_640SAT14.57
stmt7_33_34SAT16.9
stmt9_350_351SAT27.61
sortnetsort5.AE.stepl.003SAT28.45
stmt19_137_408UNSAT35.58
stmt22_6_414UNSAT48.76
stmt16_285_286SAT49.22
stmt21_5_134UNSAT68.91
stmt41_738_737SAT72.98
stmt70_854_859SAT75.53
stmt19_83_412UNSAT88.95
axquery_query06_1344nUNSAT124.1
stmt137_903_911SAT152.69
stmt21_326_327SAT176.29
sortnetsort5.AE.stepl.004SAT226.65
stmt46_111_238UNSAT274.88
qshifter_7FAIL294.64
stmt19_217_309UNSAT301.71
stmt16_950_951SAT301.72
stmt19_177_309UNSAT314.19
stmt72_696_721SAT354
qshifter_8FAIL366.32
sortnetsort5.AE.stepl.006UNSAT414.49
query42_query45_1344nFAIL415.22
stmt1_919_920SAT475.76
stmt44_916_917SAT479.81
sortnetsort6.AE.stepl.003SAT490.68
sortnetsort5.AE.stepl.005UNSAT531.76
stmt24_765_766SAT565
stmt41_118_131SAT566.06
stmt19_133_217UNSAT570.03
stmt21_84_215UNSAT594.12
query10_query06_1344nFAIL599.71
stmt44_554_604FAIL599.71
query07_query64_1344nFAIL599.71
stmt22_311_370FAIL599.71
stmt2_480_551FAIL599.71
query42_query06_1344nFAIL599.71
query42_query60_1344nFAIL599.71
query10_query34_1344nFAIL599.71
nreachq_query54_1344nFAIL599.71
rankfunc2_signed_16FAIL599.71
rankfunc45_unsigned_16FAIL599.81
query49_ntrivil_1344nFAIL599.81
query48_exquery_1344nFAIL599.81
rankfunc56_unsigned_16FAIL599.81
query10_query45_1344nFAIL599.81
rankfunc3_unsigned_64FAIL599.81
rankfunc44_unsigned_64FAIL599.81
rankfunc15_unsigned_16FAIL599.81
rankfunc57_signed_16FAIL599.81
rankfunc55_signed_16FAIL599.81
rankfunc34_unsigned_32FAIL599.81
query60_query33_1344nFAIL599.81
stmt31_190_227FAIL599.81
rankfunc43_signed_16FAIL599.81
query71_query36_1344nFAIL599.81
stmt27_946_955FAIL599.81
query71_query34_1344nFAIL599.81
stmt21_181_218FAIL599.81
stmt37_941_942FAIL599.81
query71_query31_1344nFAIL599.81
query60_query45_1344nFAIL599.81
rankfunc45_signed_32FAIL599.81
query60_query44_1344nFAIL599.81
rankfunc25_unsigned_16FAIL599.81
query07_query60_1344nFAIL599.81
query05_query31_1344nFAIL599.81
rankfunc1_signed_32FAIL599.81
rankfunc60_signed_16FAIL599.81
rankfunc16_signed_32FAIL599.81
rankfunc19_signed_16FAIL599.81
rankfunc58_signed_32FAIL599.81
rankfunc25_signed_64FAIL599.81
rankfunc5_unsigned_16FAIL599.81
rankfunc1_unsigned_64FAIL599.81
rankfunc27_signed_16FAIL599.81
rankfunc43_unsigned_32FAIL599.81
rankfunc61_signed_32FAIL599.81
rankfunc46_unsigned_16FAIL599.81
rankfunc3_unsigned_32FAIL599.81
rankfunc22_unsigned_64FAIL599.81
rankfunc43_signed_64FAIL599.81
rankfunc16_signed_64FAIL599.81
rankfunc33_unsigned_64FAIL599.81
rankfunc15_signed_16FAIL599.81
rankfunc60_signed_64FAIL599.81
nreachq_query11_1344nFAIL599.81
stmt21_354_403FAIL599.81
stmt21_319_418FAIL599.81
rankfunc27_signed_32FAIL599.81
axquery_query44_1344nFAIL599.81
stmt41_160_235FAIL599.81
rankfunc17_unsigned_16FAIL599.81
sortnetsort7.AE.stepl.003FAIL599.81
sortnetsort7.AE.stepl.007FAIL599.81
sortnetsort10.AE.stepl.009FAIL599.81
stmt17_62_78FAIL599.81
sortnetsort10.AE.stepl.008FAIL599.81
sortnetsort8.AE.stepl.006FAIL599.81
sortnetsort8.AE.stepl.008FAIL599.81
stmt23_66_76FAIL599.81
sortnetsort9.AE.stepl.004FAIL599.81
sortnetsort10.AE.stepl.005FAIL599.81
sortnetsort10.AE.stepl.004FAIL599.81
sortnetsort10.AE.stepl.010FAIL599.81
sortnetsort8.AE.stepl.005FAIL599.81
sortnetsort8.AE.stepl.004FAIL599.81
sortnetsort7.AE.stepl.004FAIL599.81
sortnetsort7.AE.stepl.009FAIL599.81
sortnetsort6.AE.stepl.007FAIL599.81
sortnetsort6.AE.stepl.006FAIL599.81
sortnetsort6.AE.stepl.005FAIL599.81
sortnetsort8.AE.stepl.009FAIL599.81
sortnetsort6.AE.stepl.004FAIL599.81
sortnetsort8.AE.stepl.003FAIL599.81
sortnetsort7.AE.stepl.006FAIL599.81
mutex-128-sFAIL599.81
sortnetsort9.AE.stepl.011FAIL599.81
stmt2_649_647FAIL599.81
mutex-32-sFAIL599.81
stmt70_495_501FAIL599.81
stmt44_435_436FAIL599.81
sortnetsort9.AE.stepl.008FAIL599.81
stmt41_566_580FAIL599.81
stmt27_584_603FAIL599.81
stmt2_649_776FAIL599.81
stmt1_629_630FAIL599.81
mutex-8-sFAIL599.81
sortnetsort9.AE.stepl.006FAIL599.81
mutex-16-sFAIL599.81
sortnetsort9.AE.stepl.009FAIL599.81
stmt124_966_965FAIL599.81
stmt41_738_749FAIL599.81
stmt21_84_364FAIL599.82
sortnetsort7.AE.stepl.008FAIL599.82
stmt19_352_359FAIL599.82
query44_query26_1344nFAIL599.82
query33_query57_1344nFAIL599.82
query60_query10_1344nFAIL599.82
sortnetsort9.AE.stepl.005FAIL599.82
query52_query25_1344nFAIL599.82
rankfunc52_unsigned_32FAIL599.91
rankfunc36_signed_32FAIL599.91
rankfunc8_unsigned_64FAIL599.91
sortnetsort9.AE.stepl.007FAIL599.91
sortnetsort8.AE.stepl.007FAIL599.91
rankfunc42_signed_64FAIL599.91
rankfunc28_signed_16FAIL599.91
rankfunc18_signed_32FAIL599.91
rankfunc57_signed_32FAIL599.91
query31_query50_1344nFAIL599.91
query33_query51_1344nFAIL599.91
query34_query11_1344nFAIL599.91
query50_query06_1344nFAIL599.91
query51_query57_1344nFAIL599.91
mutex-4-sFAIL599.91
query64_query01_1344nFAIL599.91
query64_query11_1344nFAIL599.91
tree-exa10-25FAIL599.91
query31_query26_1344nFAIL599.91
query26_query57_1344nFAIL599.91
query21_query55_1344nFAIL599.91
sortnetsort7.AE.stepl.005FAIL599.91
query31_reachqu_1344nFAIL599.91
query31_eequery_1344nFAIL599.91
eequery_query04_1344nFAIL599.91
sortnetsort5.AE.stepl.007FAIL599.91
query04_query25_1344nFAIL599.91
sortnetsort10.AE.stepl.011FAIL599.91
sortnetsort10.AE.stepl.007FAIL599.91
sortnetsort10.AE.stepl.006FAIL599.91
mutex-64-sFAIL599.91
rankfunc16_unsigned_64FAIL599.91
stmt17_74_78FAIL599.91
stmt17_82_98FAIL599.91
stmt28_68_81FAIL599.91
stmt17_94_98FAIL599.91
stmt23_67_92FAIL599.91
stmt23_72_76FAIL599.91
stmt17_99_98FAIL599.91
stmt17_78_90FAIL599.91
stmt38_943_942FAIL599.91
stmt19_83_91FAIL599.91
stmt19_71_95FAIL599.91
stmt17_70_82FAIL599.91
stmt17_82_86FAIL599.91
stmt19_64_87FAIL599.91
stmt23_66_96FAIL599.91
stmt1_787_788FAIL599.91
stmt19_75_95FAIL599.91
stmt17_74_90FAIL599.91
stmt23_66_67FAIL599.91
rankfunc46_unsigned_64FAIL599.91
rankfunc45_unsigned_64FAIL599.91
stmt32_570_572FAIL599.91
stmt2_649_723FAIL599.91
rankfunc21_signed_32FAIL599.91
stmt28_73_85FAIL599.91
rankfunc58_unsigned_32FAIL599.91
rankfunc22_signed_32FAIL599.91
sortnetsort9.AE.stepl.012FAIL599.91
rankfunc45_signed_64FAIL599.91
sortnetsort9.AE.stepl.010FAIL599.91
stmt19_64_91FAIL599.91
rankfunc26_unsigned_64FAIL599.91
stmt19_64_99FAIL599.91
stmt23_88_92FAIL599.91
stmt17_70_86FAIL599.91
stmt28_89_97FAIL599.91
stmt44_554_555FAIL599.91
stmt86_889_890FAIL599.91
stmt2_976_999FAIL599.91
rankfunc19_unsigned_64FAIL599.91
sortnetsort10.AE.stepl.012FAIL599.92
stmt1_60_61FAIL600.01
query33_query45_1344nFAIL600.01
query54_query58_1344nFAIL600.01
stmt17_63_70FAIL600.01
tree-exa10-30FAIL600.01
stmt17_86_98FAIL600.01
stmt23_92_96FAIL600.01
query36_query25_1344nFAIL600.01
stmt17_63_82FAIL600.01
stmt19_87_95FAIL600.01
stmt19_65_95FAIL600.01
stmt17_70_98FAIL600.01
stmt19_75_83FAIL600.01
stmt17_62_98FAIL600.01
stmt19_79_87FAIL600.01
stmt17_63_78FAIL600.01
stmt17_78_98FAIL600.01
stmt28_68_73FAIL600.01
stmt28_73_97FAIL600.01
stmt17_78_94FAIL600.01
stmt17_82_94FAIL600.01
query26_query34_1344nFAIL600.01
stmt19_65_87FAIL600.01
query02_query44_1344nFAIL600.01
stmt28_68_69FAIL600.01
eequery_query64_1344nFAIL600.01
stmt19_79_83FAIL600.01
stmt17_70_78FAIL600.02
query02_query58_1344nFAIL600.11
stmt17_70_90FAIL600.11
stmt16_47_48FAIL600.11
nxquery_query50_1344nFAIL600.21