detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen009.smt2 (content) sat unknown 0.101s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen008.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen008.smt2 (content) sat unknown 3.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen008.smt2 (content) sat unknown 3.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen008.smt2 (content) sat unknown 0.173s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen007.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen007.smt2 (content) sat unknown 8.3s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen007.smt2 (content) sat unknown 8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen007.smt2 (content) sat unknown 0.240s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen006.smt2 (content) sat unknown 5.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen006.smt2 (content) sat unknown 6.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen006.smt2 (content) sat unknown 7.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen006.smt2 (content) sat unknown 0.213s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen005.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen005.smt2 (content) sat unknown 1.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen005.smt2 (content) sat unknown 1.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen005.smt2 (content) sat unknown 0.125s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen004.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen004.smt2 (content) sat unknown 1.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen004.smt2 (content) sat unknown 1.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen004.smt2 (content) sat unknown 0.079s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen003.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen003.smt2 (content) sat unknown 0.841s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen003.smt2 (content) sat unknown 0.863s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg6/iso_brn_nogen003.smt2 (content) sat unknown 0.543s