root
file
detailed [25..49]
prev
next
detailed results (54 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-088.cnf
(content)
timeout
unknown
11.5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-087.cnf
(content)
timeout
unknown
11.5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-082.cnf
(content)
timeout
unknown
11.6s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-081.cnf
(content)
timeout
unknown
11.4s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-080.cnf
(content)
timeout
unknown
11.4s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-08.cnf
(content)
timeout
unknown
11.5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-078.cnf
(content)
timeout
unknown
11.7s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-077.cnf
(content)
timeout
unknown
11.7s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-072.cnf
(content)
timeout
unknown
13.5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-071.cnf
(content)
timeout
unknown
11.4s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-070.cnf
(content)
timeout
unknown
11.4s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-07.cnf
(content)
timeout
unknown
11.8s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-069.cnf
(content)
timeout
unknown
11.6s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-067.cnf
(content)
timeout
unknown
12.8s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-066.cnf
(content)
timeout
unknown
11.5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-064.cnf
(content)
timeout
unknown
11.6s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-063.cnf
(content)
timeout
unknown
11.5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-061.cnf
(content)
timeout
unknown
11.5s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-058.cnf
(content)
timeout
unknown
12.6s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-057.cnf
(content)
timeout
unknown
11.6s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-054.cnf
(content)
timeout
unknown
11.6s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-053.cnf
(content)
timeout
unknown
11.6s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-052.cnf
(content)
timeout
unknown
11.4s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-051.cnf
(content)
timeout
unknown
13.2s
z3
/home/simon/w/sidekick2/tests/uuf250/uuf250-047.cnf
(content)
timeout
unknown
11.6s