root
file
detailed [1650..1674]
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/GRP/GRP262-1.p
(content)
unsat
unsat
2.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP261-1.p
(content)
unsat
unsat
0.291s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP260-1.p
(content)
unsat
unsat
4.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP259-1.p
(content)
unsat
unsat
8.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP257-1.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP256-1.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP255-1.p
(content)
unsat
unsat
0.588s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP254-1.p
(content)
unsat
unsat
6.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP253-1.p
(content)
unsat
unsat
0.202s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP252-1.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP251-1.p
(content)
unsat
unsat
1.1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP250-1.p
(content)
unsat
unsat
0.788s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP249-1.p
(content)
unsat
unsat
0.519s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP248-1.p
(content)
unsat
unsat
4.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP247-1.p
(content)
unsat
unsat
3.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP246-1.p
(content)
unsat
unsat
1.7s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP245-1.p
(content)
unsat
unsat
1.8s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP244-1.p
(content)
unsat
unsat
0.632s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP243-1.p
(content)
unsat
unsat
1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP242-1.p
(content)
unsat
unsat
5.3s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP241-1.p
(content)
unsat
unsat
6.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP239-1.p
(content)
unsat
unsat
6.4s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP237-1.p
(content)
unsat
unsat
1.0s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP236-1.p
(content)
unsat
unsat
1.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP235-1.p
(content)
unsat
unsat
0.751s