detailed results (4326 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1249.smt2 (content) unsat unsat 0.364s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1248.smt2 (content) unsat unsat 0.410s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1247.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1246.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1245.smt2 (content) unsat unsat 0.187s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1244.smt2 (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1243.smt2 (content) unsat unsat 0.057s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1242.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1241.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1240.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl124.smt2 (content) unsat unsat 0.628s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1239.smt2 (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1238.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1237.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1236.smt2 (content) unsat unsat 0.045s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1235.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1234.smt2 (content) unsat unsat 0.491s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1233.smt2 (content) unsat unsat 0.158s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1232.smt2 (content) unsat unsat 0.350s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1231.smt2 (content) unsat unsat 0.224s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1230.smt2 (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl123.smt2 (content) unsat unsat 0.381s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1229.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1228.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/gensys_icl1227.smt2 (content) unsat unsat 0.403s