detailed results (13300 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409971/gensys_brn926.smt2 (content) sat sat 0.148s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409971/gensys_brn926.smt2 (content) sat sat 0.031s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409970/gensys_brn925.smt2 (content) sat sat 0.162s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409970/gensys_brn925.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409969/gensys_brn924.smt2 (content) sat sat 0.169s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409969/gensys_brn924.smt2 (content) sat sat 0.044s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409968/gensys_brn923.smt2 (content) sat sat 0.091s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409968/gensys_brn923.smt2 (content) sat sat 0.036s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409967/gensys_brn922.smt2 (content) sat sat 0.109s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409967/gensys_brn922.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409966/gensys_brn921.smt2 (content) sat sat 0.190s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409966/gensys_brn921.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409965/gensys_brn920.smt2 (content) sat sat 0.197s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409965/gensys_brn920.smt2 (content) sat sat 0.071s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409964/gensys_brn919.smt2 (content) unsat unsat 0.784s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409964/gensys_brn919.smt2 (content) unsat unsat 0.061s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409963/gensys_brn918.smt2 (content) sat sat 0.184s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409963/gensys_brn918.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409962/gensys_brn917.smt2 (content) sat sat 0.654s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409962/gensys_brn917.smt2 (content) sat sat 0.047s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409961/gensys_brn916.smt2 (content) sat sat 0.208s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409961/gensys_brn916.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409960/gensys_brn915.smt2 (content) sat sat 0.125s
z3 /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409960/gensys_brn915.smt2 (content) sat sat 0.033s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409959/gensys_brn914.smt2 (content) sat sat 0.151s