detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unsat 0.265s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl047.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unsat 0.456s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl046.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unsat 0.654s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl045.smt2 (content) unsat unsat 0.129s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unsat 0.196s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl044.smt2 (content) unsat unsat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl043.smt2 (content) unsat unsat 0.816s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl043.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl042.smt2 (content) unsat unsat 0.481s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl042.smt2 (content) unsat unsat 0.087s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl041.smt2 (content) unsat unsat 0.852s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl041.smt2 (content) unsat unsat 0.085s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl040.smt2 (content) unsat unsat 0.162s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl040.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl039.smt2 (content) unsat unsat 0.401s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl039.smt2 (content) unsat unsat 0.124s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl038.smt2 (content) unsat unsat 0.209s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl038.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl037.smt2 (content) unsat unsat 0.165s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl037.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl036.smt2 (content) unsat unsat 0.122s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl036.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/loops6/iso_icl035.smt2 (content) unsat unsat 0.353s