detailed results (12772 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW051=1.p (content) timeout unsat 10.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW050=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW049=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW048=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW047=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW046=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW045=1.p (content) timeout sat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW044=1.p (content) timeout sat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW043=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW042=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW041=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW040=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW039=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW038=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW037=1.p (content) timeout unsat 10.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW036=1.p (content) timeout sat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW035=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW034=1.p (content) timeout sat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW033=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW032=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW031=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW030=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW029=1.p (content) timeout unsat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW028=1.p (content) timeout sat 10.3s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW027=1.p (content) timeout sat 10.3s