%------------------------------------------------------------------------------ % File : Satallax-MaLeS---1.3 % Problem : NUN053^4 : TPTP v7.1.0. Released v7.1.0. % Transfm : none % Format : tptp:raw % Command : src/helsing.py -t %d -c ../satallax.ini -p %s % Computer : n064.star.cs.uiowa.edu % Model : x86_64 x86_64 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz % Memory : 32218.625MB % OS : Linux 3.10.0-693.2.2.el7.x86_64 % CPULimit : 300s % DateTime : Thu May 31 22:04:02 EDT 2018 % Result : Unknown 1.60s % Output : None % Verified : % SZS Type : None (Parsing solution fails) % Syntax : Number of formulae : 0 % Comments : %------------------------------------------------------------------------------ %----No solution output by system %------------------------------------------------------------------------------ %----ORIGINAL SYSTEM OUTPUT % 0.00/0.03 % Problem : NUN053^4 : TPTP v7.1.0. Released v7.1.0. % 0.00/0.04 % Command : src/helsing.py -t %d -c ../satallax.ini -p %s % 0.03/0.23 % Computer : n064.star.cs.uiowa.edu % 0.03/0.23 % Model : x86_64 x86_64 % 0.03/0.23 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz % 0.03/0.23 % Memory : 32218.625MB % 0.03/0.23 % OS : Linux 3.10.0-693.2.2.el7.x86_64 % 0.03/0.23 % CPULimit : 300 % 0.03/0.23 % DateTime : Thu May 31 20:53:54 CDT 2018 % 0.03/0.23 % CPUTime : % 1.55/2.04 Traceback (most recent call last): % 1.55/2.04 File "/export/starexec/sandbox2/solver/bin/../VanHElsing/src/helsing.py", line 94, in <module> % 1.55/2.04 sys.exit(main()) % 1.55/2.04 File "/export/starexec/sandbox2/solver/bin/../VanHElsing/src/helsing.py", line 77, in main % 1.55/2.04 strat, strat_time = scheduler.predict(time_left) % 1.55/2.04 File "/export/starexec/sandbox2/solver/VanHElsing/src/schedulers/NearestNeighbor.py", line 60, in predict % 1.55/2.04 neighbors = self.model.kneighbors(self.features) % 1.55/2.04 File "/export/starexec/sandbox2/solver/anaconda/lib/python2.7/site-packages/sklearn/neighbors/base.py", line 294, in kneighbors % 1.55/2.04 squared=True) % 1.55/2.04 File "/export/starexec/sandbox2/solver/anaconda/lib/python2.7/site-packages/sklearn/metrics/pairwise.py", line 657, in pairwise_distances % 1.55/2.04 return func(X, Y, **kwds) % 1.55/2.04 File "/export/starexec/sandbox2/solver/anaconda/lib/python2.7/site-packages/sklearn/metrics/pairwise.py", line 153, in euclidean_distances % 1.55/2.04 X, Y = check_pairwise_arrays(X, Y) % 1.55/2.04 File "/export/starexec/sandbox2/solver/anaconda/lib/python2.7/site-packages/sklearn/metrics/pairwise.py", line 93, in check_pairwise_arrays % 1.55/2.04 X.shape[1], Y.shape[1])) % 1.55/2.04 ValueError: Incompatible dimension for X and Y matrices: X.shape[1] == 4 while Y.shape[1] == 39 %------------------------------------------------------------------------------