detailed results (6650 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413484/iso_icl546.smt2 (content) unsat unsat 0.140s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413483/iso_icl545.smt2 (content) unsat unsat 0.309s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413482/iso_icl544.smt2 (content) unsat unsat 0.183s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413481/iso_icl543.smt2 (content) unsat unsat 0.181s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413480/iso_icl542.smt2 (content) unsat unsat 0.214s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413479/iso_icl541.smt2 (content) unsat unsat 0.200s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413478/iso_icl540.smt2 (content) unsat unsat 0.300s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413477/iso_icl539.smt2 (content) unsat unsat 0.238s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413476/iso_icl538.smt2 (content) unsat unsat 0.310s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413475/iso_icl537.smt2 (content) unsat unsat 0.314s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413474/iso_icl536.smt2 (content) unsat unsat 0.265s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413473/iso_icl535.smt2 (content) unsat unsat 0.184s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413472/iso_icl534.smt2 (content) unsat unsat 0.284s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413471/iso_icl533.smt2 (content) unsat unsat 0.227s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413470/iso_icl532.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413469/iso_icl531.smt2 (content) unsat unsat 0.120s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413468/iso_icl530.smt2 (content) unsat unsat 0.154s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413467/iso_icl529.smt2 (content) unsat unsat 0.223s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413466/iso_icl528.smt2 (content) unsat unsat 0.262s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413465/iso_icl527.smt2 (content) unsat unsat 0.217s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413464/iso_icl526.smt2 (content) unsat unsat 0.224s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413463/iso_icl525.smt2 (content) unsat unsat 0.136s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413462/iso_icl524.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413461/iso_icl523.smt2 (content) unsat unsat 0.122s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413460/iso_icl522.smt2 (content) unsat unsat 0.161s