detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1068.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1067.smt2 (content) unsat unsat 0.173s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1067.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1066.smt2 (content) sat sat 0.167s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1066.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1065.smt2 (content) sat sat 0.191s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1065.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1064.smt2 (content) sat sat 0.147s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1064.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1063.smt2 (content) sat sat 0.122s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1063.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1062.smt2 (content) sat sat 0.224s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1062.smt2 (content) sat sat 0.094s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1061.smt2 (content) sat sat 0.104s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1061.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1060.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1060.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn106.smt2 (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn106.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1059.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1059.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1058.smt2 (content) unsat unsat 0.317s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1058.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1057.smt2 (content) sat sat 0.278s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1057.smt2 (content) sat sat 0.043s