Passed

MultiSource.Applications.minisat.minisat.test (from MultiSource.MultiSource)

Took 43 sec.