%------------------------------------------------------------------------------ % File : nanoCoP---2.0 % Problem : SWV130+1 : TPTP v8.1.2. Bugfixed v3.3.0. % Transfm : none % Format : tptp:raw % Command : nanocop.sh %s %d % Computer : n022.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.63s 135.45s % Output : None % Verified : % SZS Type : - % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.03/0.12 % Problem : SWV130+1 : TPTP v8.1.2. Bugfixed v3.3.0. % 0.03/0.12 % Command : nanocop.sh %s %d % 0.12/0.33 % Computer : n022.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 02:23:31 EDT 2023 % 0.12/0.33 % CPUTime : % 8.46/8.40 % 8.46/8.40 *** ECLiPSe fatal error: Out of swap space in heap allocation % 8.61/8.48 type error in type error in is_a_module(_744520 : (_744520 = _744520) = _746163) % 8.61/8.48 abort % 17.15/16.85 % 17.15/16.85 *** ECLiPSe fatal error: Out of swap space in heap allocation % 17.29/16.94 type error in type error in is_a_module(_744522 : (_744522 = _744522) = _746165) % 17.29/16.94 abort % 25.81/26.08 % 25.81/26.08 *** ECLiPSe fatal error: Out of swap space in heap allocation % 25.89/26.17 type error in type error in is_a_module(_744516 : (_744516 = _744516) = _746159) % 25.89/26.17 abort % 34.47/34.38 % 34.47/34.38 *** ECLiPSe fatal error: Out of swap space in heap allocation % 34.54/34.47 type error in type error in is_a_module(_744518 : (_744518 = _744518) = _746161) % 34.54/34.47 abort % 42.90/42.55 % 42.90/42.55 *** ECLiPSe fatal error: Out of swap space in heap allocation % 42.90/42.60 type error in type error in is_a_module(_1463 : all(_1466 : (gt(_1463, _1466) ; gt(_1466, _1463) ; _1463 = _1466)) = _636147) % 42.90/42.60 abort % 51.61/51.18 % 51.61/51.18 *** ECLiPSe fatal error: Out of swap space in heap allocation % 51.69/51.27 type error in type error in is_a_module(_744522 : (_744522 = _744522) = _746165) % 51.69/51.27 abort % 60.33/60.35 % 60.33/60.35 *** ECLiPSe fatal error: Out of swap space in heap allocation % 60.39/60.43 type error in type error in is_a_module(_744524 : (_744524 = _744524) = _746167) % 60.39/60.44 abort % 68.90/68.68 % 68.90/68.68 *** ECLiPSe fatal error: Out of swap space in heap allocation % 69.00/68.77 type error in type error in is_a_module(_744524 : (_744524 = _744524) = _746167) % 69.00/68.77 abort % 77.63/77.05 % 77.63/77.05 *** ECLiPSe fatal error: Out of swap space in heap allocation % 77.72/77.14 type error in type error in is_a_module(_744524 : (_744524 = _744524) = _746167) % 77.72/77.14 abort % 86.09/86.16 % 86.09/86.16 *** ECLiPSe fatal error: Out of swap space in heap allocation % 86.09/86.21 type error in type error in is_a_module(_1483 : all(_1486 : (gt(_1483, _1486) ; gt(_1486, _1483) ; _1483 = _1486)) = _636167) % 86.09/86.21 abort % 94.86/94.86 % 94.86/94.86 *** ECLiPSe fatal error: Out of swap space in heap allocation % 94.98/94.95 type error in type error in is_a_module(_744522 : (_744522 = _744522) = _746165) % 94.98/94.95 abort % 136.37/135.16 % 136.37/135.16 *** ECLiPSe fatal error: Out of swap space in heap allocation % 136.51/135.25 type error in type error in is_a_module(_744514 : (_744514 = _744514) = _746157) % 136.51/135.25 abort % 136.63/135.45 Timeout %------------------------------------------------------------------------------