root
file
detailed [6125..6149]
prev
next
detailed results (6740 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN493+1.p
(content)
sat
sat
0.096s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN492-1.p
(content)
sat
sat
0.119s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN492+1.p
(content)
sat
sat
0.131s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN491-1.p
(content)
sat
sat
0.074s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN491+1.p
(content)
sat
sat
0.077s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN490-1.p
(content)
sat
sat
0.156s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN490+1.p
(content)
sat
sat
0.142s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN489-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN489+1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN488-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN488+1.p
(content)
timeout
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN487-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN487+1.p
(content)
timeout
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN486-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN486+1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN485-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN485+1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN484-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN484+1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN483-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN483+1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN482-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN482+1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN481-1.p
(content)
unsat
unsat
10s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN481+1.p
(content)
unsat
unsat
10s