detailed results (64 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/eq_diamond/408026/eq_diamond24.smt2 (content) unknown unsat 10s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/eq_diamond/408023/eq_diamond21.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/eq_diamond/408020/eq_diamond19.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/eq_diamond/408019/eq_diamond18.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414639/SEQ026_size7.smt2 (content) unknown unsat 10.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414638/SEQ026_size6.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/SEQ/414607/SEQ009_size10.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg7/414585/iso_icl_repgen007.smt2 (content) unknown unsat 10s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414151/iso_icl_repgen009.smt2 (content) unknown unsat 10.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg6/414143/iso_icl_repgen001.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411315/gensys_icl987.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411232/gensys_icl904.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411192/gensys_icl864.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411179/gensys_icl851.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/411091/gensys_icl763.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410941/gensys_icl613.smt2 (content) unknown unsat 10.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410940/gensys_icl612.smt2 (content) unknown unsat 10.4s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410886/gensys_icl558.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410885/gensys_icl557.smt2 (content) unknown unsat 10.8s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410861/gensys_icl533.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410756/gensys_icl428.smt2 (content) unknown unsat 10.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410736/gensys_icl408.smt2 (content) unknown unsat 10.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410651/gensys_icl323.smt2 (content) unknown unsat 10.3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410648/gensys_icl320.smt2 (content) unknown unsat 10.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/410632/gensys_icl304.smt2 (content) unknown unsat 10.0s