detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1259.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1259.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1258.smt2 (content) unsat unsat 0.166s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1258.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1257.smt2 (content) unsat unsat 0.343s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1257.smt2 (content) unsat unsat 0.122s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1256.smt2 (content) unsat unsat 0.125s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1256.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1255.smt2 (content) unsat unsat 0.165s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1255.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1254.smt2 (content) unsat unsat 0.243s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1254.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1253.smt2 (content) unsat unsat 0.184s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1253.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1252.smt2 (content) unsat unsat 0.379s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1252.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1251.smt2 (content) unsat unsat 0.294s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1251.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1250.smt2 (content) unsat unsat 0.151s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1250.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl125.smt2 (content) unsat unsat 0.349s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl125.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1249.smt2 (content) unsat unsat 0.187s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1249.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1248.smt2 (content) unsat unsat 0.233s