TMTP Models for: KRS176+1

View Problem
KRS176+1.001-FMo.m
DarwinFM---1.4.5 		KRS176+1.002-Sat.m
E---1.9-FNT 		KRS176+1.003-Sat.m
E---1.9 		KRS176+1.004-Sat.m
ET---1.0 		KRS176+1.005-FMo.m
Paradox---4.0
KRS176+1.006-Sat.m
Vampire---4.0 		KRS176+1.007-Sat.m
Vampire---SAT-4.0