Created
February 10, 2020 17:44
-
-
Save krobelus/d59707fb8dbf636683a6e9009d7e7abb to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| n [42]: df[((df['solver'] == 'cms55-main-all4fixed@main') | (df['solver'] == 'cms55-main-all4fixed@autotune') | (df['solver'] == 'cms55-main-all4fixed@glubreak') | (df['solver'] == 'cms55-main-all4fixed@otherconf')) & df['rate-RAT-introductions'].notnu | |
| ...: ll()][['instance', 'solver', 'rate-RUP-introductions', 'rate-RAT-introductions']].sort_values('rate-RAT-introductions').tail(25) | |
| Out[42]: | |
| instance solver rate-RUP-introductions rate-RAT-introductions | |
| 1020 dist8.c cms55-main-all4fixed@otherconf 686393.0 0.0 | |
| 1449 gto_p60c231 cms55-main-all4fixed@otherconf 1950886.0 0.0 | |
| 1526 gto_p60c234 cms55-main-all4fixed@main 4838250.0 0.0 | |
| 3711 T56.2.0 cms55-main-all4fixed@otherconf 674.0 1.0 | |
| 1914 mchess_15 cms55-main-all4fixed@autotune 113.0 1.0 | |
| 1018 dist8.c cms55-main-all4fixed@glubreak 195134.0 1.0 | |
| 2578 pals_lcr.8_overflow_false-unreach-call.ufo.UNB... cms55-main-all4fixed@glubreak 228836.0 1.0 | |
| 277 a_rphp055_04 cms55-main-all4fixed@glubreak 116921.0 1.0 | |
| 1722 gto_p60c243 cms55-main-all4fixed@otherconf 46.0 1.0 | |
| 2656 pals_lcr-var-start-time.6_true-unreach-call.uf... cms55-main-all4fixed@glubreak 584723.0 1.0 | |
| 3787 T77.2.0 cms55-main-all4fixed@glubreak 1342.0 1.0 | |
| 3243 sdiv15prop cms55-main-all4fixed@otherconf 1757582.0 1.0 | |
| 3826 T82.2.0 cms55-main-all4fixed@glubreak 25.0 1.0 | |
| 3828 T82.2.0 cms55-main-all4fixed@otherconf 154175.0 1.0 | |
| 981 dist7.c cms55-main-all4fixed@otherconf 791993.0 1.0 | |
| 1409 gto_p60c231_1 cms55-main-all4fixed@main 32.0 1.0 | |
| 3904 T86.2.0 cms55-main-all4fixed@glubreak 165.0 1.0 | |
| 1410 gto_p60c231_1 cms55-main-all4fixed@otherconf 16.0 1.0 | |
| 1720 gto_p60c243 cms55-main-all4fixed@glubreak 52.0 1.0 | |
| 1759 huck.col.11 cms55-main-all4fixed@glubreak 287.0 2.0 | |
| 4218 udiv35prop cms55-main-all4fixed@otherconf 2042745.0 2.0 | |
| 4177 terminator_03_true-unreach-call_true-terminati... cms55-main-all4fixed@glubreak 214565.0 2.0 | |
| 44 ae_rphp035_05 cms55-main-all4fixed@main 64507.0 2.0 | |
| 3476 T107.2.0 cms55-main-all4fixed@main 127299.0 2.0 | |
| 1095 ecarev-110-1031-23-40-3 cms55-main-all4fixed@autotune 2336.0 3.0 |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment