Features
Database
harrison-bang
Timeout
60s
Example
Solution
Resolution steps
Rewrite steps
Time
davis_putnam.maude
Found
7
3260
33ms
gilmore_eight.maude
Found
8
2751
33ms
gilmore_five.maude
Found
4
1727
29ms
gilmore_four.maude
Found
7
3260
33ms
gilmore_one.maude
Found
44
107565
767ms
gilmore_seven.maude
Found
13
6400
45ms
gilmore_six.maude
Found
3
1436
28ms
gilmore_three.maude
Found
12
3783
36ms
ordersorted_steamroller.maude
Found
27
28829
330ms
p_eight.maude
Found
1
355
26ms
p_eightteen.maude
Found
1
354
26ms
p_eleven.maude
Found
1
355
26ms
p_fifteen.maude
Found
3
793
28ms
p_fiftyeight.maude
Found
8
3659
35ms
p_fiftyfive.maude
Found
27
14395
225ms
p_fiftynine.maude
Found
6
5513
39ms
p_fiftyseven.maude
Found
6
7873
48ms
p_five.maude
Found
5
1520
27ms
p_four.maude
Found
3
791
26ms
p_fourteen.maude
Found
6
1702
28ms
p_fourtyfour.maude
Found
16
5821
44ms
p_fourty.maude
Found
8
13965
61ms
p_fourtyone.maude
Found
6
13188
256ms
p_nine.maude
Found
4
1119
27ms
p_nineteen.maude
Found
3
945
27ms
p_one.maude
Found
3
793
27ms
p_seven.maude
Found
1
355
26ms
p_seventeen.maude
Found
9
3311
31ms
p_six.maude
Found
1
355
25ms
p_sixteen.maude
Found
2
513
27ms
p_sixty.maude
Found
13
11225
56ms
p_ten.maude
Found
11
3730
31ms
p_thirteen.maude
Found
5
1364
28ms
p_thirtyfive.maude
Found
1
426
26ms
p_thirty.maude
Found
11
3279
34ms
p_thirtynine.maude
Found
2
1764
28ms
p_thirtyone.maude
Found
7
1766
29ms
p_thirtyseven.maude
Found
7
2577
31ms
p_thirtysix.maude
Found
5
2996
32ms
p_thirtythree.maude
Found
6
5430
31ms
p_thirtytwo.maude
Found
10
3598
36ms
p_three.maude
Found
2
513
17ms
p_twelve.maude
Found
16
6036
23ms
p_twentyeight.maude
Found
9
2870
30ms
p_twentyfive.maude
Found
9
3022
33ms
p_twentyfour.maude
Found
6
1996
30ms
p_twenty.maude
Found
8
2677
32ms
p_twentynine.maude
Found
99
1006453
5464ms
p_twentyone.maude
Found
6
1623
20ms
p_twentyseven.maude
Found
13
3399
20ms
p_twentysix.maude
Found
95
1766008
7767ms
p_twentythree.maude
Found
3
1382
29ms
p_twentytwo.maude
Found
6
1745
19ms
p_two.maude
Found
1
355
16ms
steamroller.maude
Timeout
0
0
60ms
Total
55 (54 F/0 S/1 TO)
596 (Avg. 11)
3072920 (Avg. 56905)
16281ms (Avg. 301ms)