Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Standard pair #487514884
details
property
value
status
timeout (cpu)
benchmark
25711.xml
ran by
Akihisa Yamada
cpu timeout
1200 seconds
wallclock timeout
300 seconds
memory limit
137438953472 bytes
space
ICFP_2010
run statistics
property
value
solver
matchbox-2020-06-25
configuration
tc20-std.sh
runtime (wallclock)
301.065625906 seconds
cpu usage
1202.31871995
max memory
1.46153472E9
stage attributes
unavailable
output
/export/starexec/sandbox/solver/bin/starexec_run_tc20-std.sh /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- YES ************************************************** summary ************************************************** SRS with 98 rules on 6 letters weights SRS with 48 rules on 6 letters mirror SRS with 48 rules on 6 letters tile all, by Config { method = Forward,width = 2,unlabel = False} SRS with 2352 rules on 48 letters weights SRS with 147 rules on 36 letters mirror SRS with 147 rules on 36 letters DP SRS with 588 strict rules and 147 weak rules on 50 letters weights SRS with 147 strict rules and 147 weak rules on 50 letters EDG ************************************************** proof ************************************************** property Termination has value Just True for SRS [0, 1, 0, 1, 2, 2] -> [0, 1, 0, 2, 1, 2] {- Input 0 -} [3, 1, 4, 4, 0, 5, 1] -> [3, 4, 5, 1, 0, 4, 1] {- Input 1 -} [3, 4, 0, 5, 4, 4, 2] -> [3, 4, 5, 4, 0, 4, 2] {- Input 2 -} [1, 0, 3, 2, 0, 4, 0, 5] -> [1, 0, 0, 3, 2, 0, 4, 5] {- Input 3 -} [3, 4, 0, 5, 4, 0, 1, 5] -> [3, 0, 4, 5, 4, 0, 1, 5] {- Input 4 -} [5, 3, 0, 1, 5, 1, 5, 1, 5] -> [5, 5, 1, 0, 3, 1, 5, 1, 5] {- Input 5 -} [4, 0, 3, 4, 1, 5, 2, 2, 5, 4] -> [0, 2, 1, 4, 4, 5, 2, 3, 5, 4] {- Input 6 -} [0, 0, 1, 4, 1, 1, 5, 5, 3, 2, 3] -> [ 2 , 1 , 3 , 1 , 4 , 4 , 2 , 1 , 1 , 3 ] {- Input 7 -} [0, 1, 0, 1, 0, 3, 1, 3, 0, 1, 0] -> [ 4 , 0 , 5 , 3 , 2 , 2 , 2 , 5 , 5 , 5 ] {- Input 8 -} [0, 2, 3, 4, 5, 1, 3, 0, 1, 2, 0] -> [ 0 , 1 , 3 , 0 , 5 , 4 , 0 , 2 , 0 , 5 ] {- Input 9 -} [0, 3, 4, 0, 3, 2, 3, 4, 5, 5, 3] -> [ 4 , 0 , 2 , 3 , 3 , 5 , 5 , 2 , 3 , 1 ] {- Input 10 -} [1, 0, 2, 5, 4, 3, 4, 1, 2, 1, 0] -> [ 2 , 4 , 2 , 5 , 3 , 5 , 2 , 4 , 2 , 1 ] {- Input 11 -} [1, 4, 2, 2, 2, 4, 4, 4, 2, 0, 5] -> [ 5 , 4 , 5 , 0 , 1 , 0 , 5 , 2 , 5 , 1 ] {- Input 12 -} [1, 4, 4, 2, 5, 1, 5, 1, 0, 4, 1] -> [ 0 , 1 , 5 , 2 , 0 , 4 , 4 , 3 , 2 , 1 ] {- Input 13 -} [1, 5, 0, 0, 1, 0, 2, 4, 1, 1, 4] -> [ 1 , 5 , 0 , 1 , 0 , 0 , 2 , 4 , 1 , 1 , 4 ] {- Input 14 -} [1, 5, 0, 5, 0, 0, 5, 4, 4, 0, 2] -> [ 0 , 4 , 4 , 0 , 2 , 3 , 3 , 5 , 5 , 1 ] {- Input 15 -} [2, 0, 0, 5, 5, 2, 4, 1, 1, 0, 2] -> [ 1 , 4 , 0 , 0 , 2 , 2 , 1 , 4 , 5 , 3 ] {- Input 16 -} [2, 0, 2, 4, 0, 1, 0, 3, 0, 4, 4] -> [ 4 , 4 , 5 , 1 , 4 , 1 , 2 , 2 , 1 , 0 ] {- Input 17 -} [2, 0, 4, 1, 3, 1, 2, 0, 0, 2, 3] -> [ 5 , 1 , 2 , 1 , 4 , 4 , 1 , 5 , 5 , 3 ] {- Input 18 -} [2, 0, 4, 4, 0, 0, 4, 3, 0, 2, 4] -> [ 0 , 2 , 0 , 4 , 3 , 3 , 5 , 3 , 4 , 4 ] {- Input 19 -} [2, 1, 2, 3, 0, 4, 5, 1, 1, 1, 0] -> [ 0 , 4 , 0 , 1 , 3 , 2 , 2 , 1 , 4 , 2 ] {- Input 20 -} [2, 2, 3, 3, 2, 5, 1, 2, 5, 3, 0] -> [ 4 , 5 , 2 , 2 , 5 , 1 , 5 , 3 , 3 , 5 ] {- Input 21 -} [2, 3, 0, 1, 4, 0, 3, 0, 3, 0, 2] -> [ 0 , 5 , 0 , 5 , 5 , 5 , 1 , 5 , 4 , 3 ] {- Input 22 -} [2, 3, 1, 5, 3, 2, 4, 3, 2, 4, 2] -> [ 2 , 1 , 2 , 3 , 2 , 4 , 5 , 3 , 4 , 4 ] {- Input 23 -} [2, 3, 2, 2, 0, 2, 5, 4, 5, 4, 2] -> [ 4 , 5 , 5 , 1 , 5 , 2 , 3 , 2 , 1 , 3 ] {- Input 24 -} [2, 3, 4, 3, 5, 0, 0, 0, 3, 3, 5] -> [ 3 , 4 , 1 , 4 , 0 , 3 , 2 , 1 , 1 , 0 ] {- Input 25 -} [2, 4, 4, 4, 3, 0, 1, 5, 3, 3, 5] -> [ 4 , 4 , 2 , 0 , 3 , 4 , 0 , 4 , 0 , 1 ] {- Input 26 -} [2, 5, 2, 0, 4, 3, 3, 3, 2, 1, 4] -> [ 1 , 3 , 2 , 5 , 5 , 0 , 5 , 1 , 0 , 4 ] {- Input 27 -} [3, 1, 3, 1, 1, 1, 2, 0, 4, 4, 5] -> [ 5 , 4 , 3 , 0 , 4 , 4 , 3 , 3 , 3 , 2 ] {- Input 28 -} [3, 1, 4, 4, 1, 5, 0, 0, 0, 2, 4] -> [ 5 , 1 , 2 , 0 , 0 , 3 , 5 , 5 , 1 , 1 ] {- Input 29 -} [3, 2, 0, 2, 2, 1, 0, 4, 1, 0, 2] -> [ 2 , 1 , 3 , 4 , 1 , 3 , 0 , 0 , 5 , 5 ] {- Input 30 -} [3, 2, 5, 3, 0, 1, 1, 0, 0, 3, 1] -> [ 0 , 5 , 1 , 0 , 1 , 1 , 0 , 3 , 4 , 3 ] {- Input 31 -} [3, 4, 3, 1, 2, 5, 5, 1, 3, 1, 2] -> [ 1 , 4 , 1 , 3 , 4 , 4 , 5 , 5 , 2 , 0 ] {- Input 32 -} [3, 5, 0, 4, 2, 2, 0, 1, 0, 0, 0] -> [ 1 , 0 , 0 , 3 , 1 , 2 , 4 , 3 , 3 , 5 ] {- Input 33 -} [4, 0, 3, 1, 2, 3, 0, 3, 3, 5, 0] -> [ 4 , 0 , 2 , 0 , 2 , 3 , 5 , 4 , 2 , 4 ] {- Input 34 -} [4, 1, 4, 1, 1, 2, 2, 0, 0, 4, 4] -> [ 0 , 5 , 1 , 3 , 5 , 2 , 1 , 2 , 0 , 5 ] {- Input 35 -} [5, 1, 5, 0, 2, 2, 5, 4, 4, 4, 4] -> [ 5 , 0 , 0 , 4 , 0 , 0 , 0 , 4 , 2 , 0 ] {- Input 36 -} [5, 2, 0, 2, 5, 2, 3, 4, 4, 5, 0] -> [ 3 , 5 , 5 , 5 , 0 , 4 , 4 , 5 , 3 , 2 ] {- Input 37 -} [5, 3, 5, 5, 5, 4, 0, 0, 0, 1, 5] -> [ 5 , 2 , 2 , 0 , 2 , 2 , 4 , 1 , 1 , 4 ] {- Input 38 -} [5, 5, 3, 4, 0, 4, 0, 3, 0, 3, 0] -> [ 1 , 2 , 3 , 1 , 3 , 0 , 3 , 5 , 3 , 5 ] {- Input 39 -} [5, 5, 4, 5, 4, 2, 5, 1, 4, 0, 4] -> [ 5 , 4 , 0 , 3 , 2 , 1 , 0 , 0 , 4 , 4 ] {- Input 40 -} [0, 0, 0, 4, 4, 1, 2, 1, 4, 4, 1, 2] -> [ 4 , 3 , 3 , 2 , 2 , 2 , 1 , 1 , 0 , 0 ] {- Input 41 -} [0, 4, 3, 3, 5, 1, 3, 2, 5, 0, 1, 2] -> [ 2 , 1 , 5 , 0 , 3 , 3 , 4 , 0 , 3 , 0 ] {- Input 42 -} [0, 5, 1, 1, 4, 4, 3, 3, 3, 3, 1, 1] -> [ 3 , 0 , 2 , 3 , 5 , 4 , 5 , 1 , 2 , 2 ] {- Input 43 -} [0, 5, 1, 4, 1, 0, 4, 1, 3, 2, 5, 2] -> [ 3 , 2 , 1 , 5 , 4 , 3 , 0 , 2 , 2 , 4 ] {- Input 44 -} [0, 5, 1, 4, 4, 4, 5, 2, 3, 2, 1, 0] -> [ 2 , 4 , 4 , 2 , 0 , 2 , 2 , 4 , 0 , 0 ] {- Input 45 -} [0, 5, 3, 5, 0, 5, 4, 2, 0, 5, 5, 3] -> [ 2 , 5 , 5 , 2 , 0 , 0 , 4 , 1 , 0 , 1 ] {- Input 46 -} [1, 3, 3, 3, 4, 4, 2, 2, 3, 1, 5, 3] -> [ 0 , 3 , 0 , 2 , 3 , 1 , 1 , 2 , 0 , 5 ] {- Input 47 -} [1, 3, 4, 2, 1, 2, 4, 2, 4, 4, 4, 2] -> [ 0 , 4 , 3 , 1 , 0 , 3 , 1 , 5 , 5 , 0 ] {- Input 48 -} [2, 1, 2, 5, 5, 3, 1, 2, 2, 2, 1, 2] -> [ 2 , 2 , 3 , 4 , 2 , 5 , 0 , 0 , 5 , 0 ] {- Input 49 -} [2, 5, 4, 5, 0, 1, 4, 0, 5, 3, 2, 0] -> [ 2 , 1 , 4 , 4 , 0 , 0 , 3 , 5 , 5 , 5 , 2 , 0 ] {- Input 50 -} [3, 3, 1, 4, 4, 5, 2, 3, 1, 3, 3, 2] -> [ 5 , 0 , 3 , 5 , 1 , 4 , 4 , 3 , 1 , 3 ] {- Input 51 -} [3, 3, 1, 5, 5, 2, 5, 3, 0, 5, 4, 5] -> [ 2 , 1 , 3 , 0 , 2 , 4 , 4 , 5 , 3 , 3 ] {- Input 52 -} [3, 4, 2, 4, 4, 2, 4, 5, 5, 2, 1, 4] -> [ 3 , 1 , 2 , 1 , 5 , 2 , 2 , 5 , 2 , 0 ] {- Input 53 -} [3, 5, 0, 5, 1, 3, 2, 4, 0, 5, 0, 2] -> [ 3 , 3 , 4 , 3 , 3 , 2 , 0 , 4 , 2 , 1 ] {- Input 54 -} [3, 5, 2, 0, 3, 3, 4, 1, 4, 2, 0, 4] -> [ 2 , 5 , 2 , 1 , 5 , 0 , 5 , 2 , 4 , 0 ] {- Input 55 -} [4, 3, 1, 5, 5, 3, 5, 1, 2, 5, 4, 3] -> [ 0 , 3 , 0 , 5 , 2 , 5 , 2 , 4 , 4 , 2 ] {- Input 56 -} [5, 4, 3, 4, 4, 3, 5, 4, 0, 5, 0, 3] -> [ 3 , 0 , 0 , 2 , 1 , 3 , 1 , 4 , 3 , 2 ] {- Input 57 -} [5, 5, 4, 4, 4, 4, 2, 4, 0, 3, 1, 2] -> [ 1 , 2 , 1 , 1 , 1 , 1 , 2 , 0 , 4 , 2 ] {- Input 58 -} [3, 0, 4, 5, 0, 1, 2, 3, 1, 4, 5, 0, 1] -> [ 3 , 0 , 4 , 5 , 1 , 0 , 2 , 3 , 1 , 4 , 5 , 0 , 1 ] {- Input 59 -} [5, 1, 1, 3, 1, 0, 1, 5, 1, 1, 4, 5, 3] -> [ 5 , 1 , 1 , 3 , 1 , 0 , 1 , 1 , 5 , 1 , 4 , 5 , 3 ] {- Input 60 -} [1, 4, 4, 0, 1, 1, 3, 5, 0, 4, 5, 3, 2, 1] -> [ 1 , 4 , 1 , 0 , 5 , 1 , 3 , 4 , 4 , 0 , 3 , 5 , 2 , 1 ] {- Input 61 -} [0, 5, 2, 3, 1, 1, 0, 4, 0, 2, 5, 0, 4, 4, 2] -> [ 0 , 5 , 3 , 1 , 2 , 1 , 2 , 0 , 0 , 4 , 5 , 4 , 0 , 4 , 2 ] {- Input 62 -} [2, 4, 0, 4, 0, 2, 2, 2, 1, 4, 0, 5, 5, 3, 5, 5] -> [ 2 , 4 , 0 , 4 , 0 , 2 , 2 , 2 , 4 , 1 , 0 , 5 , 5 , 3 , 5 , 5 ] {- Input 63 -} [1, 1, 0, 0, 1, 5, 0, 2, 4, 0, 2, 4, 4, 3, 2, 0, 0] -> [ 1 , 1 , 0 , 1 , 0 , 5 , 2 , 0 , 2 , 4 , 0 , 4 , 4 , 3 , 2 , 0 , 0 ] {- Input 64 -} [2, 3, 4, 5, 3, 0, 3, 0, 1, 4, 3, 1, 2, 0, 2, 0, 5] -> [ 2 , 3 , 4 , 5 , 3 , 0 , 3 , 0 , 1 , 3 , 4 , 1 , 2 , 0 , 2 , 0 , 5 ] {- Input 65 -} [3, 2, 2, 5, 1, 3, 2, 1, 3, 1, 3, 0, 3, 2, 1, 3, 0] -> [ 3 , 2 , 2 , 5 , 3 , 1 , 2 , 1 , 3 , 1 , 3 , 0 , 3 , 2 , 1 , 3 , 0 ] {- Input 66 -} [4, 0, 5, 4, 0, 1, 0, 4, 3, 2, 1, 5, 5, 3, 0, 0, 4] -> [ 4 , 0 , 5 , 4 , 0 , 1 , 0 , 4 , 2 , 3 , 1 , 5 , 5 , 3 , 0 , 0 , 4 ] {- Input 67 -} [4, 5, 4, 3, 0, 2, 1, 3, 2, 5, 2, 4, 0, 5, 4, 2, 2] -> [ 4 , 5 , 4 , 3 , 0 , 2 , 1 , 3 , 2 , 5 , 2 , 4 , 5 , 0 , 4 , 2 , 2 ] {- Input 68 -} [0, 0, 1, 5, 3, 2, 4, 1, 3, 4, 5, 3, 2, 5, 4, 5, 2, 3] -> [ 0 , 0 , 1 , 3 , 5 , 2 , 4 , 1 , 3 , 4 , 5 , 3 , 2 , 5 , 4 , 5 , 2 , 3 ] {- Input 69 -} [2, 3, 1, 2, 0, 1, 2, 2, 1, 0, 1, 5, 2, 1, 4, 4, 0, 1] -> [ 2 , 3 , 1 , 2 , 0 , 1 , 2 , 1 , 2 , 0 , 1 , 5 , 2 , 1 , 4 , 4 , 0 , 1 ] {- Input 70 -} [4, 5, 0, 5, 5, 0, 0, 5, 0, 1, 5, 2, 3, 1, 2, 5, 3, 0] -> [ 4 , 5 , 0 , 5 , 5 , 0 , 0 , 0 , 5 , 1 , 5 , 2 , 3 , 1 , 2 , 5 , 3 , 0 ] {- Input 71 -} [5, 1, 1, 2, 2, 1, 4, 1, 5, 4, 0, 1, 3, 0, 3, 3, 0, 2] -> [ 5 , 1 , 2 , 1 , 2 , 1 , 4 , 1 , 5 , 4 , 0 , 1 , 3 , 0 , 3 , 3 , 0 , 2 ] {- Input 72 -} [5, 2, 2, 0, 1, 4, 5, 2, 2, 3, 2, 3, 3, 1, 0, 2, 3, 4] -> [ 5 , 2 , 2 , 0 , 1 , 4 , 5 , 2 , 2 , 3 , 2 , 3 , 3 , 1 , 2 , 0 , 3 , 4 ] {- Input 73 -} [2, 4, 1, 1, 0, 2, 5, 4, 0, 4, 1, 1, 5, 0, 2, 0, 0, 5, 5] -> [ 2 , 1 , 4 , 2 , 1 , 0 , 5 , 1 , 4 , 0 , 4 , 1 , 0 , 5 , 0 , 2 , 0 , 5 , 5 ] {- Input 74 -}
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Standard