detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn103.smt2 (content) sat unknown 0.359s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn103.smt2 (content) sat unknown 0.342s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn103.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn102.smt2 (content) sat unknown 0.155s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn102.smt2 (content) sat unknown 0.247s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn102.smt2 (content) sat unknown 0.252s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn102.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn101.smt2 (content) sat unknown 0.163s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn101.smt2 (content) sat unknown 0.259s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn101.smt2 (content) sat unknown 0.250s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn101.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn100.smt2 (content) sat unknown 0.135s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn100.smt2 (content) sat unknown 0.115s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn100.smt2 (content) sat unknown 0.114s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn100.smt2 (content) sat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn099.smt2 (content) sat unknown 0.093s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn099.smt2 (content) sat unknown 0.112s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn099.smt2 (content) sat unknown 0.116s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn099.smt2 (content) sat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn098.smt2 (content) unsat unknown 0.117s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn098.smt2 (content) unsat unknown 0.536s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn098.smt2 (content) unsat unknown 0.545s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn098.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn097.smt2 (content) sat unknown 0.272s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_brn097.smt2 (content) sat unknown 0.326s