Features
Databaseharrison-bang
Timeout60s


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)