pair idbenchmarkbenchmark idsolversolver idconfigurationconfiguration idstatuscpu timewallclock timememory usageresultexpected
430235040qf_shls_sat/spaguetti-10-e01.tptp.smt28317077COMSPEN201922337qf_shls_sat325903complete0.0419590.042005113176.0unsatunsat
430235048qf_shls_sat/spaguetti-10-e02.tptp.smt28317085COMSPEN201922337qf_shls_sat325903complete0.0399220.0399629113176.0satsat
430235044qf_shls_sat/spaguetti-10-e03.tptp.smt28317081COMSPEN201922337qf_shls_sat325903complete0.0441260.044163113176.0unsatunsat
430235055qf_shls_sat/spaguetti-10-e04.tptp.smt28317092COMSPEN201922337qf_shls_sat325903complete0.0502280.0503179113176.0unsatunsat
430235052qf_shls_sat/spaguetti-10-e05.tptp.smt28317089COMSPEN201922337qf_shls_sat325903complete0.0426360.0427009113176.0satsat
430235061qf_shls_sat/spaguetti-10-e06.tptp.smt28317098COMSPEN201922337qf_shls_sat325903complete0.0324850.0325691113176.0satsat
430235058qf_shls_sat/spaguetti-10-e07.tptp.smt28317095COMSPEN201922337qf_shls_sat325903complete0.0425840.042665113176.0satsat
430235014qf_shls_sat/spaguetti-10-e08.tptp.smt28317051COMSPEN201922337qf_shls_sat325903complete0.0481740.0482301113176.0unsatunsat
430235019qf_shls_sat/spaguetti-10-e09.tptp.smt28317056COMSPEN201922337qf_shls_sat325903complete0.0404550.0405441113176.0unsatunsat
430235077qf_shls_sat/spaguetti-10-e10.tptp.smt28317114COMSPEN201922337qf_shls_sat325903complete0.0365460.0366069113176.0satsat
430235080qf_shls_sat/spaguetti-11-e01.tptp.smt28317117COMSPEN201922337qf_shls_sat325903complete0.0444870.0445701113176.0unsatunsat
430235078qf_shls_sat/spaguetti-11-e02.tptp.smt28317115COMSPEN201922337qf_shls_sat325903complete0.0354280.0355129113176.0satsat
430235074qf_shls_sat/spaguetti-11-e03.tptp.smt28317111COMSPEN201922337qf_shls_sat325903complete0.0358490.035897113176.0satsat
430235073qf_shls_sat/spaguetti-11-e04.tptp.smt28317110COMSPEN201922337qf_shls_sat325903complete0.0637330.0637701113176.0unsatunsat
430235070qf_shls_sat/spaguetti-11-e05.tptp.smt28317107COMSPEN201922337qf_shls_sat325903complete0.0406580.0407049113176.0satsat
430235067qf_shls_sat/spaguetti-11-e06.tptp.smt28317104COMSPEN201922337qf_shls_sat325903complete0.0577630.0578241113176.0satsat
430235064qf_shls_sat/spaguetti-11-e07.tptp.smt28317101COMSPEN201922337qf_shls_sat325903complete0.0503990.050461113176.0unsatunsat
430235115qf_shls_sat/spaguetti-11-e08.tptp.smt28317152COMSPEN201922337qf_shls_sat325903complete0.0358150.0359019113176.0satsat
430235120qf_shls_sat/spaguetti-11-e09.tptp.smt28317157COMSPEN201922337qf_shls_sat325903complete0.0569650.0570201113176.0unsatunsat
430235047qf_shls_sat/spaguetti-11-e10.tptp.smt28317084COMSPEN201922337qf_shls_sat325903complete0.047530.047615113176.0satsat
430235034qf_shls_sat/spaguetti-12-e01.tptp.smt28317071COMSPEN201922337qf_shls_sat325903complete0.049780.049835113176.0unsatunsat
430235032qf_shls_sat/spaguetti-12-e02.tptp.smt28317069COMSPEN201922337qf_shls_sat325903complete0.0713360.0713679113176.0unsatunsat
430235028qf_shls_sat/spaguetti-12-e03.tptp.smt28317065COMSPEN201922337qf_shls_sat325903complete0.0491270.0491751113176.0unsatunsat
430235027qf_shls_sat/spaguetti-12-e04.tptp.smt28317064COMSPEN201922337qf_shls_sat325903complete0.0563650.0564059113176.0unsatunsat
430235023qf_shls_sat/spaguetti-12-e05.tptp.smt28317060COMSPEN201922337qf_shls_sat325903complete0.0397760.0398211113176.0satsat
430235017qf_shls_sat/spaguetti-12-e06.tptp.smt28317054COMSPEN201922337qf_shls_sat325903complete0.053860.053928113176.0unsatunsat
430235013qf_shls_sat/spaguetti-12-e07.tptp.smt28317050COMSPEN201922337qf_shls_sat325903complete0.0529570.053004113176.0unsatunsat
430235057qf_shls_sat/spaguetti-12-e08.tptp.smt28317094COMSPEN201922337qf_shls_sat325903complete0.0509930.0510699113176.0satsat
430235060qf_shls_sat/spaguetti-12-e09.tptp.smt28317097COMSPEN201922337qf_shls_sat325903complete0.0357360.0358219113176.0satsat
430235097qf_shls_sat/spaguetti-12-e10.tptp.smt28317134COMSPEN201922337qf_shls_sat325903complete0.0419060.041981113176.0satsat
430235086qf_shls_sat/spaguetti-13-e01.tptp.smt28317123COMSPEN201922337qf_shls_sat325903complete0.0557410.055789113176.0unsatunsat
430235099qf_shls_sat/spaguetti-13-e02.tptp.smt28317136COMSPEN201922337qf_shls_sat325903complete0.0387060.0387931113176.0satsat
430235094qf_shls_sat/spaguetti-13-e03.tptp.smt28317131COMSPEN201922337qf_shls_sat325903complete0.0545520.0546341113176.0unsatunsat
430235110qf_shls_sat/spaguetti-13-e04.tptp.smt28317147COMSPEN201922337qf_shls_sat325903complete0.0617590.061833113176.0unsatunsat
430235105qf_shls_sat/spaguetti-13-e05.tptp.smt28317142COMSPEN201922337qf_shls_sat325903complete0.0686270.0686609113176.0unsatunsat
430235118qf_shls_sat/spaguetti-13-e06.tptp.smt28317155COMSPEN201922337qf_shls_sat325903complete0.0492280.0492969113176.0unsatunsat
430235114qf_shls_sat/spaguetti-13-e07.tptp.smt28317151COMSPEN201922337qf_shls_sat325903complete0.0990850.0991431113176.0unsatunsat
430235063qf_shls_sat/spaguetti-13-e08.tptp.smt28317100COMSPEN201922337qf_shls_sat325903complete0.0476990.047774113176.0satsat
430235066qf_shls_sat/spaguetti-13-e09.tptp.smt28317103COMSPEN201922337qf_shls_sat325903complete0.0740820.0741399113176.0unsatunsat
430235031qf_shls_sat/spaguetti-13-e10.tptp.smt28317068COMSPEN201922337qf_shls_sat325903complete0.0399850.0400601113176.0satsat
430235076qf_shls_sat/spaguetti-14-e01.tptp.smt28317113COMSPEN201922337qf_shls_sat325903complete0.0545540.0546379113176.0satsat
430235084qf_shls_sat/spaguetti-14-e02.tptp.smt28317121COMSPEN201922337qf_shls_sat325903complete0.0539330.0539849113176.0unsatunsat
430235083qf_shls_sat/spaguetti-14-e03.tptp.smt28317120COMSPEN201922337qf_shls_sat325903complete0.0552080.0552831113176.0unsatunsat
430235065qf_shls_sat/spaguetti-14-e04.tptp.smt28317102COMSPEN201922337qf_shls_sat325903complete0.0585830.058638113176.0satsat
430235062qf_shls_sat/spaguetti-14-e05.tptp.smt28317099COMSPEN201922337qf_shls_sat325903complete0.0612410.0613099113176.0unsatunsat
430235072qf_shls_sat/spaguetti-14-e06.tptp.smt28317109COMSPEN201922337qf_shls_sat325903complete0.0514320.0514871113176.0unsatunsat
430235069qf_shls_sat/spaguetti-14-e07.tptp.smt28317106COMSPEN201922337qf_shls_sat325903complete0.0443990.044479113176.0satsat
430235103qf_shls_sat/spaguetti-14-e08.tptp.smt28317140COMSPEN201922337qf_shls_sat325903complete0.0917010.0923729113176.0unsatunsat
430235109qf_shls_sat/spaguetti-14-e09.tptp.smt28317146COMSPEN201922337qf_shls_sat325903complete0.0648070.064883113176.0unsatunsat
430235041qf_shls_sat/spaguetti-14-e10.tptp.smt28317078COMSPEN201922337qf_shls_sat325903complete0.0551940.0552671113176.0unsatunsat
430235046qf_shls_sat/spaguetti-15-e01.tptp.smt28317083COMSPEN201922337qf_shls_sat325903complete0.0563760.0564671113176.0satsat
430235043qf_shls_sat/spaguetti-15-e02.tptp.smt28317080COMSPEN201922337qf_shls_sat325903complete0.0703470.0704539113176.0unsatunsat
430235042qf_shls_sat/spaguetti-15-e03.tptp.smt28317079COMSPEN201922337qf_shls_sat325903complete0.0582890.058378113176.0satsat
430235059qf_shls_sat/spaguetti-15-e04.tptp.smt28317096COMSPEN201922337qf_shls_sat325903complete0.0445560.0446331113176.0satsat
430235056qf_shls_sat/spaguetti-15-e05.tptp.smt28317093COMSPEN201922337qf_shls_sat325903complete0.0648580.0649339113176.0unsatunsat
430235054qf_shls_sat/spaguetti-15-e06.tptp.smt28317091COMSPEN201922337qf_shls_sat325903complete0.0513440.0514371113176.0satsat
430235051qf_shls_sat/spaguetti-15-e07.tptp.smt28317088COMSPEN201922337qf_shls_sat325903complete0.0537660.053839113176.0satsat
430235021qf_shls_sat/spaguetti-15-e08.tptp.smt28317058COMSPEN201922337qf_shls_sat325903complete0.0663050.066357113176.0unsatunsat
430235026qf_shls_sat/spaguetti-15-e09.tptp.smt28317063COMSPEN201922337qf_shls_sat325903complete0.058520.0585821113176.0unsatunsat
430235081qf_shls_sat/spaguetti-15-e10.tptp.smt28317118COMSPEN201922337qf_shls_sat325903complete0.0540620.0541501113176.0satsat
430235095qf_shls_sat/spaguetti-16-e01.tptp.smt28317132COMSPEN201922337qf_shls_sat325903complete0.0599360.0599891113176.0unsatunsat
430235093qf_shls_sat/spaguetti-16-e02.tptp.smt28317130COMSPEN201922337qf_shls_sat325903complete0.0594730.0595309113176.0unsatunsat
430235090qf_shls_sat/spaguetti-16-e03.tptp.smt28317127COMSPEN201922337qf_shls_sat325903complete0.0510270.0510839113176.0satsat
430235116qf_shls_sat/spaguetti-16-e04.tptp.smt28317153COMSPEN201922337qf_shls_sat325903complete0.0661690.0662059113176.0satsat
430235112qf_shls_sat/spaguetti-16-e05.tptp.smt28317149COMSPEN201922337qf_shls_sat325903complete0.0539420.0539691113176.0unsatunsat
430235107qf_shls_sat/spaguetti-16-e06.tptp.smt28317144COMSPEN201922337qf_shls_sat325903complete0.0540250.0540629113176.0satsat
430235102qf_shls_sat/spaguetti-16-e07.tptp.smt28317139COMSPEN201922337qf_shls_sat325903complete0.0679760.0680239113176.0unsatunsat
430235068qf_shls_sat/spaguetti-16-e08.tptp.smt28317105COMSPEN201922337qf_shls_sat325903complete0.0716660.0717069113176.0unsatunsat
430235071qf_shls_sat/spaguetti-16-e09.tptp.smt28317108COMSPEN201922337qf_shls_sat325903complete0.0498570.0499281113176.0satsat
430235035qf_shls_sat/spaguetti-16-e10.tptp.smt28317072COMSPEN201922337qf_shls_sat325903complete0.0599360.0599969113176.0satsat
430235030qf_shls_sat/spaguetti-17-e01.tptp.smt28317067COMSPEN201922337qf_shls_sat325903complete0.0632580.06329113176.0satsat
430235038qf_shls_sat/spaguetti-17-e02.tptp.smt28317075COMSPEN201922337qf_shls_sat325903complete0.0821520.0822241113176.0satsat
430235036qf_shls_sat/spaguetti-17-e03.tptp.smt28317073COMSPEN201922337qf_shls_sat325903complete0.0725990.0726509113176.0unsatunsat
430235016qf_shls_sat/spaguetti-17-e04.tptp.smt28317053COMSPEN201922337qf_shls_sat325903complete0.0512760.051331113176.0satsat
430235012qf_shls_sat/spaguetti-17-e05.tptp.smt28317049COMSPEN201922337qf_shls_sat325903complete0.069640.069701113176.0satsat
430235024qf_shls_sat/spaguetti-17-e06.tptp.smt28317061COMSPEN201922337qf_shls_sat325903complete0.0743430.0743989113176.0unsatunsat
430235020qf_shls_sat/spaguetti-17-e07.tptp.smt28317057COMSPEN201922337qf_shls_sat325903complete0.0645040.0645561113176.0unsatunsat
430235050qf_shls_sat/spaguetti-17-e08.tptp.smt28317087COMSPEN201922337qf_shls_sat325903complete0.0847790.0848039113176.0unsatunsat
430235053qf_shls_sat/spaguetti-17-e09.tptp.smt28317090COMSPEN201922337qf_shls_sat325903complete0.0765360.076603113176.0satsat
430235087qf_shls_sat/spaguetti-17-e10.tptp.smt28317124COMSPEN201922337qf_shls_sat325903complete0.0670990.067196113176.0satsat
430235025qf_shls_sat/spaguetti-18-e01.tptp.smt28317062COMSPEN201922337qf_shls_sat325903complete0.0718660.0719519113176.0satsat
430235011qf_shls_sat/spaguetti-18-e02.tptp.smt28317048COMSPEN201922337qf_shls_sat325903complete0.0905870.0906619113176.0unsatunsat
430235015qf_shls_sat/spaguetti-18-e03.tptp.smt28317052COMSPEN201922337qf_shls_sat325903complete0.0515750.051619113176.0satsat
430235037qf_shls_sat/spaguetti-18-e04.tptp.smt28317074COMSPEN201922337qf_shls_sat325903complete0.0739610.0740399113176.0satsat
430235039qf_shls_sat/spaguetti-18-e05.tptp.smt28317076COMSPEN201922337qf_shls_sat325903complete0.0710890.0711289113176.0satsat
430235029qf_shls_sat/spaguetti-18-e06.tptp.smt28317066COMSPEN201922337qf_shls_sat325903complete0.0567430.0568341113176.0satsat
430235033qf_shls_sat/spaguetti-18-e07.tptp.smt28317070COMSPEN201922337qf_shls_sat325903complete0.0751690.0752113176.0satsat
430235049qf_shls_sat/spaguetti-18-e08.tptp.smt28317086COMSPEN201922337qf_shls_sat325903complete0.0901410.0902371113176.0unsatunsat
430235045qf_shls_sat/spaguetti-18-e09.tptp.smt28317082COMSPEN201922337qf_shls_sat325903complete0.0780020.078058113176.0unsatunsat
430235119qf_shls_sat/spaguetti-18-e10.tptp.smt28317156COMSPEN201922337qf_shls_sat325903complete0.0690610.0691041113176.0unsatunsat
430235106qf_shls_sat/spaguetti-19-e01.tptp.smt28317143COMSPEN201922337qf_shls_sat325903complete0.0664050.066492113176.0unsatunsat
430235113qf_shls_sat/spaguetti-19-e02.tptp.smt28317150COMSPEN201922337qf_shls_sat325903complete0.0867460.0867751113176.0satsat
430235117qf_shls_sat/spaguetti-19-e03.tptp.smt28317154COMSPEN201922337qf_shls_sat325903complete0.0450380.0451039113176.0satsat
430235089qf_shls_sat/spaguetti-19-e04.tptp.smt28317126COMSPEN201922337qf_shls_sat325903complete0.0729710.0730441113176.0unsatunsat
430235092qf_shls_sat/spaguetti-19-e05.tptp.smt28317129COMSPEN201922337qf_shls_sat325903complete0.1030580.103106113176.0satsat
430235096qf_shls_sat/spaguetti-19-e06.tptp.smt28317133COMSPEN201922337qf_shls_sat325903complete0.062920.0629801113176.0satsat
430235100qf_shls_sat/spaguetti-19-e07.tptp.smt28317137COMSPEN201922337qf_shls_sat325903complete0.0720830.072136113176.0unsatunsat
430235079qf_shls_sat/spaguetti-19-e08.tptp.smt28317116COMSPEN201922337qf_shls_sat325903complete0.0556670.0557241113176.0satsat
430235075qf_shls_sat/spaguetti-19-e09.tptp.smt28317112COMSPEN201922337qf_shls_sat325903complete0.0982060.0982811113176.0unsatunsat
430235018qf_shls_sat/spaguetti-19-e10.tptp.smt28317055COMSPEN201922337qf_shls_sat325903complete0.0985790.0987561113176.0unsatunsat
430235111qf_shls_sat/spaguetti-20-e01.tptp.smt28317148COMSPEN201922337qf_shls_sat325903complete0.0712910.071353113176.0unsatunsat
430235108qf_shls_sat/spaguetti-20-e02.tptp.smt28317145COMSPEN201922337qf_shls_sat325903complete0.0703640.070455113176.0satsat
430235104qf_shls_sat/spaguetti-20-e03.tptp.smt28317141COMSPEN201922337qf_shls_sat325903complete0.0802610.080333113176.0satsat
430235101qf_shls_sat/spaguetti-20-e04.tptp.smt28317138COMSPEN201922337qf_shls_sat325903complete0.0713040.0713459113176.0satsat
430235098qf_shls_sat/spaguetti-20-e05.tptp.smt28317135COMSPEN201922337qf_shls_sat325903complete0.0822990.0823419113176.0unsatunsat
430235091qf_shls_sat/spaguetti-20-e06.tptp.smt28317128COMSPEN201922337qf_shls_sat325903complete0.0941910.094255113176.0unsatunsat
430235088qf_shls_sat/spaguetti-20-e07.tptp.smt28317125COMSPEN201922337qf_shls_sat325903complete0.0729590.073023113176.0satsat
430235082qf_shls_sat/spaguetti-20-e08.tptp.smt28317119COMSPEN201922337qf_shls_sat325903complete0.0663670.0664511113176.0satsat
430235085qf_shls_sat/spaguetti-20-e09.tptp.smt28317122COMSPEN201922337qf_shls_sat325903complete0.0642290.0642859113176.0satsat
430235022qf_shls_sat/spaguetti-20-e10.tptp.smt28317059COMSPEN201922337qf_shls_sat325903complete0.0785410.078625113176.0unsatunsat