The JAGUAR EXP-6 parameters of formic acid were originally optimized by minimizing the difference of experimental detonation velocities to predicted Chapman-Jouguet (C-J) detonation velocities for pentaerythrite tetranitrate (PETN), and were later modified to reproduce experimental overdriven detonation pressures. The resulting parameters are employed in the JAGUAR computer program, which uses direct minimization of free energy to calculate chemical equilibrium for dissociated detonation product species of explosives. JAGUAR was subsequently demonstrated ...