detailed results (12888 total)

prover file res expected time
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW525_5.p (content) unsat unsat 0.058s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW522_5.p (content) unsat unsat 0.274s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW522_5.p (content) unsat unsat 0.245s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW520_5.p (content) unsat unsat 0.066s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW520_5.p (content) unsat unsat 0.046s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW513_5.p (content) unsat unsat 9.8s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW512_5.p (content) unsat unsat 0.069s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW512_5.p (content) unsat unsat 0.069s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW504_5.p (content) unsat unsat 0.056s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW504_5.p (content) unsat unsat 0.056s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW503_5.p (content) unsat unsat 3.4s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW503_5.p (content) unsat unsat 3.4s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW499_5.p (content) unsat unsat 0.125s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW499_5.p (content) unsat unsat 0.123s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW496_5.p (content) unsat unsat 0.456s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW496_5.p (content) unsat unsat 0.553s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW495_5.p (content) unsat unsat 0.249s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW495_5.p (content) unsat unsat 0.219s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW494_5.p (content) unsat unsat 1.2s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW494_5.p (content) unsat unsat 1.2s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW492_5.p (content) unsat unsat 1.1s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW492_5.p (content) unsat unsat 1.1s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW490_5.p (content) unsat unsat 0.049s
zip-dev-check /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW490_5.p (content) unsat unsat 0.044s
zip-dev /home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/SWW/SWW488_5.p (content) unsat unsat 1.3s