detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn834.smt2 (content) sat sat 0.568s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn834.smt2 (content) sat sat 0.074s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn833.smt2 (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn833.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn832.smt2 (content) unsat unsat 0.545s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn832.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn831.smt2 (content) sat sat 3.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn831.smt2 (content) sat sat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn830.smt2 (content) unsat unsat 0.650s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn830.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn829.smt2 (content) sat sat 0.093s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn829.smt2 (content) sat sat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn828.smt2 (content) sat sat 0.119s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn828.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn827.smt2 (content) sat sat 0.190s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn827.smt2 (content) sat sat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn826.smt2 (content) unsat unsat 0.150s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn826.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn825.smt2 (content) sat sat 0.057s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn825.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn824.smt2 (content) sat sat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn824.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn823.smt2 (content) sat sat 0.131s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn823.smt2 (content) sat sat 0.034s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn822.smt2 (content) unsat unsat 1s