detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk037.smt2 (content) unsat unsat 0.638s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk037.smt2 (content) unsat unsat 0.102s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk036.smt2 (content) unsat unsat 0.319s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk036.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk035.smt2 (content) unsat unsat 0.331s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk035.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk034.smt2 (content) unsat unsat 0.727s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk034.smt2 (content) unsat unsat 0.183s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk033.smt2 (content) unsat unsat 0.262s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk033.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk032.smt2 (content) unsat unsat 0.439s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk032.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk031.smt2 (content) unsat unsat 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk031.smt2 (content) unsat unsat 0.252s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk030.smt2 (content) sat sat 0.453s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk030.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk029.smt2 (content) sat sat 0.680s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk029.smt2 (content) sat sat 0.077s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk028.smt2 (content) unsat unsat 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk028.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk027.smt2 (content) unsat unsat 0.427s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk027.smt2 (content) unsat unsat 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk026.smt2 (content) unsat unsat 0.417s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk026.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg7/iso_brn_sk025.smt2 (content) unsat unsat 0.261s