detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn822.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn821.smt2 (content) sat sat 0.251s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn821.smt2 (content) sat sat 0.066s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn820.smt2 (content) unsat unsat 0.106s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn820.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn819.smt2 (content) sat sat 0.263s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn819.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn818.smt2 (content) sat sat 0.297s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn818.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn817.smt2 (content) unsat unsat 0.319s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn817.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn816.smt2 (content) sat sat 0.387s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn816.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn815.smt2 (content) sat sat 0.228s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn815.smt2 (content) sat sat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn814.smt2 (content) sat sat 0.154s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn814.smt2 (content) sat sat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn813.smt2 (content) sat sat 0.180s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn813.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn812.smt2 (content) sat sat 0.171s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn812.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn811.smt2 (content) unsat unsat 0.306s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn811.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn810.smt2 (content) unsat unsat 0.450s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn810.smt2 (content) unsat unsat 0.053s