Benchmark 2026-05-17_17-40-15

ChampValeur
Date2026-05-17_17-40-15
Répertoire/home/delahayed/problems/casc/casc-30-2025/Problems/FOF
Home/home/delahaye/ip/bench/problems/casc/casc-30-2025/Problems/FOF
Logs/home/delahayed/benchs-ip/logs
Time limit3
Robust time limittrue
Size limit
Max clauses
Modeordered-fallback
CASCcasc-30-2025_fof
Only iptrue
Version ipc7cb440

Résultats

ProblèmeStatus attenduRatingip
FEQ/AGT005+1.pUnknownTimeout
3.247s
FEQ/AGT011+2.pUnknownTimeout
3.075s
FEQ/AGT013+1.pUnknownTimeout
3.012s
FEQ/AGT013+2.pUnknownTimeout
3.013s
FEQ/AGT023+2.pUnknownTimeout
3.013s
FEQ/ALG049+1.pUnknownError
5.063s
FEQ/ALG102+1.pUnknownError
5.282s
FEQ/ALG104+1.pUnknownError
4.695s
FEQ/ALG107+1.pUnknownTimeout
3.108s
FEQ/ALG127+1.pUnknownError
4.976s
FEQ/ALG210+2.pUnknownTimeout
3.020s
FEQ/ALG215+2.pUnknownError
5.018s
FEQ/ALG215+4.pUnknownError
5.006s
FEQ/ALG216+4.pUnknownError
5.010s
FEQ/BIO005+1.pUnknownError
0.110s
FEQ/BIO006+1.pUnknownError
0.011s
FEQ/CAT034+2.pUnknownTimeout
3.597s
FEQ/COM125+1.pUnknownTimeout
3.417s
FEQ/COM126+1.pUnknownTimeout
3.408s
FEQ/COM127+1.pUnknownTimeout
3.404s
FEQ/COM130+1.pUnknownTimeout
3.403s
FEQ/COM131+1.pUnknownTimeout
3.399s
FEQ/COM133+1.pUnknownTimeout
3.400s
FEQ/COM135+1.pUnknownTimeout
3.405s
FEQ/COM141+1.pUnknownTimeout
3.400s
FEQ/COM142+1.pUnknownTimeout
3.412s
FEQ/COM143+1.pUnknownTimeout
3.410s
FEQ/COM149+1.pUnknownTimeout
3.406s
FEQ/CSR003+1.pUnknownTimeout
3.090s
FEQ/CSR006+1.pUnknownTimeout
3.011s
FEQ/CSR015+1.pUnknownTimeout
3.082s
FEQ/CSR037+5.pUnknownError
5.041s
FEQ/CSR040+4.pUnknownTimeout
3.295s
FEQ/CSR047+4.pUnknownTimeout
3.154s
FEQ/CSR047+5.pUnknownTimeout
4.794s
FEQ/CSR052+4.pUnknownTimeout
3.157s
FEQ/CSR058+4.pUnknownTimeout
3.151s
FEQ/CSR069+4.pUnknownTimeout
3.151s
FEQ/CSR117+1.pUnknownTimeout
3.010s
FEQ/CSR170+1.pUnknownError
5.079s
FEQ/CSR201+1.pUnknownError
5.084s
FEQ/CSR210+1.pUnknownError
5.083s
FEQ/CSR218+1.pUnknownError
5.086s
FEQ/CSR219+1.pUnknownError
5.083s
FEQ/CSR228+1.pUnknownError
5.083s
FEQ/CSR248+1.pUnknownError
5.084s
FEQ/GEO084+1.pUnknownTimeout
3.059s
FEQ/GEO087+1.pUnknownUnsatisfiable
0.026s
FEQ/GEO088+1.pUnknownTimeout
3.015s
FEQ/GEO089+1.pUnknownTimeout
3.008s
FEQ/GEO109+1.pUnknownTimeout
3.037s
FEQ/GEO111+1.pUnknownTimeout
3.010s
FEQ/GEO125+1.pUnknownTimeout
3.046s
FEQ/GEO126+1.pUnknownTimeout
3.010s
FEQ/GEO127+1.pUnknownTimeout
3.011s
FEQ/GEO137+1.pUnknownTimeout
3.010s
FEQ/GEO169+2.pUnknownTimeout
3.009s
FEQ/GEO271+1.pUnknownTimeout
3.018s
FEQ/GEO274+1.pUnknownTimeout
3.013s
FEQ/GEO277+1.pUnknownTimeout
3.018s
FEQ/GEO278+1.pUnknownTimeout
3.014s
FEQ/GEO281+1.pUnknownTimeout
3.013s
FEQ/GEO282+1.pUnknownTimeout
3.014s
FEQ/GEO288+1.pUnknownTimeout
3.023s
FEQ/GEO290+1.pUnknownTimeout
3.015s
FEQ/GEO292+1.pUnknownTimeout
3.014s
FEQ/GEO293+1.pUnknownTimeout
3.013s
FEQ/GEO295+1.pUnknownTimeout
3.014s
FEQ/GEO298+1.pUnknownTimeout
3.013s
FEQ/GEO299+1.pUnknownTimeout
3.013s
FEQ/GEO300+1.pUnknownTimeout
3.013s
FEQ/GEO310+1.pUnknownTimeout
3.014s
FEQ/GEO311+1.pUnknownTimeout
3.013s
FEQ/GEO317+1.pUnknownTimeout
3.014s
FEQ/GEO319+1.pUnknownTimeout
3.014s
FEQ/GEO321+1.pUnknownTimeout
3.013s
FEQ/GEO323+1.pUnknownTimeout
3.013s
FEQ/GEO325+1.pUnknownTimeout
3.013s
FEQ/GEO331+1.pUnknownTimeout
3.013s
FEQ/GEO337+1.pUnknownTimeout
3.014s
FEQ/GEO340+1.pUnknownTimeout
3.015s
FEQ/GEO345+1.pUnknownTimeout
3.014s
FEQ/GEO350+1.pUnknownTimeout
3.014s
FEQ/GEO442+1.pUnknownError
5.045s
FEQ/GEO445+1.pUnknownError
5.048s
FEQ/GEO452+1.pUnknownError
5.048s
FEQ/GEO475+1.pUnknownError
5.047s
FEQ/GEO491+1.pUnknownTimeout
3.092s
FEQ/GEO495+1.pUnknownTimeout
3.011s
FEQ/GEO499+1.pUnknownTimeout
3.009s
FEQ/GEO500+1.pUnknownTimeout
3.011s
FEQ/GEO504+1.pUnknownTimeout
3.009s
FEQ/GEO507+1.pUnknownTimeout
3.011s
FEQ/GEO513+1.pUnknownTimeout
3.011s
FEQ/GEO514+1.pUnknownTimeout
3.011s
FEQ/GEO520+1.pUnknownTimeout
3.011s
FEQ/GEO524+1.pUnknownTimeout
3.011s
FEQ/GEO527+1.pUnknownTimeout
3.013s
FEQ/GEO532+1.pUnknownTimeout
3.015s
FEQ/GEO559+1.pUnknownTimeout
3.027s
FEQ/GEO593+1.pUnknownTimeout
3.010s
FEQ/GEO605+1.pUnknownTimeout
3.011s
FEQ/GEO610+1.pUnknownTimeout
3.023s
FEQ/GEO625+1.pUnknownTimeout
3.010s
FEQ/GEO641+1.pUnknownTimeout
3.011s
FEQ/GRA002+2.pUnknownUnsatisfiable
0.402s
FEQ/GRA007+2.pUnknownUnsatisfiable
2.420s
FEQ/GRA009+1.pUnknownUnsatisfiable
0.138s
FEQ/GRP622+2.pUnknownTimeout
4.277s
FEQ/GRP664+1.pUnknownTimeout
3.006s
FEQ/GRP666+6.pUnknownTimeout
3.006s
FEQ/GRP776+1.pUnknownTimeout
3.036s
FEQ/HAL001+1.pUnknownTimeout
3.020s
FEQ/HAL006+1.pUnknownTimeout
3.010s
FEQ/HWV090+1.pUnknownError
4.884s
FEQ/HWV107+1.pUnknownError
4.783s
FEQ/HWV128+1.pTheorem0.97 v7.1.0Error
5.023s
FEQ/ITP002+5.pUnknownTimeout
4.353s
FEQ/ITP003+1.pUnknownTimeout
3.009s
FEQ/ITP003+2.pUnknownTimeout
3.013s
FEQ/ITP004+2.pUnknownTimeout
3.010s
FEQ/ITP004+4.pUnknownTimeout
4.633s
FEQ/ITP004+5.pUnknownTimeout
4.063s
FEQ/ITP005+5.pUnknownTimeout
3.482s
FEQ/ITP006+1.pUnknownTimeout
3.009s
FEQ/ITP009+1.pUnknownTimeout
3.007s
FEQ/ITP012+4.pUnknownError
5.020s
FEQ/ITP013+1.pUnknownTimeout
3.007s
FEQ/ITP015+4.pUnknownError
5.028s
FEQ/ITP015+5.pUnknownError
5.024s
FEQ/ITP019+5.pUnknownError
5.091s
FEQ/ITP021+1.pUnknownUnsatisfiable
0.291s
FEQ/ITP023+4.pUnknownError
5.046s
FEQ/KLE011+1.pUnknownTimeout
3.309s
FEQ/KLE071+1.pUnknownTimeout
3.039s
FEQ/KLE113+1.pUnknownTimeout
3.110s
FEQ/KLE132+1.pUnknownTimeout
3.038s
FEQ/KLE170+1.002.pUnknownTimeout
3.016s
FEQ/KRS133+1.pUnknownError
4.532s
FEQ/LAT350+1.pUnknownTimeout
3.057s
FEQ/LAT374+3.pUnknownError
5.006s
FEQ/LAT378+3.pUnknownError
5.027s
FEQ/LCL448+1.pUnknownTimeout
3.124s
FEQ/LCL458+1.pUnknownTimeout
3.071s
FEQ/LCL467+1.pUnknownTimeout
3.033s
FEQ/LCL479+1.pUnknownTimeout
3.009s
FEQ/LCL518+1.pUnknownTimeout
3.039s
FEQ/LCL524+1.pUnknownTimeout
3.222s
FEQ/LCL537+1.pUnknownTimeout
3.088s
FEQ/LCL547+1.pUnknownTimeout
3.051s
FEQ/LCL550+1.pUnknownTimeout
3.041s
FEQ/LCL552+1.pUnknownTimeout
3.022s
FEQ/LCL559+1.pUnknownTimeout
3.012s
FEQ/LCL561+1.pUnknownTimeout
3.029s
FEQ/LCL888+1.pUnknownTimeout
3.007s
FEQ/LCL889+1.pUnknownTimeout
3.006s
FEQ/LCL894+1.pUnknownTimeout
3.007s
FEQ/LCL895+1.pUnknownTimeout
3.006s
FEQ/LCL896+1.pUnknownTimeout
3.007s
FEQ/LCL898+1.pUnknownTimeout
3.007s
FEQ/LCL901+1.pUnknownTimeout
3.007s
FEQ/MGT039+2.pUnknownTimeout
3.009s
FEQ/MGT054+1.pUnknownUnsatisfiable
0.100s
FEQ/MGT061+1.pUnknownUnsatisfiable
0.073s
FEQ/MSC010+1.pUnknownError
5.157s
FEQ/NUM293+1.pUnknownUnsatisfiable
0.207s
FEQ/NUM314+1.pUnknownTimeout
3.013s
FEQ/NUM317+1.pUnknownTimeout
3.013s
FEQ/NUM325+1.pUnknownTimeout
3.012s
FEQ/NUM337+1.pUnknownTimeout
3.013s
FEQ/NUM479+2.pUnknownTimeout
3.009s
FEQ/NUM481+1.pUnknownTimeout
3.008s
FEQ/NUM587+1.pUnknownTimeout
3.009s
FEQ/NUM656+4.pUnknownTimeout
3.012s
FEQ/NUM658+4.pUnknownTimeout
3.010s
FEQ/NUM659+4.pUnknownTimeout
3.056s
FEQ/NUM671+4.pUnknownTimeout
3.034s
FEQ/NUM672+4.pUnknownTimeout
3.011s
FEQ/NUM695+4.pUnknownTimeout
3.013s
FEQ/NUM701+4.pUnknownTimeout
3.024s
FEQ/NUM703+4.pUnknownTimeout
3.012s
FEQ/NUM708+4.pUnknownTimeout
3.013s
FEQ/NUM736+4.pUnknownTimeout
3.015s
FEQ/NUM782+4.pUnknownTimeout
3.019s
FEQ/NUM783+4.pUnknownTimeout
3.023s
FEQ/NUM785+4.pUnknownTimeout
3.053s
FEQ/NUM787+4.pUnknownTimeout
3.041s
FEQ/NUM788+4.pUnknownTimeout
3.020s
FEQ/NUM789+4.pUnknownTimeout
3.021s
FEQ/NUM790+4.pUnknownTimeout
3.021s
FEQ/NUM791+4.pUnknownTimeout
3.046s
FEQ/NUM835+1.pUnknownTimeout
3.007s
FEQ/NUM839+2.pUnknownTimeout
3.011s
FEQ/NUM841+2.pUnknownTimeout
3.016s
FEQ/NUM852+1.pUnknownTimeout
3.008s
FEQ/NUM853+2.pUnknownTimeout
3.007s
FEQ/NUM856+1.pUnknownTimeout
3.007s
FEQ/NUM858+1.pUnknownTimeout
3.008s
FEQ/NUM862+1.pUnknownTimeout
3.008s
FEQ/NUM924+7.pUnknownTimeout
3.028s
FEQ/NUM925+3.pUnknownTimeout
3.063s
FEQ/NUM925+7.pUnknownTimeout
3.027s
FEQ/NUM926+2.pUnknownTimeout
3.012s
FEQ/NUM926+4.pUnknownTimeout
3.142s
FEQ/NUM926+7.pUnknownTimeout
3.058s
FEQ/NUN058+2.pUnknownTimeout
3.019s
FEQ/NUN075+2.pUnknownTimeout
3.007s
FEQ/NUN086+2.pUnknownTimeout
3.012s
FEQ/PRO010+3.pUnknownUnsatisfiable
0.418s
FEQ/PRO012+1.pUnknownUnsatisfiable
0.091s
FEQ/PRO018+2.pUnknownUnsatisfiable
0.143s
FEQ/PUZ077+1.pUnknownError
4.767s
FEQ/PUZ078+1.pUnknownTimeout
3.093s
FEQ/REL020+2.pUnknownTimeout
3.222s
FEQ/REL021+1.pUnknownTimeout
3.007s
FEQ/REL033+1.pUnknownTimeout
3.009s
FEQ/REL033+4.pUnknownTimeout
3.008s
FEQ/REL035+1.pUnknownTimeout
3.007s
FEQ/RNG085+2.pUnknownTimeout
3.010s
FEQ/RNG098+2.pUnknownUnsatisfiable
0.905s
FEQ/SCT115+1.pUnknownTimeout
3.106s
FEQ/SCT123+1.pUnknownTimeout
3.018s
FEQ/SCT131+1.pUnknownTimeout
3.019s
FEQ/SCT146+1.pUnknownTimeout
3.017s
FEQ/SCT147+1.pUnknownTimeout
3.016s
FEQ/SCT151+1.pUnknownTimeout
3.014s
FEQ/SCT152+1.pUnknownTimeout
3.018s
FEQ/SCT154+1.pUnknownTimeout
3.014s
FEQ/SCT170+6.pUnknownTimeout
3.028s
FEQ/SET013+4.pUnknownTimeout
3.060s
FEQ/SET017+1.pUnknownUnsatisfiable
0.356s
FEQ/SET018+1.pUnknownUnsatisfiable
0.158s
FEQ/SET072+1.pUnknownUnsatisfiable
0.152s
FEQ/SET082+1.pUnknownTimeout
3.009s
FEQ/SET090+1.pUnknownUnsatisfiable
0.162s
FEQ/SET095+1.pUnknownUnsatisfiable
0.122s
FEQ/SET098+1.pUnknownUnsatisfiable
0.188s
FEQ/SET144+3.pUnknownTimeout
3.015s
FEQ/SET156+4.pUnknownTimeout
3.011s
FEQ/SET637+3.pUnknownUnsatisfiable
0.014s
FEQ/SET649+3.pUnknownTimeout
3.008s
FEQ/SET668+3.pUnknownTimeout
3.008s
FEQ/SET710+4.pUnknownTimeout
3.052s
FEQ/SET756+4.pUnknownTimeout
3.012s
FEQ/SET763+4.pUnknownTimeout
3.012s
FEQ/SEU025+1.pUnknownTimeout
3.013s
FEQ/SEU053+1.pUnknownTimeout
3.009s
FEQ/SEU176+2.pUnknownTimeout
3.007s
FEQ/SEU258+2.pUnknownTimeout
3.011s
FEQ/SEU299+2.pUnknownTimeout
3.019s
FEQ/SEU314+2.pUnknownTimeout
3.034s
FEQ/SEU356+2.pUnknownTimeout
3.086s
FEQ/SEU390+1.pUnknownTimeout
3.010s
FEQ/SEU419+1.pUnknownTimeout
3.014s
FEQ/SEU424+2.pUnknownTimeout
4.363s
FEQ/SEU425+3.pUnknownError
5.035s
FEQ/SEU429+2.pUnknownTimeout
3.793s
FEQ/SEU429+3.pUnknownError
5.082s
FEQ/SEU447+2.pUnknownTimeout
3.765s
FEQ/SEV517+1.pUnknownUnsatisfiable
1.222s
FEQ/SEV522+1.pUnknownUnsatisfiable
1.292s
FEQ/SEV551+1.pUnknownTimeout
3.037s
FEQ/SEV554+1.pUnknownTimeout
3.010s
FEQ/SEV556+1.pUnknownTimeout
3.010s
FEQ/SEV560+1.pUnknownTimeout
3.009s
FEQ/SEV562+1.pUnknownTimeout
3.010s
FEQ/SEV565+1.pUnknownTimeout
3.009s
FEQ/SEV572+1.pUnknownTimeout
3.011s
FEQ/SEV579+1.pUnknownTimeout
3.017s
FEQ/SEV580+1.pUnknownTimeout
3.015s
FEQ/SWB012+1.pUnknownTimeout
3.038s
FEQ/SWB013+1.pUnknownTimeout
3.019s
FEQ/SWB014+1.pUnknownTimeout
3.018s
FEQ/SWB020+1.pUnknownTimeout
3.018s
FEQ/SWB022+1.pUnknownTimeout
3.022s
FEQ/SWB023+1.pUnknownTimeout
3.019s
FEQ/SWB025+1.pUnknownTimeout
3.019s
FEQ/SWB026+1.pUnknownTimeout
3.019s
FEQ/SWB027+1.pUnknownTimeout
3.019s
FEQ/SWB028+1.pUnknownTimeout
3.018s
FEQ/SWB028+2.pUnknownUnsatisfiable
0.342s
FEQ/SWB039+1.pUnknownTimeout
3.018s
FEQ/SWB043+1.pUnknownTimeout
3.020s
FEQ/SWB045+1.pUnknownTimeout
3.018s
FEQ/SWB046+1.pUnknownTimeout
3.030s
FEQ/SWB047+1.pUnknownTimeout
3.020s
FEQ/SWB050+1.pUnknownTimeout
3.019s
FEQ/SWB055+1.pUnknownTimeout
3.018s
FEQ/SWB056+1.pUnknownTimeout
3.020s
FEQ/SWB058+1.pUnknownTimeout
3.019s
FEQ/SWB059+1.pUnknownTimeout
3.020s
FEQ/SWB062+1.pUnknownTimeout
3.018s
FEQ/SWB067+1.pUnknownTimeout
3.018s
FEQ/SWB069+1.pUnknownTimeout
3.019s
FEQ/SWB073+1.pUnknownTimeout
3.018s
FEQ/SWB075+1.pUnknownTimeout
3.018s
FEQ/SWB077+1.pUnknownTimeout
3.018s
FEQ/SWB083+1.pUnknownTimeout
3.018s
FEQ/SWB086+1.pUnknownTimeout
3.018s
FEQ/SWB092+1.pUnknownTimeout
3.019s
FEQ/SWB095+1.pUnknownTimeout
3.018s
FEQ/SWB097+1.pUnknownTimeout
3.022s
FEQ/SWB098+1.pUnknownTimeout
3.021s
FEQ/SWB099+1.pUnknownTimeout
3.018s
FEQ/SWB100+1.pUnknownTimeout
3.018s
FEQ/SWB101+1.pUnknownTimeout
3.018s
FEQ/SWB102+1.pUnknownTimeout
3.021s
FEQ/SWB103+1.pUnknownTimeout
3.018s
FEQ/SWB104+1.pUnknownTimeout
3.019s
FEQ/SWB108+1.pUnknownTimeout
3.018s
FEQ/SWC005+1.pUnknownTimeout
3.042s
FEQ/SWC199+1.pUnknownTimeout
3.009s
FEQ/SWC386+1.pUnknownTimeout
3.009s
FEQ/SWV034+1.pUnknownTimeout
3.105s
FEQ/SWV053+1.pUnknownTimeout
3.027s
FEQ/SWV055+1.pUnknownTimeout
3.034s
FEQ/SWV089+1.pUnknownTimeout
3.043s
FEQ/SWV090+1.pUnknownTimeout
3.083s
FEQ/SWV092+1.pUnknownTimeout
3.041s
FEQ/SWV118+1.pUnknownError
4.958s
FEQ/SWV198+1.pUnknownTimeout
3.057s
FEQ/SWV199+1.pUnknownTimeout
3.034s
FEQ/SWV233+1.pUnknownTimeout
3.031s
FEQ/SWV234+1.pUnknownTimeout
3.007s
FEQ/SWV234+2.pUnknownTimeout
3.009s
FEQ/SWV374+1.pUnknownTimeout
3.092s
FEQ/SWV404+1.pUnknownTimeout
3.009s
FEQ/SWV408+2.pUnknownTimeout
3.014s
FEQ/SWV449+1.pUnknownTimeout
3.030s
FEQ/SWV451+1.pUnknownTimeout
3.008s
FEQ/SWV452+1.pUnknownTimeout
3.008s
FEQ/SWV453+1.pUnknownTimeout
3.013s
FEQ/SWV455+1.pUnknownTimeout
3.014s
FEQ/SWV457+1.pUnknownTimeout
3.009s
FEQ/SWV458+1.pUnknownTimeout
3.018s
FEQ/SWV459+1.pUnknownTimeout
3.009s
FEQ/SWV460+1.pUnknownTimeout
3.009s
FEQ/SWV462+1.pUnknownTimeout
3.008s
FEQ/SWV466+1.pUnknownTimeout
3.008s
FEQ/SWV468+1.pUnknownTimeout
3.009s
FEQ/SWV471+1.pUnknownTimeout
3.008s
FEQ/SWV472+1.pUnknownTimeout
3.011s
FEQ/SWV473+1.pUnknownTimeout
3.009s
FEQ/SWV476+1.pUnknownTimeout
3.008s
FEQ/SWV479+1.pUnknownTimeout
3.008s
FEQ/SWV480+1.pUnknownTimeout
3.008s
FEQ/SWV486+1.pUnknownTimeout
3.006s
FEQ/SWV486+2.pUnknownTimeout
3.007s
FEQ/SWV487+1.pUnknownTimeout
3.040s
FEQ/SWV490+3.pUnknownTimeout
3.053s
FEQ/SWV491+4.pUnknownTimeout
3.033s
FEQ/SWV492+1.pUnknownTimeout
3.007s
FEQ/SWW097+1.pUnknownTimeout
3.275s
FEQ/SWW102+1.pUnknownTimeout
3.008s
FEQ/SWW238+1.pUnknownTimeout
3.023s
FEQ/SWW273+1.pUnknownTimeout
3.020s
FEQ/SWW291+1.pUnknownTimeout
3.036s
FEQ/SWW297+1.pUnknownTimeout
3.099s
FEQ/SWW313+1.pUnknownTimeout
3.109s
FEQ/SWW314+1.pUnknownTimeout
3.099s
FEQ/SWW315+1.pUnknownTimeout
3.098s
FEQ/SWW337+1.pUnknownTimeout
3.146s
FEQ/SWW342+1.pUnknownTimeout
3.098s
FEQ/SWW345+1.pUnknownTimeout
3.098s
FEQ/SWW348+1.pUnknownTimeout
3.097s
FEQ/SWW350+1.pUnknownTimeout
3.099s
FEQ/SWW374+1.pUnknownTimeout
3.139s
FEQ/SWW383+1.pUnknownTimeout
3.098s
FEQ/SWW385+1.pUnknownTimeout
3.098s
FEQ/SWW386+1.pUnknownTimeout
3.129s
FEQ/SWW470+1.pUnknownTimeout
3.009s
FEQ/SWW470+3.pUnknownTimeout
3.024s
FEQ/SWW470+6.pUnknownTimeout
3.056s
FEQ/SWW470+7.pUnknownTimeout
3.043s
FEQ/SWW473+1.pUnknownTimeout
3.035s
FEQ/SWW473+2.pUnknownTimeout
3.016s
FEQ/SWW473+5.pUnknownTimeout
3.010s
FEQ/SWW474+1.pUnknownTimeout
3.011s
FEQ/SWW474+2.pUnknownTimeout
3.017s
FEQ/SWW474+7.pUnknownTimeout
3.081s
FEQ/SWW477+7.pUnknownTimeout
3.181s
FEQ/SWW478+7.pUnknownTimeout
3.172s
FEQ/SWW874+1.pUnknownTimeout
3.008s
FEQ/SWW878+1.pUnknownUnsatisfiable
0.069s
FEQ/SWW900+1.pUnknownTimeout
3.007s
FEQ/SWW937+1.pUnknownUnsatisfiable
0.042s
FEQ/SWW956+1.pUnknownTimeout
3.008s
FEQ/SWW958+1.pUnknownTimeout
3.029s
FEQ/SWW963+1.pUnknownTimeout
3.009s
FEQ/SWW967+1.pUnknownTimeout
3.009s
FEQ/SWX022+1.pUnknownTimeout
3.009s
FEQ/SWX029+1.pUnknownTimeout
3.018s
FEQ/SWX034+1.pUnknownUnsatisfiable
0.165s
FEQ/SWX037+1.pUnknownTimeout
3.011s
FEQ/SWX038+1.pUnknownTimeout
3.014s
FEQ/SWX044+1.pUnknownTimeout
3.027s
FEQ/SWX055+1.pUnknownTimeout
3.010s
FEQ/SWX060+1.pUnknownTimeout
3.011s
FEQ/SWX070+1.pUnknownError
5.073s
FEQ/TOP034+4.pUnknownError
5.007s
FNE/BOO109+1.pUnknownTimeout
3.012s
FNE/COM008+1.pUnknownTimeout
3.010s
FNE/CSR026+3.pUnknownTimeout
3.112s
FNE/CSR027+3.pUnknownTimeout
3.033s
FNE/CSR033+3.pUnknownTimeout
3.038s
FNE/CSR034+2.pUnknownTimeout
3.300s
FNE/CSR036+2.pUnknownTimeout
3.012s
FNE/CSR036+3.pUnknownTimeout
3.036s
FNE/CSR039+2.pUnknownTimeout
3.012s
FNE/CSR040+3.pUnknownTimeout
3.036s
FNE/CSR052+3.pUnknownTimeout
3.033s
FNE/CSR056+3.pUnknownTimeout
3.033s
FNE/CSR057+2.pUnknownUnsatisfiable
1.840s
FNE/CSR060+2.pUnknownTimeout
3.013s
FNE/CSR061+2.pUnknownTimeout
3.012s
FNE/CSR062+2.pUnknownUnsatisfiable
0.497s
FNE/CSR062+3.pUnknownTimeout
3.034s
FNE/CSR073+2.pUnknownUnsatisfiable
0.464s
FNE/CSR073+3.pUnknownTimeout
3.033s
FNE/CSR115+31.pUnknownTimeout
3.071s
FNE/CSR115+6.pUnknownTimeout
3.027s
FNE/CSR115+91.pUnknownTimeout
3.027s
FNE/CSR115+98.pUnknownTimeout
3.027s
FNE/CSR116+27.pUnknownTimeout
3.034s
FNE/CSR116+39.pUnknownTimeout
3.028s
FNE/CSR116+6.pUnknownTimeout
3.028s
FNE/GEO167+1.pUnknownTimeout
3.007s
FNE/GEO168+1.pUnknownTimeout
3.008s
FNE/GEO259+1.pUnknownTimeout
3.058s
FNE/KRS189+1.pUnknownUnsatisfiable
0.205s
FNE/KRS203+1.pUnknownTimeout
3.009s
FNE/KRS216+1.pUnknownTimeout
3.009s
FNE/KRS217+1.pUnknownTimeout
3.008s
FNE/KRS233+1.pUnknownUnsatisfiable
1.349s
FNE/KRS234+1.pUnknownTimeout
3.009s
FNE/KRS251+1.pUnknownTimeout
3.010s
FNE/KRS258+1.pUnknownTimeout
3.009s
FNE/KRS260+1.pUnknownTimeout
3.009s
FNE/KRS261+1.pUnknownTimeout
3.009s
FNE/LCL062+1.pUnknownTimeout
3.013s
FNE/LCL109+1.pUnknownTimeout
3.012s
FNE/LCL365+1.pUnknownTimeout
3.012s
FNE/LCL365+2.pUnknownTimeout
3.014s
FNE/LCL368+1.pUnknownTimeout
3.012s
FNE/LCL368+2.pUnknownTimeout
3.015s
FNE/LCL369+1.pUnknownTimeout
3.015s
FNE/LCL370+2.pUnknownTimeout
3.012s
FNE/LCL373+2.pUnknownTimeout
3.012s
FNE/LCL374+1.pUnknownTimeout
3.013s
FNE/LCL374+2.pUnknownTimeout
3.012s
FNE/LCL376+1.pUnknownTimeout
3.012s
FNE/LCL377+1.pUnknownTimeout
3.013s
FNE/LCL383+1.pUnknownTimeout
3.012s
FNE/LCL383+2.pUnknownTimeout
3.012s
FNE/LCL390+1.pUnknownTimeout
3.011s
FNE/LCL390+2.pUnknownTimeout
3.012s
FNE/LCL392+1.pUnknownTimeout
3.013s
FNE/LCL392+2.pUnknownTimeout
3.012s
FNE/LCL393+2.pUnknownTimeout
3.012s
FNE/LCL394+2.pUnknownTimeout
3.013s
FNE/LCL403+2.pUnknownTimeout
3.017s
FNE/LCL640+1.005.pUnknownTimeout
3.009s
FNE/LCL642+1.010.pUnknownTimeout
3.075s
FNE/LCL642+1.015.pUnknownTimeout
3.079s
FNE/LCL656+1.015.pUnknownTimeout
3.012s
FNE/LCL660+1.015.pUnknownTimeout
3.081s
FNE/LCL660+1.020.pUnknownTimeout
3.085s
FNE/LCL670+1.010.pUnknownTimeout
3.008s
FNE/LCL680+1.005.pUnknownTimeout
3.012s
FNE/LCL682+1.015.pUnknownTimeout
3.019s
FNE/LCL682+1.020.pUnknownTimeout
3.028s
FNE/LCL688+1.005.pUnknownTimeout
3.010s
FNE/LCL876+1.pUnknownTimeout
3.008s
FNE/LCL978+1.pUnknownTimeout
3.012s
FNE/LCL981+1.pUnknownTimeout
3.025s
FNE/LCL982+1.pUnknownTimeout
3.015s
FNE/MED007+1.pUnknownTimeout
3.106s
FNE/MED009+1.pUnknownTimeout
3.013s
FNE/MGT067+1.pUnknownTimeout
3.009s
FNE/NLP260+1.pUnknownError
0.645s
FNE/NLP261+1.pUnknownError
0.431s
FNE/NLP262+1.pUnknownError
0.433s
FNE/NUN056+1.pUnknownTimeout
3.027s
FNE/NUN057+1.pUnknownTimeout
3.008s
FNE/NUN060+1.pUnknownTimeout
3.008s
FNE/NUN066+1.pUnknownTimeout
3.009s
FNE/NUN072+1.pUnknownTimeout
3.008s
FNE/NUN075+1.pUnknownTimeout
3.009s
FNE/NUN081+1.pUnknownTimeout
3.009s
FNE/NUN085+1.pUnknownTimeout
3.008s
FNE/NUN087+1.pUnknownTimeout
3.008s
FNE/SWB012+3.pUnknownTimeout
3.107s
FNE/SWB014+3.pUnknownTimeout
3.012s
FNE/SWV014+1.pUnknownTimeout
3.008s
FNE/SYN353+1.pUnknownTimeout
3.009s
FNE/SYN457+1.pUnknownTimeout
3.009s
FNE/SYN938+1.pUnknownError
5.301s
FNE/SYN986+1.004.pUnknownTimeout
3.270s
FNE/SYO604+1.pUnknownTimeout
3.052s
FNE/SYO606+1.pUnknownTimeout
3.011s

Stats par prouveur

ProuveurSous-ensembleTotalSuccèsTimeoutsIncomplétudeIncorrectionErreursTemps moyen
ipTous50030 (6.0%)427 (85.4%)0 (0.0%)0 (0.0%)43 (8.6%)3.032s
ipTheorem/Unsatisfiable10 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)1 (100.0%)5.023s
ipTheorem (FOF)10 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)1 (100.0%)5.023s
ipUnsatisfiable (CNF)00 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)0 (0.0%)0.000s