detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1111.smt2 (content) unsat unsat 0.066s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1110.smt2 (content) unsat unsat 0.183s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1110.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl111.smt2 (content) unsat unsat 0.357s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl111.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1109.smt2 (content) unsat unsat 0.151s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1109.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1108.smt2 (content) unsat unsat 0.219s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1108.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1107.smt2 (content) unsat unsat 0.218s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1107.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1106.smt2 (content) unsat unsat 0.322s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1106.smt2 (content) unsat unsat 0.082s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1105.smt2 (content) unsat unsat 0.549s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1105.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1104.smt2 (content) unsat unsat 0.179s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1104.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1103.smt2 (content) unsat unsat 0.095s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1103.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1102.smt2 (content) unsat unsat 0.408s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1102.smt2 (content) unsat unsat 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1101.smt2 (content) unsat unsat 0.733s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1101.smt2 (content) unsat unsat 0.099s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1100.smt2 (content) unsat unsat 0.223s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1100.smt2 (content) unsat unsat 0.052s