detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413596/iso_icl658.smt2 (content) unsat unsat 0.322s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413596/iso_icl658.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413595/iso_icl657.smt2 (content) unsat unsat 0.203s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413595/iso_icl657.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413594/iso_icl656.smt2 (content) unsat unsat 0.191s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413594/iso_icl656.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413593/iso_icl655.smt2 (content) unsat unsat 0.183s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413593/iso_icl655.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413592/iso_icl654.smt2 (content) unsat unsat 0.081s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413592/iso_icl654.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413591/iso_icl653.smt2 (content) unsat unsat 0.191s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413591/iso_icl653.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413590/iso_icl652.smt2 (content) unsat unsat 0.175s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413590/iso_icl652.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413589/iso_icl651.smt2 (content) unsat unsat 0.230s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413589/iso_icl651.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413588/iso_icl650.smt2 (content) unsat unsat 0.267s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413588/iso_icl650.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413587/iso_icl649.smt2 (content) unsat unsat 0.219s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413587/iso_icl649.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413586/iso_icl648.smt2 (content) unsat unsat 0.218s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413586/iso_icl648.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413585/iso_icl647.smt2 (content) unsat unsat 0.170s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413585/iso_icl647.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/413584/iso_icl646.smt2 (content) unsat unsat 0.143s