Features
Database
tptp-bang
Timeout
300s
Example
Solution
Resolution steps
Rewrite steps
Time
pCOM-zero-zero-seven-plus-one-dotp.maude
Found
276
7504624
42708ms
pCSR-zero-five-eight-plus-one-dotp.maude
Found
30
12480
34ms
pCSR-zero-five-five-plus-one-dotp.maude
Found
65
43842
111ms
pCSR-zero-five-four-plus-one-dotp.maude
Found
32
13344
37ms
pCSR-zero-five-nine-plus-one-dotp.maude
Found
35
25611
66ms
pCSR-zero-five-one-plus-one-dotp.maude
Found
4
2143
17ms
pCSR-zero-five-seven-plus-one-dotp.maude
Found
124
199693
686ms
pCSR-zero-five-six-plus-one-dotp.maude
Found
110
234305
761ms
pCSR-zero-five-three-plus-one-dotp.maude
Found
6
2653
17ms
pCSR-zero-five-zero-plus-one-dotp.maude
Found
177
375551
1261ms
pCSR-zero-four-eight-plus-one-dotp.maude
Found
35
25701
67ms
pCSR-zero-four-five-plus-one-dotp.maude
Found
186
325226
989ms
pCSR-zero-four-one-plus-one-dotp.maude
Found
136
170569
465ms
pCSR-zero-four-seven-plus-one-dotp.maude
Found
22
10118
29ms
pCSR-zero-four-six-plus-one-dotp.maude
Found
11
4465
20ms
pCSR-zero-four-three-plus-one-dotp.maude
Found
10
3618
17ms
pCSR-zero-four-two-plus-one-dotp.maude
Found
22
10118
29ms
pCSR-zero-four-zero-plus-one-dotp.maude
Found
542
3345921
15185ms
pCSR-zero-seven-four-plus-one-dotp.maude
Found
299
10614400
54961ms
pCSR-zero-seven-one-plus-one-dotp.maude
Found
130
363729
1239ms
pCSR-zero-seven-three-plus-one-dotp.maude
Found
100
89696
244ms
pCSR-zero-seven-two-plus-one-dotp.maude
Found
11
4465
18ms
pCSR-zero-seven-zero-plus-one-dotp.maude
Found
131
185789
580ms
pCSR-zero-six-eight-plus-one-dotp.maude
Found
92
184562
630ms
pCSR-zero-six-five-plus-one-dotp.maude
Found
104
253406
813ms
pCSR-zero-six-four-plus-one-dotp.maude
Found
119
218825
710ms
pCSR-zero-six-nine-plus-one-dotp.maude
Found
9
3083
18ms
pCSR-zero-six-seven-plus-one-dotp.maude
Found
22
10118
30ms
pCSR-zero-six-three-plus-one-dotp.maude
Found
220
558573
2187ms
pCSR-zero-six-two-plus-one-dotp.maude
Found
91
82974
228ms
pCSR-zero-three-five-plus-one-dotp.maude
Found
30
13876
38ms
pCSR-zero-three-four-plus-one-dotp.maude
Found
183
538195
1843ms
pCSR-zero-three-one-plus-one-dotp.maude
Found
65
43842
125ms
pCSR-zero-three-seven-plus-one-dotp.maude
Found
134
288262
973ms
pCSR-zero-three-two-plus-one-dotp.maude
Found
85
83780
219ms
pCSR-zero-three-zero-plus-one-dotp.maude
Found
79
64967
168ms
pCSR-zero-two-eight-plus-one-dotp.maude
Found
4
2827
17ms
pCSR-zero-two-five-plus-one-dotp.maude
Found
8
3285
18ms
pCSR-zero-two-nine-plus-one-dotp.maude
Found
299
10614400
54793ms
pCSR-zero-two-six-plus-one-dotp.maude
Found
104
253406
814ms
pGEO-one-seven-one-plus-two-dotp.maude
Found
116
17847803
103868ms
pGEO-two-five-eight-plus-one-dotp.maude
Found
29
27548
95ms
pGEO-two-five-five-plus-one-dotp.maude
Found
30
27662
88ms
pGEO-two-five-four-plus-one-dotp.maude
Found
30
28084
86ms
pGEO-two-five-nine-plus-one-dotp.maude
Found
30
27689
90ms
pGEO-two-five-one-plus-one-dotp.maude
Found
30
27665
85ms
pGEO-two-five-seven-plus-one-dotp.maude
Found
28
28441
87ms
pGEO-two-five-six-plus-one-dotp.maude
Found
28
28453
93ms
pGEO-two-five-three-plus-one-dotp.maude
Found
28
27547
87ms
pGEO-two-five-two-plus-one-dotp.maude
Found
27
27410
87ms
pGEO-two-five-zero-plus-one-dotp.maude
Found
30
27665
91ms
pGEO-two-four-eight-plus-one-dotp.maude
Found
27
27374
85ms
pGEO-two-four-five-plus-one-dotp.maude
Found
27
27393
83ms
pGEO-two-four-four-plus-one-dotp.maude
Found
27
27393
84ms
pGEO-two-four-nine-plus-one-dotp.maude
Found
27
27378
84ms
pGEO-two-four-one-plus-one-dotp.maude
Found
27
27600
91ms
pGEO-two-four-seven-plus-one-dotp.maude
Found
28
28914
89ms
pGEO-two-four-six-plus-one-dotp.maude
Found
27
27393
84ms
pGEO-two-four-three-plus-one-dotp.maude
Found
27
27393
90ms
pGEO-two-four-two-plus-one-dotp.maude
Found
27
27604
85ms
pGEO-two-four-zero-plus-one-dotp.maude
Found
29
27728
85ms
pGEO-two-one-six-plus-one-dotp.maude
Found
73
4155116
21549ms
pGEO-two-one-six-plus-two-dotp.maude
Found
115
16900498
98789ms
pGEO-two-six-four-plus-one-dotp.maude
Found
29
27974
88ms
pGEO-two-six-one-plus-one-dotp.maude
Found
30
28119
89ms
pGEO-two-six-three-plus-one-dotp.maude
Found
28
28091
89ms
pGEO-two-six-two-plus-one-dotp.maude
Found
28
28503
90ms
pGEO-two-six-zero-plus-one-dotp.maude
Found
30
27689
87ms
pGEO-two-three-eight-plus-one-dotp.maude
Found
27
27414
87ms
pGEO-two-three-five-plus-one-dotp.maude
Found
30
27859
87ms
pGEO-two-three-four-plus-one-dotp.maude
Found
29
27711
88ms
pGEO-two-three-nine-plus-one-dotp.maude
Found
29
27724
88ms
pGEO-two-three-one-plus-one-dotp.maude
Found
29
27711
87ms
pGEO-two-three-seven-plus-one-dotp.maude
Found
28
27774
85ms
pGEO-two-three-six-plus-one-dotp.maude
Found
30
28103
88ms
pGEO-two-three-three-plus-one-dotp.maude
Found
29
27280
87ms
pGEO-two-three-two-plus-one-dotp.maude
Found
29
27265
86ms
pGEO-two-three-zero-plus-one-dotp.maude
Found
29
27305
86ms
pGEO-two-two-eight-plus-one-dotp.maude
Found
27
27365
95ms
pGEO-two-two-four-plus-three-dotp.maude
Found
177
13585495
71282ms
pGEO-two-two-nine-plus-one-dotp.maude
Found
29
27512
96ms
pGEO-two-two-seven-plus-one-dotp.maude
Found
29
27494
88ms
pKRS-one-five-two-plus-one-dotp.maude
Found
97
1242092
9366ms
pKRS-one-four-one-plus-one-dotp.maude
Found
18
8186
29ms
pKRS-one-seven-one-plus-one-dotp.maude
Found
24
12924
38ms
pKRS-one-seven-zero-plus-one-dotp.maude
Found
24
12924
38ms
pKRS-one-six-eight-plus-one-dotp.maude
Found
27
10289
32ms
pKRS-one-six-five-plus-one-dotp.maude
Found
22
9586
32ms
pKRS-one-six-four-plus-one-dotp.maude
Found
21
10232
33ms
pKRS-one-six-nine-plus-one-dotp.maude
Found
18
8464
29ms
pKRS-one-six-six-plus-one-dotp.maude
Found
22
9586
32ms
pKRS-one-three-five-plus-one-dotp.maude
Found
21
8909
30ms
pKRS-one-three-four-plus-one-dotp.maude
Found
20
8390
29ms
pKRS-one-three-nine-plus-one-dotp.maude
Found
17
8629
28ms
pKRS-one-three-one-plus-one-dotp.maude
Found
65
465004
2505ms
pKRS-one-three-seven-plus-one-dotp.maude
Found
21
10232
32ms
pKRS-one-three-six-plus-one-dotp.maude
Found
9
2925
20ms
pKRS-one-three-two-plus-one-dotp.maude
Found
187
3472164
26778ms
pKRS-one-three-zero-plus-one-dotp.maude
Found
13
4631
22ms
pLCL-four-one-four-plus-one-dotp.maude
Found
103
1407660
5470ms
pLCL-one-eight-one-plus-one-dotp.maude
Found
3
791
16ms
pLCL-six-eight-four-plus-one-dot-zero-zero-one-dotp.maude
Found
9
27867
59ms
pLCL-six-eight-one-plus-one-dot-zero-zero-one-dotp.maude
Saturated
1
199
15ms
pLCL-six-eight-two-plus-one-dot-zero-zero-one-dotp.maude
Found
58
600222
2351ms
pLCL-six-eight-zero-plus-one-dot-zero-zero-one-dotp.maude
Found
1
329
16ms
pLCL-six-five-seven-plus-one-dot-zero-zero-one-dotp.maude
Saturated
65
111594
279ms
pLCL-six-five-six-plus-one-dot-zero-zero-one-dotp.maude
Found
28
24285
67ms
pLCL-six-five-zero-plus-one-dot-zero-zero-one-dotp.maude
Found
204
4248413
24738ms
pLCL-six-four-eight-plus-one-dot-zero-zero-one-dotp.maude
Found
5
1309
17ms
pLCL-six-four-five-plus-one-dot-zero-zero-one-dotp.maude
Saturated
6
994
17ms
pLCL-six-four-four-plus-one-dot-zero-zero-one-dotp.maude
Found
1
4700
19ms
pLCL-six-four-nine-plus-one-dot-zero-zero-one-dotp.maude
Saturated
4
712
16ms
pLCL-six-four-seven-plus-one-dot-zero-zero-one-dotp.maude
Saturated
936
7266629
48264ms
pLCL-six-four-six-plus-one-dot-zero-zero-one-dotp.maude
Found
11
2724
19ms
pLCL-six-six-four-plus-one-dot-zero-zero-one-dotp.maude
Found
20
6477
27ms
pLCL-six-six-seven-plus-one-dot-zero-zero-one-dotp.maude
Saturated
4
708
17ms
pLCL-six-six-six-plus-one-dot-zero-zero-one-dotp.maude
Found
5
1305
18ms
pLCL-six-six-three-plus-one-dot-zero-zero-one-dotp.maude
Saturated
1
199
15ms
pLCL-six-six-two-plus-one-dot-zero-zero-one-dotp.maude
Found
1
329
16ms
pLCL-six-three-seven-plus-one-dot-zero-zero-one-dotp.maude
Saturated
60
68222
179ms
pLCL-six-three-six-plus-one-dot-zero-zero-one-dotp.maude
Found
19
9087
33ms
pLCL-two-three-zero-plus-one-dotp.maude
Found
5
1520
18ms
pMGT-zero-four-one-plus-two-dotp.maude
Found
16
7113
31ms
pMGT-zero-one-eight-plus-one-dotp.maude
Found
87
278929
1649ms
pMGT-zero-one-five-plus-one-dotp.maude
Found
113
2846221
54010ms
pMGT-zero-one-seven-plus-one-dotp.maude
Found
78
217283
1033ms
pMGT-zero-one-six-plus-one-dotp.maude
Found
108
2416022
43518ms
pMGT-zero-three-six-plus-one-dotp.maude
Found
46
59613
186ms
pMGT-zero-three-six-plus-three-dotp.maude
Found
21
21720
63ms
pMGT-zero-three-six-plus-two-dotp.maude
Found
51
89951
313ms
pMGT-zero-three-two-plus-two-dotp.maude
Found
19
16594
53ms
pMGT-zero-two-eight-plus-one-dotp.maude
Found
96
914595
11161ms
pMGT-zero-two-two-plus-one-dotp.maude
Found
23
21445
72ms
pMGT-zero-two-two-plus-two-dotp.maude
Found
23
21445
72ms
pMGT-zero-zero-eight-plus-one-dotp.maude
Found
60
166238
720ms
pMGT-zero-zero-four-plus-one-dotp.maude
Found
115
4067278
69932ms
pMGT-zero-zero-nine-plus-one-dotp.maude
Found
65
198256
1597ms
pMGT-zero-zero-six-plus-one-dotp.maude
Found
107
1619912
23423ms
pMGT-zero-zero-three-plus-one-dotp.maude
Found
64
188593
1348ms
pMSC-zero-one-one-plus-one-dotp.maude
Found
7
1960
31ms
pPUZ-one-two-eight-plus-one-dotp.maude
Found
13
7611
52ms
pPUZ-zero-four-seven-plus-one-dotp.maude
Found
128
425543
2333ms
pPUZ-zero-six-one-plus-one-dotp.maude
Found
18
6841
47ms
pPUZ-zero-six-zero-plus-one-dotp.maude
Found
15
5149
40ms
pSET-eight-nine-nine-plus-one-dotp.maude
Found
11
5979
24ms
pSET-five-seven-five-plus-three-dotp.maude
Found
51
239131
649ms
pSET-five-seven-four-plus-three-dotp.maude
Found
12
16032
48ms
pSET-five-seven-six-plus-three-dotp.maude
Found
87
418104
1158ms
pSET-five-seven-three-plus-three-dotp.maude
Found
24
37308
169ms
pSET-nine-one-five-plus-one-dotp.maude
Found
9
3839
20ms
pSET-nine-one-three-plus-one-dotp.maude
Found
8
3336
19ms
pSET-seven-eight-six-plus-one-dotp.maude
Found
8
18789
43ms
pSET-six-two-seven-plus-three-dotp.maude
Found
12
8621
30ms
pSET-zero-four-five-plus-one-dotp.maude
Found
6
13206
36ms
pSET-zero-four-four-plus-one-dotp.maude
Found
8
14018
36ms
pSET-zero-four-six-plus-one-dotp.maude
Found
8
18789
43ms
pSET-zero-four-three-plus-one-dotp.maude
Found
2
1764
18ms
pSET-zero-six-two-plus-three-dotp.maude
Found
10
5714
24ms
pSET-zero-two-seven-plus-three-dotp.maude
Found
17
63149
208ms
pSEU-one-five-eight-plus-three-dotp.maude
Found
11
4527
20ms
pSEU-one-six-three-plus-three-dotp.maude
Found
7
2281
17ms
pSEU-two-seven-five-plus-one-dotp.maude
Found
37
35812
98ms
pSEU-two-six-one-plus-one-dotp.maude
Found
76
186424
786ms
pSWV-four-three-eight-plus-one-dotp.maude
Found
184
257280
1018ms
pSWV-zero-one-one-plus-one-dotp.maude
Found
14
2686
18ms
pSYN-four-one-one-plus-one-dotp.maude
Found
1
1582
16ms
pSYN-four-one-six-plus-one-dotp.maude
Found
2
513
15ms
pSYN-four-one-three-plus-one-dotp.maude
Found
6
13260
33ms
pSYN-four-one-two-plus-one-dotp.maude
Found
2
2031
17ms
pSYN-four-one-zero-plus-one-dotp.maude
Found
1
355
16ms
pSYN-four-zero-eight-plus-one-dotp.maude
Found
1
402
15ms
pSYN-four-zero-five-plus-one-dotp.maude
Found
3
763
16ms
pSYN-four-zero-four-plus-one-dotp.maude
Found
1
329
15ms
pSYN-four-zero-nine-plus-one-dotp.maude
Found
2
2265
17ms
pSYN-four-zero-one-plus-one-dotp.maude
Found
1
333
15ms
pSYN-four-zero-seven-plus-one-dotp.maude
Found
5
1690
17ms
pSYN-four-zero-six-plus-one-dotp.maude
Found
5
1292
16ms
pSYN-four-zero-three-plus-one-dotp.maude
Found
5
1260
18ms
pSYN-four-zero-two-plus-one-dotp.maude
Found
1
333
15ms
pSYN-four-zero-zero-plus-one-dotp.maude
Found
1
355
15ms
pSYN-nine-eight-one-plus-one-dotp.maude
Found
5
1372
18ms
pSYN-nine-eight-six-plus-one-dot-zero-zero-one-dotp.maude
Found
6
7048
25ms
pSYN-nine-eight-six-plus-one-dot-zero-zero-three-dotp.maude
Found
121
6799597
47907ms
pSYN-nine-eight-six-plus-one-dot-zero-zero-two-dotp.maude
Found
12
22303
59ms
pSYN-nine-eight-six-plus-one-dot-zero-zero-zero-dotp.maude
Found
1
442
15ms
pSYN-nine-eight-zero-plus-one-dotp.maude
Found
6
4229
21ms
pSYN-nine-five-eight-plus-one-dotp.maude
Found
3
766
16ms
pSYN-nine-five-five-plus-one-dotp.maude
Found
3
964
16ms
pSYN-nine-five-four-plus-one-dotp.maude
Found
9
3694
19ms
pSYN-nine-five-nine-plus-one-dotp.maude
Found
2
508
15ms
pSYN-nine-five-one-plus-one-dotp.maude
Found
13
3959
20ms
pSYN-nine-five-seven-plus-one-dotp.maude
Found
2
1764
17ms
pSYN-nine-five-six-plus-one-dotp.maude
Found
3
925
16ms
pSYN-nine-five-three-plus-one-dotp.maude
Found
3
762
16ms
pSYN-nine-five-two-plus-one-dotp.maude
Found
1
329
15ms
pSYN-nine-five-zero-plus-one-dotp.maude
Found
9
3694
19ms
pSYN-nine-four-eight-plus-one-dotp.maude
Found
2
465
15ms
pSYN-nine-four-five-plus-one-dotp.maude
Found
2
904
16ms
pSYN-nine-four-four-plus-one-dotp.maude
Found
9
1974
17ms
pSYN-nine-four-nine-plus-one-dotp.maude
Found
9
1974
17ms
pSYN-nine-four-one-plus-one-dotp.maude
Found
9
2794
18ms
pSYN-nine-four-seven-plus-one-dotp.maude
Found
3
642
16ms
pSYN-nine-four-six-plus-one-dotp.maude
Found
3
642
17ms
pSYN-nine-four-three-plus-one-dotp.maude
Found
14
4990
24ms
pSYN-nine-four-two-plus-one-dotp.maude
Found
5
1690
17ms
pSYN-nine-four-zero-plus-one-dotp.maude
Found
9
2876
18ms
pSYN-nine-one-eight-plus-one-dotp.maude
Found
24
30722
85ms
pSYN-nine-one-nine-plus-one-dotp.maude
Found
8
36047
89ms
pSYN-nine-seven-eight-plus-one-dotp.maude
Found
3
822
15ms
pSYN-nine-seven-five-plus-one-dotp.maude
Found
1
408
15ms
pSYN-nine-seven-four-plus-one-dotp.maude
Found
1
349
17ms
pSYN-nine-seven-nine-plus-one-dotp.maude
Found
7
1381
16ms
pSYN-nine-seven-one-plus-one-dotp.maude
Found
1
349
15ms
pSYN-nine-seven-seven-plus-one-dotp.maude
Found
3
791
15ms
pSYN-nine-seven-six-plus-one-dotp.maude
Found
2
515
15ms
pSYN-nine-seven-three-plus-one-dotp.maude
Found
1
329
15ms
pSYN-nine-seven-two-plus-one-dotp.maude
Found
1
385
15ms
pSYN-nine-seven-zero-plus-one-dotp.maude
Found
3
898
18ms
pSYN-nine-six-eight-plus-one-dotp.maude
Found
1
354
15ms
pSYN-nine-six-five-plus-one-dotp.maude
Found
7
7117
23ms
pSYN-nine-six-four-plus-one-dotp.maude
Found
1
349
17ms
pSYN-nine-six-nine-plus-one-dotp.maude
Found
5
1222
16ms
pSYN-nine-six-one-plus-one-dotp.maude
Found
2
802
16ms
pSYN-nine-six-seven-plus-one-dotp.maude
Found
9
3694
19ms
pSYN-nine-six-three-plus-one-dotp.maude
Found
2
995
16ms
pSYN-nine-six-two-plus-one-dotp.maude
Found
1
354
15ms
pSYN-nine-six-zero-plus-one-dotp.maude
Found
6
16215
36ms
pSYN-nine-three-five-plus-one-dotp.maude
Found
3
1314
16ms
pSYN-nine-three-four-plus-one-dotp.maude
Found
4
1477
17ms
pSYN-nine-three-nine-plus-one-dotp.maude
Found
36
46806
120ms
pSYN-nine-three-one-plus-one-dotp.maude
Found
4
1570
19ms
pSYN-nine-three-seven-plus-one-dotp.maude
Found
4
1457
16ms
pSYN-nine-three-six-plus-one-dotp.maude
Found
3
1625
17ms
pSYN-nine-three-three-plus-one-dotp.maude
Found
1
355
15ms
pSYN-nine-three-two-plus-one-dotp.maude
Found
1
355
15ms
pSYN-nine-three-zero-plus-one-dotp.maude
Found
3
1382
16ms
pSYN-nine-two-eight-plus-one-dotp.maude
Found
1
329
15ms
pSYN-nine-two-five-plus-one-dotp.maude
Found
1
354
17ms
pSYN-nine-two-four-plus-one-dotp.maude
Found
8
5641
21ms
pSYN-nine-two-nine-plus-one-dotp.maude
Found
1
404
15ms
pSYN-nine-two-one-plus-one-dotp.maude
Found
3
917
16ms
pSYN-nine-two-seven-plus-one-dotp.maude
Found
1
333
15ms
pSYN-nine-two-six-plus-one-dotp.maude
Found
3
818
16ms
pSYN-nine-two-three-plus-one-dotp.maude
Found
3
804
16ms
pSYN-nine-two-two-plus-one-dotp.maude
Found
3
1949
17ms
pSYN-nine-two-zero-plus-one-dotp.maude
Found
15
11695
35ms
pSYN-seven-three-one-plus-one-dotp.maude
Found
1
404
17ms
pSYN-seven-three-three-plus-one-dotp.maude
Found
5
1619
17ms
pSYN-seven-three-two-plus-one-dotp.maude
Found
2
616
15ms
pSYN-seven-three-zero-plus-one-dotp.maude
Found
2
1139
16ms
pSYN-seven-two-eight-plus-one-dotp.maude
Found
16
14196
38ms
pSYN-seven-two-five-plus-one-dotp.maude
Saturated
3
473
14ms
pSYN-seven-two-four-plus-one-dotp.maude
Found
6
4173
20ms
pSYN-seven-two-one-plus-one-dotp.maude
Found
8
2338
18ms
pSYN-seven-two-seven-plus-one-dotp.maude
Found
4
1921
17ms
pSYN-seven-two-two-plus-one-dotp.maude
Found
8
3985
22ms
pSYN-three-eight-eight-plus-one-dotp.maude
Found
1
355
15ms
pSYN-three-eight-five-plus-one-dotp.maude
Found
2
516
15ms
pSYN-three-eight-four-plus-one-dotp.maude
Found
1
407
15ms
pSYN-three-eight-nine-plus-one-dotp.maude
Found
1
355
15ms
pSYN-three-eight-one-plus-one-dotp.maude
Found
7
6169
22ms
pSYN-three-eight-seven-plus-one-dotp.maude
Found
1
355
15ms
pSYN-three-eight-six-plus-one-dotp.maude
Found
17
43891
113ms
pSYN-three-eight-three-plus-one-dotp.maude
Found
2
494
15ms
pSYN-three-eight-two-plus-one-dotp.maude
Found
3
919
16ms
pSYN-three-eight-zero-plus-one-dotp.maude
Found
4
1302
16ms
pSYN-three-five-eight-plus-one-dotp.maude
Found
4
1517
17ms
pSYN-three-five-five-plus-one-dotp.maude
Found
5
1200
16ms
pSYN-three-five-four-plus-one-dotp.maude
Found
16
20887
47ms
pSYN-three-five-nine-plus-one-dotp.maude
Found
6
2697
18ms
pSYN-three-five-one-plus-one-dotp.maude
Found
8
4929
24ms
pSYN-three-five-seven-plus-one-dotp.maude
Found
1
333
15ms
pSYN-three-five-six-plus-one-dotp.maude
Found
11
5080
21ms
pSYN-three-five-two-plus-one-dotp.maude
Found
12
24452
54ms
pSYN-three-five-zero-plus-one-dotp.maude
Found
11
15798
37ms
pSYN-three-four-eight-plus-one-dotp.maude
Saturated
16
337517
336ms
pSYN-three-four-five-plus-one-dotp.maude
Found
12
8126
26ms
pSYN-three-four-four-plus-one-dotp.maude
Saturated
9
6818
23ms
pSYN-three-four-nine-plus-one-dotp.maude
Found
19
70690
94ms
pSYN-three-four-one-plus-one-dotp.maude
Found
1
437
17ms
pSYN-three-four-seven-plus-one-dotp.maude
Found
19
35748
67ms
pSYN-three-four-six-plus-one-dotp.maude
Found
3
1376
16ms
pSYN-three-four-three-plus-one-dotp.maude
Found
2
2503
18ms
pSYN-three-four-two-plus-one-dotp.maude
Saturated
2
337
15ms
pSYN-three-four-zero-plus-one-dotp.maude
Found
1
443
15ms
pSYN-three-nine-eight-plus-one-dotp.maude
Found
3
1303
16ms
pSYN-three-nine-five-plus-one-dotp.maude
Found
3
964
18ms
pSYN-three-nine-four-plus-one-dotp.maude
Found
3
762
16ms
pSYN-three-nine-nine-plus-one-dotp.maude
Found
8
3514
21ms
pSYN-three-nine-one-plus-one-dotp.maude
Found
6
1702
16ms
pSYN-three-nine-seven-plus-one-dotp.maude
Found
2
995
16ms
pSYN-three-nine-six-plus-one-dotp.maude
Found
1
814
16ms
pSYN-three-nine-three-plus-one-dot-zero-zero-three-dotp.maude
Found
16
6036
21ms
pSYN-three-nine-two-plus-one-dotp.maude
Found
6
1702
16ms
pSYN-three-nine-zero-plus-one-dotp.maude
Found
1
355
15ms
pSYN-three-one-eight-plus-one-dotp.maude
Found
5
2168
18ms
pSYN-three-one-five-plus-one-dotp.maude
Found
10
6605
23ms
pSYN-three-one-nine-plus-one-dotp.maude
Found
6
2254
18ms
pSYN-three-one-seven-plus-one-dotp.maude
Found
9
10479
29ms
pSYN-three-one-six-plus-one-dotp.maude
Saturated
2
711
15ms
pSYN-three-seven-eight-plus-one-dotp.maude
Found
2
457
15ms
pSYN-three-seven-four-plus-one-dotp.maude
Found
31
415137
566ms
pSYN-three-seven-nine-plus-one-dotp.maude
Found
3
581
15ms
pSYN-three-seven-one-plus-one-dotp.maude
Found
2
1268
16ms
pSYN-three-seven-seven-plus-one-dotp.maude
Found
58
8883352
19909ms
pSYN-three-seven-six-plus-one-dotp.maude
Found
7
2772
20ms
pSYN-three-seven-three-plus-one-dotp.maude
Found
6
2806
18ms
pSYN-three-seven-two-plus-one-dotp.maude
Found
3
907
16ms
pSYN-three-seven-zero-plus-one-dotp.maude
Found
2
1139
16ms
pSYN-three-six-eight-plus-one-dotp.maude
Found
1
354
15ms
pSYN-three-six-four-plus-one-dotp.maude
Found
16
14196
38ms
pSYN-three-six-nine-plus-one-dotp.maude
Found
2
1124
16ms
pSYN-three-six-one-plus-one-dotp.maude
Found
5
1440
16ms
pSYN-three-six-seven-plus-one-dotp.maude
Found
5
1330
16ms
pSYN-three-six-six-plus-one-dotp.maude
Found
10
7649
23ms
pSYN-three-six-three-plus-one-dotp.maude
Found
4
1921
17ms
pSYN-three-six-two-plus-one-dotp.maude
Found
3
818
18ms
pSYN-three-six-zero-plus-one-dotp.maude
Found
3
966
16ms
pSYN-three-three-eight-plus-one-dotp.maude
Found
2
488
15ms
pSYN-three-three-nine-plus-one-dotp.maude
Found
1
401
15ms
pSYN-three-three-one-plus-one-dotp.maude
Found
10
6804
28ms
pSYN-three-three-seven-plus-one-dotp.maude
Saturated
5
757
15ms
pSYN-three-three-six-plus-one-dotp.maude
Found
4
724
15ms
pSYN-three-three-three-plus-one-dotp.maude
Found
7
3260
19ms
pSYN-three-two-eight-plus-one-dotp.maude
Found
44
107421
365ms
pSYN-three-two-five-plus-one-dotp.maude
Found
4
1349
16ms
pSYN-three-two-four-plus-one-dotp.maude
Saturated
5
2091
17ms
pSYN-three-two-nine-plus-one-dotp.maude
Saturated
4
539
15ms
pSYN-three-two-one-plus-one-dotp.maude
Found
8
4106
20ms
pSYN-three-two-seven-plus-one-dotp.maude
Found
5
2476
18ms
pSYN-three-two-six-plus-one-dotp.maude
Found
12
3783
21ms
pSYN-three-two-three-plus-one-dotp.maude
Found
9
3513
19ms
pSYN-three-two-two-plus-one-dotp.maude
Saturated
3
1511
16ms
pSYN-three-two-zero-plus-one-dotp.maude
Saturated
3
723
15ms
pSYN-zero-eight-four-plus-one-dotp.maude
Found
10
19358
38ms
pSYN-zero-eight-one-plus-one-dotp.maude
Found
6
5495
22ms
pSYN-zero-eight-two-plus-one-dotp.maude
Found
13
11225
33ms
pSYN-zero-five-eight-plus-one-dotp.maude
Found
9
2950
21ms
pSYN-zero-five-five-plus-one-dotp.maude
Found
8
2271
18ms
pSYN-zero-five-four-plus-one-dotp.maude
Found
10
3170
19ms
pSYN-zero-five-nine-plus-one-dotp.maude
Found
74
254199
879ms
pSYN-zero-five-one-plus-one-dotp.maude
Found
10
6555
23ms
pSYN-zero-five-seven-plus-one-dotp.maude
Found
14
7167
27ms
pSYN-zero-five-six-plus-one-dotp.maude
Found
95
1755172
7298ms
pSYN-zero-five-three-plus-one-dotp.maude
Found
3
1304
19ms
pSYN-zero-five-two-plus-one-dotp.maude
Found
8
3514
19ms
pSYN-zero-five-zero-plus-one-dotp.maude
Found
8
2462
21ms
pSYN-zero-four-eight-plus-one-dotp.maude
Found
1
354
15ms
pSYN-zero-four-five-plus-one-dotp.maude
Found
5
1364
16ms
pSYN-zero-four-four-plus-one-dotp.maude
Found
12
3969
22ms
pSYN-zero-four-nine-plus-one-dotp.maude
Found
3
945
16ms
pSYN-zero-four-one-plus-one-dotp.maude
Found
2
513
15ms
pSYN-zero-four-seven-plus-one-dotp.maude
Found
9
3311
18ms
pSYN-zero-four-six-plus-one-dotp.maude
Found
3
793
15ms
pSYN-zero-four-zero-plus-one-dotp.maude
Found
3
793
15ms
pSYN-zero-seven-nine-plus-one-dotp.maude
Found
6
7873
30ms
pSYN-zero-seven-three-plus-one-dotp.maude
Found
2
990
16ms
pSYN-zero-seven-zero-plus-one-dotp.maude
Found
18
17348
44ms
pSYN-zero-six-eight-plus-one-dotp.maude
Found
14
5287
24ms
pSYN-zero-six-five-plus-one-dotp.maude
Found
5
2996
19ms
pSYN-zero-six-four-plus-one-dotp.maude
Found
1
426
15ms
pSYN-zero-six-nine-plus-one-dotp.maude
Found
160
1509014
9711ms
pSYN-zero-six-one-plus-one-dotp.maude
Found
8
1933
17ms
pSYN-zero-six-six-plus-one-dotp.maude
Found
7
2589
18ms
pSYN-zero-six-three-plus-one-dotp.maude
Found
6
5436
21ms
pSYN-zero-six-two-plus-one-dotp.maude
Found
11
4227
22ms
pSYN-zero-six-zero-plus-one-dotp.maude
Found
10
2494
18ms
pSYN-zero-zero-one-plus-one-dotp.maude
Found
1
355
15ms
pTOP-zero-two-two-plus-one-dotp.maude
Found
37
101952
325ms
Total
369 (351 F/18 S/0 TO)
11458 (Avg. 31)
145351723 (Avg. 393907)
910360ms (Avg. 2467ms)