root
file
detailed [3775..3799]
prev
next
detailed results (349691 total)
filter
improved
ok
disappoint
bad
error
prover
file
res
expected
time
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4093907285632396856.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4093602944715215153.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4093479746341122775.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4088946704636698729.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4086521316878562449.smt2
(content)
ok
ok
0.125s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4084561326520296089.smt2
(content)
ok
ok
0.165s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4082582046196824546.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4081111758072555225.smt2
(content)
ok
ok
0.131s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4078015202302653986.smt2
(content)
ok
ok
0.124s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4077402217675584815.smt2
(content)
ok
ok
0.120s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4071776583236238675.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4070632468136910841.smt2
(content)
ok
ok
0.119s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4068148182910184800.smt2
(content)
ok
ok
0.111s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4067457201818489202.smt2
(content)
ok
ok
0.162s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt40633689229223508.smt2
(content)
ok
ok
0.118s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4062851062460802685.smt2
(content)
ok
ok
0.122s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4060985557224087921.smt2
(content)
ok
ok
0.123s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4060019588600737841.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4054849107487968033.smt2
(content)
ok
ok
0.166s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4054344680455153521.smt2
(content)
ok
ok
0.126s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4052346701524363404.smt2
(content)
ok
ok
0.121s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4051416083086708598.smt2
(content)
ok
ok
0.164s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4046502920936702092.smt2
(content)
ok
ok
0.166s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4046425299850818408.smt2
(content)
ok
ok
0.204s
dolmen
/home/guillaume/bench/smtlib/AUFLIA/20170829-Rodin/smt4044202444584629530.smt2
(content)
ok
ok
0.154s