root
file
detailed [3275..3299]
prev
next
detailed results (6472 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG008-4.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG008-3.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG007-4.p
(content)
unsat
unsat
0.035s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG003-1.p
(content)
unsat
unsat
0.479s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/RNG/RNG002-1.p
(content)
unsat
unsat
0.441s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL049-1.p
(content)
unsat
unsat
0.127s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL049+1.p
(content)
unsat
unsat
0.143s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL046-1.p
(content)
unsat
unsat
0.274s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL046+1.p
(content)
unsat
unsat
0.298s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL023-2.p
(content)
unsat
unsat
5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL023+2.p
(content)
unsat
unsat
5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL015-1.p
(content)
unsat
unsat
0.853s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL015+1.p
(content)
unsat
unsat
0.988s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL014+1.p
(content)
unsat
unsat
0.633s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL011-2.p
(content)
unsat
unsat
2.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL011+2.p
(content)
unsat
unsat
2.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL003-1.p
(content)
unsat
unsat
0.053s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL003+1.p
(content)
unsat
unsat
0.061s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL002-1.p
(content)
unsat
unsat
0.405s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL002+1.p
(content)
unsat
unsat
0.462s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL001-1.p
(content)
unsat
unsat
0.418s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/REL/REL001+1.p
(content)
unsat
unsat
0.365s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ140^1.p
(content)
unsat
unsat
0.026s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ139_1.p
(content)
unsat
unsat
0.021s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/PUZ/PUZ136^1.p
(content)
unsat
unsat
0.030s