show individual results
download as csv
show table of results
uuid | ad75ab28-5fc2-4503-a840-655ca35cb06c |
timestamp | 20191228T195142 |
total_wall_time | 390.2s |
sat | 4 |
unsat | 21 |
errors | 4 |
unknown | 0 |
timeout | 5 |
memory | 0 |
total | 34 |
total_time | 220.5s |
sat | 3 |
unsat | 17 |
errors | 9 |
unknown | 0 |
timeout | 5 |
memory | 0 |
total | 34 |
total_time | 190.7s |
improved | 10 |
ok | 15 |
disappoint | 8 |
bad | 0 |
errors | 4 |
total | 34 |
improved | 6 |
ok | 14 |
disappoint | 9 |
bad | 0 |
errors | 9 |
total | 34 |
problem | res | expected | time |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/TPTP/SET183-6.p | error | unsat | 0.012s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/TPTP/PLA012-1.p | error | unsat | 0.013s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/TPTP/CAT004-4.p | error | unsat | 0.010s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/SMOKETEST/tffex01.p | error | unknown | 0.006s |
problem | res | expected | time |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/LFHOL/permute_func_axioms.p | error | unknown | 0.015s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/LFHOL/SEV286^5.p | error | unsat | 0.012s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/LFHOL/permute_func_no_axioms.p | error | unknown | 0.012s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/LFHOL/lists.p | error | unknown | 0.015s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/LFHOL/sledgehammer.p | error | unknown | 0.011s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/TPTP/SET183-6.p | error | unsat | 0.011s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/TPTP/PLA012-1.p | error | unsat | 0.011s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/TPTP/CAT004-4.p | error | unsat | 0.015s |
/home/simon/workspace/eprover/EXAMPLE_PROBLEMS/SMOKETEST/tffex01.p | error | unknown | 0.008s |
better for eprover-ho-dev | 5 |
better for eprover-dev | 0 |
same | 20 |