detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl364.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl363.smt2 (content) unsat unsat 0.301s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl363.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl362.smt2 (content) unsat unsat 0.230s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl362.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl361.smt2 (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl361.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl360.smt2 (content) unsat unsat 0.125s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl360.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl359.smt2 (content) unsat unsat 0.202s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl359.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl358.smt2 (content) unsat unsat 0.160s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl358.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl357.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl357.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl356.smt2 (content) unsat unsat 0.099s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl356.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl355.smt2 (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl355.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl354.smt2 (content) unsat unsat 0.106s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl354.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl353.smt2 (content) unsat unsat 0.226s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl353.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl352.smt2 (content) unsat unsat 0.277s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl352.smt2 (content) unsat unsat 0.050s