detailed results (25437 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB108+1.p (content) timeout unsat 10.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB107+1.p (content) timeout unsat 10.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB107+1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB106+1.p (content) timeout unsat 10.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB106+1.p (content) timeout unsat 10s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB105+1.p (content) timeout unsat 9.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB105+1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB104+1.p (content) timeout unsat 10.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB104+1.p (content) timeout unsat 10.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB103+1.p (content) timeout unsat 10.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB103+1.p (content) timeout unsat 10.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB102+1.p (content) timeout unsat 10.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB102+1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB101+1.p (content) timeout unsat 9.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB101+1.p (content) timeout unsat 9.9s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB100+1.p (content) timeout unsat 9.9s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB100+1.p (content) timeout unsat 10.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB099+1.p (content) timeout unsat 10.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB099+1.p (content) timeout unsat 10.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB098+1.p (content) timeout unsat 10.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB098+1.p (content) timeout unsat 10.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB097+1.p (content) timeout unsat 10.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB097+1.p (content) timeout unsat 10.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB096+1.p (content) timeout unsat 10.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWB/SWB096+1.p (content) timeout unsat 10.2s