root
show
res-20200210T024338-fef3c0e5-d4e1-472c-a5b5-65d52173fc15.sqlite
show individual results
download as csv
show table of results
Summary
provers
zip-dev
n_results
20646
uuid
fef3c0e5-d4e1-472c-a5b5-65d52173fc15
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/02, Mon the 10, at 2h43:38 GMT
total_wall_time
1h52m47.4s
stats
provers
zip-dev
sat
518
unsat
6406
sat+unsat
6924
errors
458
valid_proof
0
invalid_proof
0
unknown
498
timeout
12766
memory
0
total
20646
total_time
1h34m42.1s
summary
download as csv
see detailed results
provers
zip-dev
improved
17
ok
6932
disappoint
12015
bad
0
valid proof
0
invalid proof
0
errors
458
total
20646