root
file
detailed [6050..6074]
prev
next
detailed results (6453 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN685-1.p
(content)
unsat
unsat
0.621s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN684-1.p
(content)
unsat
unsat
0.685s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN683-1.p
(content)
unsat
unsat
0.694s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN682-1.p
(content)
unsat
unsat
0.659s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN681-1.p
(content)
unsat
unsat
0.628s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN680-1.p
(content)
unsat
unsat
0.705s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN679-1.p
(content)
unsat
unsat
0.865s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN678-1.p
(content)
unsat
unsat
0.665s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN677-1.p
(content)
unsat
unsat
0.605s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN676-1.p
(content)
unsat
unsat
0.694s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN675-1.p
(content)
unsat
unsat
0.583s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN674-1.p
(content)
unsat
unsat
0.678s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN673-1.p
(content)
unsat
unsat
4.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN672-1.p
(content)
unsat
unsat
0.322s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN671-1.p
(content)
unsat
unsat
0.517s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN670-1.p
(content)
unsat
unsat
0.523s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN669-1.p
(content)
unsat
unsat
0.481s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN668-1.p
(content)
unsat
unsat
0.488s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN667-1.p
(content)
unsat
unsat
0.477s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN666-1.p
(content)
unsat
unsat
0.533s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN665-1.p
(content)
unsat
unsat
0.663s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN664-1.p
(content)
unsat
unsat
0.667s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN663-1.p
(content)
unsat
unsat
0.574s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN662-1.p
(content)
unsat
unsat
0.628s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SYN/SYN661-1.p
(content)
unsat
unsat
0.622s