more results
Merge branch 'master' of github.com:tungvx/raSAT

Conflicts:
	solver/Test/smtlib-20140121/QF_NIA/AProVE/1-5-8.xls