root
file
detailed [2425..2449]
prev
next
detailed results (3632 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412937/iso_icl1166.smt2
(content)
unsat
unsat
0.106s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412936/iso_icl1165.smt2
(content)
unsat
unsat
0.100s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412935/iso_icl1164.smt2
(content)
unsat
unsat
0.074s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412934/iso_icl1163.smt2
(content)
unsat
unsat
0.108s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412933/iso_icl1162.smt2
(content)
unsat
unsat
0.104s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412932/iso_icl1161.smt2
(content)
unsat
unsat
0.106s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412931/iso_icl1160.smt2
(content)
unsat
unsat
0.132s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412930/iso_icl116.smt2
(content)
unsat
unsat
0.144s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412929/iso_icl1159.smt2
(content)
unsat
unsat
0.169s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412928/iso_icl1158.smt2
(content)
unsat
unsat
0.099s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412927/iso_icl1157.smt2
(content)
unsat
unsat
0.118s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412926/iso_icl1156.smt2
(content)
unsat
unsat
0.137s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412925/iso_icl1155.smt2
(content)
unsat
unsat
0.125s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412924/iso_icl1154.smt2
(content)
unsat
unsat
0.090s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412923/iso_icl1153.smt2
(content)
unsat
unsat
0.095s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412922/iso_icl1152.smt2
(content)
unsat
unsat
0.093s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412921/iso_icl1151.smt2
(content)
unsat
unsat
0.077s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412920/iso_icl1150.smt2
(content)
unsat
unsat
0.070s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412919/iso_icl115.smt2
(content)
unsat
unsat
0.176s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412918/iso_icl1149.smt2
(content)
unsat
unsat
0.090s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412917/iso_icl1148.smt2
(content)
unsat
unsat
0.075s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412916/iso_icl1147.smt2
(content)
unsat
unsat
0.071s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412915/iso_icl1146.smt2
(content)
unsat
unsat
0.067s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412914/iso_icl1145.smt2
(content)
unsat
unsat
0.115s
sidekick-dev
/home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412913/iso_icl1144.smt2
(content)
unsat
unsat
0.112s