Spaces
Explore
Communities
Statistics
Reports
Cluster
Status
Help
SRS Stand 10685 pair #381724762
details
property
value
status
timeout (wallclock)
benchmark
26896.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
AProVE
configuration
standard
runtime (wallclock)
301.017673016 seconds
cpu usage
1301.33692684
max memory
1.653235712E10
stage attributes
unavailable
output
/export/starexec/sandbox2/solver/bin/starexec_run_standard /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- YES proof of /export/starexec/sandbox2/benchmark/theBenchmark.xml # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty Termination w.r.t. Q of the given QTRS could be proven: (0) QTRS (1) QTRS Reverse [EQUIVALENT, 0 ms] (2) QTRS (3) QTRSRRRProof [EQUIVALENT, 543 ms] (4) QTRS (5) DependencyPairsProof [EQUIVALENT, 2694 ms] (6) QDP (7) QDPOrderProof [EQUIVALENT, 3201 ms] (8) QDP (9) DependencyGraphProof [EQUIVALENT, 11 ms] (10) AND (11) QDP (12) QDPOrderProof [EQUIVALENT, 92 ms] (13) QDP (14) QDPOrderProof [EQUIVALENT, 81 ms] (15) QDP (16) MRRProof [EQUIVALENT, 6231 ms] (17) QDP (18) MRRProof [EQUIVALENT, 777 ms] (19) QDP (20) MRRProof [EQUIVALENT, 364 ms] (21) QDP (22) QDPOrderProof [EQUIVALENT, 40 ms] (23) QDP (24) MRRProof [EQUIVALENT, 269 ms] (25) QDP (26) MRRProof [EQUIVALENT, 136 ms] (27) QDP (28) MRRProof [EQUIVALENT, 115 ms] (29) QDP (30) MRRProof [EQUIVALENT, 451 ms] (31) QDP (32) DependencyGraphProof [EQUIVALENT, 0 ms] (33) TRUE (34) QDP (35) QDPOrderProof [EQUIVALENT, 650 ms] (36) QDP (37) DependencyGraphProof [EQUIVALENT, 0 ms] (38) AND (39) QDP (40) QDPOrderProof [EQUIVALENT, 70 ms] (41) QDP (42) MRRProof [EQUIVALENT, 7062 ms] (43) QDP (44) MRRProof [EQUIVALENT, 1688 ms] (45) QDP (46) MRRProof [EQUIVALENT, 247 ms] (47) QDP (48) MRRProof [EQUIVALENT, 219 ms] (49) QDP (50) MRRProof [EQUIVALENT, 180 ms] (51) QDP (52) MRRProof [EQUIVALENT, 186 ms] (53) QDP (54) MRRProof [EQUIVALENT, 144 ms] (55) QDP (56) DependencyGraphProof [EQUIVALENT, 0 ms] (57) QDP (58) QDPOrderProof [EQUIVALENT, 458 ms] (59) QDP (60) PisEmptyProof [EQUIVALENT, 0 ms] (61) YES (62) QDP (63) QDPOrderProof [EQUIVALENT, 70 ms] (64) QDP (65) DependencyGraphProof [EQUIVALENT, 0 ms] (66) AND (67) QDP (68) QDPOrderProof [EQUIVALENT, 0 ms] (69) QDP (70) MRRProof [EQUIVALENT, 928 ms] (71) QDP (72) MRRProof [EQUIVALENT, 2755 ms] (73) QDP (74) MRRProof [EQUIVALENT, 3003 ms] (75) QDP (76) MRRProof [EQUIVALENT, 1249 ms] (77) QDP (78) MRRProof [EQUIVALENT, 418 ms] (79) QDP (80) MRRProof [EQUIVALENT, 721 ms] (81) QDP (82) PisEmptyProof [EQUIVALENT, 0 ms] (83) YES (84) QDP (85) QDPOrderProof [EQUIVALENT, 0 ms] (86) QDP
popout
output may be truncated. 'popout' for the full output.
job log
popout
actions
all output
return to SRS Stand 10685