root
file
detailed [10750..10774]
prev
next
detailed results (12847 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW562_5.p
(content)
unsat
unsat
0.321s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW562_5.p
(content)
unsat
unsat
0.370s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW553_5.p
(content)
unsat
unsat
1.0s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW553_5.p
(content)
unsat
unsat
2.2s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW552_5.p
(content)
unsat
unsat
0.132s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW552_5.p
(content)
unsat
unsat
0.128s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW551_5.p
(content)
unsat
unsat
0.092s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW551_5.p
(content)
unsat
unsat
0.093s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW533_5.p
(content)
unsat
unsat
1.6s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW533_5.p
(content)
unsat
unsat
1.6s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW530_5.p
(content)
unsat
unsat
1s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW530_5.p
(content)
unsat
unsat
1s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW529_5.p
(content)
unsat
unsat
3.6s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW529_5.p
(content)
unsat
unsat
3.5s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW525_5.p
(content)
unsat
unknown
0.056s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW525_5.p
(content)
unsat
unknown
0.059s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW522_5.p
(content)
unsat
unsat
0.049s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW522_5.p
(content)
unsat
unsat
0.050s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW520_5.p
(content)
unsat
unsat
0.047s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW520_5.p
(content)
unsat
unsat
0.056s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW512_5.p
(content)
unsat
unsat
0.072s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW512_5.p
(content)
unsat
unsat
0.072s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW504_5.p
(content)
unsat
unsat
0.052s
zip-dev-check
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW504_5.p
(content)
unsat
unsat
0.057s
zip-dev
/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW503_5.p
(content)
unsat
unsat
3.5s