details

property	value
status	complete
benchmark	Prelude_rangeSize_1.hs
ran by	Akihisa Yamada
cpu timeout	1200 seconds
wallclock timeout	300 seconds
memory limit	137438953472 bytes
execution host	n047.star.cs.uiowa.edu
space	full_haskell

run statistics

property	value
solver	AProVE
configuration	standard
runtime (wallclock)	68.7872 seconds
cpu usage	109.129
user time	106.955
system time	2.17381
max virtual memory	1.835522E7
max residence set size	4921704.0

stage attributes

key	value
starexec-result	MAYBE

output

105.77/67.55 MAYBE 105.83/67.55 proof of /export/starexec/sandbox/benchmark/theBenchmark.hs 105.83/67.55 # AProVE Commit ID: 48fb2092695e11cc9f56e44b17a92a5f88ffb256 marcel 20180622 unpublished dirty 105.83/67.55 105.83/67.55 105.83/67.55 H-Termination with start terms of the given HASKELL could not be shown: 105.83/67.55 105.83/67.55 (0) HASKELL 105.83/67.55 (1) LR [EQUIVALENT, 0 ms] 105.83/67.55 (2) HASKELL 105.83/67.55 (3) CR [EQUIVALENT, 0 ms] 105.83/67.55 (4) HASKELL 105.83/67.55 (5) IFR [EQUIVALENT, 0 ms] 105.83/67.55 (6) HASKELL 105.83/67.55 (7) BR [EQUIVALENT, 0 ms] 105.83/67.55 (8) HASKELL 105.83/67.55 (9) COR [EQUIVALENT, 7 ms] 105.83/67.55 (10) HASKELL 105.83/67.55 (11) LetRed [EQUIVALENT, 0 ms] 105.83/67.55 (12) HASKELL 105.83/67.55 (13) NumRed [SOUND, 0 ms] 105.83/67.55 (14) HASKELL 105.83/67.55 (15) Narrow [SOUND, 0 ms] 105.83/67.55 (16) AND 105.83/67.55 (17) QDP 105.83/67.55 (18) QDPSizeChangeProof [EQUIVALENT, 0 ms] 105.83/67.55 (19) YES 105.83/67.55 (20) QDP 105.83/67.55 (21) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (22) QDP 105.83/67.55 (23) UsableRulesProof [EQUIVALENT, 0 ms] 105.83/67.55 (24) QDP 105.83/67.55 (25) QDPSizeChangeProof [EQUIVALENT, 0 ms] 105.83/67.55 (26) YES 105.83/67.55 (27) QDP 105.83/67.55 (28) QDPSizeChangeProof [EQUIVALENT, 0 ms] 105.83/67.55 (29) YES 105.83/67.55 (30) QDP 105.83/67.55 (31) QDPSizeChangeProof [EQUIVALENT, 0 ms] 105.83/67.55 (32) YES 105.83/67.55 (33) QDP 105.83/67.55 (34) QDPSizeChangeProof [EQUIVALENT, 0 ms] 105.83/67.55 (35) YES 105.83/67.55 (36) QDP 105.83/67.55 (37) QDPSizeChangeProof [EQUIVALENT, 0 ms] 105.83/67.55 (38) YES 105.83/67.55 (39) QDP 105.83/67.55 (40) QDPSizeChangeProof [EQUIVALENT, 0 ms] 105.83/67.55 (41) YES 105.83/67.55 (42) QDP 105.83/67.55 (43) QDPSizeChangeProof [EQUIVALENT, 0 ms] 105.83/67.55 (44) YES 105.83/67.55 (45) QDP 105.83/67.55 (46) QDPSizeChangeProof [EQUIVALENT, 0 ms] 105.83/67.55 (47) YES 105.83/67.55 (48) QDP 105.83/67.55 (49) TransformationProof [EQUIVALENT, 1900 ms] 105.83/67.55 (50) QDP 105.83/67.55 (51) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (52) QDP 105.83/67.55 (53) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (54) QDP 105.83/67.55 (55) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (56) QDP 105.83/67.55 (57) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (58) QDP 105.83/67.55 (59) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (60) QDP 105.83/67.55 (61) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (62) QDP 105.83/67.55 (63) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (64) QDP 105.83/67.55 (65) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (66) QDP 105.83/67.55 (67) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (68) QDP 105.83/67.55 (69) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (70) QDP 105.83/67.55 (71) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (72) QDP 105.83/67.55 (73) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (74) QDP 105.83/67.55 (75) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (76) QDP 105.83/67.55 (77) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (78) QDP 105.83/67.55 (79) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (80) QDP 105.83/67.55 (81) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (82) QDP 105.83/67.55 (83) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (84) QDP 105.83/67.55 (85) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (86) QDP 105.83/67.55 (87) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (88) QDP 105.83/67.55 (89) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (90) QDP 105.83/67.55 (91) TransformationProof [EQUIVALENT, 0 ms] 105.83/67.55 (92) QDP popout

output may be truncated. 'popout' for the full output.

job log

popout

actions

all output return to Haskell 2019-04-01 06.52