root
file
detailed [50..74]
prev
next
detailed results (101 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond74.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond73.smt2
(content)
timeout
unknown
11.1s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond72.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond71.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond70.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond69.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond68.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond67.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond66.smt2
(content)
timeout
unknown
11.1s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond65.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond64.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond63.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond62.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond61.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond60.smt2
(content)
timeout
unknown
11.1s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond59.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond58.smt2
(content)
timeout
unknown
11.1s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond57.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond56.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond55.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond54.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond53.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond52.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond51.smt2
(content)
timeout
unknown
11s
z3
/home/simon/w/sidekick/tests/QF_UF/eq_diamond/eq_diamond50.smt2
(content)
timeout
unknown
11s