TRS main PCP linear PCP-linear comp-PCP comp-linear comp-PCP-linear comp-forward-PCP comp-forward-linear comp-forward-PCP-linear
add2nn-assoc-com Failure (21msec.) Failure (21msec.) Failure (21msec.) Failure (42msec.) Failure (21msec.) Failure (21msec.) Failure (42msec.) Success (84msec.) Success (85msec.) Success (146msec.)
add2np-assoc-com Failure (20msec.) Failure (21msec.) Failure (21msec.) Failure (42msec.) Failure (21msec.) Failure (21msec.) Failure (43msec.) Success (41msec.) Success (41msec.) Success (63msec.)
add2pn-assoc-com Failure (21msec.) Failure (21msec.) Failure (21msec.) Failure (42msec.) Failure (21msec.) Failure (21msec.) Failure (42msec.) Success (63msec.) Success (63msec.) Success (104msec.)
add2pp-1mul-com-assoc Success (31msec.) Success (31msec.) Success (30msec.) Success (31msec.) Success (30msec.) Success (30msec.) Success (31msec.) Success (31msec.) Success (31msec.) Success (31msec.)
add2pp-assoc-com-ss Failure (22msec.) Failure (23msec.) Success (22msec.) Success (45msec.) Failure (23msec.) Success (21msec.) Success (44msec.) Failure (24msec.) Success (22msec.) Success (45msec.)
add2pp-assoc-com Success (20msec.) Success (21msec.) Success (20msec.) Success (21msec.) Success (21msec.) Success (20msec.) Success (21msec.) Success (21msec.) Success (21msec.) Success (20msec.)
add2pp-assoc2 Success (21msec.) Success (20msec.) Success (20msec.) Success (20msec.) Success (20msec.) Success (20msec.) Success (21msec.) Success (20msec.) Success (21msec.) Success (20msec.)
add2pp-com Success (19msec.) Success (19msec.) Success (19msec.) Success (20msec.) Success (20msec.) Success (20msec.) Success (19msec.) Success (20msec.) Success (19msec.) Success (20msec.)
add2pp-dbl-assoc-com-dist Failure (34msec.) Failure (34msec.) Failure (1msec.) Failure (34msec.) Failure (34msec.) Failure (1msec.) Failure (35msec.) Failure (34msec.) Failure (0msec.) Failure (34msec.)
add2pp-dbl-assoc-com-ss Failure (23msec.) Failure (24msec.) Failure (0msec.) Failure (24msec.) Failure (24msec.) Failure (0msec.) Failure (23msec.) Failure (24msec.) Failure (1msec.) Failure (24msec.)
add2pp-dbl-assoc-com Success (21msec.) Success (21msec.) Failure (1msec.) Success (21msec.) Success (21msec.) Failure (1msec.) Success (21msec.) Success (21msec.) Failure (1msec.) Success (20msec.)
add2pp-dblind-assoc-com-dist Failure (32msec.) Success (32msec.) Success (31msec.) Success (31msec.) Success (32msec.) Success (32msec.) Success (31msec.) Success (32msec.) Success (31msec.) Success (31msec.)
add2pp-inc-assoc-com-dist Failure (31msec.) Success (31msec.) Success (31msec.) Success (31msec.) Success (32msec.) Success (31msec.) Success (31msec.) Success (31msec.) Success (32msec.) Success (31msec.)
add2pp-inc-com-dist Failure (30msec.) Success (30msec.) Success (29msec.) Success (30msec.) Success (30msec.) Success (29msec.) Success (29msec.) Success (30msec.) Success (29msec.) Success (29msec.)
add2pp-kmul-assoc-com-dist Failure (33msec.) Failure (32msec.) Failure (33msec.) Failure (63msec.) Success (36msec.) Success (37msec.) Success (68msec.) Success (37msec.) Success (37msec.) Success (67msec.)
add2pp-kmul-assoc-com Success (30msec.) Success (31msec.) Success (31msec.) Success (30msec.) Success (31msec.) Success (31msec.) Success (30msec.) Success (31msec.) Success (30msec.) Success (30msec.)
add2pp-mul2pp-assoc-com-massoc-mcom-dist2 Failure (73msec.) Failure (74msec.) Failure (2msec.) Failure (74msec.) Failure (146msec.) Failure (2msec.) Failure (147msec.) Failure (146msec.) Failure (2msec.) Failure (146msec.)
add2pp-mul2pp-assoc-com-mcom Failure (42msec.) Failure (41msec.) Failure (1msec.) Failure (42msec.) Success (46msec.) Failure (0msec.) Success (46msec.) Success (45msec.) Failure (1msec.) Success (46msec.)
add2pp-mul2pp-assoc-com Failure (41msec.) Failure (41msec.) Failure (1msec.) Failure (41msec.) Success (44msec.) Failure (1msec.) Success (44msec.) Success (44msec.) Failure (1msec.) Success (45msec.)
add2pp-sum-assoc-com Success (31msec.) Success (31msec.) Failure (0msec.) Success (30msec.) Success (31msec.) Failure (0msec.) Success (30msec.) Success (30msec.) Failure (1msec.) Success (30msec.)
addll-assoc-com-ss Failure (13msec.) Failure (13msec.) Failure (13msec.) Failure (24msec.) Failure (40msec.) Failure (39msec.) Failure (76msec.) Failure (215msec.) Success (144msec.) Success (289msec.)
addll-assoc-com Failure (10msec.) Failure (10msec.) Failure (10msec.) Failure (21msec.) Failure (32msec.) Failure (32msec.) Failure (62msec.) Success (88msec.) Success (87msec.) Success (154msec.)
addll-com Failure (10msec.) Failure (10msec.) Failure (10msec.) Failure (19msec.) Success (30msec.) Success (29msec.) Success (39msec.) Success (30msec.) Success (31msec.) Success (40msec.)
addll2-assoc-com Failure (13msec.) Failure (14msec.) Failure (14msec.) Failure (28msec.) Failure (35msec.) Failure (35msec.) Failure (70msec.) Success (67msec.) Success (66msec.) Success (111msec.)
addll2-com Failure (14msec.) Failure (14msec.) Failure (13msec.) Failure (26msec.) Success (33msec.) Success (33msec.) Success (46msec.) Success (33msec.) Success (32msec.) Success (46msec.)
addlr-assoc-com Failure (11msec.) Failure (11msec.) Failure (10msec.) Failure (20msec.) Failure (32msec.) Failure (31msec.) Failure (63msec.) Success (88msec.) Success (88msec.) Success (155msec.)
addlr-com Failure (9msec.) Failure (10msec.) Failure (10msec.) Failure (19msec.) Success (30msec.) Success (30msec.) Success (39msec.) Success (29msec.) Success (29msec.) Success (40msec.)
addlr2-assoc-com Failure (14msec.) Failure (14msec.) Failure (14msec.) Failure (29msec.) Failure (35msec.) Failure (36msec.) Failure (69msec.) Success (67msec.) Success (66msec.) Success (112msec.)
addlr2-com Failure (13msec.) Failure (13msec.) Failure (14msec.) Failure (26msec.) Success (33msec.) Success (33msec.) Success (46msec.) Success (33msec.) Success (33msec.) Success (47msec.)
addrl-assoc-com Failure (10msec.) Failure (11msec.) Failure (11msec.) Failure (21msec.) Failure (33msec.) Failure (32msec.) Failure (63msec.) Success (88msec.) Success (88msec.) Success (155msec.)
addrl-com Failure (10msec.) Failure (10msec.) Failure (10msec.) Failure (19msec.) Success (29msec.) Success (30msec.) Success (39msec.) Success (29msec.) Success (30msec.) Success (40msec.)
addrl2-assoc-com Failure (14msec.) Failure (14msec.) Failure (14msec.) Failure (28msec.) Failure (35msec.) Failure (35msec.) Failure (69msec.) Success (67msec.) Success (66msec.) Success (112msec.)
addrl2-com Failure (13msec.) Failure (13msec.) Failure (13msec.) Failure (26msec.) Success (33msec.) Success (33msec.) Success (46msec.) Success (33msec.) Success (33msec.) Success (47msec.)
addrr-assoc-com Failure (10msec.) Failure (11msec.) Failure (10msec.) Failure (21msec.) Failure (31msec.) Failure (32msec.) Failure (62msec.) Success (88msec.) Success (87msec.) Success (155msec.)
addrr-assoc Failure (11msec.) Failure (11msec.) Failure (11msec.) Failure (20msec.) Failure (11msec.) Failure (10msec.) Failure (20msec.) Failure (10msec.) Failure (11msec.) Failure (20msec.)
addrr-com Failure (10msec.) Failure (10msec.) Failure (10msec.) Failure (19msec.) Success (29msec.) Success (31msec.) Success (40msec.) Success (29msec.) Success (30msec.) Success (39msec.)
addrr-dbl-assoc-com Failure (11msec.) Failure (11msec.) Failure (0msec.) Failure (11msec.) Failure (33msec.) Failure (0msec.) Failure (33msec.) Success (90msec.) Failure (0msec.) Success (90msec.)
addrr-inc-com-dist Failure (19msec.) Failure (20msec.) Failure (20msec.) Failure (39msec.) Success (49msec.) Success (49msec.) Success (68msec.) Success (49msec.) Success (50msec.) Success (69msec.)
addrr-mulrr-assoc-com-massoc-mcom-dist Failure (23msec.) Failure (23msec.) Failure (1msec.) Failure (23msec.) Failure (203msec.) Failure (0msec.) Failure (202msec.) Failure (558msec.) Failure (0msec.) Failure (558msec.)
addrr-mulrr-assoc-com Failure (20msec.) Failure (21msec.) Failure (1msec.) Failure (21msec.) Failure (51msec.) Failure (0msec.) Failure (51msec.) Success (136msec.) Failure (1msec.) Success (136msec.)
addrr-mulrr-com Failure (18msec.) Failure (19msec.) Failure (0msec.) Failure (19msec.) Success (48msec.) Failure (0msec.) Success (48msec.) Success (49msec.) Failure (0msec.) Success (49msec.)
addrr2-assoc-com Failure (14msec.) Failure (14msec.) Failure (14msec.) Failure (28msec.) Failure (35msec.) Failure (35msec.) Failure (69msec.) Success (66msec.) Success (67msec.) Success (112msec.)
addrr2-com Failure (13msec.) Failure (13msec.) Failure (14msec.) Failure (26msec.) Success (33msec.) Success (33msec.) Success (46msec.) Success (33msec.) Success (33msec.) Success (46msec.)
and3 Failure (0msec.) Failure (1msec.) Failure (0msec.) Failure (1msec.) Success (1msec.) Success (1msec.) Success (1msec.) Success (1msec.) Success (0msec.) Success (2msec.)
assoc-com-distl Failure (10msec.) Failure (11msec.) Failure (0msec.) Failure (10msec.) Failure (11msec.) Failure (0msec.) Failure (10msec.) Failure (11msec.) Failure (0msec.) Failure (11msec.)
assoc-com-distlr Failure (21msec.) Failure (22msec.) Failure (0msec.) Failure (22msec.) Failure (22msec.) Failure (1msec.) Failure (22msec.) Failure (22msec.) Failure (0msec.) Failure (22msec.)
assoc-com-massoc-mcom-distl Failure (11msec.) Failure (12msec.) Failure (1msec.) Failure (12msec.) Failure (51msec.) Failure (1msec.) Failure (50msec.) Failure (303msec.) Failure (1msec.) Failure (304msec.)
assoc-com-massoc-mcom-distlr Failure (36msec.) Failure (37msec.) Failure (1msec.) Failure (37msec.) Failure (37msec.) Failure (1msec.) Failure (37msec.) Failure (37msec.) Failure (1msec.) Failure (37msec.)
assoc-com Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.)
assoc2-com Success (0msec.) Success (0msec.) Success (1msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (1msec.) Success (0msec.) Success (1msec.) Success (1msec.)
assoc2 Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.)
com Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.)
comgroup Failure (1msec.) Failure (0msec.) Failure (1msec.) Failure (0msec.) Failure (0msec.) Failure (1msec.) Failure (0msec.) Failure (1msec.) Failure (1msec.) Failure (1msec.)
intadd-assoc-com Success (23msec.) Success (23msec.) Success (23msec.) Success (22msec.) Success (23msec.) Success (22msec.) Success (23msec.) Success (23msec.) Success (22msec.) Success (22msec.)
intadd-assoc2 Success (22msec.) Success (23msec.) Success (22msec.) Success (22msec.) Success (22msec.) Success (22msec.) Success (23msec.) Success (23msec.) Success (22msec.) Success (22msec.)
intadd-com Success (20msec.) Success (21msec.) Success (20msec.) Success (21msec.) Success (20msec.) Success (20msec.) Success (21msec.) Success (21msec.) Success (20msec.) Success (20msec.)
intadd-neg-assoc-com-dist Failure (34msec.) Success (35msec.) Success (35msec.) Success (34msec.) Success (35msec.) Success (34msec.) Success (34msec.) Success (35msec.) Success (34msec.) Success (35msec.)
intadd-neg-assoc2-dist Failure (34msec.) Success (34msec.) Success (34msec.) Success (34msec.) Success (34msec.) Success (33msec.) Success (34msec.) Success (34msec.) Success (34msec.) Success (34msec.)
intadd-neg-com-dist Failure (32msec.) Success (32msec.) Success (32msec.) Success (32msec.) Success (32msec.) Success (32msec.) Success (32msec.) Success (32msec.) Success (32msec.) Success (32msec.)
loop Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.)
maxlrn-com Success (20msec.) Success (19msec.) Success (19msec.) Success (19msec.) Success (20msec.) Success (20msec.) Success (20msec.) Success (20msec.) Success (20msec.) Success (19msec.)
maxlrp-com-idem Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.)
maxlrp-com Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.)
maxrn-com Failure (19msec.) Failure (19msec.) Failure (19msec.) Failure (38msec.) Success (39msec.) Success (38msec.) Success (58msec.) Success (39msec.) Success (38msec.) Success (57msec.)
maxrp-com Failure (10msec.) Failure (10msec.) Failure (10msec.) Failure (20msec.) Success (20msec.) Success (20msec.) Success (29msec.) Success (20msec.) Success (20msec.) Success (29msec.)
neg-assoc-com Failure (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (11msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (11msec.)
neg-com Failure (9msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.)
neg-inv-assoc-com Failure (11msec.) Success (11msec.) Success (11msec.) Success (11msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (10msec.) Success (11msec.) Success (11msec.)
neg2 Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.) Success (0msec.)
not-inv-exor-assoc-com Failure (12msec.) Failure (12msec.) Failure (11msec.) Failure (22msec.) Failure (46msec.) Failure (45msec.) Failure (90msec.) Success (157msec.) Success (157msec.) Success (289msec.)
or2-assoc-com Success (1msec.) Success (0msec.) Success (0msec.) Success (1msec.) Success (1msec.) Success (0msec.) Success (2msec.) Success (1msec.) Success (0msec.) Success (1msec.)
orll-assoc-com Failure (1msec.) Failure (1msec.) Failure (1msec.) Failure (2msec.) Success (2msec.) Success (2msec.) Success (3msec.) Success (2msec.) Success (2msec.) Success (2msec.)
orlr-assoc-com Failure (0msec.) Failure (1msec.) Failure (1msec.) Failure (2msec.) Success (2msec.) Success (2msec.) Success (3msec.) Success (2msec.) Success (1msec.) Success (3msec.)
orrr-assoc-com Failure (1msec.) Failure (1msec.) Failure (0msec.) Failure (2msec.) Success (2msec.) Success (2msec.) Success (2msec.) Success (2msec.) Success (2msec.) Success (3msec.)
orrr-com Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Success (1msec.) Success (0msec.) Success (0msec.) Success (1msec.) Success (1msec.) Success (0msec.)
prop Failure (3msec.) Failure (3msec.) Failure (3msec.) Failure (5msec.) Success (6msec.) Success (5msec.) Success (7msec.) Success (6msec.) Success (6msec.) Success (7msec.)
semilattice Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (0msec.)
zero-assoc-com Failure (0msec.) Failure (0msec.) Failure (0msec.) Failure (1msec.) Success (2msec.) Success (2msec.) Success (2msec.) Success (2msec.) Success (2msec.) Success (2msec.)
zero-one-assoc-com Failure (1msec.) Failure (0msec.) Failure (0msec.) Failure (2msec.) Failure (16msec.) Failure (14msec.) Failure (31msec.) Failure (16msec.) Failure (14msec.) Failure (30msec.)
zero-one-neg-assoc-com Failure (11msec.) Failure (12msec.) Failure (11msec.) Failure (22msec.) Failure (60msec.) Failure (58msec.) Failure (119msec.) Failure (60msec.) Failure (59msec.) Failure (118msec.)
zero-one-neg-assoc-com2 Failure (12msec.) Failure (13msec.) Failure (12msec.) Failure (24msec.) Failure (47msec.) Failure (45msec.) Failure (91msec.) Failure (47msec.) Failure (45msec.) Failure (91msec.)