%Problem V S Rtng Form Unit Atom EqA FD Av Pred Prop Arity Conn ~ | & <=> => <=<~> ~| ~& Vars Sgn ! ? Dp Av Func Cnst Arity COM003+1 S T 0.33 5 0 55 0 9 8 6 0 1-3 57 7 0 32 0 18 0 0 0 0 16 1 15 7 1 1 2 2 0-0 COM003+2 S T 0.33 16 1 52 0 8 4 17 0 1-4 39 3 0 15 11 10 0 0 0 0 42 0 37 7 1 1 2 2 0-0 ...
%Problem V S Rtng Cls NHn Unit RR Lits EqL Sz Av Pred Prop Arity
Vars Sgn Dp Av Func Cnst Arity
ALG001-1 A ? 1.00 296 20 20 185 704 286 8 2 14 0 1-5
800 36 4 1 67 14 0-5
ALG001-2 S ? 1.00 269 20 15 167 632 273 8 2 14 0 1-5
732 28 4 1 67 14 0-5
...