Matilde 14/07/2007 vs Pentagon 1.2.0048 Pentagon lost on time.

Mizar 3.0 vs Pentagon 1.2.0048 Pentagon lost on time.

Pentagon 1.2.0048 vs Frank 0.58 Pentagon lost on time.

Pentagon 1.2.0048 vs Gargamella 0.5.0 Pentagon lost on time.

Pentagon 1.2.0048 vs Golem 04r41x Pentagon lost on time.

Pentagon 1.2.0048 vs Matilde 14/07/2007 Pentagon lost on time.