detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl201.smt2 (content) unsat unsat 0.396s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl201.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl200.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl200.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl199.smt2 (content) unsat unsat 0.278s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl199.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl198.smt2 (content) unsat unsat 0.284s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl198.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl197.smt2 (content) unsat unsat 0.189s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl197.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl196.smt2 (content) unsat unsat 0.349s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl196.smt2 (content) unsat unsat 0.071s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl195.smt2 (content) unsat unsat 0.356s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl195.smt2 (content) unsat unsat 0.138s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl194.smt2 (content) unsat unsat 0.298s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl194.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl193.smt2 (content) unsat unsat 0.185s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl193.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl192.smt2 (content) unsat unsat 0.393s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl192.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl191.smt2 (content) unsat unsat 0.125s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl191.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl190.smt2 (content) unsat unsat 0.165s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl190.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl189.smt2 (content) unsat unsat 0.066s