detailed results (6650 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413209/iso_icl271.smt2 (content) unsat unsat 0.089s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413208/iso_icl270.smt2 (content) unsat unsat 0.086s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413207/iso_icl269.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413206/iso_icl268.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413205/iso_icl267.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413204/iso_icl266.smt2 (content) unsat unsat 0.123s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413203/iso_icl265.smt2 (content) unsat unsat 0.194s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413202/iso_icl264.smt2 (content) unsat unsat 0.101s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413201/iso_icl263.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413200/iso_icl262.smt2 (content) unsat unsat 0.080s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413199/iso_icl261.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413198/iso_icl260.smt2 (content) unsat unsat 0.114s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413197/iso_icl259.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413196/iso_icl258.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413195/iso_icl257.smt2 (content) unsat unsat 0.105s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413194/iso_icl256.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413193/iso_icl255.smt2 (content) unsat unsat 0.122s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413192/iso_icl254.smt2 (content) unsat unsat 0.120s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413191/iso_icl253.smt2 (content) unsat unsat 0.103s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413190/iso_icl252.smt2 (content) unsat unsat 0.136s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413189/iso_icl251.smt2 (content) unsat unsat 0.122s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413188/iso_icl250.smt2 (content) unsat unsat 0.089s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413187/iso_icl249.smt2 (content) unsat unsat 0.119s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413186/iso_icl248.smt2 (content) unsat unsat 0.085s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413185/iso_icl247.smt2 (content) unsat unsat 0.043s