res-20200115T212049-ce23863b-2e93-45e9-8161-90a7ad172895.sqlite

show individual results
download as csv
show table of results

Summary

provers
n_results
13480
uuid
ce23863b-2e93-45e9-8161-90a7ad172895
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/01, Wed the 15, at 21h20:49 GMT
total_wall_time
none

stats

provers
zip-dev-check
zip-dev
sat
165
164
unsat
2241
2243
sat+unsat
2406
2407
errors
valid_proof
0
0
invalid_proof
0
0
unknown
101
101
timeout
memory
0
0
total
6740
6740
total_time
1h11m38.6s
39m39.7s

summary

download as csv see detailed results
provers
zip-dev-check
zip-dev
improved
0
0
ok
disappoint
bad
0
0
valid proof
0
0
invalid proof
0
0
errors
total
6740
6740
cactus plot of provers

comparisons

better:
zip-dev-check
zip-dev
zip-dev-check
×
same: 2399
better: 8
worse: 7
zip-dev
same: 2399
better: 7
worse: 8
×