aboutsummaryrefslogtreecommitdiffstats
path: root/Solvers/Vampire-Solver/ca.mcgill.ecse.dslreasoner.vampire.reasoner/lib
ModeNameSize
-rw-r--r--putVampireHere71logstatsplainblame
-rw-r--r--vampire.exe11727673logstatsplainblame