root
file
detailed [2375..2399]
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/LCL/LCL215-1.p
(content)
unsat
unsat
0.669s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL214-1.p
(content)
unsat
unsat
0.615s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL213-1.p
(content)
unsat
unsat
0.635s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL212-3.p
(content)
unsat
unsat
0.022s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL212-1.p
(content)
unsat
unsat
0.664s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL211-3.p
(content)
unsat
unsat
0.198s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL211-1.p
(content)
unsat
unsat
0.521s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL210-3.p
(content)
unsat
unsat
0.194s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL210-1.p
(content)
unsat
unsat
0.540s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL209-3.p
(content)
unsat
unsat
0.203s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL208-3.p
(content)
unsat
unsat
0.202s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL208-1.p
(content)
unsat
unsat
0.538s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL207-1.p
(content)
unsat
unsat
0.131s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL206-1.p
(content)
unsat
unsat
0.070s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL205-1.p
(content)
unsat
unsat
0.070s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL204-1.p
(content)
unsat
unsat
0.187s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL203-3.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL203-1.p
(content)
unsat
unsat
0.074s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL202-3.p
(content)
unsat
unsat
2.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL202-1.p
(content)
unsat
unsat
0.072s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL201-3.p
(content)
unsat
unsat
1.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL201-1.p
(content)
unsat
unsat
0.184s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL200-1.p
(content)
unsat
unsat
0.056s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL199-3.p
(content)
unsat
unsat
2.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/LCL/LCL199-1.p
(content)
unsat
unsat
0.079s