root
file
detailed [150..174]
prev
next
detailed results (236 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb34.p
(content)
unsat
unknown
1s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb33.p
(content)
unsat
unknown
0.040s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb32.p
(content)
unsat
unknown
0.035s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb31.p
(content)
unsat
unknown
0.023s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb30.p
(content)
unsat
unknown
0.036s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb3.p
(content)
unsat
unknown
0.022s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb29.p
(content)
unsat
unknown
0.063s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb28.p
(content)
sat
unknown
0.030s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb27.p
(content)
unsat
unknown
0.037s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb26.p
(content)
unsat
unknown
0.038s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb25.p
(content)
unsat
unknown
0.033s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb24.p
(content)
unsat
unknown
0.036s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb23.p
(content)
unsat
unknown
0.023s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb22.p
(content)
unsat
unknown
0.035s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb21.p
(content)
unsat
unknown
0.033s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb20.p
(content)
unsat
unknown
0.024s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb2.p
(content)
unsat
unknown
0.024s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb19.p
(content)
unsat
unknown
0.030s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb18.p
(content)
unsat
unknown
0.033s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb17.p
(content)
unsat
unknown
0.053s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb16.p
(content)
unsat
unknown
0.031s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb15.p
(content)
unsat
unknown
0.022s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb14.p
(content)
unsat
unknown
0.027s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb13.p
(content)
unsat
unknown
0.036s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb12.p
(content)
unsat
unknown
0.056s