State Space

Show details Show errors

Tool	answer_total	error_total	answer_StateSpace	error_StateSpace
2021-gold	4186	0	4186	0
BVT	4631	0	4631	0
GreatSPN	3826	6	3826	6
ITS-Tools	2850	9	2850	9
tedd-c	4431	0	4431	0
tedd-s	4412	0	4412	0
Ideal Tool	6468	0	6468	0