root
file
detailed [175..199]
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/pb57.p
(content)
unsat
unknown
0.034s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb56.p
(content)
unsat
unknown
0.038s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb55.p
(content)
unsat
unknown
0.055s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb54.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb53.p
(content)
timeout
unknown
10s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb52.p
(content)
unsat
unknown
0.043s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb51.p
(content)
unsat
unknown
0.031s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb50.p
(content)
unsat
unknown
0.027s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb5.p
(content)
unsat
unknown
0.031s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb49.p
(content)
unsat
unknown
0.061s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb48.p
(content)
unsat
unknown
0.025s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb47.p
(content)
unsat
unknown
8.6s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb46.p
(content)
unsat
unknown
0.052s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb45.p
(content)
unsat
unknown
0.044s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb44.p
(content)
unsat
unknown
0.035s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb43.p
(content)
unsat
unknown
0.048s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb42.p
(content)
unsat
unknown
0.039s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb41.p
(content)
unsat
unknown
0.030s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb40.p
(content)
unsat
unknown
0.030s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb4.p
(content)
unsat
unknown
0.031s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb39.p
(content)
unsat
unknown
0.036s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb38.p
(content)
timeout
unknown
9.8s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb37.p
(content)
unsat
unknown
0.027s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb36.p
(content)
unsat
unknown
0.029s
zip-dev
/home/simon/w/these/zipperposition/examples/pelletier_problems/pb35.p
(content)
unsat
unknown
0.031s