detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413471/iso_icl533.smt2 (content) unsat unsat 0.227s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413471/iso_icl533.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413470/iso_icl532.smt2 (content) unsat unsat 0.143s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413470/iso_icl532.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413469/iso_icl531.smt2 (content) unsat unsat 0.120s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413469/iso_icl531.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413468/iso_icl530.smt2 (content) unsat unsat 0.154s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413468/iso_icl530.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413467/iso_icl529.smt2 (content) unsat unsat 0.223s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413467/iso_icl529.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413466/iso_icl528.smt2 (content) unsat unsat 0.262s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413466/iso_icl528.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413465/iso_icl527.smt2 (content) unsat unsat 0.217s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413465/iso_icl527.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413464/iso_icl526.smt2 (content) unsat unsat 0.224s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413464/iso_icl526.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413463/iso_icl525.smt2 (content) unsat unsat 0.136s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413463/iso_icl525.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413462/iso_icl524.smt2 (content) unsat unsat 0.087s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413462/iso_icl524.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413461/iso_icl523.smt2 (content) unsat unsat 0.122s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413461/iso_icl523.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413460/iso_icl522.smt2 (content) unsat unsat 0.161s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413460/iso_icl522.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413459/iso_icl521.smt2 (content) unsat unsat 0.116s