detailed results (56 total)

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