root
file
detailed [25..49]
prev
next
detailed results (56 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408047/eq_diamond43.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408045/eq_diamond41.smt2
(content)
unknown
unsat
10.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408044/eq_diamond40.smt2
(content)
unknown
unsat
10.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408039/eq_diamond36.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408038/eq_diamond35.smt2
(content)
unknown
unsat
10.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408030/eq_diamond28.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408028/eq_diamond26.smt2
(content)
unknown
unsat
10.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408027/eq_diamond25.smt2
(content)
unknown
unsat
10.5s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408026/eq_diamond24.smt2
(content)
unknown
unsat
10.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408025/eq_diamond23.smt2
(content)
unknown
unsat
10.9s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/eq_diamond/408019/eq_diamond18.smt2
(content)
unknown
unsat
10.1s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/SEQ/414649/SEQ038_size9.smt2
(content)
unknown
unsat
10.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/SEQ/414648/SEQ038_size8.smt2
(content)
unknown
unsat
10.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/SEQ/414638/SEQ026_size6.smt2
(content)
unknown
unsat
10.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/SEQ/414605/SEQ005_size8.smt2
(content)
unknown
unsat
10.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414592/iso_icl_repgen_sk007.smt2
(content)
unknown
unsat
10.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414581/iso_icl_repgen003.smt2
(content)
unknown
unsat
10.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414155/iso_icl_repgen013.smt2
(content)
unknown
unsat
10.2s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414143/iso_icl_repgen001.smt2
(content)
unknown
unsat
10.7s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411315/gensys_icl987.smt2
(content)
unknown
unsat
10.3s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411179/gensys_icl851.smt2
(content)
unknown
unsat
10.8s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411171/gensys_icl843.smt2
(content)
unknown
unsat
10.6s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411091/gensys_icl763.smt2
(content)
unknown
unsat
10.4s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411046/gensys_icl718.smt2
(content)
unknown
unsat
10.0s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411018/gensys_icl690.smt2
(content)
unknown
unsat
10.1s