detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1068.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1067.smt2 (content) unsat unsat 0.164s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1067.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1066.smt2 (content) sat sat 0.144s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1066.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1065.smt2 (content) sat sat 0.132s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1065.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1064.smt2 (content) sat sat 0.177s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1064.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1063.smt2 (content) sat sat 0.137s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1063.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1062.smt2 (content) sat sat 0.101s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1062.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1061.smt2 (content) sat sat 0.081s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1061.smt2 (content) sat sat 0.025s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1060.smt2 (content) unsat unsat 0.072s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1060.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn106.smt2 (content) unsat unsat 0.154s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn106.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1059.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1059.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1058.smt2 (content) unsat unsat 0.142s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1058.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1057.smt2 (content) sat sat 0.269s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1057.smt2 (content) sat sat 0.053s