Features
Databasetptp-bang
Timeout300s


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)