Create a statistics matrix for the different theorem provers given all the problems in the test suite, with results in the time it took to succeed.
There should be a dimension for different kif files being loaded to demonstrate the efficiency of SInE.
Contradictory axioms found will invalidate the whole matrix (correctness as well as performance test).
Value of every cell would be timeout or the number of seconds it took.
Create a statistics matrix for the different theorem provers given all the problems in the test suite, with results in the time it took to succeed.
There should be a dimension for different kif files being loaded to demonstrate the efficiency of SInE.
Contradictory axioms found will invalidate the whole matrix (correctness as well as performance test).
Value of every cell would be timeout or the number of seconds it took.