%------------------------------------------------------------------------------ % File : nanoCoP---2.0 % Problem : SWV127+1 : TPTP v8.1.2. Bugfixed v3.3.0. % Transfm : none % Format : tptp:raw % Command : nanocop.sh %s %d % Computer : n031.cluster.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz % Memory : 8042.1875MB % OS : Linux 3.10.0-693.el7.x86_64 % CPULimit : 300s % WCLimit : 300s % DateTime : Fri May 19 12:20:01 EDT 2023 % Result : Unknown 136.03s 136.10s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.07/0.12 % Problem : SWV127+1 : TPTP v8.1.2. Bugfixed v3.3.0. % 0.07/0.12 % Command : nanocop.sh %s %d % 0.12/0.33 % Computer : n031.cluster.edu % 0.12/0.33 % Model : x86_64 x86_64 % 0.12/0.33 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz % 0.12/0.33 % Memory : 8042.1875MB % 0.12/0.33 % OS : Linux 3.10.0-693.el7.x86_64 % 0.12/0.33 % CPULimit : 300 % 0.12/0.33 % WCLimit : 300 % 0.12/0.33 % DateTime : Fri May 19 03:14:10 EDT 2023 % 0.12/0.33 % CPUTime : % 8.54/8.45 % 8.54/8.45 *** ECLiPSe fatal error: Out of swap space in heap allocation % 8.60/8.49 type error in type error in is_a_module(_50405 : (_50405 = _50405) = _51829) % 8.60/8.49 abort % 17.22/16.89 % 17.22/16.89 *** ECLiPSe fatal error: Out of swap space in heap allocation % 17.35/16.93 type error in type error in is_a_module(_50441 : (_50441 = _50441) = _51865) % 17.35/16.93 abort % 25.91/26.07 % 25.91/26.07 *** ECLiPSe fatal error: Out of swap space in heap allocation % 25.92/26.10 type error in type error in is_a_module(_50363 : (_50363 = _50363) = _51787) % 25.92/26.10 abort % 34.27/34.19 % 34.27/34.19 *** ECLiPSe fatal error: Out of swap space in heap allocation % 34.34/34.22 type error in type error in is_a_module(_50385 : (_50385 = _50385) = _51809) % 34.34/34.22 abort % 42.70/42.42 % 42.70/42.42 *** ECLiPSe fatal error: Out of swap space in heap allocation % 42.70/42.44 type error in type error in is_a_module(_1463 : all(_1466 : (gt(_1463, _1466) ; gt(_1466, _1463) ; _1463 = _1466)) = _291850) % 42.70/42.45 abort % 51.68/51.36 % 51.68/51.36 *** ECLiPSe fatal error: Out of swap space in heap allocation % 51.80/51.42 type error in type error in is_a_module(_50441 : (_50441 = _50441) = _51865) % 51.80/51.42 abort % 60.47/60.39 % 60.47/60.39 *** ECLiPSe fatal error: Out of swap space in heap allocation % 60.58/60.43 type error in type error in is_a_module(_50461 : (_50461 = _50461) = _51885) % 60.58/60.43 abort % 69.22/69.68 % 69.22/69.68 *** ECLiPSe fatal error: Out of swap space in heap allocation % 69.30/69.72 type error in type error in is_a_module(_50461 : (_50461 = _50461) = _51885) % 69.30/69.72 abort % 77.91/78.94 % 77.91/78.94 *** ECLiPSe fatal error: Out of swap space in heap allocation % 77.91/78.97 type error in type error in is_a_module(_50461 : (_50461 = _50461) = _51885) % 77.91/78.97 abort % 86.01/87.76 % 86.01/87.76 *** ECLiPSe fatal error: Out of swap space in heap allocation % 86.11/87.78 type error in type error in is_a_module(_1483 : all(_1486 : (gt(_1483, _1486) ; gt(_1486, _1483) ; _1483 = _1486)) = _291870) % 86.11/87.78 abort % 94.36/96.29 % 94.36/96.29 *** ECLiPSe fatal error: Out of swap space in heap allocation % 94.46/96.33 type error in type error in is_a_module(_50441 : (_50441 = _50441) = _51865) % 94.46/96.33 abort % 135.85/135.92 % 135.85/135.92 *** ECLiPSe fatal error: Out of swap space in heap allocation % 135.85/135.96 type error in type error in is_a_module(_50327 : (_50327 = _50327) = _51751) % 135.85/135.96 abort % 136.03/136.10 Timeout %------------------------------------------------------------------------------