Passed

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

Took 46 sec.