root
show
res-20200212T233844-e94fbd97-92e4-467e-8d66-c4f2558a1b8a.sqlite
show individual results
download as csv
show table of results
Summary
provers
zip-dev
n_results
20646
uuid
e94fbd97-92e4-467e-8d66-c4f2558a1b8a
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/02, Wed the 12, at 23h38:44 GMT
total_wall_time
1h52m21.3s
stats
provers
zip-dev
sat
517
unsat
6471
sat+unsat
6988
errors
288
valid_proof
0
invalid_proof
0
unknown
657
timeout
12713
memory
0
total
20646
total_time
1h35m58.8s
summary
download as csv
see detailed results
provers
zip-dev
improved
17
ok
6996
disappoint
11951
bad
0
valid proof
0
invalid proof
0
errors
288
total
20646