detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl739.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl738.smt2 (content) unsat unsat 0.088s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl738.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl737.smt2 (content) unsat unsat 0.532s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl737.smt2 (content) unsat unsat 0.100s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl736.smt2 (content) unsat unsat 0.195s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl736.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl735.smt2 (content) unsat unsat 0.224s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl735.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl734.smt2 (content) unsat unsat 0.160s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl734.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl733.smt2 (content) unsat unsat 0.101s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl733.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl732.smt2 (content) unsat unsat 0.161s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl732.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl731.smt2 (content) unsat unsat 0.239s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl731.smt2 (content) unsat unsat 0.081s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl730.smt2 (content) unsat unsat 0.349s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl730.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl729.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl729.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl728.smt2 (content) unsat unsat 0.250s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl728.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl727.smt2 (content) unsat unsat 0.365s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl727.smt2 (content) unsat unsat 0.078s