root
show
res-20200219T015154-111f8b99-c4c4-4c98-9a45-3cf6fb433cd1.sqlite
show individual results
download as csv
show table of results
Summary
provers
zip-dev
n_results
20646
uuid
111f8b99-c4c4-4c98-9a45-3cf6fb433cd1
dirs
//home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems
timestamp
2020/02, Wed the 19, at 1h51:54 GMT
total_wall_time
1h52m21.4s
stats
provers
zip-dev
sat
517
unsat
6472
sat+unsat
6989
errors
292
valid_proof
0
invalid_proof
0
unknown
655
timeout
12710
memory
0
total
20646
total_time
1h35m28.9s
summary
download as csv
see detailed results
provers
zip-dev
improved
17
ok
6997
disappoint
11950
bad
0
valid proof
0
invalid proof
0
errors
292
total
20646