Error running this command: diff -U 5 "/tmp/oC1Sdp" "/tmp/VruSol"
diff -U 5 "/tmp/oC1Sdp" "/tmp/VruSol"
No output on STDOUT.