detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl053.smt2 (content) unsat unknown 0.259s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl053.smt2 (content) unsat unknown 0.182s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl053.smt2 (content) unsat unknown 0.165s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl053.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl052.smt2 (content) unsat unknown 0.267s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl052.smt2 (content) unsat unknown 0.219s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl052.smt2 (content) unsat unknown 0.216s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl052.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.148s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.132s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.130s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl051.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.128s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.126s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.123s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl050.smt2 (content) unsat unknown 0.096s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.321s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.235s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.220s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl049.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.098s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.112s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.109s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl048.smt2 (content) unsat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unknown 0.189s