detailed results (329 total)

proverfileresexpectedtime
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS006-1.p(content)satsat0.042s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS006-1.p(content)satsat0.040s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS005-1.p(content)satsat0.031s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/KRS/KRS005-1.p(content)satsat0.030s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV034-2.p(content)satsat0.051s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV034-2.p(content)satsat0.047s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV034-1.p(content)satsat0.062s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/HWV/HWV034-1.p(content)satsat0.059s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP393-2.p(content)satsat0.024s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRP/GRP393-2.p(content)satsat0.025s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA016+1.p(content)satsat4.4s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA016+1.p(content)satsat3.0s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA015+1.p(content)satsat2.2s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA015+1.p(content)satsat2.2s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA013+1.p(content)satsat0.052s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/GRA/GRA013+1.p(content)satsat0.049s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT015-4.p(content)satsat0.058s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT015-4.p(content)satsat0.058s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT015-3.p(content)satsat0.070s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/CAT/CAT015-3.p(content)satsat0.076s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG302-1.p(content)satsat0.030s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG302-1.p(content)satsat0.025s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG300-1.p(content)satsat0.025s
zip-dev-check/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG300-1.p(content)satsat0.025s
zip-dev/home/simon/workspace/zipperposition/../TPTP-v6.1.0/Problems/ALG/ALG299-1.p(content)satsat0.026s