detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen009.smt2 (content) sat sat 0.226s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen008.smt2 (content) sat sat 2.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen008.smt2 (content) sat sat 0.316s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen007.smt2 (content) sat sat 6.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen007.smt2 (content) sat sat 0.612s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen006.smt2 (content) timeout sat 13s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen006.smt2 (content) sat sat 0.259s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen005.smt2 (content) sat sat 3.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen005.smt2 (content) sat sat 0.322s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen004.smt2 (content) sat sat 1.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen004.smt2 (content) sat sat 0.249s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen003.smt2 (content) sat sat 2.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen003.smt2 (content) sat sat 0.237s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen002.smt2 (content) sat sat 5.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen002.smt2 (content) sat sat 0.265s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen001.smt2 (content) sat sat 2.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen001.smt2 (content) sat sat 0.210s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn017.smt2 (content) sat sat 0.677s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn017.smt2 (content) sat sat 0.076s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn016.smt2 (content) unsat unsat 0.399s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn016.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn015.smt2 (content) unsat unsat 0.931s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn015.smt2 (content) unsat unsat 0.106s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn014.smt2 (content) unsat unsat 1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn014.smt2 (content) unsat unsat 0.091s